ImProver: Agent-Based Automated Proof Optimization.

Riyaz Ahuja, Jeremy Avigad, Prasad Tetali, Sean Welleck

Browse the full ICLR paper archive.