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
new activity
over 1 year ago
mlx-community/Minitron-4B-Base:Upload folder using huggingface_hub