Alex Meiburg's picture

1

Alex Meiburg

Timeroot

http://ohaithe.re

AI & ML interests

Math/physics

Recent Activity

authored a paper about 1 month ago

Aristotle: IMO-level Automated Theorem Proving

upvoted a paper about 1 month ago

Aristotle: IMO-level Automated Theorem Proving

View all activity

Organizations

None yet

Timeroot 's datasets

None public yet