research
∙
02/19/2021
TacticZero: Learning to Prove Theorems from Scratch with Deep Reinforcement Learning
We propose a novel approach to interactive theorem-proving (ITP) using d...
share
research
∙
05/30/2019
MoonLight: Effective Fuzzing with Near-Optimal Corpus Distillation
Mutation-based fuzzing typically uses an initial set of valid seed input...
research
∙
04/02/2018
