llllvvuu/AIPS_inequalities
Viewer
•
Updated
•
383k
•
245
•
1
Lawrence Wu
llllvvuu
AI & ML interests
None yet
Recent Activity
authored
a paper
about 2 months ago
Aristotle: IMO-level Automated Theorem Proving
upvoted
a
paper
about 2 months ago
Aristotle: IMO-level Automated Theorem Proving
updated
a model
over 1 year ago
mlx-community/Minitron-4B-Base
Organizations
