Yichuan Cao

According to our database, Yichuan Cao authored at least 4 papers between 2025 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Mechanic: Sorrifier-Driven Formal Decomposition Workflow for Automated Theorem Proving.

Ruichen Qiu, Yichuan Cao, Junqi Liu, Dakai Guo, Xiao-Shan Gao, Lihong Zhi, Ruyong Feng

CoRR, March, 2026

A hybrid transformer deep Q-network for path planning.

Jiawei Guo, Yichuan Cao, Ge Song, Junlin Ou, Yi Wang

Neurocomputing, 2026

GPU-enabled Decentralized, multi-robot path planning based on global evolutionary dynamic programming and local particle swarm optimization.

Junlin Ou, Ge Song, Jiawei Guo, Yichuan Cao, Yi Wang

Expert Syst. Appl., 2026

2025

Red-Teaming Text-to-Image Systems by Rule-based Preference Modeling.

Yichuan Cao, Yibo Miao, Xiao-Shan Gao, Yinpeng Dong

Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2025, 2025