Gabriel H. Lucchesi
ghubner
·
AI & ML interests
None yet
Recent Activity
upvoted
an
article
12 days ago
How to Run a Hugging Face Model in JAX (Part 1)
upvoted
an
article
13 days ago
From GRPO to DAPO and GSPO: What, Why, and How
upvoted
a
paper
16 days ago
Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving