Hugging Face's logo

cruxeval

Activity Feed Request to join this org

AI & ML interests

None defined yet.

Recent Activity

minimario  authored a paper 9 months ago
SantaCoder: don't reach for the stars!
minimario  authored a paper 9 months ago
LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers
minimario  authored a paper 9 months ago
LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Code
View all activity

models

None public yet