Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2505.20613
Cited By
v1
v2 (latest)
REAL-Prover: Retrieval Augmented Lean Prover for Mathematical Reasoning
27 May 2025
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
B. Dong
AIMat
LRM
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"REAL-Prover: Retrieval Augmented Lean Prover for Mathematical Reasoning"
0 / 0 papers shown
Title
No papers found
