English
Related papers

Related papers: Contract2Plan: Verified Contract-Grounded Retrieva…

200 papers

Agentic security systems increasingly combine LLM planners with tools that can discover, validate, and report vulnerabilities. This creates an asymmetric control problem: the system should retain strong offensive capability inside an…

Cryptography and Security · Computer Science 2026-05-04 Isaac David , Marco Guarnieri , Arthur Gervais

The growing demand for real-time processing tasks is driving the need for multi-model inference pipelines on edge devices. However, cost-effectively deploying these pipelines while optimizing Quality of Service (QoS) and costs poses…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-06-05 Jinhao Sheng , Zhiqing Tang , Jianxiong Guo , Tian Wang

Sequential multi-agent systems built with large language models (LLMs) can automate complex software tasks, but they are hard to trust because errors quietly pass from one stage to the next. We study a traceable and accountable pipeline,…

Artificial Intelligence · Computer Science 2025-10-10 Amine Barrak

Information retrieval, specifically contract clause retrieval, is foundational to contract drafting because lawyers rarely draft contracts from scratch; instead, they locate and revise the most relevant precedent. We introduce the Atticus…

Computation and Language · Computer Science 2025-09-23 Steven H. Wang , Maksim Zubkov , Kexin Fan , Sarah Harrell , Yuyang Sun , Wei Chen , Andreas Plesner , Roger Wattenhofer

Modern deterministic retrieval pipelines prioritize achieving state-of-the-art performance but often lack interpretability in decision-making. These models face challenges in assessing uncertainty, leading to overconfident predictions. To…

Information Retrieval · Computer Science 2024-02-06 EuiYul Song , Philhoon Oh , Sangryul Kim , James Thorne

This paper proposes a high-quality dataset construction method for complex contract information extraction tasks in industrial scenarios and fine-tunes a large language model based on this dataset. Firstly, cluster analysis is performed on…

Computation and Language · Computer Science 2025-07-11 Yunyang Cao , Yanjun Li , Silong Dai

Processing long visual token sequences poses a significant computational burden on Multimodal Large Language Models (MLLMs). While token pruning offers a path to acceleration, we find that current methods, while adequate for general…

Computer Vision and Pattern Recognition · Computer Science 2025-12-29 Evelyn Zhang , Fufu Yu , Aoqi Wu , Zichen Wen , Ke Yan , Shouhong Ding , Biqing Qi , Linfeng Zhang

This research presents a novel application of Evolutionary Computation to the domain of residential electric vehicle (EV) energy management. While reinforcement learning (RL) achieves high performance in vehicle-to-grid (V2G) optimization,…

Neural and Evolutionary Computing · Computer Science 2026-02-10 Vishesh Purnananda , Benjamin John Wruck , Mingyu Guo

Large language models (LLMs) are increasingly deployed in agentic systems, where a fundamental task is mapping user intents to relevant external tools. Errors in tool selection can have severe outcomes, such as unauthorized data access,…

Cryptography and Security · Computer Science 2026-05-14 Jehyeok Yeon , Isha Chaudhary , Gagandeep Singh

Business contracts, particularly sale and purchase agreements, often contain a large number of clauses and are correspondingly long and complex. In practice, it is therefore a great challenge to keep track of their legal context and to…

Logic in Computer Science · Computer Science 2025-04-28 Alan Khoja , Martin Kölbl , Stefan Leue , Rüdiger Wilhelmi

Large language models (LLMs) are increasingly used for high-stakes decision-making, yet existing approaches struggle to reconcile scalability, interpretability, and reproducibility. Black-box models obscure their reasoning, while recent…

Reasoning LLMs (RLMs) such as OpenAI o1, DeepSeek-R1, and Qwen3 deliver strong multi-step reasoning through chain-of-thought generation, but their large model sizes and lengthy decode-time outputs make them costly to deploy and unsuitable…

Computation and Language · Computer Science 2025-12-03 Ziyan Wang , Enmao Diao , Qi Le , Pu Wang , Guanchu Wang , Minwoo Lee , Shu-ping Yeh , Li Yang

In industrial procurement, an LLM answer is useful only if it survives a standards check: recommended material must match operating condition, every parameter must respect a regulated threshold, and no procedure may contradict a safety…

NL2SQL approaches have greatly benefited from the impressive capabilities of large language models (LLMs). In particular, bootstrapping an NL2SQL system for a specific domain can be as simple as instructing an LLM with sufficient contextual…

Computation and Language · Computer Science 2025-05-28 Sairam Gurajada , Eser Kandogan , Sajjadur Rahman

Large language models (LLMs) can translate natural language into optimization code, but silent failures pose a critical risk: code that executes and returns solver-feasible solutions may encode semantically incorrect formulations -- a…

Software Engineering · Computer Science 2026-04-30 Junbo Jacob Lian , Yujun Sun , Huiling Chen , Chaoyu Zhang , Hanzhang Qin , Chung-Piaw Teo

Semiconductor materials manufacturing presents unique challenges for machine learning deployment due to evolving process conditions, equipment degradation, and raw material variability that can cause model performance deterioration over…

Machine Learning · Computer Science 2026-05-11 Min Gao , Julia Maria Perathoner , Anton Ludwig Bonin , Steven Eulig , Gianni Klesse

Smart contract vulnerabilities pose significant security risks to blockchain systems, potentially leading to severe financial losses. Existing methods face several limitations: (1) Program analysis-based approaches rely on predefined…

Software Engineering · Computer Science 2025-04-17 Hang Yuan , Lei Yu , Zhirong Huang , Jingyuan Zhang , Junyi Lu , Shiqi Cheng , Li Yang , Fengjun Zhang , Jiajia Ma , Chun Zuo

Optimization plays a vital role in scientific research and practical applications. However, formulating a concrete optimization problem described in natural language into a mathematical form and selecting a suitable solver to solve the…

Computation and Language · Computer Science 2026-01-22 Raghav Thind , Youran Sun , Ling Liang , Haizhao Yang

Smart contracts play a central role in blockchain systems by encoding financial and operational logic. Still, their susceptibility to subtle security flaws poses significant risks of financial loss and erosion of trust. LLMs create new…

Artificial Intelligence · Computer Science 2026-03-24 Eduardo Sardenberg , Antonio José Grandson Busson , Daniel de Sousa Moraes , Julio Cesar Duarte , Sérgio Colcher

Recent test-time reasoning methods improve performance by generating more candidate chains or searching over larger reasoning trees, but they typically lack explicit control over when to expand, what to prune, how to repair, and when to…

Artificial Intelligence · Computer Science 2026-03-31 Siyuan Ma , Bo Gao , Zikai Xiao , Hailong Wang , Xinlei Yu , Rui Qian , Jiayu Qian , Luqi Gong , Yang Liu