cruxeval

Activity Feed Request to join this org

AI & ML interests

None defined yet.

cruxeval-org's activity

minimario

authored 4 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 • 2

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

Paper • 2403.07974 • Published Mar 12, 2024 • 3

StarCoder 2 and The Stack v2: The Next Generation

Paper • 2402.19173 • Published Feb 29, 2024 • 145

minimario

updated a dataset over 1 year ago

cruxeval-org/cruxeval

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

minimario

authored a paper over 1 year ago

CRUXEval: A Benchmark for Code Reasoning, Understanding and Execution

Paper • 2401.03065 • Published Jan 5, 2024 • 11

sidaw

authored a paper over 1 year ago

CRUXEval: A Benchmark for Code Reasoning, Understanding and Execution

Paper • 2401.03065 • Published Jan 5, 2024 • 11

minimario

authored 2 papers almost 2 years ago

LeanDojo: Theorem Proving with Retrieval-Augmented Language Models

Paper • 2306.15626 • Published Jun 27, 2023 • 17

StarCoder: may the source be with you!

Paper • 2305.06161 • Published May 9, 2023 • 31