3 1 2

Alex Gu

minimario

AI & ML interests

None yet

Recent Activity

upvoted a paper 18 days ago

Challenges and Paths Towards AI for Software Engineering

commented on a paper 18 days ago

Challenges and Paths Towards AI for Software Engineering

updated a dataset about 2 months ago

minimario/cruxeval-ocaml

View all activity

Organizations

minimario's activity

upvoted a paper 18 days ago

Challenges and Paths Towards AI for Software Engineering

Paper • 2503.22625 • Published 22 days ago • 3

commented a paper 18 days ago

Challenges and Paths Towards AI for Software Engineering

Paper • 2503.22625 • Published 22 days ago • 3 •

updated a dataset about 2 months ago

minimario/cruxeval-ocaml

Viewer • Updated Feb 24 • 90 • 29

published a dataset 2 months ago

minimario/cruxeval-ocaml

Viewer • Updated Feb 24 • 90 • 29

liked a dataset 10 months ago

bigcode/bigcodebench

Viewer • Updated Feb 23 • 5.7k • 29.1k • 52

liked a Space 10 months ago

198

BigCodeBench Leaderboard

🥇

Explore and analyze code evaluation data

updated a model 11 months ago

minimario/your-model

Updated Jun 7, 2024

New activity in meta-llama/Meta-Llama-3-8B 11 months ago

[READ IF YOU DO NOT HAVE ACCESS] Getting access to the model

#172 opened 11 months ago by

osanseviero

published an article about 1 year ago

Article

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

and 6 others •

Apr 16, 2024

• 15

authored 3 papers about 1 year ago

SantaCoder: don't reach for the stars!

Paper • 2301.03988 • Published Jan 9, 2023 • 7

LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers

Paper • 2310.15164 • Published Oct 23, 2023 • 1

LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Code

Paper • 2403.07974 • Published Mar 12, 2024 • 3

updated a dataset about 1 year ago

minimario/math-openwebmath-retrievals

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

authored a paper about 1 year ago

StarCoder 2 and The Stack v2: The Next Generation

Paper • 2402.19173 • Published Feb 29, 2024 • 143

New activity in cruxeval-org/cruxeval about 1 year ago

Add metadata to dataset card

#2 opened about 1 year ago by

albertvillanova

updated 2 datasets about 1 year ago

cruxeval-org/cruxeval

Viewer • Updated Jan 23, 2024 • 800 • 4.27k • 15

minimario/gsm8k-rewritten

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

updated a dataset over 1 year ago

minimario/gsm_rewritten

Updated Jan 17, 2024 • 7

authored a paper over 1 year ago

CRUXEval: A Benchmark for Code Reasoning, Understanding and Execution

Paper • 2401.03065 • Published Jan 5, 2024 • 11

updated a dataset over 1 year ago

minimario/FOLIO

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