most citedMTCMB: A Multi-Task Benchmark Framework for Evaluating LLMs on Knowledge, Reasoning, and Safety in Traditional Chinese Medicine

1 citations · 1 across the 4 of their papers we have counts for

collaborators
Showing cs.AIShow all

1 paper · 1 filter

cs.AI2026

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…