Datapath Verification via Word-Level E-Graph Rewriting.

Samuel Coward Emiliano Morini Bryan Tan Theo Drane George A. Constantinides

Published in: CoRR (2023)

Keyphrases

word level
language independent
document images
character recognition
machine translation
document analysis
sentence level
n gram
word segmentation
word recognition
information retrieval systems
semantic roles