Tag
A weekly roundup of notable AI papers covering self-revising discovery systems from MIT, disentangling agent self-evolution, and Google's LEAP for formal mathematics using agentic scaffolds.