Automatic Proof Generation: Fine-tuning and RAG in Reasoner vs. Math LLMs. - Juan Carlos Recio Abad; Rubén Saborido; Francisco Chicano (SIGSOFT FSE Companion, 2025)

Formal Methods Meets Readability: Auto-Documenting JML Java Code. - Juan Carlos Recio Abad; Rubén Saborido; Francisco Chicano (CoRR, 2025)