Treffer: Probably Correct: Rethinking Formal Verification for LLM-Driven Systems
Title:
Probably Correct: Rethinking Formal Verification for LLM-Driven Systems
Authors:
Source:
2025 IEEE 12th International Conference on Cyber Security and Cloud Computing (CSCloud) CSCLOUD Cyber Security and Cloud Computing (CSCloud), 2025 IEEE 12th International Conference on. :82-86 Nov, 2025
Relation:
2025 IEEE 12th International Conference on Cyber Security and Cloud Computing (CSCloud)
Database:
IEEE Xplore Digital Library