Veri-Code

community

Activity Feed Request to join this org

AI & ML interests

None defined yet.

Veri-Code 's datasets 2

Veri-Code/ReForm-DafnyComp-Benchmark

Viewer • Updated Oct 3, 2025 • 300 • 57 • 1

Veri-Code/ReForm-Python2Dafny-Dataset

Viewer • Updated Jul 25, 2025 • 17.5k • 178 • 2

Veri-Code (Veri-Code)

Veri-Code

community

Activity Feed Request to join this org

AI & ML interests

None defined yet.

Veri-Code 's datasets 2

Veri-Code/ReForm-DafnyComp-Benchmark

Viewer • Updated Oct 3, 2025 • 300 • 57 • 1

Veri-Code/ReForm-Python2Dafny-Dataset

Viewer • Updated Jul 25, 2025 • 17.5k • 178 • 2