Buchumschlag

A Neurosymbolic Framework for Geometric Reduction of Binary Forms

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Kotsireas, Ilias, Shaska, Tony
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Artificial Intelligence Machine Learning I.2.3
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Galois groups of polynomials and neurosymbolic networks
von: Shaska, Elira, et al.
Veröffentlicht: (2025)

Neuro-Symbolic Learning for Galois Groups: Unveiling Probabilistic Trends in Polynomials
von: Shaska, Elira, et al.
Veröffentlicht: (2025)

Graded Neural Networks
von: Shaska, Tony
Veröffentlicht: (2025)

Fill in the Blank: Exploring and Enhancing LLM Capabilities for Backward Reasoning in Math Word Problems
von: Deb, Aniruddha, et al.
Veröffentlicht: (2023)

DISCO: DISCovering Overfittings as Causal Rules for Text Classification Models
von: Zhang, Zijian, et al.
Veröffentlicht: (2024)

Foundation Models for Structural Health Monitoring
von: Benfenati, Luca, et al.
Veröffentlicht: (2024)

Development of Hybrid Artificial Intelligence Training on Real and Synthetic Data: Benchmark on Two Mixed Training Strategies
von: Wachter, Paul, et al.
Veröffentlicht: (2025)

Internalizing Tools as Morphisms in Graded Transformers
von: Shaska, Tony
Veröffentlicht: (2025)

Grokking in the Wild: Data Augmentation for Real-World Multi-Hop Reasoning with Transformers
von: Abramov, Roman, et al.
Veröffentlicht: (2025)

DeepCodeProbe: Towards Understanding What Models Trained on Code Learn
von: Majdinasab, Vahid, et al.
Veröffentlicht: (2024)

On the Equivalence between Logic Programming and SETAF
von: Alcântara, João, et al.
Veröffentlicht: (2024)

Earthfarseer: Versatile Spatio-Temporal Dynamical Systems Modeling in One Model
von: Wu, Hao, et al.
Veröffentlicht: (2023)

The Cardinality of Identifying Code Sets for Soccer Ball Graph with Application to Remote Sensing
von: Latour, Anna L. D., et al.
Veröffentlicht: (2024)

Can Large Language Models Learn Independent Causal Mechanisms?
von: Gendron, Gaël, et al.
Veröffentlicht: (2024)

When is the Computation of a Feature Attribution Method Tractable?
von: Barceló, P., et al.
Veröffentlicht: (2025)

Style2Code: A Style-Controllable Code Generation Framework with Dual-Modal Contrastive Representation Learning
von: Zhang, Dutao, et al.
Veröffentlicht: (2025)

Attacking interpretable NLP systems
von: Abdukhamidov, Eldor, et al.
Veröffentlicht: (2025)

Making Logic a First-Class Citizen in Generative ML for Networking
von: Hè, Hongyu, et al.
Veröffentlicht: (2025)

1GC-7RC: One Graphic Card -- Seven Research Challenges! How Good Are AI Agents at Doing Your Job?
von: Kampa, Robin-Nico, et al.
Veröffentlicht: (2026)

Causal Cartographer: From Mapping to Reasoning Over Counterfactual Worlds
von: Gendron, Gaël, et al.
Veröffentlicht: (2025)

LLM-Assisted Formalization Enables Deterministic Detection of Statutory Inconsistency in the Internal Revenue Code
von: Yadamsuren, Borchuluun, et al.
Veröffentlicht: (2025)

An Automated SQL Query Grading System Using An Attention-Based Convolutional Neural Network
von: Schwartz, Donald R., et al.
Veröffentlicht: (2024)

Pantograph: A Machine-to-Machine Interaction Interface for Advanced Theorem Proving, High Level Reasoning, and Data Extraction in Lean 4
von: Aniva, Leni, et al.
Veröffentlicht: (2024)

Artificial Neural Networks on Graded Vector Spaces
von: Shaska, Tony
Veröffentlicht: (2024)

A Reduction of Input/Output Logics to SAT
von: Steen, Alexander
Veröffentlicht: (2025)

Graph2Tac: Online Representation Learning of Formal Math Concepts
von: Blaauwbroek, Lasse, et al.
Veröffentlicht: (2024)

A Framework for Neurosymbolic Robot Action Planning using Large Language Models
von: Capitanelli, Alessio, et al.
Veröffentlicht: (2023)

When Your Own Output Becomes Your Training Data: Noise-to-Meaning Loops and a Formal RSI Trigger
von: Ando, Rintaro
Veröffentlicht: (2025)

COBRA-PPM: A Causal Bayesian Reasoning Architecture Using Probabilistic Programming for Robot Manipulation Under Uncertainty
von: Cannizzaro, Ricardo, et al.
Veröffentlicht: (2024)

NL2LOGIC: AST-Guided Translation of Natural Language into First-Order Logic with Large Language Models
von: Putra, Rizky Ramadhana, et al.
Veröffentlicht: (2026)

Quantum Abduction: A New Paradigm for Reasoning under Uncertainty
von: Pareschi, Remo
Veröffentlicht: (2025)

TabID: Automatic Identification and Tabulation of Subproblems in Constraint Models
von: Akgün, Özgür, et al.
Veröffentlicht: (2022)

Evaluating the Architectural Reasoning Capabilities of LLM Provers via the Obfuscated Natural Number Game
von: Li, Lixing
Veröffentlicht: (2026)

Tensor Logic: The Language of AI
von: Domingos, Pedro
Veröffentlicht: (2025)

LeanExplore: A search engine for Lean 4 declarations
von: Asher, Justin
Veröffentlicht: (2025)

Sound Logical Explanations for Mean Aggregation Graph Neural Networks
von: Morris, Matthew, et al.
Veröffentlicht: (2025)

Logical Expressivity and Explanations for Monotonic GNNs with Scoring Functions
von: Morris, Matthew, et al.
Veröffentlicht: (2025)

Relational Graph Convolutional Networks Do Not Learn Sound Rules
von: Morris, Matthew, et al.
Veröffentlicht: (2024)

From Packets to Patterns: Interpreting Encrypted Network Traffic as Longitudinal Behavioral Signals
von: Mahmood, Rameen, et al.
Veröffentlicht: (2026)

By Their Fruits You Will Know Them: Comparing Formalizations of Law by the Decisions They Encode
von: Vernie, Julius, et al.
Veröffentlicht: (2026)