datasets created by formal-disco
AI & ML interests
Formal Verification
Recent Activity
models 6
metareflection/dafny-annotator-vfp-autogen-4B
4B • Updated • 8
metareflection/dafny-annotator-vfp-sketch-autogen-4B
4B • Updated • 10
metareflection/dafny-annotator-vfp-4B
Text Generation • 4B • Updated • 5
metareflection/dafny-annotator-modular-vfp-4B
Text Generation • 4B • Updated • 6
metareflection/dafny-annotator
Updated
metareflection/tiny-scheme-holes-gpt2
Updated
datasets 8
metareflection/formal-disco
Viewer • Updated • 101k • 33
metareflection/dafny-disco
Viewer • Updated • 81.3k • 25 • 3
metareflection/dafny-docs-chunked
Viewer • Updated • 497 • 12 • 1
metareflection/tiny-scheme-holes-train
Viewer • Updated • 1.66k • 5
metareflection/tiny-scheme-train
Viewer • Updated • 74 • 6
metareflection/dafny_with_hints
Viewer • Updated • 343 • 15
metareflection/dafny-docs
Viewer • Updated • 486 • 8
metareflection/dafny-train
Viewer • Updated • 5.62k • 9 • 1