About
Contact & Profiles
A5009904184
Research Areas
- Data Management and Algorithms
- Constraint Satisfaction and Optimization
- Natural Language Processing Techniques
- Model-Driven Software Engineering Techniques
- Geographic Information Systems Studies
- Semantic Web and Ontologies
- Software Testing and Debugging Techniques
- Data Mining Algorithms and Applications
- Topic Modeling
University of Huddersfield
2017-2025
Large language models (LLMs) such as ChatGPT have risen in prominence recently, leading to the need analyze their strengths and limitations for various tasks. The objective of this work was evaluate performance large model checking, which is used extensively critical tasks software hardware verification. A set problems were proposed a benchmark three LLMs (GPT-4, Claude, Gemini) evaluated with respect ability solve these problems. evaluation conducted by comparing responses gold standard...
10.3390/electronics14020401
article
EN
Electronics
2025-01-20
10.1016/j.knosys.2018.08.035
article
EN
Knowledge-Based Systems
2018-08-30
10.1016/j.eswa.2024.125115
article
EN
cc-by
Expert Systems with Applications
2024-08-22
10.1109/iisa62523.2024.10786718
article
EN
2024-07-17
Download This Paper Open PDF in Browser Add to My Library Share: Permalink Using these links will ensure access this page indefinitely Copy URL DOI
10.2139/ssrn.4670440
preprint
EN
2023-01-01
Coming Soon ...