9 papers
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…