Juan Carlos Recio Abad

According to our database, Juan Carlos Recio Abad authored at least 2 papers in 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

Formal Methods Meets Readability: Auto-Documenting JML Java Code.

Juan Carlos Recio Abad, Rubén Saborido, Francisco Chicano

CoRR, June, 2025

Automatic Proof Generation: Fine-tuning and RAG in Reasoner vs. Math LLMs.

Juan Carlos Recio Abad, Rubén Saborido, Francisco Chicano

Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering, 2025