{"id":"https://openalex.org/W7125221861","doi":"https://doi.org/10.48550/arxiv.2601.13387","title":"Confidence over Time: Confidence Calibration with Temporal Logic for Large Language Model Reasoning","display_name":"Confidence over Time: Confidence Calibration with Temporal Logic for Large Language Model Reasoning","publication_year":2026,"publication_date":"2026-01-19","ids":{"openalex":"https://openalex.org/W7125221861","doi":"https://doi.org/10.48550/arxiv.2601.13387"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2601.13387","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2601.13387","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2601.13387","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5123480915","display_name":"Zhenjiang Mao","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Mao, Zhenjiang","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5123519963","display_name":"Anirudhh Venkat","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Venkat, Anirudhh","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5119181631","display_name":"Artem Bisliouk","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Bisliouk, Artem","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056938776","display_name":"Akshat Kothiyal","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Kothiyal, Akshat","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5123540867","display_name":"Sindhura Kumbakonam Subramanian","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Subramanian, Sindhura Kumbakonam","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5093818968","display_name":"Saithej Singhu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Singhu, Saithej","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5021509994","display_name":"Ivan Ruchkin","orcid":"https://orcid.org/0000-0003-3546-414X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ruchkin, Ivan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10028","display_name":"Topic Modeling","score":0.5705999732017517,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10028","display_name":"Topic Modeling","score":0.5705999732017517,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T13629","display_name":"Text Readability and Simplification","score":0.07800000160932541,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11902","display_name":"Intelligent Tutoring Systems and Adaptive Learning","score":0.031099999323487282,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/discriminative-model","display_name":"Discriminative model","score":0.652899980545044},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.42419999837875366},{"id":"https://openalex.org/keywords/calibration","display_name":"Calibration","score":0.4120999872684479},{"id":"https://openalex.org/keywords/confidence-distribution","display_name":"Confidence distribution","score":0.39570000767707825},{"id":"https://openalex.org/keywords/signal","display_name":"SIGNAL (programming language)","score":0.3887999951839447},{"id":"https://openalex.org/keywords/language-model","display_name":"Language model","score":0.37790000438690186},{"id":"https://openalex.org/keywords/confidence-interval","display_name":"Confidence interval","score":0.3582000136375427},{"id":"https://openalex.org/keywords/confidence-and-prediction-bands","display_name":"Confidence and prediction bands","score":0.35679998993873596},{"id":"https://openalex.org/keywords/scalar","display_name":"Scalar (mathematics)","score":0.35350000858306885}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6890000104904175},{"id":"https://openalex.org/C97931131","wikidata":"https://www.wikidata.org/wiki/Q5282087","display_name":"Discriminative model","level":2,"score":0.652899980545044},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5914999842643738},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.4519999921321869},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.42419999837875366},{"id":"https://openalex.org/C165838908","wikidata":"https://www.wikidata.org/wiki/Q736777","display_name":"Calibration","level":2,"score":0.4120999872684479},{"id":"https://openalex.org/C13662513","wikidata":"https://www.wikidata.org/wiki/Q5160087","display_name":"Confidence distribution","level":3,"score":0.39570000767707825},{"id":"https://openalex.org/C2779843651","wikidata":"https://www.wikidata.org/wiki/Q7390335","display_name":"SIGNAL (programming language)","level":2,"score":0.3887999951839447},{"id":"https://openalex.org/C137293760","wikidata":"https://www.wikidata.org/wiki/Q3621696","display_name":"Language model","level":2,"score":0.37790000438690186},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.36660000681877136},{"id":"https://openalex.org/C44249647","wikidata":"https://www.wikidata.org/wiki/Q208498","display_name":"Confidence interval","level":2,"score":0.3582000136375427},{"id":"https://openalex.org/C140529851","wikidata":"https://www.wikidata.org/wiki/Q5160083","display_name":"Confidence and prediction bands","level":3,"score":0.35679998993873596},{"id":"https://openalex.org/C57691317","wikidata":"https://www.wikidata.org/wiki/Q1289248","display_name":"Scalar (mathematics)","level":2,"score":0.35350000858306885},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.34700000286102295},{"id":"https://openalex.org/C21200559","wikidata":"https://www.wikidata.org/wiki/Q7451068","display_name":"Sensitivity (control systems)","level":2,"score":0.31470000743865967},{"id":"https://openalex.org/C162670838","wikidata":"https://www.wikidata.org/wiki/Q6057295","display_name":"Interval temporal logic","level":3,"score":0.2971999943256378},{"id":"https://openalex.org/C2909755999","wikidata":"https://www.wikidata.org/wiki/Q4751126","display_name":"Low Confidence","level":2,"score":0.2854999899864197},{"id":"https://openalex.org/C37335422","wikidata":"https://www.wikidata.org/wiki/Q6888134","display_name":"Model-based reasoning","level":3,"score":0.2842999994754791},{"id":"https://openalex.org/C89288958","wikidata":"https://www.wikidata.org/wiki/Q7301504","display_name":"Reasoning system","level":2,"score":0.2809999883174896},{"id":"https://openalex.org/C153180895","wikidata":"https://www.wikidata.org/wiki/Q7148389","display_name":"Pattern recognition (psychology)","level":2,"score":0.27730000019073486},{"id":"https://openalex.org/C96250715","wikidata":"https://www.wikidata.org/wiki/Q965330","display_name":"Estimation","level":2,"score":0.27709999680519104},{"id":"https://openalex.org/C198008173","wikidata":"https://www.wikidata.org/wiki/Q1040040","display_name":"Computation tree logic","level":3,"score":0.2750000059604645},{"id":"https://openalex.org/C143380155","wikidata":"https://www.wikidata.org/wiki/Q5160088","display_name":"Confidence region","level":3,"score":0.2635999917984009},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.258899986743927},{"id":"https://openalex.org/C195324797","wikidata":"https://www.wikidata.org/wiki/Q33742","display_name":"Natural language","level":2,"score":0.25099998712539673}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2601.13387","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2601.13387","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2601.13387","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2601.13387","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[{"score":0.6820905804634094,"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Large":[0],"Language":[1],"Models":[2],"(LLMs)":[3],"increasingly":[4],"rely":[5],"on":[6,126,143],"long-form,":[7],"multi-step":[8],"reasoning":[9,34,70,145],"to":[10,36,56,67,77,122],"solve":[11],"complex":[12],"tasks":[13,146],"such":[14,59],"as":[15,60],"mathematical":[16],"problem":[17],"solving":[18],"and":[19,65,104,117],"scientific":[20],"question":[21],"answering.":[22],"Despite":[23],"strong":[24],"performance,":[25],"existing":[26],"confidence":[27,43,81,100,132,149],"estimation":[28,133],"methods":[29,52],"typically":[30],"reduce":[31],"an":[32],"entire":[33],"process":[35],"a":[37,49,89,131],"single":[38],"scalar":[39],"score,":[40],"ignoring":[41],"how":[42],"evolves":[44],"throughout":[45],"the":[46,79,111,155],"generation.":[47],"As":[48],"result,":[50],"these":[51,127],"are":[53,151],"often":[54],"sensitive":[55],"superficial":[57],"factors":[58],"response":[61],"length":[62],"or":[63],"verbosity,":[64],"struggle":[66],"distinguish":[68,99],"correct":[69,103],"from":[71],"confidently":[72],"stated":[73],"errors.":[74],"We":[75],"propose":[76],"characterize":[78],"stepwise":[80],"signal":[82],"using":[83],"Signal":[84],"Temporal":[85],"Logic":[86],"(STL).":[87],"Using":[88],"discriminative":[90],"STL":[91,112,137],"mining":[92],"procedure,":[93],"we":[94,129],"discover":[95],"temporal":[96],"formulas":[97],"that":[98,110,135],"signals":[101],"of":[102],"incorrect":[105],"responses.":[106],"Our":[107],"analysis":[108],"found":[109],"patterns":[113],"generalize":[114],"across":[115],"tasks,":[116],"numeric":[118],"parameters":[119],"exhibit":[120],"sensitivity":[121],"individual":[123],"questions.":[124],"Based":[125],"insights,":[128],"develop":[130],"approach":[134],"informs":[136],"blocks":[138],"with":[139],"parameter":[140],"hypernetworks.":[141],"Experiments":[142],"multiple":[144],"show":[147],"our":[148],"scores":[150],"more":[152],"calibrated":[153],"than":[154],"baselines.":[156]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-01-22T00:00:00"}