Centaur Info 3/25/26 Centaur Info 3/25/26 Inferring the Invisible: Neuro-Symbolic Rule Discovery for Missing Value Imputation Read More Centaur Info 3/25/26 Centaur Info 3/25/26 DOLPHIN: A Programmable Framework for Scalable Neurosymbolic Learning Read More Centaur Info 3/25/26 Centaur Info 3/25/26 Learning to Search from Demonstration Sequences Read More Centaur Info 3/25/26 Centaur Info 3/25/26 Logically Consistent Language Models via Neuro‑Symbolic Integration Read More Centaur Info 3/25/26 Centaur Info 3/25/26 Linearithmic Clean-up for Vector-Symbolic Key-Value Memory with Kroneker Rotation Products Read More Centaur Info 3/25/26 Centaur Info 3/25/26 Neuro-Argumentative Learning with Case-Based Reasoning Read More Centaur Info 3/25/26 Centaur Info 3/25/26 Learning Symbolic Persistent Macro-Actions for POMDP Solving Over Time Read More Centaur Info 3/25/26 Centaur Info 3/25/26 MC3G: Model Agnostic Causally Constrained Counterfactual Generation Read More Centaur Info 3/25/26 Centaur Info 3/25/26 From Semantics to Symbols: A Two-Stage Framework for Deconstructing LLM Reasoning into Concepts and Rules Read More Centaur Info 3/25/26 Centaur Info 3/25/26 Interpretable Imitation Learning via Generative Adversarial STL Inference and Control Read More Centaur Info 3/25/26 Centaur Info 3/25/26 Mining Causal Signal Temporal Logic Formulas for Efficient Reinforcement Learning with Temporally Extended Tasks Read More Centaur Info 3/25/26 Centaur Info 3/25/26 Taxonomic Networks: A Representation for Neuro-Symbolic Pairing Read More Centaur Info 3/25/26 Centaur Info 3/25/26 Neurosymbolic Finite and Pushdown Automata: Improved Multimodal Reasoning versus Vision Language Models (VLMs) Read More Centaur Info 3/25/26 Centaur Info 3/25/26 Specification-Guided Reinforcement Learning Read More Centaur Info 3/25/26 Centaur Info 3/25/26 Stochastic Neural Simulation Relations for Transferring Control under Uncertainty Read More Centaur Info 3/25/26 Centaur Info 3/25/26 Logic Tensor Network-Enhanced Generative Adversarial Network Read More Centaur Info 3/25/26 Centaur Info 3/25/26 BIRD: A Trustworthy Bayesian Inference Framework for Large Language Models Read More Centaur Info 3/25/26 Centaur Info 3/25/26 Verification Learning: Make Unsupervised Neuro-Symbolic System Feasible Read More Centaur Info 3/25/26 Centaur Info 3/25/26 Neuro-Symbolic Inverse Constrained Reinforcement Learning Read More Centaur Info 3/25/26 Centaur Info 3/25/26 Embeddings as Probabilistic Equivalence in Logic Programs Read More Older Posts
Centaur Info 3/25/26 Centaur Info 3/25/26 Inferring the Invisible: Neuro-Symbolic Rule Discovery for Missing Value Imputation Read More
Centaur Info 3/25/26 Centaur Info 3/25/26 DOLPHIN: A Programmable Framework for Scalable Neurosymbolic Learning Read More
Centaur Info 3/25/26 Centaur Info 3/25/26 Logically Consistent Language Models via Neuro‑Symbolic Integration Read More
Centaur Info 3/25/26 Centaur Info 3/25/26 Linearithmic Clean-up for Vector-Symbolic Key-Value Memory with Kroneker Rotation Products Read More
Centaur Info 3/25/26 Centaur Info 3/25/26 Neuro-Argumentative Learning with Case-Based Reasoning Read More
Centaur Info 3/25/26 Centaur Info 3/25/26 Learning Symbolic Persistent Macro-Actions for POMDP Solving Over Time Read More
Centaur Info 3/25/26 Centaur Info 3/25/26 MC3G: Model Agnostic Causally Constrained Counterfactual Generation Read More
Centaur Info 3/25/26 Centaur Info 3/25/26 From Semantics to Symbols: A Two-Stage Framework for Deconstructing LLM Reasoning into Concepts and Rules Read More
Centaur Info 3/25/26 Centaur Info 3/25/26 Interpretable Imitation Learning via Generative Adversarial STL Inference and Control Read More
Centaur Info 3/25/26 Centaur Info 3/25/26 Mining Causal Signal Temporal Logic Formulas for Efficient Reinforcement Learning with Temporally Extended Tasks Read More
Centaur Info 3/25/26 Centaur Info 3/25/26 Taxonomic Networks: A Representation for Neuro-Symbolic Pairing Read More
Centaur Info 3/25/26 Centaur Info 3/25/26 Neurosymbolic Finite and Pushdown Automata: Improved Multimodal Reasoning versus Vision Language Models (VLMs) Read More
Centaur Info 3/25/26 Centaur Info 3/25/26 Stochastic Neural Simulation Relations for Transferring Control under Uncertainty Read More
Centaur Info 3/25/26 Centaur Info 3/25/26 Logic Tensor Network-Enhanced Generative Adversarial Network Read More
Centaur Info 3/25/26 Centaur Info 3/25/26 BIRD: A Trustworthy Bayesian Inference Framework for Large Language Models Read More
Centaur Info 3/25/26 Centaur Info 3/25/26 Verification Learning: Make Unsupervised Neuro-Symbolic System Feasible Read More
Centaur Info 3/25/26 Centaur Info 3/25/26 Neuro-Symbolic Inverse Constrained Reinforcement Learning Read More
Centaur Info 3/25/26 Centaur Info 3/25/26 Embeddings as Probabilistic Equivalence in Logic Programs Read More
