

54:02
publiée le 30 mai 2025
Universal Optimal Control, Reinforcement Learning, and Reaching Goals in LLMs
De Yann Ollivier


53:39
publiée le 30 mai 2025
Search, Reason or Recombine? Paradigms for Scaling Formal Proving
De Fabian Glöckle