Copertina

A Compositional Atlas for Algebraic Circuits

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Wang, Benjie, Mauá, Denis Deratani, Broeck, Guy Van den, Choi, YooJung
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Artificial Intelligence Machine Learning Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

On the Relationship Between Monotone and Squared Probabilistic Circuits
di: Wang, Benjie, et al.
Pubblicazione: (2024)

Probabilistic Circuits for Knowledge Graph Completion with Reduced Rule Sets
di: Patil, Jaikrishna Manojkumar, et al.
Pubblicazione: (2025)

PREMAP: A Unifying PREiMage APproximation Framework for Neural Networks
di: Zhang, Xiyue, et al.
Pubblicazione: (2024)

Restructuring Tractable Probabilistic Circuits
di: Zhang, Honghua, et al.
Pubblicazione: (2024)

Optimal Transport for Probabilistic Circuits
di: Ciotinga, Adrian, et al.
Pubblicazione: (2024)

Probabilistic Circuits for Cumulative Distribution Functions
di: Broadrick, Oliver, et al.
Pubblicazione: (2024)

How to Marginalize in Causal Structure Learning?
di: Zhao, William, et al.
Pubblicazione: (2025)

Halting Recurrent GNNs and the Graded $μ$-Calculus
di: Bollen, Jeroen, et al.
Pubblicazione: (2025)

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

Circuit Representations of Random Forests with Applications to XAI
di: Ji, Chunxi, et al.
Pubblicazione: (2026)

From Circuit Evidence to Mechanistic Theory: An Inductive Logic Approach
di: Aljaafari, Nura, et al.
Pubblicazione: (2026)

Shield Synthesis for LTL Modulo Theories
di: Rodriguez, Andoni, et al.
Pubblicazione: (2024)

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

Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations
di: Bassan, Shahaf, et al.
Pubblicazione: (2025)

Marabou 2.0: A Versatile Formal Analyzer of Neural Networks
di: Wu, Haoze, et al.
Pubblicazione: (2024)

Compositional Shielding and Reinforcement Learning for Multi-Agent Systems
di: Brorholt, Asger Horn, et al.
Pubblicazione: (2024)

Controlling Logical Collapse in LLMs via Algebraic Ontology Projection over F2
di: Miyashita, Hisashi, et al.
Pubblicazione: (2026)

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

Towards Compositional Interpretability for XAI
di: Tull, Sean, et al.
Pubblicazione: (2024)

Provable Preimage Under-Approximation for Neural Networks (Full Version)
di: Zhang, Xiyue, et al.
Pubblicazione: (2023)

Meta Operator for Complex Query Answering on Knowledge Graphs
di: Yin, Hang, et al.
Pubblicazione: (2024)

Solving Formal Math Problems by Decomposition and Iterative Reflection
di: Zhou, Yichi, et al.
Pubblicazione: (2025)

Scaling Up Probabilistic Circuits by Latent Variable Distillation
di: Liu, Anji, et al.
Pubblicazione: (2022)

ScenicProver: A Framework for Compositional Probabilistic Verification of Learning-Enabled Systems
di: Vin, Eric, et al.
Pubblicazione: (2025)

Formal Mathematical Reasoning: A New Frontier in AI
di: Yang, Kaiyu, et al.
Pubblicazione: (2024)

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

MARS: A neurosymbolic approach for interpretable drug discovery
di: DeLong, Lauren Nicole, et al.
Pubblicazione: (2024)

Neurosymbolic AI for Reasoning over Knowledge Graphs: A Survey
di: DeLong, Lauren Nicole, et al.
Pubblicazione: (2023)

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

A Novel Approach To Implementing Knowledge Distillation In Tsetlin Machines
di: Kinateder, Calvin
Pubblicazione: (2025)

$Π$-NeSy: A Possibilistic Neuro-Symbolic Approach
di: Baaj, Ismaïl, et al.
Pubblicazione: (2025)

PiShield: A PyTorch Package for Learning with Requirements
di: Stoian, Mihaela Cătălina, et al.
Pubblicazione: (2024)

A Reinforcement Learning based Reset Policy for CDCL SAT Solvers
di: Li, Chunxiao, et al.
Pubblicazione: (2024)

A Logic for Reasoning About Aggregate-Combine Graph Neural Networks
di: Nunn, Pierre, et al.
Pubblicazione: (2024)

SDSC:A Structure-Aware Metric for Semantic Signal Representation Learning
di: Lee, Jeyoung, et al.
Pubblicazione: (2025)

A Foundational Theory of Quantitative Abstraction: Adjunctions, Duality, and Logic for Probabilistic Systems
di: Anwer, Nivar, et al.
Pubblicazione: (2025)

SATQuest: A Verifier for Logical Reasoning Evaluation and Reinforcement Fine-Tuning of LLMs
di: Zhao, Yanxiao, et al.
Pubblicazione: (2025)

Symbolic Knowledge Extraction and Injection with Sub-symbolic Predictors: A Systematic Literature Review
di: Ciatto, Giovanni, et al.
Pubblicazione: (2025)

Neural DNF-MT: A Neuro-symbolic Approach for Learning Interpretable and Editable Policies
di: Baugh, Kexin Gu, et al.
Pubblicazione: (2025)

Formal Mechanistic Interpretability: Automated Circuit Discovery with Provable Guarantees
di: Hadad, Itamar, et al.
Pubblicazione: (2026)