1.8k citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- National Institute of InformaticsJP38 papers
- Centre National de la Recherche ScientifiqueFR28 papers
- International Research Center for Japanese StudiesJP16 papers
- Sorbonne UniversitéFR13 papers
- The University of TokyoJP13 papers
- LIP6FR11 papers
- Nantes UniversitéFR11 papers
- Laboratoire des Sciences du Numérique de NantesFR7 papers
- Laboratoire d'Informatique de Paris-NordFR7 papers
- Université Sorbonne Paris NordFR7 papers
- The Graduate University for Advanced Studies, SOKENDAIJP5 papers
- University of EdinburghGB5 papers
47 papers
An Analysis of Datasets, Metrics and Models in Keyphrase Generation
Florian Boudin, Akiko Aizawa
Keyphrase generation refers to the task of producing a set of words or phrases that summarises the content of a document. Continuous efforts have been dedicated to this task over t…
Preface to the Special Issue of the TAL Journal on Scholarly Document Processing
Florian Boudin, Akiko Aizawa
The rapid growth of scholarly literature makes it increasingly difficult for researchers to keep up with new knowledge. Automated tools are now more essential than ever to help nav…
ACL-rlg: A Dataset for Reading List Generation
Julien Aubert-Béduchaud, Florian Boudin, Béatrice Daille +1
Familiarizing oneself with a new scientific field and its existing literature can be daunting due to the large amount of available articles. Curated lists of academic references, o…
ParaRev: Building a dataset for Scientific Paragraph Revision annotated with revision instruction
Léane Jourdan, Nicolas Hernandez, Richard Dufour +2
Revision is a crucial step in scientific writing, where authors refine their work to improve clarity, structure, and academic quality. Existing approaches to automated writing assi…
Self-Compositional Data Augmentation for Scientific Keyphrase Generation
Mael Houbre, Florian Boudin, Beatrice Daille +1
State-of-the-art models for keyphrase generation require large amounts of training data to achieve good performance. However, obtaining keyphrase-labeled documents can be challengi…
Abductive Reasoning in a Paraconsistent Framework
Meghyn Bienvenu, Katsumi Inoue, Daniil Kozhemiachenko
We explore the problem of explaining observations starting from a classically inconsistent theory by adopting a paraconsistent framework. We consider two expansions of the well-kno…
Queries With Exact Truth Values in Paraconsistent Description Logics
Meghyn Bienvenu, Camille Bourgaux, Daniil Kozhemiachenko
We present a novel approach to querying classical inconsistent description logic (DL) knowledge bases by adopting a~paraconsistent semantics with the four Belnapian values: exactly…
CASIMIR: A Corpus of Scientific Articles enhanced with Multiple Author-Integrated Revisions
Leane Jourdan, Florian Boudin, Nicolas Hernandez +1
Writing a scientific article is a challenging task as it is a highly codified and specific genre, consequently proficiency in written communication is essential for effectively con…
Using Sequential Runtime Distributions for the Parallel Speedup Prediction of SAT Local Search
Alejandro Arbelaez, Charlotte Truchet, Philippe Codognet
This paper presents a detailed analysis of the scalability and parallelization of local search algorithms for the Satisfiability problem. We propose a framework to estimate the par…
Formal Verification of Safety Architectures for Automated Driving
Clovis Eberhart, Jérémy Dubut, James Haydon +1
Safety architectures play a crucial role in the safety assurance of automated driving vehicles (ADVs). They can be used as safety envelopes of black-box ADV controllers, and for gr…
Goal-Aware RSS for Complex Scenarios via Program Logic
Ichiro Hasuo, Clovis Eberhart, James Haydon +12
We introduce a goal-aware extension of responsibility-sensitive safety (RSS), a recent methodology for rule-based safety guarantee for automated driving systems (ADS). Making RSS r…
A Compositional Approach to Parity Games
Kazuki Watanabe, Clovis Eberhart, Kazuyuki Asada +1
In this paper, we introduce open parity games, which is a compositional approach to parity games. This is achieved by adding open ends to the usual notion of parity games. We intro…
Parametric schedulability analysis of a launcher flight control system under reactivity constraints
Étienne André, Emmanuel Coquard, Laurent Fribourg +2
The next generation of space systems will have to achieve more and more complex missions. In order to master the development cost and duration of such systems, an alternative to a…
Outcome determinism in measurement-based quantum computation with qudits
Robert I. Booth, Aleks Kissinger, Damian Markham +2
In measurement-based quantum computing (MBQC), computation is carried out by a sequence of measurements and corrections on an entangled state. Flow, and related concepts, are power…
Architecture-Guided Test Resource Allocation Via Logic
Clovis Eberhart, Akihisa Yamada, Stefan Klikovits +4
We introduce a new logic named Quantitative Confidence Logic (QCL) that quantifies the level of confidence one has in the conclusion of a proof. By translating a fault tree represe…
Classical-quantum network coding: a story about tensor
Clément Meignant, Frédéric Grosshans, Damian Markham
We study here the conditions to perform the distribution of a pure state on a quantum network using quantum operations which can succeed with a non-zero probability, the Stochastic…
Flow conditions for continuous variable measurement-based quantum computing
Robert I. Booth, Damian Markham
In measurement-based quantum computing (MBQC), computation is carried out by a sequence of measurements and corrections on an entangled state. Flow, and related concepts, are power…
Fast Synthesis for Symbolic Self-triggered Control under Right-recursive LTL Specifications
Sasinee Pruekprasert, Clovis Eberhart, Jérémy Dubut
We extend previous work on symbolic self-triggered control for non-deterministic continuous-time nonlinear systems without stability assumptions to a larger class of specifications…
Certifying dimension of quantum systems by sequential projective measurements
Adel Sohbi, Damian Markham, Jaewan Kim +1
This work analyzes correlations arising from quantum systems subject to sequential projective measurements to certify that the system in question has a quantum dimension greater th…
Quantum machine learning with adaptive linear optics
Ulysse Chabaud, Damian Markham, Adel Sohbi
We study supervised learning algorithms in which a quantum device is used to perform a computational subroutine - either for prediction via probability estimation, or to compute a…
Practical Limits of Error Correction for Quantum Metrology
Nathan Shettell, William J. Munro, Damian Markham +1
Noise is the greatest obstacle in quantum metrology that limits it achievable precision and sensitivity. There are many techniques to mitigate the effect of noise, but this can nev…
Cryptographic approach to Quantum Metrology
Nathan Shettell, Elham Kashefi, Damian Markham
We consider a cryptographically motivated framework for quantum metrology in the presence of a malicious adversary. We begin by devising an estimation strategy for a (potentially)…
Certification of non-Gaussian states with operational measurements
Ulysse Chabaud, Ganaël Roeland, Mattia Walschaers +4
We derive a theoretical framework for the experimental certification of non-Gaussian features of quantum states using double homodyne detection. We rank experimental non-Gaussian s…
Experimental Approach to Demonstrating Contextuality for Qudits
Adel Sohbi, Ruben Ohana, Isabelle Zaquine +2
We propose a method to experimentally demonstrate contextuality with a family of tests for qudits. The experiment we propose uses a qudit encoded in the path of a single photon and…