Thomas Wood PRO
odellus
AI & ML interests
Long document summarization, neural program synthesis, automated theorem proving, open ended question answering, and embodied intelligence.
Recent Activity
liked
a model
2 days ago
stepfun-ai/StepFun-Formalizer-32B
liked
a model
7 days ago
zai-org/GLM-4.7-Flash
liked
a model
9 days ago
stepfun-ai/step3