Veri-Code

community

Activity Feed Request to join this org

AI & ML interests

None defined yet.

Recent Activity

XuhanH authored a paper 28 days ago

CALM Before the STORM: Unlocking Native Reasoning for Optimization Modeling

SiniShell1 new activity about 1 month ago

Veri-Code/ReForm-DafnyComp-Benchmark:update DafnyCOMP paper related in readme

yizhilll authored a paper 2 months ago

TreePO: Bridging the Gap of Policy Optimization and Efficacy and Inference Efficiency with Heuristic Tree-based Modeling

View all activity

Veri-Code 's models 6

Veri-Code/ReForm-SFT-0.5B

Text Generation • 0.5B • Updated Jul 25 • 18

Veri-Code/ReForm-SFT-1.5B

Text Generation • 2B • Updated Jul 25 • 2

Veri-Code/ReForm-SFT-3B

Text Generation • 3B • Updated Jul 25 • 2 • 1

Veri-Code/ReForm-SFT-7B

Text Generation • 8B • Updated Jul 25 • 3 • 1

Veri-Code/ReForm-14B-RL-entropy

Text Generation • 15B • Updated Jul 25 • 4 • 2

Veri-Code/ReForm-SFT-14B

Text Generation • 15B • Updated Jul 25 • 4 • 1