Currently, I am interested in building AI systems that could discover novel mathematical constructs, such as conjectures. I am also interested in understanding the brittleness of AI safety techniques.
Research Interests: AI4Reasoning, AI4Math and formal theorem proving, openended learning, search and games, AI safety, hallucination, analysis and interpretability.
I graduated with BE in Computer Science and MSc in Economics from BITS Pilani, India in 2022. For more details about my background, refer to my CV. If you'd like to chat with me about my work or research in general, feel free to reach out. I am always open to exploring opportunities for collaboration!
Do Language Models Know When They're Hallucinating References?
, Mirac Suzgun, Lester Mackey, Adam Tauman Kalai
EACL'24, presented @ICBINB NeurIPS'23 pdf
Ambient Intelligence for Securing Intelligent Vehicular Networks: Edge-Enabled Intrusion and Anomaly Detection Strategies
Tejasvi Alladi, , Bhavya Gera, Vinay Chamola, F Richard Yu
IEEE IoT'23 pdf
Towards Automating Formalisation of Theorem Statements Using Large Language Models
Siddhartha Gadgil, Anand Rao Tadipatri, , Ashvni Narayanan, Navin Goyal
MATH-AI NeurIPS'22 pdf
Towards a Mathematics Formalisation Assistant using Large Language Models
, Siddhartha Gadgil, Navin Goyal, Ashvni Narayanan, Anand Tadipatri
preprint pdf
NovelADS: A Novel Anomaly Detection System for Intra-vehicular Networks
Kushagra Agrawal, Tejasvi Alladi, , Vinay Chamola, Abderrahim Benslimane
IEEE ITS'22 pdf
DeepADV: A Deep Neural Network Framework for Anomaly Detection in VANETs
Tejasvi Alladi, Bhavya Gera, , Vinay Chamola, Fei Richard Yu
IEEE TVT'21 pdf
Deep Neural Networks for Securing IoT Enabled Vehicular Ad-hoc Networks
Tejasvi Alladi, , Bhavya Gera, Vinay Chamola, Biplab Sikdar, Mohsen Guizani
IEEE ICC'21 pdf
