{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T22:28:37Z","timestamp":1768343317189,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,6,16]]},"DOI":"10.1145\/3769126.3769248","type":"proceedings-article","created":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T14:50:37Z","timestamp":1768315837000},"page":"439-443","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Deep Interaction Timing: FOL-based Complexity Differentiation for Legal Queries"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0006-8718-4202","authenticated-orcid":false,"given":"Tong","family":"Zhang","sequence":"first","affiliation":[{"name":"NanKai University, Tianjin, China and Law and AI Laboratory, Zhejiang University, Hangzhou, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-5366-5027","authenticated-orcid":false,"given":"Yiquan","family":"Wu","sequence":"additional","affiliation":[{"name":"Zhejiang University, Hangzhou, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-2738-5786","authenticated-orcid":false,"given":"Rujing","family":"Yao","sequence":"additional","affiliation":[{"name":"Nankai University, Tianjin, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-7951-9983","authenticated-orcid":false,"given":"Qianyu","family":"Zhang","sequence":"additional","affiliation":[{"name":"Peking University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4012-1099","authenticated-orcid":false,"given":"Changlong","family":"Sun","sequence":"additional","affiliation":[{"name":"Zhejiang University, Hangzhou, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-5068-4321","authenticated-orcid":false,"given":"Chenghao","family":"Wang","sequence":"additional","affiliation":[{"name":"Fayuan Technology Co., Ltd., Hangzhou, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3477-8323","authenticated-orcid":false,"given":"Xiaozhong","family":"Liu","sequence":"additional","affiliation":[{"name":"Worcester Polytechnic Institute, Worcester, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2026,1,13]]},"reference":[{"key":"e_1_3_3_1_2_2","unstructured":"Josh Achiam Steven Adler Sandhini Agarwal Lama Ahmad Ilge Akkaya Florencia\u00a0Leoni Aleman Diogo Almeida Janko Altenschmidt Sam Altman Shyamal Anadkat et\u00a0al. 2023. Gpt-4 technical report. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2303.08774 (2023)."},{"key":"e_1_3_3_1_3_2","volume-title":"Modeling Legal Argument Reasoning With Cases and Hypotheticals","author":"Ashley Kevin","year":"1988","unstructured":"Kevin Ashley. 1988. Modeling Legal Argument Reasoning With Cases and Hypotheticals. University of Massachusetts."},{"key":"e_1_3_3_1_4_2","doi-asserted-by":"publisher","DOI":"10.1145\/3594536.3595137"},{"key":"e_1_3_3_1_5_2","doi-asserted-by":"crossref","unstructured":"Sheng Bi Zhiyao Zhou Lu Pan and Guilin Qi. 2023. Judicial knowledge-enhanced magnitude-aware reasoning for numerical legal judgment prediction. Artificial Intelligence and Law 31 4 (2023) 773\u2013806.","DOI":"10.1007\/s10506-022-09337-4"},{"key":"e_1_3_3_1_6_2","doi-asserted-by":"publisher","DOI":"10.1145\/3594536.3595121"},{"key":"e_1_3_3_1_7_2","unstructured":"A. Clark J.\u00a0K. Kummerfeld and M. Johnson. 2021. Diagnosing the First-Order Logical Reasoning Ability Through LogicNLI. Proceedings of NeurIPS 34 (2021) 11579\u201311590."},{"key":"e_1_3_3_1_8_2","unstructured":"A. Clark B. Smith and M. Johnson. 2021. FOLIO: Natural Language Reasoning with First-Order Logic. Journal of Logic and Computation 31 (2021) 12\u201335."},{"key":"e_1_3_3_1_9_2","unstructured":"Phong-Khac Do Huy-Tien Nguyen Chien-Xuan Tran Minh-Tien Nguyen and Minh-Le Nguyen. 2017. Legal question answering using ranking SVM and deep convolutional neural network. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/1703.05320 (2017)."},{"key":"e_1_3_3_1_10_2","doi-asserted-by":"crossref","unstructured":"Alex Graves and J\u00fcrgen Schmidhuber. 2005. Framewise phoneme classification with bidirectional LSTM and other neural network architectures. Neural networks 18 5-6 (2005) 602\u2013610.","DOI":"10.1016\/j.neunet.2005.06.042"},{"key":"e_1_3_3_1_11_2","doi-asserted-by":"publisher","DOI":"10.1145\/3594536.3595170"},{"key":"e_1_3_3_1_12_2","volume-title":"Proceedings of naacL-HLT","volume":"1","author":"Kenton Jacob Devlin Ming-Wei\u00a0Chang","year":"2019","unstructured":"Jacob Devlin Ming-Wei\u00a0Chang Kenton and Lee\u00a0Kristina Toutanova. 2019. Bert: Pre-training of deep bidirectional transformers for language understanding. In Proceedings of naacL-HLT , Vol.\u00a01. Minneapolis, Minnesota."},{"key":"e_1_3_3_1_13_2","doi-asserted-by":"publisher","DOI":"10.1109\/ASRU51503.2021.9688265"},{"key":"e_1_3_3_1_14_2","doi-asserted-by":"publisher","DOI":"10.1145\/3594536.3595130"},{"key":"e_1_3_3_1_15_2","unstructured":"Hyun Ryu Gyeongman Kim Hyemin\u00a0S Lee and Eunho Yang. 2024. Divide and Translate: Compositional First-Order Logic Translation and Verification for Complex Logical Reasoning. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2410.08047 (2024)."},{"key":"e_1_3_3_1_16_2","unstructured":"Yang Wu Chenghao Wang Ece Gumusel and Xiaozhong Liu. 2024. Knowledge-Infused Legal Wisdom: Navigating LLM Consultation through the Lens of Diagnostics and Positive-Unlabeled Reinforcement Learning. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2406.03600 (2024)."},{"key":"e_1_3_3_1_17_2","unstructured":"Yiquan Wu Siying Zhou Yifei Liu Weiming Lu Xiaozhong Liu Yating Zhang Changlong Sun Fei Wu and Kun Kuang. 2023. Precedent-enhanced legal judgment prediction with LLM and domain-model collaboration. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2310.09241 (2023)."},{"key":"e_1_3_3_1_18_2","unstructured":"Kesen Zhao Beier Zhu Qianru Sun and Hanwang Zhang. 2025. Unsupervised Visual Chain-of-Thought Reasoning via Preference Optimization. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2504.18397 (2025)."},{"key":"e_1_3_3_1_19_2","doi-asserted-by":"crossref","unstructured":"Xiang Zhou Qi Liu Yiquan Wu Qiangchao Chen and Kun Kuang. 2024. LK-IB: a hybrid framework with legal knowledge injection for compulsory measure prediction. Artificial Intelligence and Law 32 3 (2024) 595\u2013620.","DOI":"10.1007\/s10506-023-09362-x"}],"event":{"name":"ICAIL 2025: 20th International Conference on Artificial Intelligence and Law","location":"Chicago , IL , USA","acronym":"ICAIL 2025"},"container-title":["Proceedings of the Twentieth International Conference on Artificial Intelligence and Law"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3769126.3769248","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T15:49:47Z","timestamp":1768319387000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3769126.3769248"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,16]]},"references-count":18,"alternative-id":["10.1145\/3769126.3769248","10.1145\/3769126"],"URL":"https:\/\/doi.org\/10.1145\/3769126.3769248","relation":{},"subject":[],"published":{"date-parts":[[2025,6,16]]},"assertion":[{"value":"2026-01-13","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}