1. BERT: Pre-training of deep bidirectional transformers for language understanding;devlin;ArXiv Preprint,2018
2. Checking safety properties using induction and a SAT-solver;sheeran;Formal Methods in Computer-Aided Design Third International Conference FMCAD 2000,2000
3. Neural machine translation of rare words with subword units;sennrich;ArXiv Preprint,2015
4. Automated assume-guarantee reasoning by abstraction refinement;p?s?reanu;Computer Aided Verification CAV 2008 Lecture Notes in Computer Science,2008