Proving Conjectures Acquired by Composing Multiple Biases
Artificial Intelligence
2023-12-15 v1 Combinatorics
Abstract
We present the proofs of the conjectures mentioned in the paper published in the proceedings of the 2024 AAAI conference [1], and discovered by the decomposition methods presented in the same paper.
Cite
@article{arxiv.2312.08990,
title = {Proving Conjectures Acquired by Composing Multiple Biases},
author = {Jovial Cheukam-Ngouonou and Ramiz Gindullin and Nicolas Beldiceanu and Rémi Douence and Claude-Guy Quimper},
journal= {arXiv preprint arXiv:2312.08990},
year = {2023}
}