English
Related papers

Related papers: Proving Conjectures Acquired by Composing Multiple…

200 papers

Recent advances in deep learning have improved multivariate time series (MTS) classification and regression by capturing complex patterns, but their lack of transparency hinders decision-making. Explainable AI (XAI) methods offer partial…

Machine Learning · Computer Science 2025-11-25 Alan G. Paredes Cetina , Kaouther Benguessoum , Raoni Lourenço , Sylvain Kubler

As machine learning algorithms are increasingly deployed for high-impact automated decision making, ethical and increasingly also legal standards demand that they treat all individuals fairly, without discrimination based on their age,…

Machine Learning · Computer Science 2021-05-03 Maarten Buyl , Tijl De Bie

In recent years, word embeddings have been widely used to measure biases in texts. Even if they have proven to be effective in detecting a wide variety of biases, metrics based on word embeddings lack transparency and interpretability. We…

Computation and Language · Computer Science 2023-07-19 Francisco Valentini , Germán Rosati , Damián Blasi , Diego Fernandez Slezak , Edgar Altszyler

(This comment has been updated to respond to Wang and Blei's rejoinder [arXiv:1910.07320].) The premise of the deconfounder method proposed in "Blessings of Multiple Causes" by Wang and Blei [arXiv:1805.06826], namely that a variable that…

Methodology · Statistics 2019-10-18 Elizabeth L. Ogburn , Ilya Shpitser , Eric J. Tchetgen Tchetgen

Cross-modal Retrieval methods build similarity relations between vision and language modalities by jointly learning a common representation space. However, the predictions are often unreliable due to the Aleatoric uncertainty, which is…

Computer Vision and Pattern Recognition · Computer Science 2024-01-17 Hao Li , Jingkuan Song , Lianli Gao , Xiaosu Zhu , Heng Tao Shen

In its simplest form the Decomposition Theorem asserts that the rational intersection cohomology of a complex projective variety occurs as a summand of the cohomology of any resolution. This deep theorem has found important applications in…

Algebraic Geometry · Mathematics 2016-03-31 Geordie Williamson

This paper introduces a new family of cognitive modal logics designed to formalize conjectural reasoning: modal systems in which cognitive contexts extend known facts with hypothetical assumptions in order to explore their consequences.…

Logic in Computer Science · Computer Science 2026-03-24 Fabio Vitali

This is an exposition of recent developments in the theory of bounded differences between primes. Readers are expected to be beginners of analytic number theory. The present text is a substantially improved and augmented version of the one…

Number Theory · Mathematics 2014-03-18 Yoichi Motohashi

This is a reaction to the article Symplectic bipotentials, in published form [2] Harakeh M, Ban M, de Saxce G. Symplectic bipotentials. Mathematics and Mechanics of Solids. 2026;0(0) doi:10.1177/10812865251413554, and in preprint form [1]…

Symplectic Geometry · Mathematics 2026-04-21 Marius Buliga

Feature attribution methods have become a staple method to disentangle the complex behavior of black box models. Despite their success, some scholars have argued that such methods suffer from a serious flaw: they do not allow a reliable…

Breakthrough discoveries and inventions involve unexpected combinations of contents including problems, methods, and natural entities, and also diverse contexts such as journals, subfields, and conferences. Drawing on data from tens of…

Digital Libraries · Computer Science 2020-01-17 Feng Shi , James Evans

This paper introduces a novel decomposition framework to explain heterogeneity in causal effects observed across different studies, considering both observational and randomized settings. We present a formal decomposition of between-study…

Methodology · Statistics 2025-12-18 Brian Gilbert , Ivan Dıaz , Kara E. Rudolph , Nicholas Williams , Tat-Thang Vo

The bias-variance decomposition is a central result in statistics and machine learning, but is typically presented only for the squared error. We present a generalization of the bias-variance decomposition where the prediction error is a…

Machine Learning · Computer Science 2025-11-13 David Pfau

The misuse of generative AI in online disinformation campaigns highlights the urgent need for transparent and explainable detection systems. In this work, we investigate how detectors for AI-generated images can be more effective in…

Computer Vision and Pattern Recognition · Computer Science 2026-05-08 Silvia Poletti , Justin Ilyes , Marcel Hasenbalg , David Fischinger , Martin Boyer

The presence of a bias in each image data collection has recently attracted a lot of attention in the computer vision community showing the limits in generalization of any learning method trained on a specific dataset. At the same time,…

Computer Vision and Pattern Recognition · Computer Science 2015-05-07 Tatiana Tommasi , Novi Patricia , Barbara Caputo , Tinne Tuytelaars

In this note, while giving an overview of the state of art of the well known Hadamard conjecture, which is more than a century old and now it has been established by using the methods given in the two papers by Mohan et al [6,7].

Discrete Mathematics · Computer Science 2011-11-09 R. N. Mohan

Explainable AI (xAI) interventions aim to improve interpretability for complex black-box models, not only to improve user trust but also as a means to extract scientific insights from high-performing predictive systems. In molecular…

Machine Learning · Computer Science 2025-04-04 Jonas Teufel , Annika Leinweber , Pascal Friederich

A new general decomposition theory inspired from modular graph decomposition is presented. This helps unifying modular decomposition on different structures, including (but not restricted to) graphs. Moreover, even in the case of graphs,…

Data Structures and Algorithms · Computer Science 2007-11-20 Binh-Minh Bui-Xuan , Michel Habib , Vincent Limouzy , Fabien De Montgolfier

We study the correspondence between Bayesian Networks and graphical representation of proofs in linear logic. The goal of this paper is threefold: to develop a proof-theoretical account of Bayesian inference (in the spirit of the…

Logic in Computer Science · Computer Science 2026-02-05 Rémi Di Guardia , Thomas Ehrhard , Jérôme Evrard , Claudia Faggian

It has previously been hypothesized, and supported with some experimental evidence, that deeper representations, when well trained, tend to do a better job at disentangling the underlying factors of variation. We study the following related…

Machine Learning · Computer Science 2012-07-19 Yoshua Bengio , Grégoire Mesnil , Yann Dauphin , Salah Rifai