3 2 2

Alex Gu

minimario

AI & ML interests

None yet

Recent Activity

updated a dataset about 1 month ago

minimario/Goedel-Pset-v1-Solutions

published a dataset about 2 months ago

minimario/Goedel-Pset-v1-Solutions

upvoted a paper 3 months ago

Solving Inequality Proofs with Large Language Models

View all activity

Organizations

Articles 1

Article

Introducing the LiveCodeBench Leaderboard - Holistic and Contamination-Free Evaluation of Code LLMs

Papers 8

models 4

datasets 23

minimario/Goedel-Pset-v1-Solutions

Viewer • Updated Aug 5 • 1.2M • 64

minimario/cruxeval-ocaml

Viewer • Updated Feb 24 • 90 • 10

minimario/math-openwebmath-retrievals

Viewer • Updated Mar 8, 2024 • 12.5k • 5 • 1

minimario/gsm8k-rewritten

Viewer • Updated Jan 23, 2024 • 100 • 4 • 1

minimario/gsm_rewritten

Updated Jan 17, 2024 • 1

minimario/FOLIO

Viewer • Updated Jan 2, 2024 • 1.21k • 364 • 1

minimario/livecodebench-execute-v2

Viewer • Updated Dec 17, 2023 • 2.07k • 9 • 1

minimario/livecodebench-execute

Viewer • Updated Nov 30, 2023 • 709 • 14 • 1

minimario/FOLIOtrain

Updated Jun 18, 2023

minimario/FOLIO_train

Updated Jun 18, 2023

View 23 datasets

Alex Gu

AI & ML interests

Recent Activity

Organizations

Articles 1

Introducing the LiveCodeBench Leaderboard - Holistic and Contamination-Free Evaluation of Code LLMs

Papers 8

models 4 Sort: Recently updated

datasets 23 Sort: Recently updated

models 4

datasets 23