Conference: OVERLAY 2025 (7th International Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis)

Conference: OVERLAY 2025 (7th International Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis)

This page shows all presentations from this conference published in EasyChair Smart Slide.

Leveraging LLMs for Formal Software Requirements: Challenges and Prospects

Leveraging LLMs for Formal Software Requirements: Challenges and Prospects

Arshad Beg, Diarmuid O'Donoghue and Rosemary Monahan

Presentations in this collection: 1