Subscribe

NEW VIDEO EVERY DAY

STENTOR
STUDIO

6-8 minute videos that decode the latest research on self-evolving agents.

Watch Latest Video

today's drop

DreamProver: Evolving Transferable Lemma Libraries via a Wake-Sleep Theorem-Proving Agent

6:59

  • 4Videos
  • 4Papers
  • 0Researchers
  • 25mHours of Content

Video Library

Watch. Learn. Evolve.

6:59

DreamProver: Evolving Transferable Lemma Libraries via a Wake-Sleep Theorem-Proving Agent

Youyuan Zhang, Jialiang Sun, Hangrui Bi +4

Apr 30, 2026

7:33

Escher-Loop: Mutual Evolution by Closed-Loop Self-Referential Optimization

Ziyang Liu, Xinyan Guo, Xuchen Wei +2

Apr 29, 2026

7:45

Rewarding the Scientific Process: Process-Level Reward Modeling for Agentic Data Analysis

Zhisong Qiu, Shuofei Qiao, Kewei Xu +4

Apr 29, 2026

2:23

AEL: Agent Evolving Learning for Open-Ended Environments

Wujiang Xu, Jiaojiao Han, Minghao Guo +4

Apr 29, 2026