Haojia Shan

According to our database, Haojia Shan authored at least 2 papers in 2025.

Collaborative distances:

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

2025

A Combinatorial Identities Benchmark for Theorem Proving via Automated Theorem Generation.

Beibei Xiong, Hangyu Lv, Haojia Shan, Jianlin Wang, Zhengfeng Yang, Lihong Zhi

CoRR, February, 2025

FrameProver: Leveraging Formal Frameworks in Building Proofs for Enhanced Inference.

Haojia Shan, Beibei Xiong, Niuniu Qi, Zhengfeng Yang

Proceedings of the Advanced Intelligent Computing Technology and Applications, 2025