共 25 条
- [11] NL2TL: Transforming Natural Languages to Temporal Logics using Large Language Models 2023 CONFERENCE ON EMPIRICAL METHODS IN NATURAL LANGUAGE PROCESSING (EMNLP 2023), 2023, : 15880 - 15903
- [12] "Like a Nesting Doll": Analyzing Recursion Analogies Generated by CS Students Using Large Language Models PROCEEDINGS OF THE 2024 CONFERENCE INNOVATION AND TECHNOLOGY IN COMPUTER SCIENCE EDUCATION, VOL 1, ITICSE 2024, 2024, : 122 - 128
- [13] Analyzing Cascading Outbreak of GameStop Event: A Practical Approach Using Network Analysis and Large Language Models ICAIF 2024 - 5th ACM International Conference on AI in Finance, : 428 - 436
- [15] Text-Based Prompt Injection Attack Using Mathematical Functions in Modern Large Language Models ELECTRONICS, 2024, 13 (24):
- [18] On Using Large Language Models Pre-trained on Digital Twins as Oracles to Foster the Use of Formal Methods in Practice LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: SOFTWARE ENGINEERING METHODOLOGIES, PT IV, ISOLA 2024, 2025, 15222 : 30 - 43