zrrr's picture

4 4

zrrr

zrrr

·

AI & ML interests

None yet

Recent Activity

upvoted a paper 2 days ago

Token-Level LLM Collaboration via FusionRoute

liked a model 3 months ago

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

upvoted a paper 5 months ago

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

View all activity

Organizations

Papers 3

arxiv:2412.16145

arxiv:2412.06474

arxiv:2402.02030

models 0

None public yet

datasets 0

None public yet