metareflection

university

https://metareflection.club/

Activity Feed Request to join this org

AI & ML interests

Formal Verification

Recent Activity

mitnamin updated a model about 2 months ago

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

mitnamin updated a model about 2 months ago

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

mitnamin published a model about 2 months ago

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

View all activity

metareflection 's models 6

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

4B • Updated Nov 9 • 6

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

4B • Updated Nov 9 • 7

metareflection/dafny-annotator-vfp-4B

Text Generation • 4B • Updated Oct 28 • 9

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

Text Generation • 4B • Updated Oct 28 • 9

metareflection/dafny-annotator

metareflection/tiny-scheme-holes-gpt2

Updated Jan 4, 2024