Automatic Proof Generation: Fine-tuning and RAG in Reasoner vs. Math LLMs | Publicación