Papers › Large language model validity via enhanced conformal prediction methods

Large language model validity via enhanced conformal prediction methods

14 Jun 2024arXiv:2406.09714archive 2025-07-28

John J. Cherian, Isaac Gibbs, Emmanuel J. Candès

We develop new conformal inference methods for obtaining validity guarantees on the output of large language models (LLMs). Prior work in conformal language modeling identifies a subset of the text that satisfies a high-probability guarantee of correctness. These methods work by filtering claims from the LLM's original response if a scoring function evaluated on the claim fails to exceed a threshold calibrated via split conformal prediction. Existing methods in this area suffer from two deficiencies. First, the guarantee stated is not conditionally valid. The trustworthiness of the filtering step may vary based on the topic of the response. Second, because the scoring function is imperfect, the filtering step can remove many valuable and accurate claims. We address both of these challenges via two new conformal methods. First, we generalize the conditional conformal procedure of Gibbs et al. (2023) in order to adaptively issue weaker guarantees when they are required to preserve the utility of the output. Second, we show how to systematically improve the quality of the scoring function via a novel algorithm for differentiating through the conditional conformal procedure. We demonstrate the efficacy of our approach on biography and medical question-answering datasets.

PaperPDFCodeCode Syntology ran

In Syntology Open this paper in Syntology's Atlas, the map of the papers in Syntology's graph and their citations.

For agents, Syntology's MCP tool lists every function and class Syntology harvested from this paper and whether it ran (how to connect): get_harvested_code_for_paper(arxiv_id="2406.09714")

Code

Syntology Ran 23 of 32 code samples harvested from 3 repositories linked to this paper; 9 have no recorded run. Of those that ran: 1 ran · our draft was wrong; 22 ran with no contract checked.

By repository: official repository: 11 samples from 1 repository, 7 ran; community (archive-listed): 12 samples from 1 repository, 10 ran; found in paper text by Syntology: 9 samples from 1 repository, 6 ran. The run record, sample by sample. “Ran” means executed on a synthesized input, not that the code is correct or reproduces the paper.

jjcherian/conformal-safety officialmentioned in paperMIT report
dmis-lab/olaph mentioned on GitHubpytorch report

Repository list and official/mentioned flags are the archive's, frozen 2025-07-28. Reachability, where shown, is from one Syntology probe window (2026-09-16 to 2026-09-18); repositories not probed show nothing. GitHub stars are not tracked.

Code Syntology ran Syntology

32 samples harvested; 23 ran; 0 honoured the contract we drafted; 9 have no recorded run. Read from Syntology's graph 2026-09-24; that is when this build read the record, not when the samples ran.

1ran · our draft was wrong
22ran
9unverified

Licence: 12 of the 32 samples are pointer only, meaning Syntology does not serve that copy's text. This page shows no code text for any sample; each one links to its file in the repository.

Harvested from 3 repositories linked to this paper, official or community; each sample names its own and says which. “Ran” means the sample executed on a synthesized input. It does not mean the output is correct, and nothing here reproduces the paper's results. “Honoured” and “violated” refer to a contract Syntology drafted from the code itself; “our draft was wrong” and “fixture could not drive it” are failures of Syntology's instrument, not of the code.

Each sample ends with its code_sha256, Syntology's identity for that exact code. An agent fetches the stored sample with Syntology's MCP tool get_code(code_sha256="…") (how to connect); click an identity to copy that call.

Repository labels, per sample. official repository: The archive marks this repository official for the paper. named in the paper: The archive records that the paper mentions this repository; it is not marked official. community (archive-listed): In the archive's code links for this paper, not marked official and not recorded as mentioned in the paper. found in paper text by Syntology: Syntology found this repository in the paper's own text; whether it is the authors' implementation is not asserted. community: Not in the archive's code links for this paper; a community repository Syntology harvested. Samples from a repository marked official are listed first. Licence labels name the repository's licence as recorded at harvest. “Pointer only” means Syntology does not serve that copy's text, for one of four reasons: no licence file was found; the licence was not identified; the licence is recorded as permissive but that copy's record is not marked cleared; or the licence is outside the permissive list Syntology serves text under (MIT, Apache-2.0, BSD and similar). Some licences outside that list permit redistribution, such as WTFPL, and GPL-3.0 under its conditions; they are simply not on the list. Hover a licence label for the reason. File links open the file on GitHub at the default branch, which may have changed since the harvest.

best_demos jjcherian/conformal-safety/src/atomizer.py official repository ran MIT (permissive) · 50ffc3534adfd228 · report
compute_conformity_scores jjcherian/conformal-safety/src/conformal.py official repository ran MIT (permissive) · c5b53b2caa9e7c67 · report
conformal_filter jjcherian/conformal-safety/src/conformal.py official repository ran MIT (permissive) · 08b581e4f2313f0c · report
find_unique_element jjcherian/conformal-safety/src/dataset.py official repository ran MIT (permissive) · f2b316a3259d0a06 · report
generate_annotation_prompt jjcherian/conformal-safety/src/query.py official repository ran MIT (permissive) · e970ec6b296d3b38 · report
generate_merge_prompt jjcherian/conformal-safety/src/query.py official repository ran MIT (permissive) · 153977b5ca408d0b · report
generate_subclaim_prompt jjcherian/conformal-safety/src/query.py official repository ran fingerprinted MIT (permissive) · a305f477743aeac3 · report
calibrate_thresholds jjcherian/conformal-safety/src/conformal.py official repository unverified MIT (permissive) · 17beb7b9e7b9c708 · report
get_conformal_loss jjcherian/conformal-safety/src/prob_model.py official repository unverified MIT (permissive) · 84209d574223e28e · report
get_prompts jjcherian/conformal-safety/src/dataset.py official repository unverified MIT (permissive) · 94a610d9319c1840 · report
s3_open jjcherian/conformal-safety/src/aws_utils.py official repository unverified MIT (permissive) · 7ab268a78b3e6254 · report
ROUGESCORE dmis-lab/olaph/pdata_collection.py community (archive-listed) ran no licence file found · pointer only · 0bf59e178503b9e6 · report
auto_eval dmis-lab/olaph/pred_to_sft.py community (archive-listed) ran no licence file found · pointer only · cd195a4090c8d1a8 · report
best_demos dmis-lab/olaph/Factscore/factscore/atomic_facts.py community (archive-listed) ran no licence file found · pointer only · 510528f4db1006bc · report
eval_score dmis-lab/olaph/pred_to_preference.py community (archive-listed) ran no licence file found · pointer only · 96273073405b5dcc · report
is_invalid_paragraph_ppl dmis-lab/olaph/Factscore/factscore/abstain_detection.py community (archive-listed) ran no licence file found · pointer only · 8eb846a8e76a79b8 · report
is_invalid_ppl dmis-lab/olaph/Factscore/factscore/abstain_detection.py community (archive-listed) ran no licence file found · pointer only · 672bd38d830be48d · report
make_inst dmis-lab/olaph/pred_to_preference.py community (archive-listed) ran no licence file found · pointer only · a58480b813525951 · report
normalize_answer dmis-lab/olaph/Factscore/factscore/atomic_facts.py community (archive-listed) ran · our draft was wrong fingerprinted no licence file found · pointer only · 6a96435eba311b08 · report
remove_citation dmis-lab/olaph/Factscore/factscore/abstain_detection.py community (archive-listed) ran fingerprinted no licence file found · pointer only · 3635046105ae0fce · report
text_to_sentences dmis-lab/olaph/Factscore/factscore/atomic_facts.py community (archive-listed) ran fingerprinted no licence file found · pointer only · 13867f872a481bd3 · report
BERTSCORE dmis-lab/olaph/pdata_collection.py community (archive-listed) unverified no licence file found · pointer only · 91e4954df685088b · report
BLEURT dmis-lab/olaph/pdata_collection.py community (archive-listed) unverified no licence file found · pointer only · 68d4cb0d0d0e65db · report
binary_search jjcherian/conditional-conformal/conditionalconformal/condconf.py found in paper text by Syntology ran MIT (permissive) · a9044f6ed0707c0e · report
indicator_matrix jjcherian/conditional-conformal/conditionalconformal/synthetic_data.py found in paper text by Syntology ran MIT (permissive) · a43705d36c393243 · report
phi_fn_intercept jjcherian/conditional-conformal/experiments/synthetic_trial.py found in paper text by Syntology ran fingerprinted MIT (permissive) · abe7e77347b17747 · report
phi_fn_shifts jjcherian/conditional-conformal/experiments/synthetic_trial.py found in paper text by Syntology ran fingerprinted MIT (permissive) · ca62a7e8fcef8799 · report
setup_cvx_problem jjcherian/conditional-conformal/conditionalconformal/condconf.py found in paper text by Syntology ran MIT (permissive) · c738d349dd542153 · report
split_dataset jjcherian/conditional-conformal/conditionalconformal/experiment_utils.py found in paper text by Syntology ran MIT (permissive) · 4fe1f68fa8d32424 · report
finish_dual_setup jjcherian/conditional-conformal/conditionalconformal/condconf.py found in paper text by Syntology unverified MIT (permissive) · 7040aef1e8bc0075 · report
generate_cqr_data jjcherian/conditional-conformal/conditionalconformal/synthetic_data.py found in paper text by Syntology unverified MIT (permissive) · cb73b72629a8bdb8 · report
torch_ts jjcherian/conditional-conformal/experiments/temperatureScaling.py found in paper text by Syntology unverified MIT (permissive) · 24635b5492ae6ce5 · report

Tasks

Conformal PredictionLanguage ModelingLanguage ModellingLarge Language ModelPredictionQuestion Answering

2 archive task tags without a task page not shown.

Results from the paper archive 2025-07-28

No leaderboard rows for this paper in the archive.

Report a problem or propose a change · a person checks every report against the paper or source before anything changes; decisions are listed on /corrections