Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2507.14722
Cited By
LeanTree: Accelerating White-Box Proof Search with Factorized States in Lean 4
19 July 2025
Matěj Kripner
Michal Šustr
Milan Straka
LRM
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"LeanTree: Accelerating White-Box Proof Search with Factorized States in Lean 4"
1 / 1 papers shown
Title
Empowering Real-World: A Survey on the Technology, Practice, and Evaluation of LLM-driven Industry Agents
Yihong Tang
Kehai Chen
Liang Yue
Jinxin Fan
Caishen Zhou
...
Kaiyang Guo
Xingshan Zeng
Wenjing Cun
L. Shang
Min Zhang
LLMAG
142
0
0
20 Oct 2025
1
