LensDesigner is a self-improving autonomous agent that uses retrieval, simulation, and curriculum learning to design optical lenses, significantly outperforming baselines on 120 diverse tasks.
ProofRank benchmarks LLM proof quality via conciseness, ease, simplicity, diversity, and adaptivity, revealing quality differences and trade-offs with correctness.