42 citations · 91 across the 20 of their papers we have counts for
4 papers · 1 filter
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…
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…
Enabling Small Models for Zero-Shot Selection and Reuse through Model Label Learning
Jia Zhang, Zhi Zhou, Lan-Zhe Guo +1
Vision-language models (VLMs) like CLIP have demonstrated impressive zero-shot ability in image classification tasks by aligning text and images but suffer inferior performance com…
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…