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

Alex Gu

minimario
21world's profile picture kingh0730's profile picture StringChaos'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