metareflection

university

https://metareflection.club/

Request to join this org

AI & ML interests

Formal Verification

models 1

metareflection/tiny-scheme-holes-gpt2

datasets 6

metareflection/dafny-docs-chunked

Viewer • Updated Apr 16 • 497 • 39 • 1

metareflection/tiny-scheme-holes-train

Viewer • Updated Jan 4 • 1.66k • 45

metareflection/tiny-scheme-train

Viewer • Updated Jan 4 • 74 • 42

metareflection/dafny_with_hints

Viewer • Updated Dec 8, 2023 • 343 • 14

metareflection/dafny-docs

Viewer • Updated Dec 5, 2023 • 486 • 44

metareflection/dafny-train

Viewer • Updated Dec 5, 2023 • 5.62k • 39 • 1