Login / Signup
arXiVeri: Automatic table verification with GPT.
Gyungin Shin
Weidi Xie
Samuel Albanie
Published in:
CoRR (2023)
Keyphrases
</>
data driven
database
semi automatic
digital libraries
model checking
labor intensive
artificial intelligence
three dimensional
wide range
artificial neural networks
fully automatic
formal analysis
signature verification
formal verification