Showing cs.AIShow all
3 papers · 1 filter
cs.AI2025
VCSearch: Bridging the Gap Between Well-Defined and Ill-Defined Problems in Mathematical Reasoning
Shi-Yu Tian, Zhi Zhou, Kun-Yang Yu +4
Large language models (LLMs) have demonstrated impressive performance on reasoning tasks, including mathematical reasoning. However, the current evaluation mostly focuses on carefu…
cs.AI2025
Neuro-Symbolic Artificial Intelligence: Towards Improving the Reasoning Abilities of Large Language Models
Xiao-Wen Yang, Jie-Jing Shao, Lan-Zhe Guo +5
Large Language Models (LLMs) have shown promising results across various tasks, yet their reasoning capabilities remain a fundamental challenge. Developing AI systems with strong r…
cs.AI2025
Verification Learning: Make Unsupervised Neuro-Symbolic System Feasible
Lin-Han Jia, Wen-Chao Hu, Jie-Jing Shao +2
The current Neuro-Symbolic (NeSy) Learning paradigm suffers from an over-reliance on labeled data, so if we completely disregard labels, it leads to less symbol information, a larg…