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

Alex Gu

minimario
koalazf99's profile picture 21world's profile picture AdinaY's profile picture
·

AI & ML interests

None yet

Recent Activity

updated a dataset 19 days ago
minimario/Goedel-Pset-v1-Solutions
published a dataset about 2 months 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