Picture for Ramiz Gindullin

Ramiz Gindullin

Proving Conjectures Acquired by Composing Multiple Biases

Add code
Dec 14, 2023
Jovial Cheukam-Ngouonou, Ramiz Gindullin, Nicolas Beldiceanu, Rémi Douence, Claude-Guy Quimper
Figure 1 for Proving Conjectures Acquired by Composing Multiple Biases
Figure 2 for Proving Conjectures Acquired by Composing Multiple Biases
Figure 3 for Proving Conjectures Acquired by Composing Multiple Biases

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.

Viaarxiv icon
Github IconAccess Paper or Ask Questions
Twitter IconFacebook IconLinkedin IconWhatsapp IconMessenger Icon