720 citations
- University of Applied Sciences St. GallenCH12 papers
- Technical University of MunichDE11 papers
- ETH ZurichCH10 papers
- University of OxfordGB9 papers
- University of ZurichCH7 papers
- RWTH Aachen UniversityDE6 papers
- University of PassauDE6 papers
- Ludwig-Maximilians-Universität MünchenDE5 papers
- Sapienza University of RomeIT5 papers
- University of KasselDE5 papers
- Centre National de la Recherche ScientifiqueFR4 papers
- Imperial College LondonGB4 papers
116 papers
A Survey on Code Equivalence: The State-of-the-Art and Open Questions
Anna-Lena Horlemann, Abhinaba Mazumder, Michael Schaller +1
In this work, we provide a comprehensive survey of the code equivalence problem and its variants. We explain the existing results, highlighting the relationships between different…
Mind the Trust Gap: Identifying (Mis)alignments in Teacher-Student Views Toward Control and Agency in K-12 Classroom AI
Tomohiro Nagashima, Lisa Siegrist, Niklas Scholz +3
As Artificial Intelligence (AI)-based technologies have been integrated into school classrooms where multiple stakeholders (with different roles) interact with each other, it is cr…
Platforms' Research API Data Access: What Users See vs. What Researchers can Retrieve
Luka Bekavac, Simon Mayer
Article 40(12) of the Digital Services Act (DSA) requires Very Large Online Platforms (VLOPs) to provide vetted researchers with access to publicly accessible data. While prior wor…
A Convexity-dependent Two-Phase Training Algorithm for Deep Neural Networks
Tomas Hrycej, Bernhard Bermeitinger, Massimo Pavone +2
The key task of machine learning is to minimize the loss function that measures the model fit to the training data. The numerical methods to do this efficiently depend on the prope…
AgentBound: Securing Execution Boundaries of AI Agents
Christoph Bühler, Matteo Biagiola, Luca Di Grazia +1
Large Language Models (LLMs) have evolved into AI agents that interact with external tools and environments to perform complex tasks. The Model Context Protocol (MCP) has become th…
GeHirNet: A Gender-Aware Hierarchical Model for Voice Pathology Classification
Fan Wu, Kaicheng Zhao, Elgar Fleisch +1
AI-based voice analysis shows promise for disease diagnostics, but existing classifiers often fail to accurately identify specific pathologies because of gender-related acoustic va…