Challenges and Paths Towards AI for Software Engineering
Paper
•
2503.22625
•
Published
•
4
Alex Gu
minimario
AI & ML interests
None yet
Recent Activity
upvoted
a
paper
about 2 months ago
Challenges and Paths Towards AI for Software Engineering
commented on
a paper
about 2 months ago
Challenges and Paths Towards AI for Software Engineering
updated
a dataset
3 months ago
minimario/cruxeval-ocaml
Organizations
minimario's activity
upvoted
a
paper
about 2 months ago
commented
a
paper
about 2 months ago
updated
a
dataset
3 months ago
published
a
dataset
4 months ago
liked
a
dataset
12 months ago
liked
a
Space
12 months ago
updated
a
model
12 months ago
[READ IF YOU DO NOT HAVE ACCESS] Getting access to the model
👍
5
43
#172 opened about 1 year ago
by
osanseviero
published
an
article
about 1 year ago
Article
Introducing the LiveCodeBench Leaderboard - Holistic and Contamination-Free Evaluation of Code LLMs
By
and 6 others
•
•
15
authored
3
papers
about 1 year ago
SantaCoder: don't reach for the stars!
Paper
•
2301.03988
•
Published
•
7
LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers
Paper
•
2310.15164
•
Published
•
2
LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Code
Paper
•
2403.07974
•
Published
•
3
updated
a
dataset
about 1 year ago
authored
a
paper
about 1 year ago
Add metadata to dataset card
2
#2 opened over 1 year ago
by
albertvillanova
updated
3
datasets
over 1 year ago
authored
a
paper
over 1 year ago
updated
a
dataset
over 1 year ago