English
Related papers

Related papers: Stepwise functional refoundation of relational con…

200 papers

Retrieval-augmented generation (RAG) improves knowledge-intensive question answering by incorporating external evidence. However, existing RAG methods still suffer from hallucinations and subtle reasoning errors. Recent studies introduce…

Computation and Language · Computer Science 2026-05-29 Wenhan Xiao , Ziwei Zhang , Chuanyue Yu , Xingcheng Fu , Qingyun Sun , Runhua Xu , Jianxin Li

Reproducible computational research (RCR) is the keystone of the scientific method for in silico analyses, packaging the transformation of raw data to published results. In addition to its role in research integrity, RCR has the capacity to…

Digital Libraries · Computer Science 2021-04-20 Jeremy Leipzig , Daniel Nüst , Charles Tapley Hoyt , Stian Soiland-Reyes , Karthik Ram , Jane Greenberg

Contrastive learning is a powerful framework for learning self-supervised representations that generalize well to downstream supervised tasks. We show that multiple existing contrastive learning methods can be reinterpreted as learning…

Machine Learning · Computer Science 2023-02-16 Daniel D. Johnson , Ayoub El Hanchi , Chris J. Maddison

Interpreting the internal behavior of large language models trained on code remains a critical challenge, particularly for applications demanding trust, transparency, and semantic robustness. We propose Code Concept Analysis (CoCoA): a…

Software Engineering · Computer Science 2025-10-06 Arushi Sharma , Vedant Pungliya , Christopher J. Quinn , Ali Jannesari

Generally capable agents must learn from experience in ways that generalize across tasks and environments. The fundamental problems of learning, including credit assignment, overfitting, forgetting, local optima, and high-variance learning…

Machine Learning · Computer Science 2026-04-06 Nikita Vassilyev , William Berrios , Ruowang Zhang , Bo Han , Douwe Kiela , Shikib Mehri

Developing human understandable interpretation of large language models (LLMs) becomes increasingly critical for their deployment in essential domains. Mechanistic interpretability seeks to mitigate the issues through extracts…

Machine Learning · Computer Science 2026-01-30 Yuhang Liu , Erdun Gao , Dong Gong , Anton van den Hengel , Javen Qinfeng Shi

Existing formalisms for the algebraic specification and representation of networks of reversible agents suffer some shortcomings. Despite multiple attempts, reversible declensions of the Calculus of Communicating Systems (CCS) do not offer…

Logic in Computer Science · Computer Science 2021-03-30 Clément Aubert , Doriana Medić

Life cycle assessment (LCA) plays a critical role in assessing the environmental impacts of a product, technology, or service throughout its entire life cycle. Nonetheless, many existing LCA tools and methods lack adequate metadata…

Databases · Computer Science 2024-05-17 Kourosh Malek , Max Dreger , Zirui Tang , Qingshi Tu

Formal Concept Analysis (FCA) offers several tools for qualitative data analysis. One possibility is to group objects that share common attributes together and get a concept lattice that describes the data. Quite often the size of this…

Logic · Mathematics 2017-09-26 Leonard Kwuida , Rostand Kuitché , Romuald Temgoua

Recent advances in large language models (LLMs) have enabled early attempts to automate root cause analysis (RCA) in microservice-based systems (MSS). Yet, prior works typically rely on a linear reasoning process that proceeds along a…

Software Engineering · Computer Science 2026-05-06 Alexander Naakka , Yuqing Wang , Mika V Mäntylä

While Reinforcement Learning has made great strides towards solving ever more complicated tasks, many algorithms are still brittle to even slight changes in their environment. This is a limiting factor for real-world applications of RL.…

Correspondence analysis (CA) is a popular technique to visualize the relationship between two categorical variables. CA uses the data from a two-way contingency table and is affected by the presence of outliers. The supplementary points…

Methodology · Statistics 2026-01-05 Qianqian Qi , David J. Hessen , Aike N. Vonk , Peter G. M. van der Heijden

Root Cause Analysis (RCA) in the manufacturing of electric vehicles is the process of identifying fault causes. Traditionally, the RCA is conducted manually, relying on process expert knowledge. Meanwhile, sensor networks collect…

Artificial Intelligence · Computer Science 2024-02-02 Christoph Wehner , Maximilian Kertel , Judith Wewerka

We propose relational linear programming, a simple framework for combing linear programs (LPs) and logic programs. A relational linear program (RLP) is a declarative LP template defining the objective and the constraints through the logical…

Artificial Intelligence · Computer Science 2014-10-14 Kristian Kersting , Martin Mladenov , Pavel Tokmakov

Robust Principal Component Analysis (RPCA) aims at recovering a low-rank subspace from grossly corrupted high-dimensional (often visual) data and is a cornerstone in many machine learning and computer vision applications. Even though RPCA…

Computer Vision and Pattern Recognition · Computer Science 2017-03-29 Niannan Xue , Yannis Panagakis , Stefanos Zafeiriou

Recovering intrinsic low dimensional subspaces from data distributed on them is a key preprocessing step to many applications. In recent years, there has been a lot of work that models subspace recovery as low rank minimization problems. We…

Machine Learning · Computer Science 2014-12-09 Hongyang Zhang , Zhouchen Lin , Chao Zhang , Junbin Gao

Large Language Models (LLMs) gain substantial reasoning and decision-making capabilities from thought structures. However, existing methods such as Tree of Thought and Retrieval Augmented Thoughts often fall short in complex tasks due to…

Computation and Language · Computer Science 2024-12-24 Jinghan Zhang , Xiting Wang , Weijieying Ren , Lu Jiang , Dongjie Wang , Kunpeng Liu

This paper presents a complete explainable system that interprets a set of data, abstracts the underlying features and describes them in a natural language of choice. The system relies on two crucial stages: (i) identifying emerging…

Logic in Computer Science · Computer Science 2025-02-14 Flavio Bertini , Alessandro Dal Palù , Federica Zaglio , Francesco Fabiano , Andrea Formisano

Relational understanding is critical for a number of visually-rich documents (VRDs) understanding tasks. Through multi-modal pre-training, recent studies provide comprehensive contextual representations and exploit them as prior knowledge…

Computation and Language · Computer Science 2022-05-06 Xin Li , Yan Zheng , Yiqing Hu , Haoyu Cao , Yunfei Wu , Deqiang Jiang , Yinsong Liu , Bo Ren

Recent advances in reinforcement learning from human feedback (RLHF) and preference optimization have substantially improved the usability, coherence, and safety of large language models. However, recurring behaviors such as performative…

Artificial Intelligence · Computer Science 2026-05-13 William Parris