Accurate assessment of student competencies is essential for enabling educators to identify individual needs, design targeted interventions, and evaluate the effectiveness of educational strategies. E...
The paper presents SC2R, a semantics‑constrained counterfactual recourse framework designed to support educational decision making. SC2R integrates a calibrated predictive model, integer‑programming recourse generation, an RDF vocabulary for intervention plans, and SHACL validation to enforce constraints such as timing, budget, and availability. Evaluation on the OULAD dataset shows that the framework can generate compact, feasible intervention plans at scale and that semantic validation filters out infeasible recommendations that would otherwise be accepted by simpler optimization approaches.
arXiv:2608. 03673v1 Announce Type: new Abstract: Many critical reasoning tasks, including clinical diagnosis, legal judgment, and industrial fault diagnosis, require step-dependent causal chains in which early errors propagate and correct conclusions can mask invalid reasoning.
By Jian Zhang, Bingyi Wang, Yizhi Liu
Many critical reasoning tasks, including clinical diagnosis, legal judgment, and industrial fault diagnosis, require step-dependent causal chains in which early errors propagate and correct conclusions can mask invalid reasoning. Although large language models perform well on such tasks, privacy, latency, and controllability motivate distillation into locally deployable models.
The paper introduces SC2R, a semantics‑constrained counterfactual recourse framework designed to provide actionable, feasible intervention plans for students identified as at risk by learning analytics models. SC2R integrates a calibrated predictive model, integer‑programming recourse generation over discrete actions, an RDF vocabulary for representing intervention plans, and SHACL validation to enforce constraints such as timing, budget, immutability, and availability. Evaluated on the OULAD dataset, the framework demonstrates strong predictive performance, scalable generation of compact intervention plans, and the ability to detect infeasible plans that would otherwise be accepted by simpler optimization approaches.
By Ngoc Luyen Le, Marie-H\'el\`ene Abel, Bertrand Laforge
arXiv:2606. 29911v1 Announce Type: new Abstract: Decision theory provides a formal framework for how agents should make choices under uncertainty, drawing on ideas from philosophy, probability, and causality.
By Arvid Sj\"olander
arXiv:2606. 05983v1 Announce Type: new Abstract: Generative AI makes answers easy and understanding hard, and uncritical use invites cognitive offloading.
By Alexander Apartsin, Yehudit Aperstein
arXiv:2608.24500v1 Announce Type: cross
Abstract: The STAR (Student-Teacher Achievement Ratio) experiment (1985, Tennessee, USA) is a landmark hierarchical dataset designed to assess the impact of cl...
By Janis Aiad, Aghiles Drali, Aymen El Ouadrhiri, Anass Ettahiri, Yasser Oufqir, Simon Patry, David Cortes, Marianne Clausel, Emilie Devijver
arXiv:2509.05346v3 Announce Type: replace
Abstract: While large language models (LLMs) are increasingly being adopted to support personalized learning, there remains limited understanding of how thei...
By Bo Yuan, Jiazi Hu
Causal diagnostic models must explain how conclusions follow from evidence because diagnoses guide repairs and treatments. Yet serious cases are scarce, records rarely contain reasoning paths, and data transfer poorly across configurations, complicating local deployment.
Causal inference provides a set of principles and tools that allow one to combine data and knowledge about an environment to reason with questions of counterfactual nature, i. e.
The paper introduces a formal framework that uses symmetries in data to keep causal mechanisms invariant, providing a simple and general mathematical language for causal reasoning. It outlines how to describe models and queries, and presents strategies for rigorously identifying causal effects from data within this framework. The approach reproduces known results for IID data and extends causal analysis to non‑IID settings, complex queries beyond do‑ or soft‑interventions, and incorporates missing data, transfer, and robustness considerations.
By Martin Rabel, Jakob Runge