LEAP authors

The authors of LEAP are researchers who have developed an agentic framework to enhance the capabilities of large language models in formal mathematical reasoning. Their work focuses on improving the ability of these models to generate mechanically verifiable proofs, contributing to advancements in automated formal theorem proving.