Paper Citation Record · LEDGER

Lyapunov-Guided Training for Hardware-Safe Neural Networks Under Fixed-Point Arithmetic

As of 23 August 2026, this Paper Citation Record lists 15 of 15 outbound references and 1 inbound Pith citation observation for arXiv:2607.04531.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2607.04531 v1

Coverage vector

measured 15 of 15 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-07-11T17:52:29.131365Z

measured 16 of 16 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-23T06:30:58.430688+00:00

measured 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-07-30T23:38:38.609093Z

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

15 of 15 outbound references displayed

verified exact0
verified fuzzy0
unresolved15
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 23392695-c48f-4bf6-80ee-ceb6571d2147 · outbound

This paper cites Quantization and Training of Neural Networks for Efficient Integer-Arithmetic-Only Inference.

Lyapunov-Guided Training for Hardware-Safe Neural Networks Under Fixed-Point Arithmetic Quantization and Training of Neural Networks for Efficient Integer-Arithmetic-Only Inference

Reference 1

Resolution: unresolved; no resolver link, observed 2026-07-11T17:52:29.131365Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 689554fb-4e80-4c7a-ac4d-6f5f7fd8ea0c · outbound

This paper cites Residual Networks: Lyapunov Stability and Convex Decomposition.

Lyapunov-Guided Training for Hardware-Safe Neural Networks Under Fixed-Point Arithmetic Residual Networks: Lyapunov Stability and Convex Decomposition

Reference 2

Resolution: unresolved; no resolver link, observed 2026-07-11T17:52:29.131365Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1b7c1fb8-402e-4dd8-a68f-62009d7cc90e · outbound

This paper cites The Lyapunov Neural Network: Adaptive Sta- bility Certification for Safe Learning of Dynamical Systems.

Lyapunov-Guided Training for Hardware-Safe Neural Networks Under Fixed-Point Arithmetic The Lyapunov Neural Network: Adaptive Sta- bility Certification for Safe Learning of Dynamical Systems

Reference 3

Resolution: unresolved; no resolver link, observed 2026-07-11T17:52:29.131365Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dac25ac7-aa85-4f13-9157-fbd524c8bf50 · outbound

This paper cites An SMT Theory of Fixed- Point Arithmetic.

Lyapunov-Guided Training for Hardware-Safe Neural Networks Under Fixed-Point Arithmetic An SMT Theory of Fixed- Point Arithmetic

Reference 4

Resolution: unresolved; no resolver link, observed 2026-07-11T17:52:29.131365Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 528793dd-cf9d-4bd6-9dd1-ff2bfe903445 · outbound

This paper cites An SMT Theory of Fixed- Point Arithmetic.

Lyapunov-Guided Training for Hardware-Safe Neural Networks Under Fixed-Point Arithmetic An SMT Theory of Fixed- Point Arithmetic

Reference 5

Resolution: unresolved; no resolver link, observed 2026-07-11T17:52:29.131365Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fb008f9d-2edb-428f-a045-b9615cd911e3 · outbound

This paper cites Quantization of Deep Neural Networks for Accumulator-Constrained Processors.

Lyapunov-Guided Training for Hardware-Safe Neural Networks Under Fixed-Point Arithmetic Quantization of Deep Neural Networks for Accumulator-Constrained Processors

Reference 6

Resolution: unresolved; no resolver link, observed 2026-07-11T17:52:29.131365Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cb77a88b-76b6-4d0e-bf68-3b97183cdc63 · outbound

This paper cites Lyapunov-stable neural-network control.

Lyapunov-Guided Training for Hardware-Safe Neural Networks Under Fixed-Point Arithmetic Lyapunov-stable neural-network control

Reference 7

Resolution: unresolved; no resolver link, observed 2026-07-11T17:52:29.131365Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4159fcf2-36dd-47b0-80b2-a690665a03d8 · outbound

This paper cites A Survey of Quantization Methods for Efficient Neural Network Inference.

Lyapunov-Guided Training for Hardware-Safe Neural Networks Under Fixed-Point Arithmetic A Survey of Quantization Methods for Efficient Neural Network Inference

Reference 8

Resolution: unresolved; no resolver link, observed 2026-07-11T17:52:29.131365Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d2879482-5ceb-4adc-8f2c-465d9654bd4f · outbound

This paper cites Stable Neural ODE with Lyapunov- Stable Equilibrium Points for Defending Against Ad- versarial Attacks.

Lyapunov-Guided Training for Hardware-Safe Neural Networks Under Fixed-Point Arithmetic Stable Neural ODE with Lyapunov- Stable Equilibrium Points for Defending Against Ad- versarial Attacks

Reference 9

Resolution: unresolved; no resolver link, observed 2026-07-11T17:52:29.131365Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a2753168-a1cd-4891-b575-0e815f2ca6b7 · outbound

This paper cites A White Paper on Neural Network Quantization.

Lyapunov-Guided Training for Hardware-Safe Neural Networks Under Fixed-Point Arithmetic A White Paper on Neural Network Quantization

Reference 10

Resolution: unresolved; no resolver link, observed 2026-07-11T17:52:29.131365Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c60f0486-b71f-4218-9cf2-cf0a4cc3135f · outbound

This paper cites Neural Network Quantization for Efficient Inference: A Survey.

Lyapunov-Guided Training for Hardware-Safe Neural Networks Under Fixed-Point Arithmetic Neural Network Quantization for Efficient Inference: A Survey

Reference 11

Resolution: unresolved; no resolver link, observed 2026-07-11T17:52:29.131365Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bdceb3a7-7799-449f-b112-d1374f5d09d9 · outbound

This paper cites LyaNet: A Lyapunov Framework for Training Neural ODEs.

Lyapunov-Guided Training for Hardware-Safe Neural Networks Under Fixed-Point Arithmetic LyaNet: A Lyapunov Framework for Training Neural ODEs

Reference 12

Resolution: unresolved; no resolver link, observed 2026-07-11T17:52:29.131365Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 20570c8b-b71e-47c2-a31f-c93fd3bdf5e6 · outbound

This paper cites A Comprehensive Survey on Model Quantization for Deep Neural Networks in Image Classification.

Lyapunov-Guided Training for Hardware-Safe Neural Networks Under Fixed-Point Arithmetic A Comprehensive Survey on Model Quantization for Deep Neural Networks in Image Classification

Reference 13

Resolution: unresolved; no resolver link, observed 2026-07-11T17:52:29.131365Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8c6a5573-52de-4955-832e-6d1d39af7874 · outbound

This paper cites A2Q: Accumulator-Aware Quanti- zation with Guaranteed Overflow Avoidance.

Lyapunov-Guided Training for Hardware-Safe Neural Networks Under Fixed-Point Arithmetic A2Q: Accumulator-Aware Quanti- zation with Guaranteed Overflow Avoidance

Reference 14

Resolution: unresolved; no resolver link, observed 2026-07-11T17:52:29.131365Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e9f97fe7-f371-4ca9-8f78-c01a739a5cd8 · outbound

This paper cites Advances in the Neural Network Quan- tization.

Lyapunov-Guided Training for Hardware-Safe Neural Networks Under Fixed-Point Arithmetic Advances in the Neural Network Quan- tization

Reference 15

Resolution: unresolved; no resolver link, observed 2026-07-11T17:52:29.131365Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation 5e97fe39-015f-442f-9897-928276ce6a58 · inbound

When Can Depth Replace Precision? A Resource Theory of Quantized Neural Computation cites this paper.

When Can Depth Replace Precision? A Resource Theory of Quantized Neural Computation Lyapunov-Guided Training for Hardware-Safe Neural Networks Under Fixed-Point Arithmetic

Reference 144

Resolution: unresolved; no resolver link, observed 2026-07-30T23:38:38.609093Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.