2 citations · 3 across the 28 of their papers we have counts for
5 papers · 1 filter
Roles with Rails: Contract-Preserving Role Evolution in Multi-Agent Structured Reasoning
Ling-Yue Ge, Lan-Zhe Guo
Role-based LLM multi-agent systems need adaptive role pools, yet adapting such systems is not merely a matter of prompt optimization: roles often carry structural obligations, incl…
FormalML: A Benchmark for Evaluating Formal Subgoal Completion in Machine Learning Theory
Xiao-Wen Yang, Zihao Zhang, Jianuo Cao +7
Large language models (LLMs) have recently demonstrated remarkable progress in formal theorem proving. Yet their ability to serve as practical assistants for mathematicians, fillin…
NeSyGeo: A Neuro-Symbolic Framework for Multimodal Geometric Reasoning Data Generation
Weiming Wu, Jin Ye, Zi-kang Wang +3
Obtaining large-scale, high-quality reasoning data is crucial for improving the geometric reasoning capabilities of multi-modal large language models (MLLMs). However, existing dat…
LawGPT: Knowledge-Guided Data Generation and Its Application to Legal LLM
Zhi Zhou, Kun-Yang Yu, Shi-Yu Tian +6
Large language models (LLMs), both proprietary and open-source, have demonstrated remarkable capabilities across various natural language processing tasks. However, they face signi…
Step Back to Leap Forward: Self-Backtracking for Boosting Reasoning of Language Models
Xiao-Wen Yang, Xuan-Yi Zhu, Wen-Da Wei +5
The integration of slow-thinking mechanisms into large language models (LLMs) offers a promising way toward achieving Level 2 AGI Reasoners, as exemplified by systems like OpenAI's…