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
about 17 hours ago
stepfun-ai/StepFun-Formalizer-32B
liked
a model
6 days ago
zai-org/GLM-4.7-Flash
liked
a model
8 days ago
stepfun-ai/step3