TY  - RPRT
TI  - Proving Conjectures Acquired by Composing Multiple Biases
AU  - Jovial Cheukam-Ngouonou
AU  - Ramiz Gindullin
AU  - Nicolas Beldiceanu
AU  - Rémi Douence
AU  - Claude-Guy Quimper
PY  - 2023
UR  - https://arxiv.org/abs/2312.08990
ID  - 2312.08990
ER  -