Three years in, one of AI’s enduring impacts is to make people feel like they’re losing it.

In safety-critical applications, guaranteeing the satisfaction of constraints over continuous environments is crucial, e.g., an autonomous agent should never crash over obstacles or go off-road....

Musk and Bezos are the heirs to a quasi-religious belief in tech salvation. The rest of us are stuck in the real world

TCAI2025

Towards Probabilistic Verification of ML models via Weighted Model Integration

This seminar series aims to provide a platform for young researchers (PhD student or post-doc level) to give invited talks about their research, intending to have a diverse set of talks & speakers on ...