4 citations · 9 across the 5 of their papers we have counts for
6 papers
Jailbreaks for Black-Box Uncertainty Quantification in Large Reasoning Models
Lucas Biechy, Cédric Eichler, Adrien Boiret +1
While Large Reasoning Models (LRMs) excel at complex reasoning, alignment through reinforcement learning often induces systemic overconfidence. In production environments, where lo…
Onto-DP: Constructing Neighborhoods for Differential Privacy on Ontological Databases
Yasmine Hayder, Adrien Boiret, Cédric Eichler +1
In this paper, we investigate how attackers can discover sensitive information embedded within databases by exploiting inference rules. We demonstrate the inadequacy of naively app…
Active Learning of Sequential Transducers with Side Information about the Domain
Raphaël Berthon, Adrien Boiret, Guillermo A. Perez +1
Active learning is a setting in which a student queries a teacher, through membership and equivalence queries, in order to learn a language. Performance on these algorithms is ofte…
Reducing Transducer Equivalence to Register Automata Problems Solved by "Hilbert Method"
Adrien Boiret, Radosław Piórkowski, Janusz Schmude
In the past decades, classical results from algebra, including Hilbert's Basis Theorem, had various applications in formal languages, including a proof of the Ehrenfeucht Conjectur…
Deciding Equivalence of Linear Tree-to-Word Transducers in Polynomial Time
Adrien Boiret, Raphaela Palenta
We show that the equivalence of deterministic linear top-down tree-to-word transducers is decidable in polynomial time. Linear tree-to-word transducers are non-copying but not nece…
Deterministic Automata for Unordered Trees
Adrien Boiret, Vincent Hugot, Joachim Niehren +1
Automata for unordered unranked trees are relevant for defining schemas and queries for data trees in Json or Xml format. While the existing notions are well-investigated concernin…