LGPD: A General Framework for Backpropagation through Embedded Optimization Layers
ICML 2024 Conference paper
The laboratory concentrates on applications of logic, game theory, and discrete structures in computer science. Special attention is devoted to algorithms and methods for formal analysis and verification of computer systems, applications of game theory in artificial intelligence, and also to emerging topics at the frontiers of formal methods and AI.