zrrr's picture

zrrr

zrrr

·

AI & ML interests

None yet

Recent Activity

upvoted a paper about 2 months ago

Token-Level LLM Collaboration via FusionRoute

liked a model 5 months ago

Goedel-LM/Goedel-Prover-V2-32B

upvoted a paper 7 months ago

Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction

View all activity

Organizations

No public activity