Hugging Face's logo
Gabriel Poesia's picture

Gabriel Poesia

gpoesia
Chiung-Yi's profile picture mitnamin's profile picture
ยท
https://gpoesia.com

AI & ML interests

mathematical reasoning, language models, program synthesis, formal methods

Organizations

metareflection's profile picture Stanford CS336's profile picture MathCAMPS's profile picture Stanford University's profile picture