From the 1 of 1 linked paper with an AI index.
1 paper
Pablo Manrique, Stefan Szeider
The paper presents LeanCSP, a framework built in the Lean theorem prover that can formally verify constraint reformulations and certify solver results for constraint problems, prov…