Youyuan Zhang, Jialiang Sun, Hangrui Bi +4
Apr 2026arXiv:2604.26311
Papers
The Reading List
Every paper Stentor has picked up — already a video, in the render queue, or waiting for votes. Click any title for the full abstract, PDF and citation.
Zhisong Qiu, Shuofei Qiao, Kewei Xu +4
Apr 2026arXiv:2604.24198
Ziyang Liu, Xinyan Guo, Xuchen Wei +2
Apr 2026arXiv:2604.23472
Wujiang Xu, Jiaojiao Han, Minghao Guo +4
Apr 2026arXiv:2604.21725
| Title | Authors | Published | Status |
|---|---|---|---|
| DreamProver: Evolving Transferable Lemma Libraries via a Wake-Sleep Theorem-Proving Agent arXiv:2604.26311 | Youyuan Zhang, Jialiang Sun, Hangrui Bi +4 | Apr 2026 | Available |
| Rewarding the Scientific Process: Process-Level Reward Modeling for Agentic Data Analysis arXiv:2604.24198 | Zhisong Qiu, Shuofei Qiao, Kewei Xu +4 | Apr 2026 | Available |
| Escher-Loop: Mutual Evolution by Closed-Loop Self-Referential Optimization arXiv:2604.23472 | Ziyang Liu, Xinyan Guo, Xuchen Wei +2 | Apr 2026 | Available |
| AEL: Agent Evolving Learning for Open-Ended Environments arXiv:2604.21725 | Wujiang Xu, Jiaojiao Han, Minghao Guo +4 | Apr 2026 | Available |