Veri-Code

community

Activity Feed Request to join this org

AI & ML interests

None defined yet.

Recent Activity

XuhanH authored a paper 3 days ago

CALM Before the STORM: Unlocking Native Reasoning for Optimization Modeling

SiniShell1 new activity 10 days ago

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

yizhilll authored a paper about 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 • 11

Veri-Code/ReForm-SFT-1.5B

Text Generation • 2B • Updated Jul 25 • 7

Veri-Code/ReForm-SFT-3B

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

Veri-Code/ReForm-SFT-7B

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

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

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

Veri-Code/ReForm-SFT-14B

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