Neural network decoder confidence as a learned proxy for the logical gap - David Dentelski (2026)