Cover Image

Magnushammer: A Transformer-Based Approach to Premise Selection

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Mikuła, Maciej, Tworkowski, Szymon, Antoniak, Szymon, Piotrowski, Bartosz, Jiang, Albert Qiaochu, Zhou, Jin Peng, Szegedy, Christian, Kuciński, Łukasz, Miłoś, Piotr, Wu, Yuhuai
Format:	Preprint
Published:	2023
Subjects:	Machine Learning Artificial Intelligence Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Premise Selection for a Lean Hammer
by: Zhu, Thomas, et al.
Published: (2025)

Structured Packing in LLM Training Improves Long Context Utilization
by: Staniszewski, Konrad, et al.
Published: (2023)

Flipping and Forking
by: Przybyszewski, Wojciech, et al.
Published: (2025)

Star operation, microscopic sets and porous sets
by: Perkowska, Daria, et al.
Published: (2025)

Ideal Analytic sets
by: Mazurkiewicz, Łukasz, et al.
Published: (2023)

Flip-Breakability: A Combinatorial Dichotomy for Monadically Dependent Graph Classes
by: Dreier, Jan, et al.
Published: (2024)

On Star operation and some ideals on the Baire space
by: Cieślak, Aleksander, et al.
Published: (2026)

Towards Learning Infinite SMT Models (Work in Progress)
by: Janota, Mikoláš, et al.
Published: (2025)

Some model theory of the Heisenberg group
by: Frącek, Maciej, et al.
Published: (2025)

Merge-width and First-Order Model Checking
by: Dreier, Jan, et al.
Published: (2025)

Homeomorphisms between compact subsets of real numbers
by: Kusiński, Sławomir, et al.
Published: (2026)

Flip-width: Cops and Robber on dense graphs
by: Toruńczyk, Szymon
Published: (2023)

Elementary first-order model checking for sparse graphs
by: Gajarský, Jakub, et al.
Published: (2024)

CSLibPremiseBench: Structure-Guided Premise Retrieval and Label Robustness for Lean 4 Computer-Science Theorems
by: Ji, Junye
Published: (2026)

Separability Properties of Monadically Dependent Graph Classes
by: Bonnet, Édouard, et al.
Published: (2025)

Combining Textual and Structural Information for Premise Selection in Lean
by: Petrovčič, Job, et al.
Published: (2025)

First-order transducibility among classes of sparse graphs
by: Gajarský, Jakub, et al.
Published: (2025)

Definable sets in Skolem arithmetic
by: Kamiński, Łukasz
Published: (2025)

Automorphism groups of measures on the Cantor space. Part I: Good measures and Rokhlin properties
by: Doucha, Michal, et al.
Published: (2025)

Quasi-stratified Order Semantics of Concurrency
by: Koutny, Maciej, et al.
Published: (2024)

Around Eggleston Theorem
by: Michalski, Marcin, et al.
Published: (2023)

Flipper games for monadically stable graph classes
by: Gajarský, Jakub, et al.
Published: (2023)

A logic of co-valuations
by: Malicki, Maciej
Published: (2025)

Isomorphism of locally compact Polish metric structures
by: Malicki, Maciej
Published: (2022)

Decidability of Quasi-Dense Modal Logics
by: Ostropolski-Nalewaja, Piotr, et al.
Published: (2024)

On algebraic sums, trees and ideals in the Cantor space
by: Michalski, Marcin, et al.
Published: (2024)

About the Expressive Power and Complexity of Order-Invariance with Two Variables
by: Bednarczyk, Bartosz, et al.
Published: (2023)

Guarded Fragments Meet Dynamic Logic: The Story of Regular Guards (Extended Version)
by: Bednarczyk, Bartosz, et al.
Published: (2025)

Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features
by: Bednarczyk, Bartosz
Published: (2023)

Analysing The Impact of Sequence Composition on Language Model Pre-Training
by: Zhao, Yu, et al.
Published: (2024)

MoE-Mamba: Efficient Selective State Space Models with Mixture of Experts
by: Pióro, Maciej, et al.
Published: (2024)

Comparative Expressivity for Structured Argumentation Frameworks with Uncertain Rules and Premises
by: Proietti, Carlo, et al.
Published: (2025)

Catalytic Role Of Noise And Necessity Of Inductive Biases In The Emergence Of Compositional Communication
by: Kuciński, Łukasz, et al.
Published: (2021)

Definiteness properties of first-order schemes
by: Gruza, Piotr, et al.
Published: (2025)

On two consequences of CH established by Sierpinski. II
by: Pol, Roman, et al.
Published: (2024)

tsGT: Stochastic Time Series Modeling With Transformer
by: Kuciński, Łukasz, et al.
Published: (2024)

Subgoal Search For Complex Reasoning Tasks
by: Czechowski, Konrad, et al.
Published: (2021)

Data Complexity in Expressive Description Logics With Path Expressions
by: Bednarczyk, Bartosz
Published: (2024)

Feasibly Constructive Proof of Schwartz-Zippel Lemma and the Complexity of Finding Hitting Sets
by: Atserias, Albert, et al.
Published: (2024)

Fast and Precise: Adjusting Planning Horizon with Adaptive Subgoal Search
by: Zawalski, Michał, et al.
Published: (2022)