TY  - RPRT
TI  - Elenchus: Generating Knowledge Bases from Prover-Skeptic Dialogues
AU  - Bradley P. Allen
PY  - 2026
UR  - https://arxiv.org/abs/2603.06974
ID  - 2603.06974
ER  -