Automating proofs of lattice inequalities in Coq

Theorem-proving using Reinforcement Learning and Duality

December 2019