All Artificial, Less Intelligence: GenAI through the Lens of Formal Verification.
Deepak Narayan GaddeAman KumarThomas NalapatEvgenii RezunovFabio CappelliniPublished in: CoRR (2024)
Keyphrases
- test cases
- formal verification
- artificial life
- model checking
- artificial systems
- automated verification
- model checker
- bounded model checking
- artificial intelligence
- intelligent systems
- symbolic model checking
- human intelligence
- real world
- collective intelligence
- software engineering
- wide angle
- program slicing
- machine intelligence
- real valued
- mathematical morphology
- test set