Veri-Code

community

Activity Feed Request to join this org

AI & ML interests

None defined yet.

Recent Activity

SiniShell1 updated a dataset 1 day ago

Veri-Code/ReForm-Python2Dafny-Dataset

SiniShell1 updated a dataset 1 day ago

Veri-Code/ReForm-DafnyComp-Benchmark

SiniShell1 updated a model 1 day ago

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

View all activity

Veri-Code 's datasets 2

Veri-Code/ReForm-Python2Dafny-Dataset

Viewer • Updated 1 day ago • 17.5k • 235 • 2

Veri-Code/ReForm-DafnyComp-Benchmark

Viewer • Updated 1 day ago • 300 • 55 • 1