activity
20232025
most citedOn the verification of Embeddings using Hybrid Markov Logic

4 citations · 5 across the 4 of their papers we have counts for

collaborators

5 papers

cs.CL2025★ 1 cited

Next Word Suggestion using Graph Neural Network

Abisha Thapa Magar, Anup Shakya

Language Modeling is a prevalent task in Natural Language Processing. The currently existing most recent and most successful language models often tend to build a massive model wit…

cs.AI2024

Verifying Relational Explanations: A Probabilistic Approach

Abisha Thapa Magar, Anup Shakya, Somdeb Sarkhel +1

Explanations on relational data are hard to verify since the explanation structures are more complex (e.g. graphs). To verify interpretable explanations (e.g. explanations of predi…

cs.CY2024

Mastery Guided Non-parametric Clustering to Scale-up Strategy Prediction

Anup Shakya, Vasile Rus, Deepak Venugopal

Predicting the strategy (sequence of concepts) that a student is likely to use in problem-solving helps Adaptive Instructional Systems (AISs) better adapt themselves to different t…

cs.LG2023★ 4 cited

On the verification of Embeddings using Hybrid Markov Logic

Anup Shakya, Abisha Thapa Magar, Somdeb Sarkhel +1

The standard approach to verify representations learned by Deep Neural Networks is to use them in specific tasks such as classification or regression, and measure their performance…

cs.LG2023

Scalable and Equitable Math Problem Solving Strategy Prediction in Big Educational Data

Anup Shakya, Vasile Rus, Deepak Venugopal

Understanding a student's problem-solving strategy can have a significant impact on effective math learning using Intelligent Tutoring Systems (ITSs) and Adaptive Instructional Sys…