Showing cs.AIShow all
3 papers · 1 filter
cs.AI2026
Programmatic Context Augmentation for LLM-based Symbolic Regression
Hao Liu, Xiao-Wen Yang, Atharva Sehgal +4
Symbolic regression (SR), the task of discovering mathematical expressions that best describe a given dataset, remains a fundamental challenge in scientific discovery. Traditional…
cs.AI2026
ChinaTravel: An Open-Ended Travel Planning Benchmark with Compositional Constraint Validation for Language Agents
Jie-Jing Shao, Bo-Wen Zhang, Xiao-Wen Yang +8
Travel planning stands out among real-world applications of \emph{Language Agents} because it couples significant practical demand with a rigorous constraint-satisfaction challenge…
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…