General Purpose Verification for Chain of Thought Prompting.
Robert VacareanuAnurag PratikEvangelia SpiliopoulouZheng QiGiovanni PaoliniNeha Anna JohnJie MaYassine BenajibaMiguel BallesterosPublished in: CoRR (2024)
Keyphrases
- general purpose
- special purpose
- domain specific
- face verification
- application specific
- programming language
- tightly coupled
- formal analysis
- three dimensional
- evolutionary algorithm
- data sets
- model checking
- neural network
- database
- bayesian networks
- genetic algorithm
- signature verification
- asynchronous circuits
- multimodal biometrics
- concurrent systems
- dead end