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