Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
Theo X. Olausson
theoxo
Follow
0 followers
·
1 following
https://people.csail.mit.edu/theoxo/
theo_olausson
theoxo
AI & ML interests
None yet
Organizations
Papers
2
arxiv:
2512.09106
arxiv:
2306.09896
models
0
None public yet
datasets
2
Sort: Recently updated
theoxo/6.5130-2025-test-set
Viewer
•
Updated
Jul 25, 2025
•
98
•
97
theoxo/proofwriter-deduction-balanced
Viewer
•
Updated
Jun 23, 2023
•
720
•
90
•
1
