TY  - RPRT
TI  - count-catcher: Lean Theorems from Model Counting Certificates
AU  - Johannes K. Fichte
AU  - Stefan Szeider
PY  - 2026
UR  - https://arxiv.org/abs/2610.36196
ID  - 2610.36196
ER  -