3

Pushing the Boundaries of Natural Reasoning: Interleaved Bonus from Formal-Logic Verification
Large Language Models (LLMs) show remarkable capabilities, yet their stochastic next-token prediction creates logical inconsistencies …
PDF Cite DOI
Pushing the Boundaries of Natural Reasoning: Interleaved Bonus from Formal-Logic Verification
AutoFed: Manual-Free Federated Traffic Prediction via Personalized Prompt
Accurate traffic prediction is essential for Intelligent Transportation Systems, including ride-hailing, urban road planning, and …
PDF Cite Code DOI
AutoFed: Manual-Free Federated Traffic Prediction via Personalized Prompt
Zero-Effort Image-to-Music Generation: An Interpretable RAG-Based VLM Approach
Recently, Image-to-Music (I2M) generation has garnered significant attention, with potential applications in fields such as gaming, …
PDF Cite Code DOI
Zero-Effort Image-to-Music Generation: An Interpretable RAG-Based VLM Approach
One Step is Enough: Multi-Agent Reinforcement Learning Based on One-Step Policy Optimization for Order Dispatch on Ride-Sharing Platforms
On-demand ride-sharing platforms face the fundamental challenge of dynamically bundling passengers with diverse origins and …
PDF Cite Code DOI
One Step is Enough: Multi-Agent Reinforcement Learning Based on One-Step Policy Optimization for Order Dispatch on Ride-Sharing Platforms