SRLR: Symbolic Regression based Logic Recovery to Counter Programmable Logic Controller Attacks
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | Zhou, Hao, Sourav, Suman, Chen, Binbin, Yu, Ke |
|---|---|
| Format: | Preprint |
| Publié: |
2025
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
Documents similaires
Boolformer: Symbolic Regression of Logic Functions with Transformers
par: d'Ascoli, Stéphane, et autres
Publié: (2023)
par: d'Ascoli, Stéphane, et autres
Publié: (2023)
Learning Interpretable Differentiable Logic Networks for Tabular Regression
par: Yue, Chang, et autres
Publié: (2025)
par: Yue, Chang, et autres
Publié: (2025)
Guiding Neuro-Symbolic Scenario Generation with Spatio-Temporal Logic
par: Bonin, Lorenzo, et autres
Publié: (2026)
par: Bonin, Lorenzo, et autres
Publié: (2026)
Quantitative Linear Logic for Neuro-Symbolic Learning and Verification
par: Flinkow, Thomas, et autres
Publié: (2026)
par: Flinkow, Thomas, et autres
Publié: (2026)
Abductive Logical Rule Induction by Bridging Inductive Logic Programming and Multimodal Large Language Models
par: Peng, Yifei, et autres
Publié: (2025)
par: Peng, Yifei, et autres
Publié: (2025)
A Balanced Neuro-Symbolic Approach for Commonsense Abductive Logic
par: Cotnareanu, Joseph, et autres
Publié: (2026)
par: Cotnareanu, Joseph, et autres
Publié: (2026)
Scalable Neural Symbolic Regression using Control Variables
par: Chu, Xieting, et autres
Publié: (2023)
par: Chu, Xieting, et autres
Publié: (2023)
Beyond Neural Networks: Symbolic Reasoning over Wavelet Logic Graph Signals
par: Kiruluta, Andrew, et autres
Publié: (2025)
par: Kiruluta, Andrew, et autres
Publié: (2025)
SPINEX_ Symbolic Regression: Similarity-based Symbolic Regression with Explainable Neighbors Exploration
par: Naser, MZ, et autres
Publié: (2024)
par: Naser, MZ, et autres
Publié: (2024)
Logically Consistent Language Models via Neuro-Symbolic Integration
par: Calanzone, Diego, et autres
Publié: (2024)
par: Calanzone, Diego, et autres
Publié: (2024)
Constructive Symbolic Reinforcement Learning via Intuitionistic Logic and Goal-Chaining Inference
par: Patrascu, Andrei T.
Publié: (2025)
par: Patrascu, Andrei T.
Publié: (2025)
Concise and Logically Consistent Conformal Sets for Neuro-Symbolic Concept-Based Models
par: Bortolotti, Samuele, et autres
Publié: (2026)
par: Bortolotti, Samuele, et autres
Publié: (2026)
Reduced Implication-bias Logic Loss for Neuro-Symbolic Learning
par: He, Haoyuan, et autres
Publié: (2022)
par: He, Haoyuan, et autres
Publié: (2022)
eXpLogic: Explaining Logic Types and Patterns in DiffLogic Networks
par: Wormald, Stephen, et autres
Publié: (2025)
par: Wormald, Stephen, et autres
Publié: (2025)
Scaling Up Unbiased Search-based Symbolic Regression
par: Kahlmeyer, Paul, et autres
Publié: (2025)
par: Kahlmeyer, Paul, et autres
Publié: (2025)
PruneSymNet: A Symbolic Neural Network and Pruning Algorithm for Symbolic Regression
par: Wu, Min, et autres
Publié: (2024)
par: Wu, Min, et autres
Publié: (2024)
Towards Symbolic XAI -- Explanation Through Human Understandable Logical Relationships Between Features
par: Schnake, Thomas, et autres
Publié: (2024)
par: Schnake, Thomas, et autres
Publié: (2024)
LogicXGNN: Grounded Logical Rules for Explaining Graph Neural Networks
par: Geng, Chuqin, et autres
Publié: (2025)
par: Geng, Chuqin, et autres
Publié: (2025)
Improving Monte Carlo Tree Search for Symbolic Regression
par: Huang, Zhengyao, et autres
Publié: (2025)
par: Huang, Zhengyao, et autres
Publié: (2025)
Diffusion-Based Symbolic Regression
par: Bastiani, Zachary, et autres
Publié: (2025)
par: Bastiani, Zachary, et autres
Publié: (2025)
Dimension Reduction for Symbolic Regression
par: Kahlmeyer, Paul, et autres
Publié: (2025)
par: Kahlmeyer, Paul, et autres
Publié: (2025)
Decomposable Neuro Symbolic Regression
par: Morales, Giorgio, et autres
Publié: (2025)
par: Morales, Giorgio, et autres
Publié: (2025)
Fast Symbolic Regression Benchmarking
par: Martinek, Viktor
Publié: (2025)
par: Martinek, Viktor
Publié: (2025)
NASP-T: A Fuzzy Neuro-Symbolic Transformer for Logic-Constrained Aviation Safety Report Classification
par: Machot, Fadi Al, et autres
Publié: (2025)
par: Machot, Fadi Al, et autres
Publié: (2025)
Enhancing Logical Reasoning in Large Language Models through Graph-based Synthetic Data
par: Zhou, Jiaming, et autres
Publié: (2024)
par: Zhou, Jiaming, et autres
Publié: (2024)
Exploiting Hybrid Policy in Reinforcement Learning for Interpretable Temporal Logic Manipulation
par: Zhang, Hao, et autres
Publié: (2024)
par: Zhang, Hao, et autres
Publié: (2024)
Multitask Kernel-based Learning with Logic Constraints
par: Diligenti, Michelangelo, et autres
Publié: (2024)
par: Diligenti, Michelangelo, et autres
Publié: (2024)
Noise-Resilient Symbolic Regression with Dynamic Gating Reinforcement Learning
par: Sun, Chenglu, et autres
Publié: (2025)
par: Sun, Chenglu, et autres
Publié: (2025)
WARP Logic Neural Networks
par: Gerlach, Lino, et autres
Publié: (2026)
par: Gerlach, Lino, et autres
Publié: (2026)
Towards Scaling Laws for Symbolic Regression
par: Otte, David, et autres
Publié: (2025)
par: Otte, David, et autres
Publié: (2025)
Equality Graph Assisted Symbolic Regression
par: de Franca, Fabricio Olivetti, et autres
Publié: (2025)
par: de Franca, Fabricio Olivetti, et autres
Publié: (2025)
Discovering Symmetries of ODEs by Symbolic Regression
par: Kahlmeyer, Paul, et autres
Publié: (2025)
par: Kahlmeyer, Paul, et autres
Publié: (2025)
Bayesian Symbolic Regression for Missing Physics
par: Strouwen, Arno
Publié: (2026)
par: Strouwen, Arno
Publié: (2026)
Reinforced Symbolic Learning with Logical Constraints for Predicting Turbine Blade Fatigue Life
par: Li, Pei, et autres
Publié: (2024)
par: Li, Pei, et autres
Publié: (2024)
Poisoning the Inner Prediction Logic of Graph Neural Networks for Clean-Label Backdoor Attacks
par: Zhang, Yuxiang, et autres
Publié: (2026)
par: Zhang, Yuxiang, et autres
Publié: (2026)
Logical Grammar Induction via Graph Kolmogorov Complexity: A Neuro-Symbolic Framework for Self-Healing Clinical Data Integrity
par: Zarghani, Abolfazl, et autres
Publié: (2026)
par: Zarghani, Abolfazl, et autres
Publié: (2026)
ZebraLogic: On the Scaling Limits of LLMs for Logical Reasoning
par: Lin, Bill Yuchen, et autres
Publié: (2025)
par: Lin, Bill Yuchen, et autres
Publié: (2025)
LogicPuzzleRL: Cultivating Robust Mathematical Reasoning in LLMs via Reinforcement Learning
par: Wong, Zhen Hao, et autres
Publié: (2025)
par: Wong, Zhen Hao, et autres
Publié: (2025)
Subjective Logic Encodings
par: Vasilakes, Jake, et autres
Publié: (2025)
par: Vasilakes, Jake, et autres
Publié: (2025)
Complex Logical Instruction Generation
par: Zhang, Mian, et autres
Publié: (2025)
par: Zhang, Mian, et autres
Publié: (2025)
Documents similaires
-
Boolformer: Symbolic Regression of Logic Functions with Transformers
par: d'Ascoli, Stéphane, et autres
Publié: (2023) -
Learning Interpretable Differentiable Logic Networks for Tabular Regression
par: Yue, Chang, et autres
Publié: (2025) -
Guiding Neuro-Symbolic Scenario Generation with Spatio-Temporal Logic
par: Bonin, Lorenzo, et autres
Publié: (2026) -
Quantitative Linear Logic for Neuro-Symbolic Learning and Verification
par: Flinkow, Thomas, et autres
Publié: (2026) -
Abductive Logical Rule Induction by Bridging Inductive Logic Programming and Multimodal Large Language Models
par: Peng, Yifei, et autres
Publié: (2025)