Xuefei Tong

According to our database, Xuefei Tong authored at least 2 papers in 2025.

Collaborative distances:

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

2025

Towards Formal Modeling and Verification of the Stellar Consensus Protocol in Z3.

Feiran Lei, Yihao Zhang, Xuefei Tong, Shuaida Wu, Meng Sun

Proceedings of the 25th International Conference on Software Quality, 2025

Reframing Multimodal Complex Document Layout Understanding: A Layout-Aware Multi-Source Reasoning Decision Framework.

Ran Chen, Yuyang Zhou, Jingyang Deng, Zeren Zhang, Xuefei Tong, Jinwen Ma, Qinghui Shi, Qian Xu, Yuanjun Li

Proceedings of the ECAI 2025 - 28th European Conference on Artificial Intelligence, 25-30 October 2025, Bologna, Italy, 2025