720 citations
- Technical University of MunichDE10 papers
- University of Applied Sciences St. GallenCH10 papers
- ETH ZurichCH8 papers
- University of ZurichCH6 papers
- University of KasselDE5 papers
- Deutsches Zentrum für Luft- und Raumfahrt e. V. (DLR)DE3 papers
- KU LeuvenBE3 papers
- Ludwig-Maximilians-Universität MünchenDE3 papers
- RWTH Aachen UniversityDE3 papers
- Technische Universität DarmstadtDE3 papers
- University College DublinIE3 papers
- University of BolognaIT3 papers
80 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…