Cite
Notes
Only stored in your browser.
Attribution
Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving
arXiv 2025
CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization
from 2 papers
Ge Zhang
researcher
Kaijing Ma
Wenhao Huang
Yihang Xia
Yuchen Wu
Allan Jie
Chenchen Zhang
Cheng Ren
Chenggang Li
Chenrui Wei