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
elohn
's datasets
1
Sort: Recently updated
elohn/miniCodeProps
Updated
Aug 19, 2024
•
25
•
2
