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

Share this with someone who'll enjoy it:

Twitter IconFacebook IconLinkedin IconWhatsapp IconMessenger Icon

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.

View paper onarxiv icon

Share this with someone who'll enjoy it:

Twitter IconFacebook IconLinkedin IconWhatsapp IconMessenger Icon