Jiedong Jiang

According to our database, Jiedong Jiang authored at least 8 papers between 2024 and 2026.

Collaborative distances:

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

2026

LeanSearch v2: Global Premise Retrieval for Lean 4 Theorem Proving.

Guoxiong Gao, Zeming Sun, Jiedong Jiang, Yutong Wang, Jingda Xu, Peihao Wu, Bryan Dai, Bin Dong

CoRR, May, 2026

Automated Conjecture Resolution with Formal Verification.

Haocheng Ju, Guoxiong Gao, Jiedong Jiang, Bin Wu, Zeming Sun, Leheng Chen, Yutong Wang, Yuefeng Wang, Zichen Wang, Wanyi He, Peihao Wu, Liang Xiao, Ruochuan Liu, Bryan Dai, Bin Dong

CoRR, April, 2026

From Atoms to Trees: Building a Structured Feature Forest with Hierarchical Sparse Autoencoders.

Yifan Luo, Yang Zhan, Jiedong Jiang, Tianyang Liu, Mingrui Wu, Zhennan Zhou, Bin Dong

CoRR, February, 2026

2025

LeanCat: A Benchmark Suite for Formal Category Theory in Lean (Part I: 1-Categories).

Rongge Xu, Hui Dai, Yiming Fu, Jiedong Jiang, Tianjiao Nie, Hongwei Wang, Junkai Wang, Holiverse Yang, Jiatong Yang, Zhi-Hao Zhang

CoRR, December, 2025

FATE: A Formal Benchmark Series for Frontier Algebra of Multiple Difficulty Levels.

Jiedong Jiang, Wanyi He, Yuefeng Wang, Guoxiong Gao, Yongle Hu, Jingting Wang, Nailing Guan, Peihao Wu, Chunbo Dai, Liang Xiao, Bin Dong

CoRR, November, 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