Alive2: bounded translation validation for LLVM.

Nuno P. Lopes Juneyoung Lee Chung-Kil Hur Zhengyang Liu John Regehr

Published in: PLDI (2021)

Keyphrases

machine translation
information retrieval
query translation
cross language information retrieval
neural network
decision trees
multiscale
continuous functions