Veri-Code

community

Activity Feed Request to join this org

AI & ML interests

None defined yet.

Recent Activity

SiniShell1 updated a dataset 3 days ago

Veri-Code/ReForm-Python2Dafny-Dataset

SiniShell1 updated a dataset 3 days ago

Veri-Code/ReForm-DafnyComp-Benchmark

SiniShell1 updated a model 3 days ago

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

View all activity

Veri-Code 's datasets 2

Veri-Code/ReForm-Python2Dafny-Dataset

Viewer • Updated 3 days ago • 17.5k • 245 • 2

Veri-Code/ReForm-DafnyComp-Benchmark

Viewer • Updated 3 days ago • 300 • 65 • 1