Copertina

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

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Bacellar, Alan T. L., Chemudupati, Sathvik, Nag, Shashank, Seigler, Allison, Lima, Priscila M. V., França, Felipe M. G., John, Lizy K.
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Machine Learning Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

nanoML for Human Activity Recognition
di: Bacellar, Alan T. L., et al.
Pubblicazione: (2025)

Differentiable Weightless Neural Networks
di: Bacellar, Alan T. L., et al.
Pubblicazione: (2024)

Single-Round Scalable Analytic Federated Learning
di: Bacellar, Alan T. L., et al.
Pubblicazione: (2025)

Shrinking the Giant : Quasi-Weightless Transformers for Low Energy Inference
di: Nag, Shashank, et al.
Pubblicazione: (2024)

LL-ViT: Edge Deployable Vision Transformers with Look Up Table Neurons
di: Nag, Shashank, et al.
Pubblicazione: (2025)

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

Crossfire: An Elastic Defense Framework for Graph Neural Networks Under Bit Flip Attacks
di: Kummer, Lorenz, et al.
Pubblicazione: (2025)

HELIOS: Adaptive Model And Early-Exit Selection for Efficient LLM Inference Serving
di: Kumar, Avinash, et al.
Pubblicazione: (2025)

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

BitLogic: Training Framework for Gradient-Based FPGA-Native Neural Networks
di: Bührer, Simon, et al.
Pubblicazione: (2026)

Verification of Bit-Flip Attacks against Quantized Neural Networks
di: Zhang, Yedi, et al.
Pubblicazione: (2025)

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

Bit-Flip Fault Attack: Crushing Graph Neural Networks via Gradual Bit Search
di: Abharian, Sanaz Kazemi, et al.
Pubblicazione: (2025)

Phytochemistry and Systematics of the Euphorbiaceae
di: Seigler, David S
Pubblicazione: (1994)

Attacking Graph Neural Networks with Bit Flips: Weisfeiler and Lehman Go Indifferent
di: Kummer, Lorenz, et al.
Pubblicazione: (2023)

Incorrectness Separation Logic with Arrays and Pointer Arithmetic
di: Lee, Yeonseok, et al.
Pubblicazione: (2025)

WARP Logic Neural Networks
di: Gerlach, Lino, et al.
Pubblicazione: (2026)

Modal Logical Neural Networks
di: Sulc, Antonin
Pubblicazione: (2025)

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

Decoupling Reentrancy Protection from Smart Contract Implementation Logic
di: Joshi, Shashank, et al.
Pubblicazione: (2026)

LogicXGNN: Grounded Logical Rules for Explaining Graph Neural Networks
di: Geng, Chuqin, et al.
Pubblicazione: (2025)

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

Pseudoredundancy for the Bit-Flipping Algorithm
di: Zumbrägel, Jens
Pubblicazione: (2024)

Deciding Separation Logic with Pointer Arithmetic and Inductive Definitions
di: Su, Wanyun, et al.
Pubblicazione: (2024)

Logical Distillation of Graph Neural Networks
di: Pluska, Alexander, et al.
Pubblicazione: (2024)

Neural Logic Networks for Interpretable Classification
di: Perreault, Vincent, et al.
Pubblicazione: (2025)

The Logical Expressiveness of Topological Neural Networks
di: Akbari, Amirreza, et al.
Pubblicazione: (2026)

From Program Logics to Language Logics
di: Cimini, Matteo
Pubblicazione: (2024)

LUT-DLA: Lookup Table as Efficient Extreme Low-Bit Deep Learning Accelerator
di: Li, Guoyu, et al.
Pubblicazione: (2025)

Temporal Logic Resilience for Dynamical Systems
di: Saoud, Adnane, et al.
Pubblicazione: (2024)

Bit-Flipping Attack Exploration and Countermeasure in 5G Network
di: Kim, Joon, et al.
Pubblicazione: (2025)

Arithmetic from the Law of Logic: The Continuous Positive-Ratio Realization
di: Washburn
Pubblicazione: (2026)

Encoding Peano Arithmetic in a Minimal Fragment of Separation Logic
di: Ito, Sohei, et al.
Pubblicazione: (2025)

Deep Lookup Network
di: Guo, Yulan, et al.
Pubblicazione: (2025)

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

Regional, Lattice and Logical Representations of Neural Networks
di: Preto, Sandro, et al.
Pubblicazione: (2025)

Łukasiewicz Logic with Actions for Neural Networks training
di: Leuştean, Ioana, et al.
Pubblicazione: (2025)

Logic Synthesis with Generative Deep Neural Networks
di: Li, Xihan, et al.
Pubblicazione: (2024)

Modal Logical Neural Networks for Financial AI
di: Sulc, Antonin
Pubblicazione: (2026)

Multi-class Temporal Logic Neural Networks
di: Li, Danyang, et al.
Pubblicazione: (2024)