multi-objective-optimization

Lean Refactor presents a retrieval-augmented agentic framework for multi-objective, controllable, and version-robust refactoring of Lean proofs, achieving significant compression and compilation-time reduction.

ToolMol is an evolutionary agentic framework that combines a multi-objective genetic algorithm with an LLM-based operator to design small-molecule drugs, achieving state-of-the-art binding affinity and drug-likeness on multiple protein targets.