A HAT Trick: Automatically Verifying Representation Invariants Using Symbolic Finite Automata.
Zhe ZhouQianchuan YeBenjamin DelawareSuresh JagannathanPublished in: CoRR (2024)
Keyphrases
- finite automata
- symbolic representation
- symbolic description
- deterministic automata
- probabilistic automata
- regular expressions
- grammatical inference
- invariant representation
- artificial intelligence
- domain specific
- tree automata
- computational model
- structured data
- hidden markov models
- conceptual spaces
- relational databases
- data analysis