The proofs were generated in Lean and checked by the Lean kernel, so the result isn't based on comparing generated answers with expected solutions: the underlying proofs themselves are mechanically verified.
The article includes the formalizations, proof traces, Timings, and links to the complete proofs as benchmarks.