Fast and precise certification of transformers.

Gregory Bonaert Dimitar I. Dimitrov Maximilian Baader Martin T. Vechev

Published in: PLDI (2021)

Keyphrases

third party
neural network
data sets
genetic algorithm
search engine
information systems
decision trees
learning environment
learning process
database administration
partial discharge