2 papers
cs.CL2026
Using LLMs for Knowledge Component-level Correctness Labeling in Open-ended Coding Problems
Zhangqi Duan, Arnav Kankaria, Dhruv Kartik +1
Fine-grained skill representations, commonly referred to as knowledge components (KCs), are fundamental to many approaches in student modeling and learning analytics. However, KC-l…
cs.AI2024
Optimal Control of Logically Constrained Partially Observable and Multi-Agent Markov Decision Processes
Krishna C. Kalagarla, Dhruva Kartik, Dongming Shen +3
Autonomous systems often have logical constraints arising, for example, from safety, operational, or regulatory requirements. Such constraints can be expressed using temporal logic…