zrrr's picture

4 4

zrrr

zrrr

·

AI & ML interests

None yet

Recent Activity

upvoted a paper about 1 month ago

Token-Level LLM Collaboration via FusionRoute

liked a model 4 months ago

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

upvoted a paper 6 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

zrrr (zrrr)

zrrr's picture

4 4

zrrr

zrrr

·

AI & ML interests

None yet

Recent Activity

upvoted a paper about 1 month ago

Token-Level LLM Collaboration via FusionRoute

liked a model 4 months ago

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

upvoted a paper 6 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