Talks 25
- TBA Jun 27, 2025
- Differential and Probabilistic Programming for Scientific Computation May 16, 2025
- Logical Characterizations of Recurrent GNNs Apr 25, 2025
- Are Bounded Contracts Learnable and Approximately Optimal? Mar 11, 2025
- Proof systems and decidability: the case of intuitionistic K Jan 17, 2025
- From Theory to Practice: Explaining Logical (Non-)Inferences for OWL Ontologies Nov 15, 2024
- Equality Saturation: Progress and Open Questions Oct 11, 2024
- Algorithms for Pareto efficient and envy-free allocation Sep 20, 2024
- On Logic and AI (and Mathematics) Jun 17, 2024
- On the Computational Complexity of Multi-Agent Pathfinding on Directed Graphs Jun 14, 2024
- Decision trees in a formal world: machine learning (with constraints), controller verification, and unsatisfiability proofs for graph problems May 17, 2024
- Logic and asymptotic combinatorics of Graph Neural Networks Apr 24, 2024
- How Fast Can We Compute (Approximate) Nash Equilibria in Zero-sum Matrix Games? Apr 19, 2024
- On the Effectiveness of Mission-time Linear Temporal Logic (MLTL) in AI Applications Mar 8, 2024
- Exploiting Epistemic Uncertainty for Deep Exploration in Reinforcement Learning Feb 16, 2024
- Distance Structures and their Algorithmic Applications Jan 19, 2024
- SAT-based Judgment Aggregation Dec 1, 2023
- The Limits to Gossip: Second-order Shared Knowledge of all Secrets is Unsatisfiable Nov 17, 2023
- Multi-Layer Belief Model: Justified Belief for Uncertain and Conflicting Evidence Oct 20, 2023
- Automated Reasoning for Economic Theory Sep 22, 2023
- Supervisor Synthesis: Turning Automata into Control Software Jun 16, 2023
- Social Welfare Loss in Hybrid Multi-Unit Auctions May 12, 2023
- Data examples Apr 21, 2023
- Round-Robin Beyond Additive Agents: Existence and Fairness of Approximate Equilibria Mar 24, 2023
- Lifted Classical Planning via Propositional Logic Satisfiability Feb 24, 2023