Incremental Selection of Most-Filtering Conjectures and Proofs of the Selected Conjectures
Artificial Intelligence
2025-11-04 v1
Abstract
We present an improved incremental selection algorithm of the selection algorithm presented in [1] and prove all the selected conjectures.
Cite
@article{arxiv.2511.00194,
title = {Incremental Selection of Most-Filtering Conjectures and Proofs of the Selected Conjectures},
author = {Jovial Cheukam Ngouonou and Ramiz Gindullin and Claude-Guy Quimper and Nicolas Beldiceanu and Remi Douence},
journal= {arXiv preprint arXiv:2511.00194},
year = {2025}
}