ai-sherpa/differentiable-coherent-factuality-repro

claim 2: end-to-end FELM retention re-run on real public FELM (local open-weight self-consistency frequency scores, $0)

rework claim claim-5-soft-hard-agreement: real-data reproduction (CF released MATH ADGs / public FELM)

rework claim claim-2-felm-retention: real-data reproduction (CF released MATH ADGs / public FELM)

rework claim claim-1-math-retention: real-data reproduction (CF released MATH ADGs / public FELM)

Update logbook: Repro — Differentiable Conformal Training for LLM Reasoning Factuality (DCF)

initial commit