Posts tagged formal-methods
-
LeanMarathon: long-horizon formalization as agent engineering
LeanMarathon turns paper-level Lean formalization into a recoverable multi-agent engineering system: blueprint, proof DAG, scoped workers, reviewer issues, and CI gates keep long tasks from drifting.