Alex Gu's picture

3 2 2

Alex Gu

minimario

·

AI & ML interests

None yet

Recent Activity

updated a dataset 8 days ago

minimario/Goedel-Pset-v1-Solutions

published a dataset about 1 month ago

minimario/Goedel-Pset-v1-Solutions

upvoted a paper 2 months ago

Solving Inequality Proofs with Large Language Models

View all activity

Organizations

upvoted a paper 2 months ago

Solving Inequality Proofs with Large Language Models

Paper • 2506.07927 • Published Jun 9 • 20

upvoted a paper 4 months ago

Challenges and Paths Towards AI for Software Engineering

Paper • 2503.22625 • Published Mar 28 • 4