Veri-Code

community

Activity Feed Request to join this org

AI & ML interests

None defined yet.

Recent Activity

yizhilll authored a paper 10 days ago

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

yizhilll updated a collection about 1 month ago

SiniShell1 new activity about 1 month ago

Veri-Code/ReForm-SFT-0.5B:Improve model card for Re:Form: add metadata, links, and usage example

View all activity

Veri-Code 's datasets 2

Veri-Code/ReForm-DafnyComp-Benchmark

Viewer • Updated Jul 25 • 300 • 119 • 1

Veri-Code/ReForm-Python2Dafny-Dataset

Viewer • Updated Jul 25 • 17.5k • 101 • 1