40.2k citations
- Max Planck SocietyDE68 papers
- University of OxfordGB25 papers
- Centre National de la Recherche ScientifiqueFR24 papers
- Saarland UniversityDE17 papers
- University of CambridgeGB12 papers
- ETH ZurichCH11 papers
- IMDEA Software InstituteES10 papers
- Indian Institute of Technology KharagpurIN10 papers
- University of California, Los AngelesUS10 papers
- Max Planck Institute for InformaticsDE9 papers
- National University of SingaporeSG9 papers
- Newcastle UniversityGB9 papers
330 papers
Program Analysis for Adaptive Data Analysis
Jiawen Liu, Weihao Qu, Marco Gaboardi +2
Data analyses are usually designed to identify some property of the population from which the data are drawn, generalizing beyond the specific data sample. For this reason, data an…
Learning Unions of Intersecting Affine Modules in One Dimension with Queries
Eva González, Montserrat Hermo, Anthony Lin
We study the exact learnability of finite unions of intersecting affine modules in one dimension. An affine module is a set of the form , where $a,b…
Representing One Letter Weighted Automata Over the Tropical Semiring
Shaull Almagor, Ismaël Jecker, Filip Mazowiecki +3
We consider weighted automata over the tropical semiring . Recently, it was shown that determinisation is decidable; in this paper we focus on the comple…
Ossim: OS-Driven Live Simulation for Cluster-Scale Full-Stack Evaluation
Yiliang Wan, Haifeng Sun, Yihan Yang +3
Cluster-scale full-stack simulation is essential for evaluating distributed software stacks and emerging hardware components before deployment. Such simulation must achieve both fu…
Semantic Recall for Vector Search
Leonardo Kuffo, Ioanna Tsakalidou, Roberta De Viti +3
We introduce Semantic Recall, a novel metric to assess the quality of approximate nearest neighbor search algorithms by considering only semantically relevant objects that are theo…
ClawVM: Harness-Managed Virtual Memory for Stateful Tool-Using LLM Agents
Mofasshara Rafique, Laurent Bindschaedler
Stateful tool-using LLM agents treat the context window as working memory, yet today's agent harnesses manage residency and durability as best-effort, causing recurring failures: l…