An Extensible Framework for Verification of Numerical Claims.

James Thorne Andreas Vlachos

Published in: EACL (Software Demonstrations) (2017)

Keyphrases

model checking
finite difference
data sets
real time
machine learning
genetic algorithm
computer vision
objective function
optimal solution
partial differential equations
numerical data