eBook
Towards Combining the Cognitive Abilities of Large Language Models with the Rigor of Deductive Progam Verification
| Τίτλος: | Towards Combining the Cognitive Abilities of Large Language Models with the Rigor of Deductive Progam Verification |
|---|---|
| Συγγραφείς: | Beckert, BernhardAff9, Klamroth, JonasAff10, Pfeifer, WolframAff9, Röper, PatrickAff9, Teuber, SamuelAff9 |
| Συνεισφορές: | Goos, Gerhard, Series EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Aff8, Yung, Moti, Editorial Board MemberAff6, Margaria, Tiziana, editorAff7 |
| Πηγή: | Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part IV. 15222:242-257 |
| Βάση Δεδομένων: | Springer Nature eBooks |
| ISBN: | 9783031753862 9783031753879 |
|---|---|
| DOI: | 10.1007/978-3-031-75387-9_15 |