[GUEST ACCESS MODE: Data is scrambled or limited to provide examples. Make requests using your API key to unlock full data. Check https://lunarcrush.ai/auth for authentication information.]

![fly51fly Avatar](https://lunarcrush.com/gi/w:24/cr:twitter::22146921.png) fly51fly [@fly51fly](/creator/twitter/fly51fly) on x 7567 followers
Created: 2025-07-13 21:58:49 UTC

[CL] CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization
Z Peng, Y Yao, K Ma, S Guo... [ByteDance Seed & Nanjing University] (2025)


![](https://pbs.twimg.com/media/GvxPxY2XYAEdlvr.jpg)

XXX engagements

![Engagements Line Chart](https://lunarcrush.com/gi/w:600/p:tweet::1944516893530038368/c:line.svg)

**Related Topics**
[bytedance](/topic/bytedance)

[Post Link](https://x.com/fly51fly/status/1944516893530038368)