Relational DNN Verification With Cross Executional Bound Refinement.
Debangshu BanerjeeGagandeep SinghPublished in: CoRR (2024)
Keyphrases
- upper bound
- model checking
- lower bound
- relational databases
- relational data
- worst case
- verification method
- data model
- relational model
- data sets
- training process
- relational learning
- database schema
- formal analysis
- signature verification
- formal verification
- relational queries
- database language
- refinement process
- search engine