metareflection

metareflection's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts

cassanof 

updated a dataset 9 months ago

metareflection/dafny-docs-chunked

Viewer • Updated Apr 16, 2024 • 497 • 35 • 1

cassanof 

authored 6 papers 11 months ago

StarCoder 2 and The Stack v2: The Next Generation

Paper • 2402.19173 • Published Feb 29, 2024 • 137

MultiPL-E: A Scalable and Extensible Approach to Benchmarking Neural Code Generation

Paper • 2208.08227 • Published Aug 17, 2022 • 1

Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs

Paper • 2308.09895 • Published Aug 19, 2023 • 1

Can It Edit? Evaluating the Ability of Large Language Models to Follow Code Editing Instructions

Paper • 2312.12450 • Published Dec 11, 2023 • 1

Type Prediction With Program Decomposition and Fill-in-the-Type Training

Paper • 2305.17145 • Published May 25, 2023

Reflexion: Language Agents with Verbal Reinforcement Learning

Paper • 2303.11366 • Published Mar 20, 2023 • 4

mitnamin 

updated a model about 1 year ago

metareflection/tiny-scheme-holes-gpt2

Updated Jan 4, 2024

mitnamin 

updated 2 datasets about 1 year ago

metareflection/tiny-scheme-holes-train

Viewer • Updated Jan 4, 2024 • 1.66k • 42

metareflection/tiny-scheme-train

Viewer • Updated Jan 4, 2024 • 74 • 36

CSquid333 

updated a dataset about 1 year ago

metareflection/dafny_with_hints

Viewer • Updated Dec 8, 2023 • 343 • 7

cassanof 

updated 2 datasets about 1 year ago

metareflection/dafny-docs

Viewer • Updated Dec 5, 2023 • 486 • 34

metareflection/dafny-train

Viewer • Updated Dec 5, 2023 • 5.62k • 33 • 1

gpoesia 

authored a paper over 1 year ago

Certified Reasoning with Language Models

Paper • 2306.04031 • Published Jun 6, 2023 • 1