From the 1 of 10 linked papers with an AI index.
6 papers · 1 filter
Infinity-Parser2 Technical Report
Zuming Huang, Jun Huang, Kexuan Ren +12
Infinity-Parser2 is a large multimodal model that uses a controllable synthetic data pipeline and multi‑task reinforcement learning to parse documents, offering two variants (Flash…
SQL-ASTRA: Alleviating Sparse Feedback in Agentic SQL via Column-Set Matching and Trajectory Aggregation
Long Li, Zhijian Zhou, Jiangxuan Long +5
Agentic Reinforcement Learning (RL) shows promise for complex tasks, but Text-to-SQL remains mostly restricted to single-turn paradigms. A primary bottleneck is the credit assignme…
LogicMP: A Neuro-symbolic Approach for Encoding First-order Logic Constraints
Weidi Xu, Jingwei Wang, Lele Xie +7
Integrating first-order logic constraints (FOLCs) with neural networks is a crucial but challenging problem since it involves modeling intricate correlations to satisfy the constra…
Constraints-Guided Diffusion Reasoner for Neuro-Symbolic Learning
Xuan Zhang, Zhijian Zhou, Weidi Xu +3
Enabling neural networks to learn complex logical constraints and fulfill symbolic reasoning is a critical challenge. Bridging this gap often requires guiding the neural network's…
To Code or not to Code? Adaptive Tool Integration for Math Language Models via Expectation-Maximization
Haozhe Wang, Long Li, Chao Qu +4
Recent advances in mathematical problem-solving with language models (LMs) integrate chain-of-thought (CoT) reasoning and code execution to harness their complementary strengths. H…
Thought-Like-Pro: Enhancing Reasoning of Large Language Models through Self-Driven Prolog-based Chain-of-Thought
Xiaoyu Tan, Yongxin Deng, Xihe Qiu +5
Large language models (LLMs) have shown exceptional performance as general-purpose assistants, excelling across a variety of reasoning tasks. This achievement represents a signific…