8 citations · 8 across the 2 of their papers we have counts for
2 papers
cs.LG2023★ 8 cited
Magnushammer: A Transformer-Based Approach to Premise Selection
Maciej Mikuła, Szymon Tworkowski, Szymon Antoniak +7
This paper presents a novel approach to premise selection, a crucial reasoning task in automated theorem proving. Traditionally, symbolic methods that rely on extensive domain know…
cs.CR2022
Learned-Database Systems Security
Roei Schuster, Jin Peng Zhou, Thorsten Eisenhofer +2
A learned database system uses machine learning (ML) internally to improve performance. We can expect such systems to be vulnerable to some adversarial-ML attacks. Often, the learn…