Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
Evan Lohn
elohn
Follow
evanlohn
AI & ML interests
Neural Theorem Proving, Neuro-Symbolic AI
Organizations
None yet
models
0
None public yet
datasets
1
elohn/miniCodeProps
Updated
Aug 19, 2024
•
26
•
2