Verifying Memoryless Sequential Decision-making of Large Language Models
- Authors
- D. Gross, H. Spieker and A. Gotlieb
- Status
- Accepted
- Publication type
- Presentation
- Year of publication
- 2025
- Journal
- 7th International Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis (OVERLAY @ ECAI 2025)
- Publisher
- -
- Citation key
- 18323