Theo X. Olausson's picture

Theo X. Olausson

theoxo

·

https://people.csail.mit.edu/theoxo/

AI & ML interests

None yet

Organizations

Papers 1

arxiv:2306.09896

models 0

None public yet

datasets 2

theoxo/6.5130-2025-test-set

Viewer • Updated Jul 25 • 98 • 61

theoxo/proofwriter-deduction-balanced

Viewer • Updated Jun 23, 2023 • 720 • 95 • 1