1 citations · 1 across the 3 of their papers we have counts for
4 papers
Position: Certified Correctness in Neural Constraint Reasoning Requires Symbolic Integration
Shufeng Kong, Xiaochuan Zhang, Caihua Liu
Neural solvers for constraint satisfaction problems have achieved remarkable in-distribution accuracy, yet they suffer from a fundamental limitation persistent constraint violation…
Machine Learning Methods for Studying Latent Neural Activity Dynamics
Shufeng Kong, Fumei Deng, Xinyi Dong +7
Recent developments in brain recording are driving a demand for machine learning tools capable of decoding the latent structure of large populations of neurons. In this paper, we p…
MIRNet: Integrating Constrained Graph-Based Reasoning with Pre-training for Diagnostic Medical Imaging
Shufeng Kong, Zijie Wang, Nuan Cui +12
Automated interpretation of medical images demands robust modeling of complex visual-semantic relationships while addressing annotation scarcity, label imbalance, and clinical plau…
MTCMB: A Multi-Task Benchmark Framework for Evaluating LLMs on Knowledge, Reasoning, and Safety in Traditional Chinese Medicine
Shufeng Kong, Xingru Yang, Yuanyuan Wei +10
Traditional Chinese Medicine (TCM) is a holistic medical system with millennia of accumulated clinical experience, playing a vital role in global healthcare-particularly across Eas…