{"id":"https://openalex.org/W7161244350","doi":"https://doi.org/10.48550/arxiv.2605.14049","title":"Bridging Legal Interpretation and Formal Logic: Faithfulness, Assumption, and the Future of AI Legal Reasoning","display_name":"Bridging Legal Interpretation and Formal Logic: Faithfulness, Assumption, and the Future of AI Legal Reasoning","publication_year":2026,"publication_date":"2026-05-13","ids":{"openalex":"https://openalex.org/W7161244350","doi":"https://doi.org/10.48550/arxiv.2605.14049"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2605.14049","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.14049","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","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.2605.14049","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5120717706","display_name":"Olivia Peiyu Wang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wang, Olivia Peiyu","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5136211321","display_name":"Leilani H. Gilpin","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Gilpin, Leilani H.","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/T13643","display_name":"Artificial Intelligence in Law","score":0.46470001339912415,"subfield":{"id":"https://openalex.org/subfields/3320","display_name":"Political Science and International Relations"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T13643","display_name":"Artificial Intelligence in Law","score":0.46470001339912415,"subfield":{"id":"https://openalex.org/subfields/3320","display_name":"Political Science and International Relations"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T14013","display_name":"Legal Language and Interpretation","score":0.10270000249147415,"subfield":{"id":"https://openalex.org/subfields/3308","display_name":"Law"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.06849999725818634,"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/bridging","display_name":"Bridging (networking)","score":0.5519000291824341},{"id":"https://openalex.org/keywords/interpretation","display_name":"Interpretation (philosophy)","score":0.546500027179718},{"id":"https://openalex.org/keywords/accountability","display_name":"Accountability","score":0.4404999911785126},{"id":"https://openalex.org/keywords/legal-practice","display_name":"Legal practice","score":0.3930000066757202},{"id":"https://openalex.org/keywords/legal-profession","display_name":"Legal profession","score":0.3336000144481659},{"id":"https://openalex.org/keywords/interpreter","display_name":"Interpreter","score":0.31450000405311584},{"id":"https://openalex.org/keywords/legal-psychology","display_name":"Legal psychology","score":0.2897000014781952},{"id":"https://openalex.org/keywords/philosophy-of-law","display_name":"Philosophy of law","score":0.2784999907016754}],"concepts":[{"id":"https://openalex.org/C174348530","wikidata":"https://www.wikidata.org/wiki/Q188635","display_name":"Bridging (networking)","level":2,"score":0.5519000291824341},{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.546500027179718},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.47049999237060547},{"id":"https://openalex.org/C2776007630","wikidata":"https://www.wikidata.org/wiki/Q2798912","display_name":"Accountability","level":2,"score":0.4404999911785126},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4140999913215637},{"id":"https://openalex.org/C521078695","wikidata":"https://www.wikidata.org/wiki/Q4180175","display_name":"Legal practice","level":2,"score":0.3930000066757202},{"id":"https://openalex.org/C55587333","wikidata":"https://www.wikidata.org/wiki/Q1133029","display_name":"Engineering ethics","level":1,"score":0.388700008392334},{"id":"https://openalex.org/C170692843","wikidata":"https://www.wikidata.org/wiki/Q15987302","display_name":"Legal profession","level":2,"score":0.3336000144481659},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.32010000944137573},{"id":"https://openalex.org/C122783720","wikidata":"https://www.wikidata.org/wiki/Q183065","display_name":"Interpreter","level":2,"score":0.31450000405311584},{"id":"https://openalex.org/C539667460","wikidata":"https://www.wikidata.org/wiki/Q2414942","display_name":"Management science","level":1,"score":0.2987000048160553},{"id":"https://openalex.org/C143515210","wikidata":"https://www.wikidata.org/wiki/Q2479662","display_name":"Legal psychology","level":2,"score":0.2897000014781952},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.2867000102996826},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.28519999980926514},{"id":"https://openalex.org/C162040827","wikidata":"https://www.wikidata.org/wiki/Q126842","display_name":"Philosophy of law","level":3,"score":0.2784999907016754},{"id":"https://openalex.org/C144024400","wikidata":"https://www.wikidata.org/wiki/Q21201","display_name":"Sociology","level":0,"score":0.27790001034736633},{"id":"https://openalex.org/C522695570","wikidata":"https://www.wikidata.org/wiki/Q6517578","display_name":"Legal research","level":2,"score":0.2773999869823456},{"id":"https://openalex.org/C18762648","wikidata":"https://www.wikidata.org/wiki/Q42213","display_name":"Work (physics)","level":2,"score":0.27639999985694885},{"id":"https://openalex.org/C2779934063","wikidata":"https://www.wikidata.org/wiki/Q1965882","display_name":"Legal translation","level":2,"score":0.27480000257492065},{"id":"https://openalex.org/C100701532","wikidata":"https://www.wikidata.org/wiki/Q5374244","display_name":"Empirical legal studies","level":3,"score":0.27250000834465027},{"id":"https://openalex.org/C1556254","wikidata":"https://www.wikidata.org/wiki/Q1779729","display_name":"Legal formalism","level":5,"score":0.2612000107765198},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.2574999928474426},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.257099986076355},{"id":"https://openalex.org/C2777151640","wikidata":"https://www.wikidata.org/wiki/Q3433177","display_name":"Legal risk","level":2,"score":0.257099986076355}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2605.14049","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.14049","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2605.14049","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.14049","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.7797660827636719}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"The":[0,55],"growing":[1],"adoption":[2],"of":[3,40,46,106,113,130],"large":[4,107],"language":[5,108],"models":[6,109],"in":[7],"legal":[8,41,99,120,138],"practice":[9,139],"brings":[10],"both":[11,122],"significant":[12],"promise":[13],"and":[14,31,65,124],"serious":[15],"risk.":[16],"Legal":[17],"professionals":[18],"stand":[19],"to":[20,98,117],"benefit":[21],"from":[22],"AI":[23,50,100],"that":[24,48,61,69,74,101,137],"can":[25],"reason":[26],"over":[27],"contracts,":[28],"draft":[29],"documents,":[30],"analyze":[32],"sources":[33],"at":[34],"scale,":[35],"yet":[36],"the":[37,78,103,111,128,135],"high-stakes":[38],"nature":[39],"work":[42],"demands":[43],"a":[44,95],"level":[45],"rigor":[47,112],"current":[49],"systems":[51],"do":[52],"not":[53,59],"provide.":[54],"central":[56],"problem":[57],"is":[58,68],"simply":[60],"LLMs":[62],"hallucinate":[63],"facts":[64],"references;":[66],"it":[67],"they":[70,88],"systematically":[71],"draw":[72],"inferences":[73],"go":[75],"beyond":[76],"what":[77],"source":[79],"text":[80],"actually":[81],"supports,":[82],"presenting":[83],"assumption-laden":[84],"conclusions":[85],"as":[86],"if":[87],"were":[89],"logically":[90],"grounded.":[91],"This":[92],"proposal":[93],"presents":[94],"neuro-symbolic":[96],"approach":[97],"combines":[102],"expressive":[104],"power":[105],"with":[110],"formal":[114],"verification,":[115],"aiming":[116],"make":[118],"AI-assisted":[119],"reasoning":[121],"capable":[123],"trustworthy,":[125],"thus":[126],"reducing":[127],"burden":[129],"manual":[131],"verification":[132],"without":[133],"sacrificing":[134],"accountability":[136],"demands.":[140]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-05-16T00:00:00"}