Alex Gu's picture

3 2 2

Alex Gu

minimario

·

AI & ML interests

None yet

Recent Activity

upvoted a paper 17 days ago

Solving Inequality Proofs with Large Language Models

upvoted a paper 3 months ago

Challenges and Paths Towards AI for Software Engineering

commented on a paper 3 months ago

Challenges and Paths Towards AI for Software Engineering

View all activity

Organizations

minimario 's datasets 22

minimario/cruxeval-ocaml

Viewer • Updated Feb 24 • 90 • 39

minimario/math-openwebmath-retrievals

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

minimario/gsm8k-rewritten

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

minimario/gsm_rewritten

Updated Jan 17, 2024 • 6

minimario/FOLIO

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

minimario/livecodebench-execute-v2

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

minimario/livecodebench-execute

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

minimario/FOLIOtrain

Updated Jun 18, 2023 • 10

minimario/FOLIO_train

Updated Jun 18, 2023 • 13

minimario/FOLIO-train

Updated Jun 18, 2023 • 8

minimario/apps_partial_sorted_200_end

Viewer • Updated Mar 19, 2023 • 828k • 30

minimario/apps_partial_sorted_0_200

Viewer • Updated Mar 19, 2023 • 80.2k • 30

minimario/apps_partial_sorted_300_end

Viewer • Updated Mar 19, 2023 • 781k • 30

minimario/apps_partial_sorted_300_350

Viewer • Updated Mar 18, 2023 • 20.5k • 32

minimario/apps_partial_sorted_0_300

Viewer • Updated Mar 18, 2023 • 127k • 37

minimario/apps_partial_full

Viewer • Updated Mar 18, 2023 • 908k • 32

minimario/apps_partial_400_420

Viewer • Updated Mar 13, 2023 • 29.7k • 30

minimario/apps_partial_600_900

Viewer • Updated Mar 13, 2023 • 429k • 34

minimario/apps_partial_300_310

Viewer • Updated Mar 13, 2023 • 15.5k • 30

minimario/apps_partial_0_300

Viewer • Updated Mar 13, 2023 • 534k • 30

minimario/apps_partial_120_200

Viewer • Updated Mar 8, 2023 • 181k • 32

minimario/apps_partial_0_120

Viewer • Updated Mar 8, 2023 • 440k • 56