metareflection

university

https://metareflection.club/

Activity Feed Request to join this org

AI & ML interests

Formal Verification

Recent Activity

gpoesia updated a collection about 20 hours ago

gpoesia updated a dataset about 20 hours ago

metareflection/formal-disco

gpoesia published a dataset about 20 hours ago

metareflection/formal-disco

View all activity

Collections 1

models 6

metareflection/dafny-annotator-vfp-autogen-4B

4B • Updated Nov 9, 2025 • 8

metareflection/dafny-annotator-vfp-sketch-autogen-4B

4B • Updated Nov 9, 2025 • 10

metareflection/dafny-annotator-vfp-4B

Text Generation • 4B • Updated Oct 28, 2025 • 5

metareflection/dafny-annotator-modular-vfp-4B

Text Generation • 4B • Updated Oct 28, 2025 • 6

metareflection/dafny-annotator

Updated Jul 14, 2025

metareflection/tiny-scheme-holes-gpt2

Updated Jan 4, 2024

datasets 8

metareflection/formal-disco

Viewer • Updated about 20 hours ago • 101k • 16

metareflection/dafny-disco

Viewer • Updated Feb 28 • 81.3k • 25 • 3

metareflection/dafny-docs-chunked

Viewer • Updated Apr 16, 2024 • 497 • 11 • 1

metareflection/tiny-scheme-holes-train

Viewer • Updated Jan 4, 2024 • 1.66k • 4

metareflection/tiny-scheme-train

Viewer • Updated Jan 4, 2024 • 74 • 8

metareflection/dafny_with_hints

Viewer • Updated Dec 8, 2023 • 343 • 15

metareflection/dafny-docs

Viewer • Updated Dec 5, 2023 • 486 • 8

metareflection/dafny-train

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