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 datasets 2

Veri-Code/ReForm-DafnyComp-Benchmark

Viewer • Updated Oct 3 • 300 • 42 • 1

Veri-Code/ReForm-Python2Dafny-Dataset

Viewer • Updated Jul 25 • 17.5k • 172 • 2