metareflection/dafny-annotator
Updated
AI & ML interests
Formal Verification
Recent Activity
View all activity
gpoesia
published
a
model
21 days ago
cassanof
authored
a
paper
6 months ago
cassanof
updated
a
dataset
over 1 year ago
cassanof
authored
6
papers
over 1 year ago
StarCoder 2 and The Stack v2: The Next Generation
Paper
•
2402.19173
•
Published
•
147
MultiPL-E: A Scalable and Extensible Approach to Benchmarking Neural Code Generation
Paper
•
2208.08227
•
Published
•
1
Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs
Paper
•
2308.09895
•
Published
•
1
Can It Edit? Evaluating the Ability of Large Language Models to Follow Code Editing Instructions
Paper
•
2312.12450
•
Published
•
1
Type Prediction With Program Decomposition and Fill-in-the-Type Training
Paper
•
2305.17145
•
Published
Reflexion: Language Agents with Verbal Reinforcement Learning
Paper
•
2303.11366
•
Published
•
5
mitnamin
updated
a
model
over 1 year ago
mitnamin
updated
2
datasets
over 1 year ago
CSquid333
updated
a
dataset
over 1 year ago
cassanof
updated
2
datasets
over 1 year ago
gpoesia
authored
a
paper
about 2 years ago