{"id":"https://openalex.org/W7164053633","doi":"https://doi.org/10.48550/arxiv.2606.08932","title":"From Statute to Control Flow: Span-Grounded Deontic Trees for Defeasible Scope Parsing","display_name":"From Statute to Control Flow: Span-Grounded Deontic Trees for Defeasible Scope Parsing","publication_year":2026,"publication_date":"2026-06-08","ids":{"openalex":"https://openalex.org/W7164053633","doi":"https://doi.org/10.48550/arxiv.2606.08932"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2606.08932","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.08932","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.2606.08932","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5138230472","display_name":"Jian Chen","orcid":"https://orcid.org/0000-0003-4612-3279"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Chen, Jian","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5138214234","display_name":"Siyuan Li","orcid":"https://orcid.org/0000-0002-9413-4602"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Li, Siyuan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5138223906","display_name":"Chucheng Wan","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wan, Chucheng","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5138272404","display_name":"Zixuan Yuan","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yuan, Zixuan","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/T11424","display_name":"Security and Verification in Computing","score":0.14820000529289246,"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/T11424","display_name":"Security and Verification in Computing","score":0.14820000529289246,"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/T10126","display_name":"Logic, programming, and type systems","score":0.09619999676942825,"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/T10028","display_name":"Topic Modeling","score":0.0754999965429306,"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/deontic-logic","display_name":"Deontic logic","score":0.7161999940872192},{"id":"https://openalex.org/keywords/scope","display_name":"Scope (computer science)","score":0.5498999953269958},{"id":"https://openalex.org/keywords/defeasible-estate","display_name":"Defeasible estate","score":0.536899983882904},{"id":"https://openalex.org/keywords/bottleneck","display_name":"Bottleneck","score":0.4336000084877014},{"id":"https://openalex.org/keywords/parsing","display_name":"Parsing","score":0.4124000072479248},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.3968000113964081},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.37630000710487366},{"id":"https://openalex.org/keywords/logical-consequence","display_name":"Logical consequence","score":0.364300012588501}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7254999876022339},{"id":"https://openalex.org/C6377922","wikidata":"https://www.wikidata.org/wiki/Q302542","display_name":"Deontic logic","level":2,"score":0.7161999940872192},{"id":"https://openalex.org/C2778012447","wikidata":"https://www.wikidata.org/wiki/Q1034415","display_name":"Scope (computer science)","level":2,"score":0.5498999953269958},{"id":"https://openalex.org/C193856179","wikidata":"https://www.wikidata.org/wiki/Q5251100","display_name":"Defeasible estate","level":2,"score":0.536899983882904},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.43380001187324524},{"id":"https://openalex.org/C2780513914","wikidata":"https://www.wikidata.org/wiki/Q18210350","display_name":"Bottleneck","level":2,"score":0.4336000084877014},{"id":"https://openalex.org/C186644900","wikidata":"https://www.wikidata.org/wiki/Q194152","display_name":"Parsing","level":2,"score":0.4124000072479248},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.3968000113964081},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.37630000710487366},{"id":"https://openalex.org/C134752490","wikidata":"https://www.wikidata.org/wiki/Q374182","display_name":"Logical consequence","level":2,"score":0.364300012588501},{"id":"https://openalex.org/C17319257","wikidata":"https://www.wikidata.org/wiki/Q21189184","display_name":"Statute","level":2,"score":0.35760000348091125},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.35269999504089355},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3465000092983246},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.33980000019073486},{"id":"https://openalex.org/C40422974","wikidata":"https://www.wikidata.org/wiki/Q741248","display_name":"Assertion","level":2,"score":0.33320000767707825},{"id":"https://openalex.org/C2779777834","wikidata":"https://www.wikidata.org/wiki/Q4202277","display_name":"Enforcement","level":2,"score":0.30149999260902405},{"id":"https://openalex.org/C2777210771","wikidata":"https://www.wikidata.org/wiki/Q4927124","display_name":"Block (permutation group theory)","level":2,"score":0.29840001463890076},{"id":"https://openalex.org/C168773036","wikidata":"https://www.wikidata.org/wiki/Q264164","display_name":"Recursion (computer science)","level":2,"score":0.2809000015258789},{"id":"https://openalex.org/C55166926","wikidata":"https://www.wikidata.org/wiki/Q2892946","display_name":"Oracle","level":2,"score":0.274399995803833},{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.2712000012397766},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.25769999623298645},{"id":"https://openalex.org/C43521106","wikidata":"https://www.wikidata.org/wiki/Q2165493","display_name":"Pipeline (software)","level":2,"score":0.2565000057220459},{"id":"https://openalex.org/C160191386","wikidata":"https://www.wikidata.org/wiki/Q868299","display_name":"Control flow","level":2,"score":0.2517000138759613}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2606.08932","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.08932","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.2606.08932","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.08932","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":[{"score":0.7162384390830994,"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":{"Rule-following":[0],"agents":[1],"tasked":[2],"with":[3],"executing":[4],"policies":[5],"and":[6,54,84,98,106,109,141,149,170,197,200],"regulations":[7],"often":[8,43],"fail":[9,181],"via":[10],"Silent":[11],"Scope":[12],"Omission":[13],"(SSO):":[14],"a":[15,18,57,90,129,190],"model":[16],"applies":[17],"general":[19],"rule":[20],"but":[21,180],"silently":[22],"drops":[23,164],"nested":[24],"exceptions":[25],"or":[26,227],"counter-exceptions,":[27],"producing":[28],"outputs":[29],"that":[30,79,133,204],"appear":[31],"compliant":[32],"yet":[33],"break":[34],"on":[35,211],"important":[36],"edge":[37],"cases.":[38],"Although":[39],"such":[40],"failures":[41],"are":[42],"framed":[44],"as":[45,166,189],"an":[46,172],"agentic-systems":[47],"problem,":[48],"the":[49,76,222],"underlying":[50],"bottleneck":[51],"is":[52,207,225,230],"statutory":[53],"policy":[55],"understanding,":[56],"capability":[58],"typically":[59],"studied":[60],"in":[61],"legal":[62,67],"NLP.":[63],"However,":[64],"most":[65],"existing":[66],"NLP":[68],"benchmarks":[69],"emphasize":[70],"end-task":[71],"outcomes,":[72],"which":[73,119],"can":[74,218],"overlook":[75],"structural":[77],"omissions":[78],"cause":[80],"SSO.":[81],"To":[82],"diagnose":[83],"mitigate":[85],"SSO,":[86],"we":[87],"introduce":[88],"NormBench,":[89],"benchmark":[91],"of":[92,152],"2,290":[93],"provisions":[94],"spanning":[95],"Chinese":[96],"(laws":[97],"local":[99],"policies),":[100,108],"English":[101],"(U.S.":[102],"tax":[103],"law,":[104],"GDPR,":[105],"corporate":[107],"cross-lingual":[110],"settings,":[111],"designed":[112],"for":[113],"defeasible":[114],"scope":[115],"parsing:":[116],"identifying":[117],"precisely":[118],"clause":[120],"overrides":[121],"which.":[122],"NormBench":[123],"uses":[124],"Span-Grounded":[125],"Deontic":[126],"Trees":[127],"(SG-DT),":[128],"compiler-style":[130],"intermediate":[131,192],"representation":[132],"anchors":[134],"every":[135],"logical":[136],"branch":[137],"to":[138,182],"source":[139],"spans":[140,179],"requires":[142],"explicit":[143],"exclusion":[144],"guards,":[145],"enabling":[146],"deterministic":[147],"compilation":[148],"audit.":[150],"Evaluations":[151],"frontier":[153],"LLMs":[154],"reveal":[155],"two":[156],"recurring":[157],"pathologies:":[158],"(1)":[159],"Recursion":[160],"Decay,":[161],"where":[162,175],"performance":[163],"sharply":[165],"defeater":[167,198],"depth":[168],"increases,":[169],"(2)":[171],"Auditability":[173],"Trap,":[174],"models":[176],"retrieve":[177],"relevant":[178],"assemble":[183],"correct":[184],"control":[185],"flow.":[186],"Using":[187],"SG-DT":[188],"constrained":[191],"output":[193],"improves":[194],"whole-tree":[195],"fidelity":[196,229],"recovery,":[199],"downstream":[201],"experiments":[202],"show":[203],"its":[205],"utility":[206],"mechanism-specific:":[208],"gains":[209],"concentrate":[210],"exception-active,":[212],"SSO-prone":[213],"cases,":[214],"while":[215],"aggregate":[216],"accuracy":[217],"be":[219],"mixed":[220],"when":[221],"added":[223],"structure":[224],"unnecessary":[226],"parser":[228],"low.":[231]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-06-10T00:00:00"}