Jonathan Thomm

jthomm

AI & ML interests

None yet

Recent Activity

commented on a paper about 1 month ago
Aristotle: IMO-level Automated Theorem Proving
liked a Space over 2 years ago
dvruette/fabric
View all activity

Organizations

None yet