Items where Author is "Guta, Gábor"
Group by: Item Type | No Grouping Jump to: Book Section Number of items: 1. Book SectionGuta, Gábor and Kusper, Gábor (2025) LLM-based framework to support the construction of valid formal models. In: Proceedings of the International Conference on Formal Methods and Foundations of Artificial Intelligence. Eszterházy Károly Katolikus Egyetem Líceum Kiadó, Eger, pp. 78-89. ISBN 9789634963035 |