Cover Image

Lattice Deduction Transformers

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Davis, Liam, Haller, Leopold, Alfarano, Alberto, Santolucito, Mark
Format:	Preprint
Published:	2026
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

Procedural Adherence and Interpretability Through Neuro-Symbolic Generative Agents
by: Rothkopf, Raven, et al.
Published: (2024)

Structured Abductive-Deductive-Inductive Reasoning for LLMs via Algebraic Invariants
by: Gilda, Sankalp, et al.
Published: (2026)

Research Vision: Multi-Agent Path Planning for Cops And Robbers Via Reactive Synthesis
by: Fishell, William, et al.
Published: (2025)

JustLogic: A Comprehensive Benchmark for Evaluating Deductive Reasoning in Large Language Models
by: Chen, Michael K., et al.
Published: (2025)

Multi-Step Deductive Reasoning Over Natural Language: An Empirical Study on Out-of-Distribution Generalisation
by: Bao, Qiming, et al.
Published: (2022)

Regional, Lattice and Logical Representations of Neural Networks
by: Preto, Sandro, et al.
Published: (2025)

SATformer: Transformer-Based UNSAT Core Learning
by: Shi, Zhengyuan, et al.
Published: (2022)

Can Transformers Learn to Verify During Backtracking Search?
by: Phua, Yin Jun, et al.
Published: (2026)

Magnushammer: A Transformer-Based Approach to Premise Selection
by: Mikuła, Maciej, et al.
Published: (2023)

Can Transformers Reason Logically? A Study in SAT Solving
by: Pan, Leyan, et al.
Published: (2024)

Conditional Logical Message Passing Transformer for Complex Query Answering
by: Zhang, Chongzhi, et al.
Published: (2024)

Evaluating SAT and SMT Solvers on Large-Scale Sudoku Puzzles
by: Davis, Liam, et al.
Published: (2025)

Learning Logic Specifications for Policy Guidance in POMDPs: an Inductive Logic Programming Approach
by: Meli, Daniele, et al.
Published: (2024)

Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces
by: Chevallier, Mark, et al.
Published: (2025)

Deductive Systems for Logic Programs with Counting
by: Fandinno, Jorge, et al.
Published: (2025)

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning
by: Mukherji, Kaustuv, et al.
Published: (2025)

Guiding LLM Temporal Logic Generation with Explicit Separation of Data and Control
by: Murphy, William, et al.
Published: (2024)

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

Transformers Can Learn Connectivity in Some Graphs but Not Others
by: Roy, Amit, et al.
Published: (2025)

Transformer Encoder Satisfiability: Complexity and Impact on Formal Reasoning
by: Sälzer, Marco, et al.
Published: (2024)

Self-Supervised Transformers as Iterative Solution Improvers for Constraint Satisfaction
by: Xu, Yudong W., et al.
Published: (2025)

Checking Trustworthiness of Probabilistic Computations in a Typed Natural Deduction System
by: D'Asaro, Fabio Aurelio, et al.
Published: (2022)

Incremental Neural Network Verification via Learned Conflicts
by: Elsaleh, Raya, et al.
Published: (2026)

Satisfying Rationality Postulates of Structured Argumentation Through Deductive Support -- Technical Report
by: Cramer, Marcos, et al.
Published: (2026)

Neuro-Symbolic Strong-AI Robots with Closed Knowledge Assumption: Learning and Deductions
by: Majkic, Zoran
Published: (2026)

Mining Beyond the Bools: Learning Data Transformations and Temporal Specifications
by: Kouteili, Sam Nicholas, et al.
Published: (2026)

Efficient Shield Synthesis via State-Space Transformation
by: Brorholt, Asger Horn, et al.
Published: (2024)

MathConstraint: Automated Generation of Verified Combinatorial Reasoning Instances for LLMs
by: Pati, Viresh, et al.
Published: (2026)

Hypergraph Neural Networks Accelerate MUS Enumeration
by: Ijima, Hiroya, et al.
Published: (2026)

Approximating Pareto Frontiers in Stochastic Multi-Objective Optimization via Hashing and Randomization
by: Li, Jinzhao, et al.
Published: (2026)

Transfer Learning from Foundational Optimization Embeddings to Unsupervised SAT Representations
by: Pal, Koyena, et al.
Published: (2026)

MathlibPR: Pull Request Merge-Readiness Benchmark for Formal Mathematical Libraries
by: Xie, Zixuan, et al.
Published: (2026)

ANDRE: An Attention-based Neuro-symbolic Differentiable Rule Extractor for Inductive Logic Programming
by: Sharifi, Iman, et al.
Published: (2026)

MathlibLemma: Folklore Lemma Generation and Benchmark for Formal Mathematics
by: Liu, Xinyu, et al.
Published: (2026)

What are the Right Symmetries for Formal Theorem Proving?
by: Olejniczak, Krzysztof, et al.
Published: (2026)

Verified SHAP: Provable Bounds for Exact Shapley Values of Neural Networks
by: Boetius, David, et al.
Published: (2026)

Learning to Solve and Optimize by Evolving Code
by: Semmelrock, Veronika, et al.
Published: (2026)

Towards Understanding the Expressive Power of GNNs with Global Readout
by: Funk, Maurice, et al.
Published: (2026)

SFT-GRPO Data Overlap as a Post-Training Hyperparameter for Autoformalization
by: Su, Xiaole, et al.
Published: (2026)

Polynomial Surrogate Training for Differentiable Ternary Logic Gate Networks
by: Damera, Sai Sandeep, et al.
Published: (2026)