Buchumschlag

From Arithmetic to Logic: The Resilience of Logic and Lookup-Based Neural Networks Under Parameter Bit-Flips

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Bacellar, Alan T. L., Chemudupati, Sathvik, Nag, Shashank, Seigler, Allison, Lima, Priscila M. V., França, Felipe M. G., John, Lizy K.
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Machine Learning Artificial Intelligence
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

nanoML for Human Activity Recognition
von: Bacellar, Alan T. L., et al.
Veröffentlicht: (2025)

Differentiable Weightless Neural Networks
von: Bacellar, Alan T. L., et al.
Veröffentlicht: (2024)

Single-Round Scalable Analytic Federated Learning
von: Bacellar, Alan T. L., et al.
Veröffentlicht: (2025)

Shrinking the Giant : Quasi-Weightless Transformers for Low Energy Inference
von: Nag, Shashank, et al.
Veröffentlicht: (2024)

LL-ViT: Edge Deployable Vision Transformers with Look Up Table Neurons
von: Nag, Shashank, et al.
Veröffentlicht: (2025)

Table-Lookup MAC: Scalable Processing of Quantised Neural Networks in FPGA Soft Logic
von: Gerlinghoff, Daniel, et al.
Veröffentlicht: (2024)

Crossfire: An Elastic Defense Framework for Graph Neural Networks Under Bit Flip Attacks
von: Kummer, Lorenz, et al.
Veröffentlicht: (2025)

HELIOS: Adaptive Model And Early-Exit Selection for Efficient LLM Inference Serving
von: Kumar, Avinash, et al.
Veröffentlicht: (2025)

High Operation Density Logic‐Gates for Multi‐Bit Arithmetic Logic Unit Based on Multi‐Region Barrier Modulation Optoelectronic Transistor
von: Tiansheng Wang, et al.
Veröffentlicht: (2026)

BitLogic: Training Framework for Gradient-Based FPGA-Native Neural Networks
von: Bührer, Simon, et al.
Veröffentlicht: (2026)

Verification of Bit-Flip Attacks against Quantized Neural Networks
von: Zhang, Yedi, et al.
Veröffentlicht: (2025)

From Neural Networks to Logical Theories: The Correspondence between Fibring Modal Logics and Fibring Neural Networks
von: Harzli, Ouns El, et al.
Veröffentlicht: (2025)

Bit-Flip Fault Attack: Crushing Graph Neural Networks via Gradual Bit Search
von: Abharian, Sanaz Kazemi, et al.
Veröffentlicht: (2025)

Phytochemistry and Systematics of the Euphorbiaceae
von: Seigler, David S
Veröffentlicht: (1994)

Attacking Graph Neural Networks with Bit Flips: Weisfeiler and Lehman Go Indifferent
von: Kummer, Lorenz, et al.
Veröffentlicht: (2023)

Incorrectness Separation Logic with Arrays and Pointer Arithmetic
von: Lee, Yeonseok, et al.
Veröffentlicht: (2025)

WARP Logic Neural Networks
von: Gerlach, Lino, et al.
Veröffentlicht: (2026)

Modal Logical Neural Networks
von: Sulc, Antonin
Veröffentlicht: (2025)

BitFlipScope: Scalable Fault Localization and Recovery for Bit-Flip Corruptions in LLMs
von: Karamat, Muhammad Zeeshan, et al.
Veröffentlicht: (2025)

Decoupling Reentrancy Protection from Smart Contract Implementation Logic
von: Joshi, Shashank, et al.
Veröffentlicht: (2026)

LogicXGNN: Grounded Logical Rules for Explaining Graph Neural Networks
von: Geng, Chuqin, et al.
Veröffentlicht: (2025)

DeepNcode: Encoding-Based Protection against Bit-Flip Attacks on Neural Networks
von: Velčický, Patrik, et al.
Veröffentlicht: (2024)

Pseudoredundancy for the Bit-Flipping Algorithm
von: Zumbrägel, Jens
Veröffentlicht: (2024)

Deciding Separation Logic with Pointer Arithmetic and Inductive Definitions
von: Su, Wanyun, et al.
Veröffentlicht: (2024)

Logical Distillation of Graph Neural Networks
von: Pluska, Alexander, et al.
Veröffentlicht: (2024)

Neural Logic Networks for Interpretable Classification
von: Perreault, Vincent, et al.
Veröffentlicht: (2025)

The Logical Expressiveness of Topological Neural Networks
von: Akbari, Amirreza, et al.
Veröffentlicht: (2026)

From Program Logics to Language Logics
von: Cimini, Matteo
Veröffentlicht: (2024)

LUT-DLA: Lookup Table as Efficient Extreme Low-Bit Deep Learning Accelerator
von: Li, Guoyu, et al.
Veröffentlicht: (2025)

Temporal Logic Resilience for Dynamical Systems
von: Saoud, Adnane, et al.
Veröffentlicht: (2024)

Bit-Flipping Attack Exploration and Countermeasure in 5G Network
von: Kim, Joon, et al.
Veröffentlicht: (2025)

Arithmetic from the Law of Logic: The Continuous Positive-Ratio Realization
von: Washburn
Veröffentlicht: (2026)

Encoding Peano Arithmetic in a Minimal Fragment of Separation Logic
von: Ito, Sohei, et al.
Veröffentlicht: (2025)

Deep Lookup Network
von: Guo, Yulan, et al.
Veröffentlicht: (2025)

Maximal Brain Damage Without Data or Optimization: Disrupting Neural Networks via Sign-Bit Flips
von: Galil, Ido, et al.
Veröffentlicht: (2025)

Regional, Lattice and Logical Representations of Neural Networks
von: Preto, Sandro, et al.
Veröffentlicht: (2025)

Łukasiewicz Logic with Actions for Neural Networks training
von: Leuştean, Ioana, et al.
Veröffentlicht: (2025)

Logic Synthesis with Generative Deep Neural Networks
von: Li, Xihan, et al.
Veröffentlicht: (2024)

Modal Logical Neural Networks for Financial AI
von: Sulc, Antonin
Veröffentlicht: (2026)

Multi-class Temporal Logic Neural Networks
von: Li, Danyang, et al.
Veröffentlicht: (2024)