research
∙
10/26/2022
Multi-lingual Evaluation of Code Generation Models
We present MBXP, an execution-based code completion benchmark in 10+ pro...
share
research
∙
06/03/2021
Relational Analysis of Sensor Attacks on Cyber-Physical Systems
Cyber-physical systems, such as self-driving cars or autonomous aircraft...
research
∙
09/23/2020
CertRL: Formalizing Convergence Proofs for Value and Policy Iteration in Coq
Reinforcement learning algorithms solve sequential decision-making probl...
research
∙
07/02/2020
Verifiably Safe Exploration for End-to-End Reinforcement Learning
Deploying deep reinforcement learning in safety-critical settings requir...
research
∙
06/15/2020
Formal Verification of End-to-End Learning in Cyber-Physical Systems: Progress and Challenges
Autonomous systems – such as self-driving cars, autonomous drones, and a...
research
∙
02/14/2019