Imagen de Portada

Names Don't Matter: Symbol-Invariant Transformer for Open-Vocabulary Learning

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Işık, İlker, Li, Wenchao
Formato:	Preprint
Publicado:	2026
Materias:	Machine Learning Logic in Computer Science Symbolic Computation
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

SMLP: Symbolic Machine Learning Prover
por: Brauße, Franz, et al.
Publicado: (2024)

Exhaustive Symbolic Integration: Integration by Differentiation and the Landscape of Symbolic Integrability
por: Desmond, Harry
Publicado: (2026)

SMLP: Symbolic Machine Learning Prover (User Manual)
por: Brauße, Franz, et al.
Publicado: (2024)

Chronosymbolic Learning: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning
por: Luo, Ziyan, et al.
Publicado: (2023)

AGEL-Comp: A Neuro-Symbolic Framework for Compositional Generalization in Interactive Agents
por: Shahid, Mahnoor, et al.
Publicado: (2026)

Analogical proportions
por: Antić, Christian
Publicado: (2020)

Logic Sketch Prompting (LSP): A Deterministic and Interpretable Prompting Method
por: Tripathi, Satvik
Publicado: (2025)

Solving Hard Mizar Problems with Instantiation and Strategy Invention
por: Jakubův, Jan, et al.
Publicado: (2024)

VeriFlow: Modeling Distributions for Neural Network Verification
por: Zaid, Faried Abu, et al.
Publicado: (2024)

Sea-cret Agents: Maritime Abduction for Region Generation to Expose Dark Vessel Trajectories
por: Bavikadi, Divyagna, et al.
Publicado: (2025)

Integrating Fuzzy Logic into Deep Symbolic Regression
por: Gerdes, Wout, et al.
Publicado: (2024)

Formal Verification of Parameterized Systems based on Induction
por: Xiu, Jiaqi, et al.
Publicado: (2025)

A Local Search Algorithm for MaxSMT(LIA)
por: He, Xiang, et al.
Publicado: (2024)

Learning Conjecturing from Scratch
por: Gauthier, Thibault, et al.
Publicado: (2025)

Learning Guided Automated Reasoning: A Brief Survey
por: Blaauwbroek, Lasse, et al.
Publicado: (2024)

Interchangeable Token Embeddings for Extendable Vocabulary and Alpha-Equivalence
por: Işık, İlker, et al.
Publicado: (2024)

Symbolic Sets for Proving Bounds on Rado Numbers
por: Ahmed, Tanbir, et al.
Publicado: (2025)

Pseudo-Complex Quantifier Elimination
por: Faroß, Nicolas, et al.
Publicado: (2026)

Solving unification in the description logic $\mathcal{FL}_\bot$
por: Morawska, Barbara, et al.
Publicado: (2024)

One-Parametric Presburger Arithmetic has Quantifier Elimination
por: Mansutti, Alessio, et al.
Publicado: (2025)

Proceedings of the 19th International Workshop on Logical and Semantic Frameworks, with Applications
por: Kop, Cynthia, et al.
Publicado: (2025)

Rings with common division, common meadows and their conditional equational theories
por: Bergstra, Jan A, et al.
Publicado: (2024)

Improving NLSAT for Nonlinear Real Arithmetic
por: Wang, Zhonghan
Publicado: (2024)

Saturating Sorting without Sorts
por: Georgiou, Pamina, et al.
Publicado: (2024)

OSVAuto: automatic proofs about functional specifications in OS verification
por: Wu, Yulun, et al.
Publicado: (2024)

Nominal Equational Rewriting and Narrowing
por: Ayala-Rincón, Mauricio, et al.
Publicado: (2025)

On Automating Proofs of Multiplier Adder Trees using the RTL Books
por: Manjrekar, Mayank
Publicado: (2025)

Structuring Definitions in Mathematical Libraries
por: Gusakov, Alena, et al.
Publicado: (2025)

Extracting Linear Relations from Gröbner Bases for Formal Verification of And-Inverter Graphs
por: Kaufmann, Daniela, et al.
Publicado: (2024)

SCL(FOL) Revisited
por: Bromberger, Martin, et al.
Publicado: (2023)

A Hybrid SMT-NRA Solver: Integrating 2D Cell-Jump-Based Local Search, MCSAT and OpenCAD
por: Ding, Tianyi, et al.
Publicado: (2025)

Towards Automatic Transformations of Coq Proof Scripts
por: Magaud, Nicolas
Publicado: (2024)

Differential Elimination and Algebraic Invariants of Polynomial Dynamical Systems
por: Simmons, William, et al.
Publicado: (2023)

Learning to Estimate System Specifications in Linear Temporal Logic using Transformers and Mamba
por: Işık, İlker, et al.
Publicado: (2024)

Scaling Neuro-symbolic Problem Solving: Solver-Free Learning of Constraints and Objectives
por: Defresne, Marianne, et al.
Publicado: (2025)

Transformers to Predict the Applicability of Symbolic Integration Routines
por: Barket, Rashid, et al.
Publicado: (2024)

Quantifier Elimination Meets Treewidth
por: Wu, Hao, et al.
Publicado: (2026)

On Ambiguity: The case of fraction, its meanings and roles
por: Bergstra, Jan A, et al.
Publicado: (2026)

Identity Testing for Radical Expressions
por: Balaji, Nikhil, et al.
Publicado: (2022)

The Scaling Properties of Implicit Deductive Reasoning in Transformers
por: Vompa, Enrico, et al.
Publicado: (2026)