Lawrence Wu's picture

18 2

Lawrence Wu

llllvvuu

·

https://llllvvuu.dev

AI & ML interests

None yet

Recent Activity

authored a paper about 2 months ago

Aristotle: IMO-level Automated Theorem Proving

upvoted a paper 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

View all activity

Organizations

upvoted a paper 2 months ago

Aristotle: IMO-level Automated Theorem Proving

Paper • 2510.01346 • Published Oct 1 • 16

upvoted a collection over 1 year ago

Gradio Spaces for Background Removal

Enhance your images by removing the background. Will ensure these Spaces are up and maintained for the community. • 5 items • Updated Aug 20, 2024 • 25