Iniciativa IMDEA
Resumen: We consider the problems of statically refuting equivalence and similarity of output distributions defined by a pair of ...
Resumen: Private Set Intersection (PSI) enables two parties to compute the intersection of their datasets without revealing any e...
Resumen: Learning a graph from nodal features is a central problem in network science and statistics, with a history spanning mor...
Resumen: Passive testing is an approach to verify system behavior by observing logs from normal operation, without actively injec...
Resumen: In this talk I will look at the application of causality to debugging models and explainability. Specifically, I will ta...
Resumen: The remarkable advances in AI have given rise to a growing interest in AI-assisted decision support in domains ranging f...
Resumen: Privacy-Enhancing Technologies (PETs) are foundational for a future where data can be used without compromising privacy....
Resumen: Pattern matching is a fundamental feature of functional programming languages that is also being adopted by mainstream o...
Resumen: Concurrent and distributed systems are pervasive, yet verifying their correctness remains challenging. A core difficulty...
Resumen: Current frontiers in machine learning, data science, and, more broadly, artificial intelligence reveal the limits of pur...
Resumen: There is no one-size-fits-all solution to preserving privacy in artificial intelligence and data science. While insights...
Resumen: Deep learning has revolutionized computer vision, driving face biometric systems to unprecedented levels of accuracy, bu...
Resumen: Decision trees trained using greedy recursive partitioning have existed for decades in machine learning and statistics. ...
Resumen: AI systems like ChatGPT have advanced rapidly, yet their misuse has escalated in parallel. However, we still lack a syst...
