Ctrl+K
- claim-1-differentiable-coherent-factuality-dcf-achieves-up-to-a-141-improvement-in-claim-retention-over-frequency-based-baselines-on-the-math-dataset-at-reliability-level-0-03-1-76-vs-0-73-claims-retained-section-4-3
- claim-1-math-retention
- claim-2-dcf-achieves-up-to-a-61-improvement-in-claim-retention-over-frequency-based-baselines-on-the-felm-dataset-at-0-01-section-4-3
- claim-2-felm-retention
- claim-3-calibration-convergence
- claim-3-theorem-3-1-calibration-convergence-shows-that-as-temperature-parameters-approach-their-limits-dcf-soft-nonconformity-scores-converge-to-the-hard-coherent-factuality-algorithm-scores-recovering-its-conformal-quantile-properties-theorem-3-1
- claim-4-prediction-convergence
- claim-4-theorem-3-2-prediction-convergence-shows-dcf-soft-retention-probabilities-converge-to-the-original-coherent-factuality-prediction-set-preserving-test-time-coverage-guarantees-theorem-3-2
- claim-5-dcf-soft-relaxations-achieve-90-100-agreement-with-hard-coherent-factuality-predictions-across-0-01-0-10-validating-the-smooth-approximation-section-4-2
- claim-5-soft-hard-agreement
- claim-6-dcf-jointly-relaxes-claim-scoring-together-with-logical-ancestor-coherence-enforcement-and-constrained-argmax-selection-rather-than-treating-these-graph-operations-independently-section-3-2-3-4
- claim-6-joint-relaxation
- conclusion
- executive-summary
- 1.62 kB