Results 2151 - 2160 of 23899
Emerging challenges in machine learning (ML), such as explainability and verification, underscore the growing need for declarative query languages that enable users to extract relevant information from ML models and adapt it to diverse application-specific requirements. These query languages offer several advantages: they provide flexibility in information extraction, establish clear syntax and semantics for queries, and pave the way for query optimization. In this talk, we survey two recent proposals for query languages tailored to ML models—one designed for discrete classification models and another for real-valued models. We demonstrate how these languages can express meaningful queries over ML models, and we analyze their expressiveness and evaluation complexity. Our goal is to foster a productive discussion on advancing the development of practical query languages for ML models that can be effectively applied across a wide range of scenarios.6
The impact of Artificial Intelligence on our lives is growing by the day, yet much remains to be done to make it trustworthy. A research community is emerging at the intersection of Artificial Intelligence and Machine Learning, on the one hand, and Formal...
Yves is currently at ETH Zurich pursuing research in Laplacian linear system solvers and their applications. He is broadly interested in fast graph algorithms, high-performance computing and numerical linear algebra (mostly applied to graphs). Recent...
Alexander Rogovskyy began his studies in Mathematics and Computer Science at Saarland University in 2018. He is broadly interested in the intersection between Algebra and Computer Science. In 2022, he completed his Bachelor Thesis with Prof. Weitze...