most citedProving Conjectures Acquired by Composing Multiple Biases

1 citations · 1 across the 2 of their papers we have counts for

collaborators

2 papers

cs.AI2025

Incremental Selection of Most-Filtering Conjectures and Proofs of the Selected Conjectures

Jovial Cheukam Ngouonou, Ramiz Gindullin, Claude-Guy Quimper +2

We present an improved incremental selection algorithm of the selection algorithm presented in [1] and prove all the selected conjectures.

cs.AI2023★ 1 cited

Proving Conjectures Acquired by Composing Multiple Biases

Jovial Cheukam-Ngouonou, Ramiz Gindullin, Nicolas Beldiceanu +2

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…