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