research
∙
01/04/2021
Lassie: HOL4 Tactics by Example
Proof engineering efforts using interactive theorem proving have yielded...
share
research
∙
09/12/2019
Joint Inference of Reward Machines and Policies for Reinforcement Learning
Incorporating high-level knowledge is an effective way to expedite reinf...
research
∙
06/11/2018
Learning Linear Temporal Properties
We present two novel algorithms for learning formulas in Linear Temporal...
research
∙
03/06/2018