Login / Signup
Magnushammer: A Transformer-Based Approach to Premise Selection.
Maciej Mikula
Szymon Tworkowski
Szymon Antoniak
Bartosz Piotrowski
Albert Q. Jiang
Jin Peng Zhou
Christian Szegedy
Lukasz Kucinski
Piotr Milos
Yuhuai Wu
Published in:
ICLR (2024)
Keyphrases
</>
fuzzy logic
information systems
cooperative
selection criteria
data sets
databases
real world
learning algorithm
artificial intelligence
image processing
search algorithm
control system
selection algorithm
selection strategy