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