Jiedong Jiang

According to our database, Jiedong Jiang authored at least 3 papers between 2024 and 2025.

Collaborative distances:

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

2025

REAL-Prover: Retrieval Augmented Lean Prover for Mathematical Reasoning.

Ziju Shen, Naohao Huang, Fanyi Yang, Yutong Wang, Guoxiong Gao, Tianyi Xu, Jiedong Jiang, Wanyi He, Pu Yang, Mengzhou Sun, Haocheng Ju, Peihao Wu, Bryan Dai, Bin Dong

CoRR, May, 2025

Herald: A Natural Language Annotated Lean 4 Dataset.

Guoxiong Gao, Yutong Wang, Jiedong Jiang, Qi Gao, Zihan Qin, Tianyi Xu, Bin Dong

Proceedings of the Thirteenth International Conference on Learning Representations, 2025

2024

A Semantic Search Engine for Mathlib4.

Guoxiong Gao, Haocheng Ju, Jiedong Jiang, Zihan Qin, Bin Dong

Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2024, 2024