Reliable AI code generation through sound program analysis
Armando Solar-Lezama
Neural Stochastic Control and Verification for Safe Autonomy
Đorđe Žikelić
Table Host
TBA
Sara Magliacane
Latent space navigation – interpretation, probing and steering
Lenka Tětková
When Control Changes the Data: Safety under Interaction-Driven Distribution Shifts
Lars Lindemann