Hugging Face
Models
Datasets
Spaces
Posts
Docs
Solutions
Pricing
Log In
Sign Up
metareflection
university
https://metareflection.club/
metareflection
Request to join this org
AI & ML interests
Formal Verification
Team members
8
models
1
metareflection/tiny-scheme-holes-gpt2
Updated
Jan 4
datasets
4
Sort: Recently updated
metareflection/tiny-scheme-holes-train
Viewer
•
Updated
Jan 4
metareflection/tiny-scheme-train
Viewer
•
Updated
Jan 4
metareflection/dafny_with_hints
Viewer
•
Updated
Dec 8, 2023
metareflection/dafny-train
Viewer
•
Updated
Dec 5, 2023