Haniel Barbosa, Clark W. Barrett, Byron Cook, Bruno Dutertre, Gereon Kremer, Hanna Lachnitt, Aina Niemetz, Andres Nötzli, Alex Ozdemir, Mathias Preiner, Andrew Reynolds 0001, Cesare Tinelli, Yoni Zohar. Generating and Exploiting Automated Reasoning Proof Certificates. Communications of the ACM, 66(10):86-95, October 2023. [doi]
Abstract is missing.