Hugging Face
Models
Datasets
Spaces
Posts
Docs
Solutions
Pricing
Log In
Sign Up
Theo X. Olausson
theoxo
Follow
https://people.csail.mit.edu/theoxo/
theo_olausson
theoxo
AI & ML interests
None yet
Organizations
None yet
Papers
1
arxiv:
2306.09896
models
None public yet
datasets
1
theoxo/proofwriter-deduction-balanced
Viewer
•
Updated
Jun 23, 2023
•
720
•
57