3DGen: AI-Assisted Generation of Provably Correct Binary Format Parsers.
Sarah FakhouryMarkus KuppeShuvendu K. LahiriTahina RamananandroNikhil SwamyPublished in: CoRR (2024)
Keyphrases
- provably correct
- artificial intelligence
- formal methods
- situation calculus
- expert systems
- machine learning
- error estimates
- databases
- knowledge based systems
- intelligent systems
- knowledge representation
- non binary
- metadata
- computational intelligence
- natural language processing
- case study
- multimedia
- open source
- relational databases
- hamming distance
- context free grammars
- ai systems
- ai methods