2 citations · 2 across the 13 of their papers we have counts for
15 papers
SRJudge: Empowering Large Language Models with Selective Reasoning for Fine-Grained Knowledge Concept Tagging
Zhiwei Yang, Jiahua Yang, Huiru Lin +2
Knowledge concept tagging aims to assign specific concept or topic labels to educational content, which is essential for both educators and learners in traditional and online teach…
Learn from the Gap: Differential-Aware Advantage Pruning with Adaptive Rollout Sampling for GRPO
Jiahua Yang, Zhiwei Yang, Xianpeng Zhang +7
Recently, Group Relative Policy Optimization (GRPO) and its variants have been developed for policy optimization and demonstrated notable performance gains. However, these methods…
ProPRL: Property-Aware Prerequisite Relation Learning in Educational Knowledge Graphs
Xinghe Cheng, Jiapu Wang, Chaobo He +2
Prerequisite relation learning is central to adaptive instruction, yet existing methods often formulate it as conventional link prediction, limiting their ability to adaptively int…
Decidability and Undecidability Results for LIA-Definable Impartial Combinatorial Games
Shiguang Feng, Liangda Fang, Jiahao Luo +1
Combinatorial game theory is a branch of mathematics and theoretical computer science that studies deterministic games with perfect information and no elements of chance. The major…
UniER: A Unified Benchmark for Item-level and Path-level Exercise Recommendation
Xinghe Cheng, Guiyong Zhuang, Yusheng Xie +5
Personalized exercise recommendation dynamically aligns pedagogical resources with individual knowledge mastery, which is crucial for satisfying students' dynamic learning needs in…
A Parallel Approach to Counting Exact Covers Based on Decomposability Property
Liangda Fang, Yaohui Luo, Delong Li +2
The exact cover problem is a classical NP-hard problem with broad applications in the area of AI. Algorithm DXZ is a method to count exact covers representing by zero-suppressed bi…
A Retrospect to Multi-prompt Learning across Vision and Language
Ziliang Chen, Xin Huang, Quanlong Guan +2
The vision community is undergoing the unprecedented progress with the emergence of Vision-Language Pretraining Models (VLMs). Prompt learning plays as the holy grail of accessing…
An Exhaustive DPLL Approach to Model Counting over Integer Linear Constraints with Simplification Techniques
Mingwei Zhang, Zhenhao Gu, Liangda Fang +4
Linear constraints are one of the most fundamental constraints in fields such as computer science, operations research and optimization. Many applications reduce to the task of mod…
GraphRAG-Induced Dual Knowledge Structure Graphs for Personalized Learning Path Recommendation
Xinghe Cheng, Zihan Zhang, Jiapu Wang +5
Learning path recommendation seeks to provide learners with a structured sequence of learning items (\eg, knowledge concepts or exercises) to optimize their learning efficiency. De…
NR4DER: Neural Re-ranking for Diversified Exercise Recommendation
Xinghe Cheng, Xufang Zhou, Liangda Fang +5
With the widespread adoption of online education platforms, an increasing number of students are gaining new knowledge through Massive Open Online Courses (MOOCs). Exercise recomme…
A Syntactic Approach to Computing Complete and Sound Abstraction in the Situation Calculus
Liangda Fang, Xiaoman Wang, Zhang Chen +3
Abstraction is an important and useful concept in the field of artificial intelligence. To the best of our knowledge, there is no syntactic method to compute a sound and complete a…
Unveiling the Tapestry of Automated Essay Scoring: A Comprehensive Investigation of Accuracy, Fairness, and Generalizability
Kaixun Yang, Mladen Raković, Yuyang Li +3
Automatic Essay Scoring (AES) is a well-established educational pursuit that employs machine learning to evaluate student-authored essays. While much effort has been made in this a…
Diagnosing and Rectifying Fake OOD Invariance: A Restructured Causal Approach
Ziliang Chen, Yongsen Zheng, Zhao-Rong Lai +2
Invariant representation learning (IRL) encourages the prediction from invariant causal features to labels de-confounded from the environments, advancing the technical roadmap of o…
Variants of Tagged Sentential Decision Diagrams
Deyuan Zhong, Mingwei Zhang, Quanlong Guan +3
A recently proposed canonical form of Boolean functions, namely tagged sentential decision diagrams (TSDDs), exploits both the standard and zero-suppressed trimming rules. The stan…
An Investigation of Darwiche and Pearl's Postulates for Iterated Belief Update
Quanlong Guan, Tong Zhu, Liangda Fang +3
Belief revision and update, two significant types of belief change, both focus on how an agent modify her beliefs in presence of new information. The most striking difference betwe…