Author:Natarajan Shankar

Publications
Semantic Parsing of Geometry Statements Using Supervised Machine Learning on Synthetic Data Salwa Tabet Gonzalez, Stéphane Graham-Lengrand, Julien Narboux and Natarajan Shankar EasyChair Preprint no. 6414
Automated Formal Methods Natarajan Shankar and Bruno Dutertre (editors) Kalpa Publications in Computing, volume 5
A Brief Introduction to the PVS2C Code Generator Natarajan Shankar In:Automated Formal Methods
The Architecture of Inference from SMT to ETB Natarajan Shankar In:SMT 2012. 10th International Workshop on Satisfiability Modulo Theories