Namaste!!! 🙏 Welcome to my portfolio!!
I'm Anup Shakya, currently working as a Research Scientist at Meta.
I have a PhD in Computer Science from the University of Memphis. My passion lies in crafting solutions to enhance the field of Neuro-symbolic learning. My current research interests are Machine Learning and Data Mining centered towards applications in education. I am also interested in Natural Language Processing, Computer Vision and Generative AI. I also have a Master's Degree in Computer Science.
As a seasoned software engineer, I bring a wealth of experience in Java, Python, C++, debugging, critical thinking and problem-solving with a robust understanding of HIPAA compliance in the U.S. health sector.
I just love MUSIC and don't really have a preference for a music genre. I like to play the guitar and sing. I also love to run and hike. I am a big-time chai ☕ lover.
Please feel free to explore my portfolio to discover my academic and professional journey.
Expected to graduate in December 2024
Aggregate grade: 74.47%
Anup Shakya, Abisha Thapa Magar, Somdeb Sarkhel and Deepak Venugopal, Reparameterizing Hybrid Markov Logic Networks to handle Covariate-Shift in Representations, In Proceedings of 41st Conference on Uncertainty in Artificial Intelligence (UAI '25), 2025 July. Link to Paper
Abisha Thapa Magar, Anup Shakya, Somdeb Sarkhel and Deepak Venugopal, " Can A Language Model Represent Math Strategies?": Learning Math Strategies from Big Data using BERT, In Proceedings of 15th International Learning Analytics and Knowledge Conference (LAK '25), 2025 Mar, pp. 655-666, doi:10.1145/3706468.3706558. Link to Paper
Anup Shakya, Abisha Thapa Magar, Somdeb Sarkhel and Deepak Venugopal, On the Verification of Embeddings with Hybrid Markov Logic, In Proceedings of IEEE International Conference in Data Mining (ICDM), 2023 Dec, pp. 1301-1306, doi:10.1109/ICDM58522.2023.00165. Link to Paper
Abisha Thapa Magar, Anup Shakya, Somdeb Sarkhel and Deepak Venugopal, Verifying Relational Explanations: A Probabilistic Approach, In Proceedings of 2023 IEEE International Conference on Big Data, Sorrento, Italy, 2023 Dec, pp. 108-115, doi:10.1109/BigData59044.2023.10386213. Link to Paper
Anup Shakya, Vasile Rus and Deepak Venugopal, Scalable and Equitable Math Problem Solving Strategy Prediction in Big Educational Data, In Proceedings of 16th International Conference on Educational Data Mining (EDM), International Educational Data Mining Society, 2023, pp. 137-148, doi:10.5281/zenodo.8115669. Link to Paper
Anup Shakya, Vasile Rus and Deepak Venugopal, Mastery Guided Non-parametric Clustering to Scale-up Strategy Prediction, In Proceedings of 37th AAAI Conference on Artificial Intelligence, Workshop on Artificial Intelligence for Education, 2023 Feb. Link to Paper
Anup Shakya, Vasile Rus and Deepak Venugopal, Student Strategy Prediction using a Neuro-Symbolic approach, In Proceedings of 14th International Conference on Educational Data Mining (EDM), International Educational Data Mining Society, 2021, pp. 118-129. Link to Paper
Anup Shakya, Vasile Rus, Stephen Fancsali, Steve Ritter and Deepak Venugopal, NeTra: A Neuro-Symbolic System to Discover Strategies in Math Learning, In Proceedings of The Third Workshop of the Learner Data Institute, The 15th International Conference on Educational Data Mining (EDM 2022), 2022. Link to Paper
Deepak Venugopal, Vasile Rus and Anup Shakya, Neuro-Symbolic Models: A Scalable, Explainable Framework for Strategy Discovery from Big Edu-Data, In Proceedings of the 2nd Learner Data Institute Workshop in Conjunction with The 14th International Educational Data Mining Conference, 2021 Jun. Link to Paper
Anup Shakya, Towards the robustness of Transformer Models on Image Data, http://dx.doi.org/10.13140/RG.2.2.23552.10242, 2022. Link to Paper
Probabilistic Verification of Neural Networks | (Link to Project)
Proposed a novel approach to verify representations in Deep Neural Networks beyond standard classification tasks. Introduced a framework based on Hybrid Markov Logic Networks (HMLNs), allowing for the specification of complex properties combined with symbolic domain knowledge. Developed a method to learn parameters and a verification process using Mixed Integer Linear Programming, showcasing the versatility of the approach across applications like Graph Neural Networks, Deep Knowledge Tracing, and Intelligent Tutoring Systems.
Scalable Student Strategy Prediction in Math Learning | (Link to Project)
Developed an innovative embedding, MVec, and employed non-parametric clustering to achieve scalable and fair strategy prediction. Demonstrated exceptional accuracy and predictive equality in large-scale student interaction datasets from MATHia.
Towards the robustness of Vision Transformers | (Link to Project)
Drove innovation in computer vision with "Vision Transformer on Image Data." Conducted a rigorous study on the model's robustness to noise, showcasing its potential to outperform convolution-based models. Implemented simple data augmentation techniques, unveiling their significant impact on enhancing generalization and overall performance.
Learning to play flappy bird using DDQN | (Link to Project)
This project explores the realm of reinforcement learning, leveraging the potent Deep Q-Networks (DQN) algorithm to enable an agent to master the challenging Flappy Bird game. Despite facing high-dimensional sensory input and no prior knowledge of the game's elements, the DQN algorithm excelled in learning optimal strategies, ultimately achieving super-human performance. The project delves into the intricacies of learned representations, addresses challenges, and offers insights into the capabilities and potential enhancements of DQN in the context of gaming.