zrrr's picture

3 3

zrrr

zrrr

·

AI & ML interests

None yet

Recent Activity

upvoted a paper 29 days ago

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

liked a dataset about 2 months ago

Goedel-LM/MathOlympiadBench

authored a paper about 2 months ago

Panacea: Pareto Alignment via Preference Adaptation for LLMs

View all activity

Organizations

zrrr 's datasets

None public yet