Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2506.07477
Cited By
Premise Selection for a Lean Hammer
9 June 2025
Thomas Zhu
Joshua Clune
Jeremy Avigad
Albert Qiaochu Jiang
Sean Welleck
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Premise Selection for a Lean Hammer"
Title
No papers
