NLPExplorer
Papers
Venues
Authors
Authors Timeline
Field of Study
URLs
ACL N-gram Stats
TweeNLP
API
Team
TheoremLlama: Transforming General-Purpose LLMs into Lean4 Experts
Ruida Wang
|
Jipeng Zhang
|
Yizhen Jia
|
Rui Pan
|
Shizhe Diao
|
Renjie Pi
|
Tong Zhang
|
Paper Details:
Month: November
Year: 2024
Location: Miami, Florida, USA
Venue:
EMNLP |
Citations
URL
No Citations Yet
https://terrytao.wordpress.com/2023/12/
https://github.com/leanprover-community/mathlib4
Field Of Study