Publications
Ph.D Thesis:
Publications:
“GeomVerse: A Systematic Evaluation of Large Models for Geometric Reasoning” Mehran Kazemi, Hamidreza Alvari, Ankit Anand, Jialin Wu, Xi Chen, Radu Soricut [Under Submission]
“Finding Increasingly Large Extremal Graphs with AlphaZero and Tabu Search ” Abbas Mehrabian, Ankit Anand, Hyunjik Kim, Nicolas Sonnerat, Matej Balog, Gheorghe Comanici, Tudor Berariu, Andrew Lee, Anian Ruoss, Anna Bulanova, Daniel Toyama, Sam Blackwell, Bernardino Romera Paredes, Petar Velikovi, Laurent Orseau, Joonkyung Lee, Anurag Murty Naredla, Doina Precup, Adam Zsolt Wagner. Math-AI workshop at NeurIPS, 2023.
“AutoMix: Automatically Mixing Language Models” Aman Madaan, Pranjal Aggarwal, Ankit Anand, Srividya Pranavi Potharaju, Swaroop Mishra, Pei Zhou, Aditya Gupta, Dheeraj Rajagopal, Karthik Kappaganthu, Yiming Yang, Shyam Upadhyay, Mausam, Manaal Faruqui. Workshop on robustness of zero/few-shot learning in foundation models (R0-FoMo), NeurIPS, 2023
Policy composition in reinforcement learning via multi-objective policy optimization. Shruti Mishra, Ankit Anand, Jordan Hoffmann, Nicolas Heess, Martin Riedmiller, Abbas Abdolmaleki, Doina Precup [Pre-print]
Accelerating exploration and representation learning with offline pre-training. Bogdan Mazoure, Jake Bruce, Doina Precup, Rob Fergus and Ankit Anand. Workshop on Interactive Learning with Implicit Human Feedback at ICML 2023.
Learning About Progress From Experts. Jake Bruce , Ankit Anand, Bogdan Mazoure, Rob Fergus. ICLR 2023 (Spotlight or Notable 25%)
Proving Theorems using Incremental Learning and Hindsight Experience Replay (Extended Abstract) Eser Aygun, Laurent Orseau, Ankit Anand, Xavier Glorot, Stephen Mcaleer, Vlad Firoiu, Lei Zhang, Doina Precup and Shibl Mourad. 7th Conference on Artificial Intelligence and Theorem Proving. AITP 2022
Proving Theorems using Incremental Learning and Hindsight Experience Replay. Eser Aygün, Ankit Anand, Laurent Orseau, Xavier Glorot, Stephen M. Mcaleer, Vlad Firoiu, Lei M. Zhang, Doina Precup, Shibl Mourad. ICML 2022.
Training a First-Order Theorem Prover from Synthetic Data. Vlad Firoiu; Eser Aygün; Ankit Anand; Zafarali Ahmed; Xavier Glorot; Laurent Orseau; Doina Precup; Shibl Mourad . 1st Math-AI workshop in ICLR 2021
"Learning representations of Logical Formulae using Graph Neural Networks". Xavier Glorot, Ankit Anand, Eser Aygun, Shibl Mourad, Pushmeet Kohli, Doina Precup. Workshop on Graph Representation Learning at NeurIPS. Vancouver, Canada. December 2019.
"Lifted Inference for Faster Training (LIFT) in End-to-End Neural-CRF Models". Yatin Nandwani, Ankit Anand, Mausam, Parag Singla. Workshop on Relational Representation Learning (R2L) at NeurIPS. Montreal, Canada. December 2018.
"Block Value Symmetries in Probabilistic Graphical Models" Gagan Madan, Ankit Anand, Mausam, Parag Singla. Conference on Uncertainty in Artificial Intelligence (UAI). Monterey, CA, USA. August 2018.
"Coarse-to-Fine Lifted MAP Inference in Computer Vision". Haroun Habeeb, Ankit Anand, Mausam, Parag Singla. International Joint Conference on Artificial Intelligence (IJCAI). Melbourne, Australia. August 2017. (Also presented at Statistical Relational AI workshop, 2017).
"Non-Count Symmetries in Boolean & Multi-Valued Prob. Graphical Models". Ankit Anand, Ritesh Noothigattu, Parag Singla, Mausam. International Conference on Artificial Intelligence and Statistics (AISTATS). Fort Lauderdale, Florida. April 2017. (Also presented at Statistical Relational AI workshop, 2017).
"Contextual Symmetries in Probabilistic Graphical Models". Ankit Anand, Aditya Grover, Mausam, Parag Singla. International Joint Conference on Artificial Intelligence (IJCAI). New York, NY. July 2016. Best Paper Award at Statistical Relational AI workshop' 2016
OGA-UCT: On the Go Abstractions in UCT". Ankit Anand, Ritesh Noothigattu, Mausam, Parag Singla. International Conference on Automated Planning and Scheduling (ICAPS). London, United Kingdom. June 2016.
ASAP-UCT: Abstraction of State-Action Pairs in UCT". Ankit Anand, Aditya Grover, Mausam, Parag Singla. International Joint Conference on Artificial Intelligence (IJCAI). Buenos Aires, Argentina. July 2015.
"A Novel Abstraction Framework for Online Planning". Ankit Anand, Aditya Grover, Mausam, Parag Singla. Extended Abstract at International Conference on Autonomous Agents and Multi-agent Systems (AAMAS). Istanbul, Turkey. May 2015.
" Virtual Machine Placement Optimization Supporting Performance SLAs." Ankit Anand, J. Lakshmi, S. K. Nandy. IEEE 5th International Conference on Cloud Computing Technology and Science (CloudCom), Bristol, UK, 2013.
Resource usage monitoring for KVM based virtual machines. (Invited Paper) Ankit Anand, Mohit Dhingra, J. Lakshmi, S.K.Nandy, 18th International Conference on Advanced Computing and Communications (ADCOM), Bangalore, India, 2012.