Gabriel Poesia

gpoesia's activity

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

updated a collection 24 days ago

formal-disco

Collection

datasets created by formal-disco • 1 item • Updated 24 days ago

updated a dataset 24 days ago

metareflection/formal-disco

Viewer • Updated 24 days ago • 101k • 81

published a dataset 24 days ago

metareflection/formal-disco

Viewer • Updated 24 days ago • 101k • 81

updated a dataset 5 months ago

metareflection/dafny-disco

Viewer • Updated Feb 28 • 81.3k • 11 • 3

published a dataset 5 months ago

metareflection/dafny-disco

Viewer • Updated Feb 28 • 81.3k • 11 • 3

updated a model 10 months ago

gpoesia/dafny-annotator-8B

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

published a model 10 months ago

gpoesia/dafny-annotator-8B

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

updated a model about 1 year ago

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

Updated Jul 15, 2025 • 1

published 2 models about 1 year 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 about 2 years ago

mathcamps/mathcamps

Viewer • Updated Jun 25, 2024 • 9.61k • 609 • 3

authored a paper about 3 years ago

Certified Reasoning with Language Models

Paper • 2306.04031 • Published Jun 6, 2023 • 3