Veri-Code

community

Activity Feed Request to join this org

AI & ML interests

None defined yet.

Recent Activity

SiniShell1 new activity 1 day ago

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

yizhilll authored a paper about 1 month ago

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

yizhilll updated a collection 2 months ago

View all activity

Veri-Code 's datasets 2

Veri-Code/ReForm-DafnyComp-Benchmark

Viewer • Updated 1 day ago • 300 • 57 • 1

Veri-Code/ReForm-Python2Dafny-Dataset

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