Lawrence Wu's picture

18 2

Lawrence Wu

llllvvuu

·

https://llllvvuu.dev

AI & ML interests

None yet

Recent Activity

authored a paper 26 days ago

Aristotle: IMO-level Automated Theorem Proving

upvoted a paper about 1 month ago

Aristotle: IMO-level Automated Theorem Proving

updated a model about 1 year ago

mlx-community/Minitron-4B-Base

View all activity

Organizations

Papers 1

arxiv:2510.01346

models 1

llllvvuu/ml_papers

Updated Aug 11, 2024

datasets 1

llllvvuu/AIPS_inequalities

Viewer • Updated Jul 11, 2024 • 383k • 47 • 1