Gabriel Poesia

gpoesia's activity

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

updated a model 2 months ago

gpoesia/dafny-annotator-8B

Text Generation • 8B • Updated Sep 23 • 31 • 1

published a model 2 months ago

gpoesia/dafny-annotator-8B

Text Generation • 8B • Updated Sep 23 • 31 • 1

updated a model 4 months ago

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

Updated Jul 15 • 1

published 2 models 4 months ago

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

Updated Jul 15 • 1

metareflection/dafny-annotator

Updated Jul 14

updated a dataset over 1 year ago

mathcamps/mathcamps

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

authored a paper over 2 years ago

Certified Reasoning with Language Models

Paper • 2306.04031 • Published Jun 6, 2023 • 3