2 citations · 2 across the 4 of their papers we have counts for
4 papers
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…
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…
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…
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…