3 papers
cs.LO2026
A Typing System for the Linear Lambda-Calculus in de Bruijn Notation
Philippe de Groote, Vincent Tourneur
We introduce a typing system that is particularly well suited for typing the linear lambda-calculus in de Bruijn notation. This typing discipline, which is reminiscent of Hodas' an…
cs.LG2026
Attacking the First-Principle: A Black-Box, Query-Free Targeted Mimicry Attack on Binary Function Classifiers
Gabriel Sauger, Jean-Yves Marion, Sazzadur Rahaman +3
Binary function classifiers play a crucial role in maintaining the security and integrity of software systems by detecting malicious code and unauthorized modifications. However, m…
cs.CL2025
"Wait, did you mean the doctor?": Collecting a Dialogue Corpus for Topical Analysis
Amandine Decker, Vincent Tourneur, Maxime Amblard +1
Dialogue is at the core of human behaviour and being able to identify the topic at hand is crucial to take part in conversation. Yet, there are few accounts of the topical organisa…