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
Showing 2024Show all

2 papers · 1 filter

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…