18 citations · 63 across the 27 of their papers we have counts for
Showing cs.AIShow all
3 papers · 1 filter
cs.AI2025
One Step is Enough: Multi-Agent Reinforcement Learning based on One-Step Policy Optimization for Order Dispatch on Ride-Sharing Platforms
Zijian Zhao, Sen Li
Order dispatch is a critical task in ride-sharing systems with Autonomous Vehicles (AVs), directly influencing efficiency and profits. Recently, Multi-Agent Reinforcement Learning…
cs.AI2025
Towards Advanced Mathematical Reasoning for LLMs via First-Order Logic Theorem Proving
Chuxue Cao, Mengze Li, Juntao Dai +7
Large language models (LLMs) have shown promising first-order logic (FOL) reasoning capabilities with applications in various areas. However, their effectiveness in complex mathema…
cs.AI2024★ 18 cited
An overview of domain-specific foundation model: key technologies, applications and challenges
Haolong Chen, Hanzhi Chen, Zijian Zhao +6
The impressive performance of ChatGPT and other foundation-model-based products in human language understanding has prompted both academia and industry to explore how these models…