Thomas Wood's picture

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 5 hours ago
zai-org/GLM-4.5
liked a model about 5 hours ago
zai-org/GLM-4.5-Air
liked a model 3 days ago
AI-MO/Kimina-Prover-72B
View all activity

Organizations

Flax Community's profile picture NAACL 2022's profile picture Hugging Face Discord Community's profile picture Hugging Face MCP Course's profile picture