0

Luming Li

Papers
1

Cite

Notes

Only stored in your browser.

Attribution

Affiliations & profile
Semantic Scholar
Attribution policy →
1papers

Authored papers

1

CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization

arXiv 2025

2025

Affiliations

No known affiliations.

Frequent co-authors

10

from 1 papers

Chenchen Zhang

1 shared paper

Ge Zhang

researcher

1 shared paper

Jiaheng Liu

1 shared paper

Jiawei Shen

1 shared paper

Kaijing Ma

1 shared paper

Minghao Liu

1 shared paper

Shuyue Guo

1 shared paper

Wenhao Huang

1 shared paper

Yichi Zhang

1 shared paper

Yifan Yao

1 shared paper