Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for Ankit Anand

Training a First-Order Theorem Prover from Synthetic Data


Mar 05, 2021
Vlad Firoiu, Eser Aygun, Ankit Anand, Zafarali Ahmed, Xavier Glorot, Laurent Orseau, Lei Zhang, Doina Precup, Shibl Mourad


  Access Paper or Ask Questions

Learning Compositional Structures for Deep Learning: Why Routing-by-agreement is Necessary


Oct 06, 2020
Sai Raam Venkatraman, Ankit Anand, S. Balasubramanian, R. Raghunatha Sarma


  Access Paper or Ask Questions

Learning to Prove from Synthetic Theorems


Jun 19, 2020
Eser Aygün, Zafarali Ahmed, Ankit Anand, Vlad Firoiu, Xavier Glorot, Laurent Orseau, Doina Precup, Shibl Mourad

* 17 pages, 6 figures, submitted to NeurIPS 2020 

  Access Paper or Ask Questions

AccentDB: A Database of Non-Native English Accents to Assist Neural Speech Recognition


May 16, 2020
Afroz Ahamad, Ankit Anand, Pranesh Bhargava

* Proceedings of the 12th Language Resources and Evaluation Conference - LREC, 2020 

  Access Paper or Ask Questions

Block-Value Symmetries in Probabilistic Graphical Models


Jul 08, 2018
Gagan Madan, Ankit Anand, Mausam, Parag Singla

* 11 pages, 3 figures, Accepted in UAI 2018 and StaR AI 2018 

  Access Paper or Ask Questions

Non-Count Symmetries in Boolean & Multi-Valued Prob. Graphical Models


Jul 27, 2017
Ankit Anand, Ritesh Noothigattu, Parag Singla, Mausam

* Proceedings of the 20th International Conference on Artificial Intelligence and Statistics, PMLR 54: 1541-1549 (2017) 
* 9 pages, 5 figures 

  Access Paper or Ask Questions

Coarse-to-Fine Lifted MAP Inference in Computer Vision


Jul 22, 2017
Haroun Habeeb, Ankit Anand, Mausam, Parag Singla

* Published in IJCAI 2017 

  Access Paper or Ask Questions

Contextual Symmetries in Probabilistic Graphical Models


Jun 30, 2016
Ankit Anand, Aditya Grover, Mausam, Parag Singla

* IJCAI, 2016 
* 9 Pages, 4 figures 

  Access Paper or Ask Questions