elohn/miniCodeProps
Updated
•
115
•
2
Evan Lohn
elohn
AI & ML interests
Neural Theorem Proving, Neuro-Symbolic AI
Organizations
None yet
models
None public yet