code pruning

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

Team members 1