metareflection/dafny-annotator-vfp-autogen-4B
4B
•
Updated
•
1
AI & ML interests
Formal Verification
mitnamin
updated
2
models
2 months ago
mitnamin
published
2
models
2 months ago
mitnamin
updated
a
model
2 months ago
mitnamin
published
a
model
2 months ago
mitnamin
updated
a
model
2 months ago
mitnamin
published
a
model
2 months ago
gpoesia
published
a
model
6 months ago
cassanof
authored
a
paper
11 months ago
cassanof
updated
a
dataset
over 1 year ago
cassanof
authored
6
papers
almost 2 years ago
StarCoder 2 and The Stack v2: The Next Generation
Paper
•
2402.19173
•
Published
•
152
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
about 2 years ago
mitnamin
updated
2
datasets
about 2 years ago