742 citations
- Institut national de recherche en sciences et technologies du numériqueFR153 papers
- École PolytechniqueFR96 papers
- Centre National de la Recherche ScientifiqueFR62 papers
- Université Paris-SaclayFR50 papers
- Laboratoire d'Informatique de l'École PolytechniqueFR28 papers
- Laboratoire de Recherche en InformatiqueFR25 papers
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR20 papers
- Laboratoire de Mathématiques d'OrsayFR16 papers
- Institut Polytechnique de ParisFR14 papers
- Université Paris-SudFR14 papers
- CEA Paris-SaclayFR12 papers
- Criteo (France)FR12 papers
40 papers · 1 filter
Dedukti: a Logical Framework based on the -Calculus Modulo Theory
Ali Assaf, Guillaume Burel, Raphaël Cauderlier +7
Dedukti is a Logical Framework based on the -Calculus Modulo Theory. We show that many theories can be expressed in Dedukti: constructive and classical predicate logic, Simpl…
Cut elimination for Zermelo set theory
Gilles Dowek, Alexandre Miquel
We show how to express intuitionistic Zermelo set theory in deduction modulo (i.e. by replacing its axioms by rewrite rules) in such a way that the corresponding notion of proof en…
Relative normalization
Gilles Dowek, Alexandre Miquel
G{ö}del's second incompleteness theorem forbids to prove, in a given theory U, the consistency of many theories-in particular, of the theory U itself-as well as it forbids to prove…
Topological Learning for Motion Data via Mixed Coordinates
Hengrui Luo, Jisu Kim, Alice Patania +1
Topology can extract the structural information in a dataset efficiently. In this paper, we attempt to incorporate topological information into a multiple output Gaussian process m…
Statistically Valid Variable Importance Assessment through Conditional Permutations
Ahmad Chamma, Denis A. Engemann, Bertrand Thirion
Variable importance assessment has become a crucial step in machine-learning applications when using complex learners, such as deep neural networks, on large-scale data. Removal-ba…
A Novel Information-Theoretic Objective to Disentangle Representations for Fair Classification
Pierre Colombo, Nathan Noiry, Guillaume Staerman +1
One of the pursued objectives of deep learning is to provide tools that learn abstract representations of reality from the observation of multiple contextual situations. More preci…