TY  - RPRT
TI  - Incremental Selection of Most-Filtering Conjectures and Proofs of the Selected Conjectures
AU  - Jovial Cheukam Ngouonou
AU  - Ramiz Gindullin
AU  - Claude-Guy Quimper
AU  - Nicolas Beldiceanu
AU  - Remi Douence
PY  - 2025
UR  - https://arxiv.org/abs/2511.00194
ID  - 2511.00194
ER  -