datasets created by formal-disco
AI & ML interests
Formal Verification
models 6
metareflection/dafny-annotator-vfp-autogen-4B
4B • Updated • 17
metareflection/dafny-annotator-vfp-sketch-autogen-4B
4B • Updated • 15
metareflection/dafny-annotator-vfp-4B
Text Generation • 4B • Updated • 11
metareflection/dafny-annotator-modular-vfp-4B
Text Generation • 4B • Updated • 13
metareflection/dafny-annotator
Updated
metareflection/tiny-scheme-holes-gpt2
Updated
datasets 8
metareflection/formal-disco
Viewer • Updated • 101k • 39
metareflection/dafny-disco
Viewer • Updated • 81.3k • 28 • 3
metareflection/dafny-docs-chunked
Viewer • Updated • 497 • 15 • 1
metareflection/tiny-scheme-holes-train
Viewer • Updated • 1.66k • 17
metareflection/tiny-scheme-train
Viewer • Updated • 74 • 13
metareflection/dafny_with_hints
Viewer • Updated • 343 • 18
metareflection/dafny-docs
Viewer • Updated • 486 • 15
metareflection/dafny-train
Viewer • Updated • 5.62k • 12 • 1