metareflection/dafny-disco
Viewer
• Updated
• 81.3k • 10 • 1
AI & ML interests
Formal Verification
Recent Activity
View all activity
gpoesia
updated a dataset 7 days ago
gpoesia
published a dataset 7 days ago
mitnamin
updated 2 models 4 months ago
mitnamin
published 2 models 4 months ago
mitnamin
updated a model 4 months ago
mitnamin
published a model 4 months ago
mitnamin
updated a model 4 months ago
mitnamin
published a model 4 months ago
gpoesia
published a model 8 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
• 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