Refinement Reflection (or, how to turn your favorite language into a proof assistant using SMT).

Niki Vazou Ranjit Jhala

Published in: CoRR (2016)

Keyphrases

language learning
test bed
proof theory
programming language
natural language
statistical machine translation
case study
context dependent