TheoremLlama: Transforming General-Purpose LLMs into Lean4 Experts.

Ruida Wang Jipeng Zhang Yizhen Jia Rui Pan Shizhe Diao Renjie Pi Tong Zhang

Published in: CoRR (2024)

Keyphrases

general purpose
special purpose
domain specific
domain experts
programming language
databases
real world
application specific
tightly coupled
expert advice
highly optimized
genetic algorithm
computer science
relational databases
mobile devices