Abstract
Large Language Models such as ChatGPT have risen in prominence recently leading to the need to analyse their strengths and limitations on various tasks. The objective of this work is to evaluate the performance of Large Language Models on Model Checking which is used extensively in various critical tasks such as software and hardware verification.
Original language | English |
---|---|
Title of host publication | 15th International Conference on Information, Intelligence, Systems and Applications, IISA 2024 |
Publisher | Institute of Electrical and Electronics Engineers Inc. |
Number of pages | 8 |
ISBN (Electronic) | 9798350368833 |
ISBN (Print) | 9798350368840 |
DOIs | |
Publication status | Published - 18 Dec 2024 |
Event | 15th International Conference on Information, Intelligence, Systems and Applications - Chania, Greece Duration: 17 Jul 2024 → 20 Jul 2024 Conference number: 15 |
Conference
Conference | 15th International Conference on Information, Intelligence, Systems and Applications |
---|---|
Abbreviated title | IISA 2024 |
Country/Territory | Greece |
City | Chania |
Period | 17/07/24 → 20/07/24 |