Automatic Proof Generation: Fine-tuning and RAG in Reasoner vs. Math LLMs
| Title: | Automatic Proof Generation: Fine-tuning and RAG in Reasoner vs. Math LLMs |
|---|---|
| Authors: | Recio Abad, Juan Carlos; Saborido, Rubén; Chicano, Francisco |
| Source: | Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering. :1679-1682 |
| Availability: | http://dl.acm.org/doi/10.1145/3696630.3728705 |
| Database: | ACM Full-Text Collection |