A parameter-neutral fuzzy-logic FFN augmented with self-forgetting quantifiers produces legible grammatical-licensing detectors while matching baseline perplexity on OpenWebText.
Gray, Francois P
12 Pith papers cite this work. Polarity classification is still indexing.
12
Pith papers citing it
citation-role summary
method 1
citation-polarity summary
roles
method 1polarities
use method 1representative citing papers
FOT-LTN extends Logic Tensor Networks by integrating first-order linear temporal logic syntax with fuzzy differentiable semantics, supporting temporal operators and quantifiers, and shows improved performance over neural baselines on synthetic temporal knowledge graph completion tasks.
Outcome-fair credit models often exhibit hidden procedural bias through inconsistent reasoning across groups, which the CEC framework mitigates by enforcing consistent feature attributions via counterfactuals.
AttackPathGNN introduces a State Interference Graph and conjunction pooling inside a GNN to detect cross-function vulnerabilities in Solidity contracts, reporting 92.3% F1 on SmartBugs Wild.
A conditional invariance framework defines explanation fairness as explanations being statistically independent of protected attributes given task-relevant features, unifying existing metrics and enabling procedural bias audits.
Temporal reasoning is not the core bottleneck for LLMs on time-based QA; the real issue is unstructured text-to-event mapping, addressed by a neuro-symbolic system with PIS that reaches 100% accuracy on benchmarks when representations are correct.
A symbolic protocol operationalizes Peirce's tripartite reasoning for LLMs using five algebraic invariants including a Weakest Link bound to enforce logical consistency and prevent weak premises from supporting strong conclusions.
LoH adds a learnable choice operator to propositional logic, compiles formulas to differentiable graphs via fuzzy logic, subsumes prior NeSy models, and supports discretization to Boolean functions via the Gödel trick.
AML outperforms cross-validated baselines including CNNs on 50-2000 example image datasets and is comparable to XGBoost/LightGBM on tabular data using only training data and no task-dependent hyperparameters.
Overmind is a neuro-symbolic architecture that uses adjustable Padé approximations and memory bypass to deliver 8.1 TOPS/W efficiency and 410 GOPS throughput on mixed workloads with minimal accuracy loss.
A system using auto-relational reasoning solves IQ test problems at 98.03% rate without any prior knowledge, reaching top 1% human performance.
citing papers explorer
-
Explicit Fuzzy Logic in the Feed-Forward Layer: Self-Forgetting Quantifiers Discover Legible Grammatical-Licensing Detectors
A parameter-neutral fuzzy-logic FFN augmented with self-forgetting quantifiers produces legible grammatical-licensing detectors while matching baseline perplexity on OpenWebText.
-
First-Order Temporal Logic Tensor Networks
FOT-LTN extends Logic Tensor Networks by integrating first-order linear temporal logic syntax with fuzzy differentiable semantics, supporting temporal operators and quantifiers, and shows improved performance over neural baselines on synthetic temporal knowledge graph completion tasks.
-
Do Fair Models Reason Fairly? Counterfactual Explanation Consistency for Procedural Fairness in Credit Decisions
Outcome-fair credit models often exhibit hidden procedural bias through inconsistent reasoning across groups, which the CEC framework mitigates by enforcing consistent feature attributions via counterfactuals.
-
AttackPathGNN: Cross-function vulnerability detection in smart contracts using state interference graphs and conjunction pooling
AttackPathGNN introduces a State Interference Graph and conjunction pooling inside a GNN to detect cross-function vulnerabilities in Solidity contracts, reporting 92.3% F1 on SmartBugs Wild.
-
Fairness of Explanations in Artificial Intelligence (AI): A Unifying Framework, Axioms, and Future Direction toward Responsible AI
A conditional invariance framework defines explanation fairness as explanations being statistically independent of protected attributes given task-relevant features, unifying existing metrics and enabling procedural bias audits.
-
Temporal Reasoning Is Not the Bottleneck: A Probabilistic Inconsistency Framework for Neuro-Symbolic QA
Temporal reasoning is not the core bottleneck for LLMs on time-based QA; the real issue is unstructured text-to-event mapping, addressed by a neuro-symbolic system with PIS that reaches 100% accuracy on benchmarks when representations are correct.
-
Structured Abductive-Deductive-Inductive Reasoning for LLMs via Algebraic Invariants
A symbolic protocol operationalizes Peirce's tripartite reasoning for LLMs using five algebraic invariants including a Weakest Link bound to enforce logical consistency and prevent weak premises from supporting strong conclusions.
-
Logic of Hypotheses: from Zero to Full Knowledge in Neurosymbolic Integration
LoH adds a learnable choice operator to propositional logic, compiles formulas to differentiable graphs via fuzzy logic, subsumes prior NeSy models, and supports discretization to Boolean functions via the Gödel trick.
-
Algebraic Machine Learning for Small-to-Medium Datasets Is Competitive against Strong Standard Baselines
AML outperforms cross-validated baselines including CNNs on 50-2000 example image datasets and is comparable to XGBoost/LightGBM on tabular data using only training data and no task-dependent hyperparameters.
-
Overmind NSA: A Unified Neuro-Symbolic Computing Architecture with Approximate Nonlinear Activations and Preemptive Memory Bypass
Overmind is a neuro-symbolic architecture that uses adjustable Padé approximations and memory bypass to deliver 8.1 TOPS/W efficiency and 410 GOPS throughput on mixed workloads with minimal accuracy loss.
-
Auto-Relational Reasoning
A system using auto-relational reasoning solves IQ test problems at 98.03% rate without any prior knowledge, reaching top 1% human performance.
- THEIA: Learning Complete Kleene Three-Valued Logic in a Pure-Neural Modular Architecture