Hugging Face's logo
Alex Gu's picture
3 2 2

Alex Gu

minimario
AdinaY's profile picture koalazf99's profile picture kingh0730's profile picture
·

AI & ML interests

None yet

Recent Activity

updated a dataset 14 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

Massachusetts Institute of Technology's profile picture routing's profile picture BigCode's profile picture code pruning's profile picture LogicalLargeLanguageModels's profile picture Live Code Bench's profile picture cruxeval's profile picture code-world-model's profile picture