{"id":"https://openalex.org/W7154404928","doi":"https://doi.org/10.48550/arxiv.2604.11699","title":"Legal2LogicICL: Improving Generalization in Transforming Legal Cases to Logical Formulas via Diverse Few-Shot Learning","display_name":"Legal2LogicICL: Improving Generalization in Transforming Legal Cases to Logical Formulas via Diverse Few-Shot Learning","publication_year":2026,"publication_date":"2026-04-13","ids":{"openalex":"https://openalex.org/W7154404928","doi":"https://doi.org/10.48550/arxiv.2604.11699"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2604.11699","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.11699","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":"article"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2604.11699","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5030862501","display_name":"Jieying Xue","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Xue, Jieying","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5133613962","display_name":"Phuong Thi Minh Nguyen","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Nguyen, Phuong Minh","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5133624434","display_name":"Ha Thanh Nguyen","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Nguyen, Ha Thanh","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055349923","display_name":"May Myo Zin","orcid":"https://orcid.org/0000-0003-1315-7704"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zin, May Myo","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5133596495","display_name":"Ken Satoh","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Satoh, Ken","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5030862501"],"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.30489999055862427,"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.30489999055862427,"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/T10028","display_name":"Topic Modeling","score":0.26910001039505005,"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/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.06300000101327896,"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/generalization","display_name":"Generalization","score":0.6151999831199646},{"id":"https://openalex.org/keywords/logical-consequence","display_name":"Logical consequence","score":0.5436999797821045},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.4896000027656555},{"id":"https://openalex.org/keywords/similarity","display_name":"Similarity (geometry)","score":0.42899999022483826},{"id":"https://openalex.org/keywords/construct","display_name":"Construct (python library)","score":0.3447999954223633},{"id":"https://openalex.org/keywords/popularity","display_name":"Popularity","score":0.34130001068115234},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.33469998836517334},{"id":"https://openalex.org/keywords/case-based-reasoning","display_name":"Case-based reasoning","score":0.3215999901294708}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6502000093460083},{"id":"https://openalex.org/C177148314","wikidata":"https://www.wikidata.org/wiki/Q170084","display_name":"Generalization","level":2,"score":0.6151999831199646},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5990999937057495},{"id":"https://openalex.org/C134752490","wikidata":"https://www.wikidata.org/wiki/Q374182","display_name":"Logical consequence","level":2,"score":0.5436999797821045},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.4896000027656555},{"id":"https://openalex.org/C103278499","wikidata":"https://www.wikidata.org/wiki/Q254465","display_name":"Similarity (geometry)","level":3,"score":0.42899999022483826},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.35929998755455017},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.3447999954223633},{"id":"https://openalex.org/C2780586970","wikidata":"https://www.wikidata.org/wiki/Q1357284","display_name":"Popularity","level":2,"score":0.34130001068115234},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.33469998836517334},{"id":"https://openalex.org/C20162079","wikidata":"https://www.wikidata.org/wiki/Q1151406","display_name":"Case-based reasoning","level":2,"score":0.3215999901294708},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.31470000743865967},{"id":"https://openalex.org/C97364631","wikidata":"https://www.wikidata.org/wiki/Q484284","display_name":"Deductive reasoning","level":2,"score":0.31279999017715454},{"id":"https://openalex.org/C2993995455","wikidata":"https://www.wikidata.org/wiki/Q3150005","display_name":"Legal document","level":2,"score":0.30630001425743103},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.2840999960899353},{"id":"https://openalex.org/C2777152325","wikidata":"https://www.wikidata.org/wiki/Q108163","display_name":"Proposition","level":2,"score":0.27730000019073486},{"id":"https://openalex.org/C2780876879","wikidata":"https://www.wikidata.org/wiki/Q3054749","display_name":"Meaning (existential)","level":2,"score":0.27459999918937683},{"id":"https://openalex.org/C20693621","wikidata":"https://www.wikidata.org/wiki/Q6667502","display_name":"Logical framework","level":2,"score":0.27379998564720154},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.2727999985218048},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.2685000002384186},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.2630999982357025},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.2572999894618988}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2604.11699","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.11699","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":"article"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2604.11699","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.11699","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":"article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.698486864566803}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"This":[0],"work":[1],"aims":[2],"to":[3,36,47,156,188],"improve":[4],"the":[5,58,102,108,190],"generalization":[6,213],"of":[7,60,98,192],"logic-based":[8,27],"legal":[9,28,39,74,109,120,128,182,193,217,230],"reasoning":[10,29,75,145],"systems":[11],"by":[12,57,122],"integrating":[13],"recent":[14],"advances":[15],"in":[16,127,214],"NLP":[17],"with":[18,179],"legal-domain":[19],"adaptive":[20],"few-shot":[21,90,153],"learning":[22,81],"techniques":[23],"using":[24],"LLMs.":[25],"Existing":[26],"pipelines":[30],"typically":[31],"rely":[32],"on":[33,198],"fine-tuned":[34],"models":[35],"map":[37],"natural-language":[38,216],"cases":[40,183],"into":[41,220],"logical":[42,160,186,221],"formulas":[43,187],"before":[44],"forwarding":[45],"them":[46],"a":[48,71,89,171],"symbolic":[49],"reasoner.":[50],"However,":[51],"such":[52],"approaches":[53],"are":[54],"heavily":[55],"constrained":[56],"scarcity":[59],"high-quality":[61],"annotated":[62,178],"training":[63],"data.":[64],"To":[65],"address":[66],"this":[67],"limitation,":[68],"we":[69,86,169],"propose":[70],"novel":[72],"LLM-based":[73],"framework":[76,92],"that":[77,93,205],"enables":[78],"effective":[79],"in-context":[80],"through":[82],"retrieval-augmented":[83],"generation.":[84],"Specifically,":[85],"introduce":[87],"Legal2LogicICL,":[88],"retrieval":[91,125],"balances":[94],"diversity":[95],"and":[96,107,132,141,151,158,184,201,212,228],"similarity":[97],"exemplars":[99],"at":[100,236],"both":[101,199],"latent":[103],"semantic":[104,139,194],"representation":[105],"level":[106],"text":[110],"structure":[111,121],"level.":[112],"In":[113,167],"addition,":[114,168],"our":[115,206],"method":[116],"explicitly":[117],"accounts":[118],"for":[119,226],"mitigating":[123],"entity-induced":[124],"bias":[126],"texts,":[129],"where":[130],"lengthy":[131],"highly":[133],"specific":[134],"entity":[135],"mentions":[136],"often":[137],"dominate":[138],"representations":[140],"obscure":[142],"legally":[143],"meaningful":[144],"patterns.":[146],"Our":[147,232],"Legal2LogicICL":[148],"constructs":[149],"informative":[150],"robust":[152],"demonstrations,":[154],"leading":[155],"accurate":[157],"stable":[159],"rule":[161],"generation":[162],"without":[163],"requiring":[164],"additional":[165],"training.":[166],"construct":[170],"new":[172],"dataset,":[173],"named":[174],"Legal2Proleg,":[175],"which":[176],"is":[177,234],"alignments":[180],"between":[181],"PROLEG":[185],"support":[189],"evaluation":[191],"parsing.":[195],"Experimental":[196],"results":[197],"open-source":[200],"proprietary":[202],"LLMs":[203],"demonstrate":[204],"approach":[207],"significantly":[208],"improves":[209],"accuracy,":[210],"stability,":[211],"transforming":[215],"case":[218],"descriptions":[219],"representations,":[222],"highlighting":[223],"its":[224],"effectiveness":[225],"interpretable":[227],"reliable":[229],"reasoning.":[231],"code":[233],"available":[235],"https://github.com/yingjie7/Legal2LogicICL.":[237]},"counts_by_year":[],"updated_date":"2026-04-15T06:04:33.058270","created_date":"2026-04-15T00:00:00"}