中文
相关论文

相关论文: Semantic Constraint Inference for Web Form Test Ge…

200 篇论文

Controlling the output of Large Language Models (LLMs) through context-sensitive constraints has emerged as a promising approach to overcome the limitations of Context-Free Grammars (CFGs) in guaranteeing generation validity. However, such…

计算与语言 · 计算机科学 2026-04-14 Mohammad Albinhassan , Pranava Madhyastha , Mark Law , Alessandra Russo

The use of Large Language Models (LLMs) for reliable, enterprise-grade analytics such as text categorization is often hindered by the stochastic nature of attention mechanisms and sensitivity to noise that compromise their analytical…

计算与语言 · 计算机科学 2026-04-15 Shreeya Verma Kathuria , Nitin Mayande , Sharookh Daruwalla , Nitin Joglekar , Charles Weber

Large language models (LLMs) show promising performance on small-scale graph reasoning tasks but fail when handling real-world graphs with complex queries. This phenomenon arises from LLMs' working memory constraints, which result in their…

人工智能 · 计算机科学 2025-10-01 Rongzheng Wang , Shuang Liang , Qizhi Chen , Yihong Huang , Muquan Li , Yizhuo Ma , Dongyang Zhang , Ke Qin , Man-Fai Leung

The increasing capability of large language models (LLMs) to generate fluent long-form texts is presenting new challenges in distinguishing machine-generated outputs from human-written ones, which is crucial for ensuring authenticity and…

计算与语言 · 计算机科学 2024-10-08 Yufei Tian , Zeyu Pan , Nanyun Peng

We introduce a novel, training-free approach for enhancing alignment in Transformer-based Text-Guided Diffusion Models (TGDMs). Existing TGDMs often struggle to generate semantically aligned images, particularly when dealing with complex…

计算机视觉与模式识别 · 计算机科学 2025-03-25 Shulei Wang , Wang Lin , Hai Huang , Hanting Wang , Sihang Cai , WenKang Han , Tao Jin , Jingyuan Chen , Jiacheng Sun , Jieming Zhu , Zhou Zhao

The growing demand for efficient and lightweight Retrieval-Augmented Generation (RAG) systems has highlighted significant challenges when deploying Small Language Models (SLMs) in existing RAG frameworks. Current approaches face severe…

人工智能 · 计算机科学 2025-01-28 Tianyu Fan , Jingyuan Wang , Xubin Ren , Chao Huang

The increasing reliance on web services has led to a rise in cybersecurity threats, particularly Cross-Site Scripting (XSS) attacks, which target client-side layers of web applications by injecting malicious scripts. Traditional Web…

密码学与安全 · 计算机科学 2025-04-14 Vahid Babaey , Arun Ravindran

Natural language explanations (NLEs) are commonly used to provide plausible free-text explanations of a model's reasoning about its predictions. However, recent work has questioned their faithfulness, as they may not accurately reflect the…

计算与语言 · 计算机科学 2025-03-21 Shuzhou Yuan , Jingyi Sun , Ran Zhang , Michael Färber , Steffen Eger , Pepa Atanasova , Isabelle Augenstein

Semantic networks, such as the knowledge graph, can represent the knowledge leveraging the graph structure. Although the knowledge graph shows promising values in natural language processing, it suffers from incompleteness. This paper…

计算与语言 · 计算机科学 2022-04-29 Da Li , Sen Yang , Kele Xu , Ming Yi , Yukai He , Huaimin Wang

In the realm of education, student evaluation holds equal significance to imparting knowledge. To be evaluated, students usually need to go through text-based academic assessment methods. Instructors need to make a diverse set of questions…

计算与语言 · 计算机科学 2025-09-30 Md. Alvee Ehsan , A. S. M Mehedi Hasan , Kefaya Benta Shahnoor , Syeda Sumaiya Tasneem

Evaluating statement autoformalization, translating natural language mathematics into formal languages like Lean 4, remains a significant challenge, with few metrics, datasets, and standards to robustly measure progress. In this work, we…

计算与语言 · 计算机科学 2025-10-30 Auguste Poiroux , Gail Weiss , Viktor Kunčak , Antoine Bosselut

Reliably determining the performance of Retrieval-Augmented Generation (RAG) systems depends on comprehensive test questions. While a proliferation of evaluation frameworks for LLM-powered applications exists, current practices lack a…

机器学习 · 计算机科学 2025-10-02 Noah Broestl , Adel Nasser Abdalla , Rajprakash Bale , Hersh Gupta , Max Struever

Evaluating text summarization quality remains a critical challenge in Natural Language Processing. Current approaches face a trade-off between performance and interpretability. We present SEval-Ex, a framework that bridges this gap by…

计算与语言 · 计算机科学 2025-05-06 Tanguy Herserant , Vincent Guigue

Environmental perception is an important aspect within the field of autonomous vehicles that provides crucial information about the driving domain, including but not limited to identifying clear driving areas and surrounding obstacles.…

计算机视觉与模式识别 · 计算机科学 2022-07-27 Senay Cakir , Marcel Gauß , Kai Häppeler , Yassine Ounajjar , Fabian Heinle , Reiner Marchthaler

In document classification, graph-based models effectively capture document structure, overcoming sequence length limitations and enhancing contextual understanding. However, most existing graph document representations rely on heuristics,…

计算与语言 · 计算机科学 2025-08-05 Margarita Bugueño , Gerard de Melo

The manufacturing sector is increasingly adopting Multimodal Large Language Models (MLLMs) to transition from simple perception to autonomous execution, yet current evaluations fail to reflect the rigorous demands of real-world…

计算机视觉与模式识别 · 计算机科学 2026-04-14 Xiangru Jian , Hao Xu , Wei Pang , Xinjian Zhao , Chengyu Tao , Qixin Zhang , Xikun Zhang , Chao Zhang , Guanzhi Deng , Alex Xue , Juan Du , Tianshu Yu , Garth Tarr , Linqi Song , Qiuzhuang Sun , Dacheng Tao

While statement autoformalization has advanced rapidly, full-theorem autoformalization remains largely unexplored. Existing iterative refinement methods in statement autoformalization typically improve isolated aspects of formalization,…

计算与语言 · 计算机科学 2026-05-08 Lan Zhang , Marco Valentino , André Freitas

Automatic test generation aims to save developers time and effort by producing test suites with reasonably high coverage and fault detection. However, the focus of search-based generation tools in maximizing coverage leaves other…

软件工程 · 计算机科学 2025-04-11 Geraldine Galindo-Gutierrez

Psychological scale refinement traditionally relies on response-based methods such as factor analysis, item response theory, and network psychometrics to optimize item composition. Although rigorous, these approaches require large samples…

计算与语言 · 计算机科学 2026-03-10 Bo Wang , Yuxuan Zhang , Yueqin Hu , Hanchao Hou , Kaiping Peng , Shiguang Ni

Amidst the swift evolution of social media platforms and e-commerce ecosystems, the domain of opinion mining has surged as a pivotal area of exploration within natural language processing. A specialized segment within this field focuses on…

计算与语言 · 计算机科学 2024-09-24 Linxiao Wu , Yuanshuai Luo , Binrong Zhu , Guiran Liu , Rui Wang , Qian Yu