TY  - RPRT
TI  - Neural network decoder confidence as a learned proxy for the logical gap
AU  - David Dentelski
PY  - 2026
UR  - https://arxiv.org/abs/2606.08758
ID  - 2606.08758
ER  -