research
∙
05/29/2023
Coeditor: Leveraging Contextual Changes for Multi-round Code Auto-editing
Developers often dedicate significant time to maintaining and refactorin...
share
research
∙
09/28/2022
Guiding Safe Exploration with Weakest Preconditions
In reinforcement learning for safety-critical settings, it is often desi...
research
∙
08/16/2019
