Specification and Automatic Verification of Computational Reductions.

Julien Grange Fabian Vehlken Nils Vortmeier Thomas Zeume

Published in: CoRR (2024)

Keyphrases

specification language
data structure
user interface
data sets
neural network
machine learning
information retrieval
feature selection
decision making
e learning
reinforcement learning
wide range
computationally tractable