metareflection/dafny-disco
Viewer • Updated • 81.3k • 67 • 2
AI & ML interests
Formal Verification
Recent Activity
View all activity
gpoesia
updated a
dataset about 1 month ago
gpoesia
published a
dataset about 1 month ago
mitnamin
updated 2
models 5 months ago
mitnamin
published 2
models 5 months ago
mitnamin
updated a
model 5 months ago
mitnamin
published a
model 5 months ago
mitnamin
updated a
model 5 months ago
mitnamin
published a
model 5 months ago
gpoesia
published a
model 9 months ago
cassanof
authored a
paper about 1 year ago
cassanof
updated a
dataset almost 2 years ago
cassanof
authored 6
papers about 2 years ago
StarCoder 2 and The Stack v2: The Next Generation
Paper • 2402.19173 • Published • 155
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