Gabriel Poesia

gpoesia's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

updated a dataset 4 days ago

metareflection/dafny-disco

Viewer • Updated 4 days ago • 81.3k • 7 • 1

published a dataset 4 days ago

metareflection/dafny-disco

Viewer • Updated 4 days ago • 81.3k • 7 • 1

updated a model 5 months ago

gpoesia/dafny-annotator-8B

Text Generation • 8B • Updated Sep 23, 2025 • 6 • 1

published a model 5 months ago

gpoesia/dafny-annotator-8B

Text Generation • 8B • Updated Sep 23, 2025 • 6 • 1

updated a model 8 months ago

gpoesia/finetuned_Meta-Llama-3.1-8B_dafnybench-100-peft

Updated Jul 15, 2025 • 1

published 2 models 8 months ago

gpoesia/finetuned_Meta-Llama-3.1-8B_dafnybench-100-peft

Updated Jul 15, 2025 • 1

metareflection/dafny-annotator

Updated Jul 14, 2025

updated a dataset over 1 year ago

mathcamps/mathcamps

Viewer • Updated Jun 25, 2024 • 9.61k • 37 • 2

authored a paper over 2 years ago

Certified Reasoning with Language Models

Paper • 2306.04031 • Published Jun 6, 2023 • 3