Paper Citation Record · LEDGER

HyParLyVe: Hyperplane Partitioning for Neural Lyapunov Verification

As of 22 July 2026, this Paper Citation Record lists 26 of 26 outbound references and 0 inbound Pith citation observations for arXiv:2605.03992.

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

pith.paper-citation-record.v1
2605.03992 v1

Coverage vector

measured 26 of 26 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-05-07T04:21:40.258505Z

measured 26 of 26 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-07-20T06:30:07.809122+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

26 of 26 outbound references displayed

verified exact5
verified fuzzy19
unresolved2
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 332953ea-daf3-4268-93ed-d46d07096aee · outbound

This paper cites Neural Lyapunov control.

HyParLyVe: Hyperplane Partitioning for Neural Lyapunov Verification Neural Lyapunov control

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-05-27T10:53:59.936435Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-20T06:30:07.809122+00:00.

Observation 5b8c871b-707b-40c3-9a76-9678025a7a83 · outbound

This paper cites Lyapunov-net: a deep neural network architecture for Lyapunov function approximation.

HyParLyVe: Hyperplane Partitioning for Neural Lyapunov Verification Lyapunov-net: a deep neural network architecture for Lyapunov function approximation

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-05-27T10:53:59.950795Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-20T06:30:07.809122+00:00.

Observation 9b2a93b7-6fb6-4d08-b89c-a620341e1786 · outbound

This paper cites Computing Lyapunov functions using deep neural networks.

HyParLyVe: Hyperplane Partitioning for Neural Lyapunov Verification Computing Lyapunov functions using deep neural networks

Reference 3

Resolution: verified exact; arxiv_id, observed 2026-05-12T10:41:29.746977Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-20T06:30:07.809122+00:00.

Observation 340a95b1-fb9d-46af-9ef1-876d30797cc9 · outbound

This paper cites Two-stage learning of stabilizing neural controllers via Zubov sampling and iterative domain expansion.

HyParLyVe: Hyperplane Partitioning for Neural Lyapunov Verification Two-stage learning of stabilizing neural controllers via Zubov sampling and iterative domain expansion

Reference 4

Resolution: verified exact; arxiv_id, observed 2026-05-12T10:41:29.752306Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-20T06:30:07.809122+00:00.

Observation fba9e6ac-50be-44ad-aaa1-7773e132f7e4 · outbound

This paper cites Multilayer feedforward networks with a nonpolynomial activation function can approximate any function.

HyParLyVe: Hyperplane Partitioning for Neural Lyapunov Verification Multilayer feedforward networks with a nonpolynomial activation function can approximate any function

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-05-27T10:53:59.921124Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-20T06:30:07.809122+00:00.

Observation efbcfd73-da11-451a-893d-80e0a771c4a6 · outbound

This paper cites Star-based reachability analysis of deep neural networks.

HyParLyVe: Hyperplane Partitioning for Neural Lyapunov Verification Star-based reachability analysis of deep neural networks

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-05-27T10:53:59.896741Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-20T06:30:07.809122+00:00.

Observation 113702aa-f214-4f51-b371-a7e152be300a · outbound

This paper cites Reachability Analysis and Safety Verification for Neural Network Control Systems.

HyParLyVe: Hyperplane Partitioning for Neural Lyapunov Verification Reachability Analysis and Safety Verification for Neural Network Control Systems

Reference 7

Resolution: verified exact; arxiv_id, observed 2026-05-12T10:41:29.735251Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-20T06:30:07.809122+00:00.

Observation fcfdbfa1-6680-4a43-8cac-aec04d2a096a · outbound

This paper cites Tool LyzNet: a lightweight Python tool for learning and verifying neural Lyapunov functions and regions of attraction.

HyParLyVe: Hyperplane Partitioning for Neural Lyapunov Verification Tool LyzNet: a lightweight Python tool for learning and verifying neural Lyapunov functions and regions of attraction

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-05-27T10:53:59.947853Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-20T06:30:07.809122+00:00.

Observation abd84bc8-7cb7-4d14-ba19-210742cc17f5 · outbound

This paper cites Towards learning and verifying maximal neural lyapunov functions.

HyParLyVe: Hyperplane Partitioning for Neural Lyapunov Verification Towards learning and verifying maximal neural lyapunov functions

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-05-27T10:53:59.903033Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-20T06:30:07.809122+00:00.

Observation 255f1733-11fd-4238-a329-4ebf325373e5 · outbound

This paper cites Stability verification for switched systems using neural multiple lyapunov functions.

HyParLyVe: Hyperplane Partitioning for Neural Lyapunov Verification Stability verification for switched systems using neural multiple lyapunov functions

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-05-27T10:53:59.917333Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-20T06:30:07.809122+00:00.

Observation ce4eb38e-0f98-4bfc-81f1-d653c2b99512 · outbound

This paper cites Compositionally verifiable vector neural Lyapunov functions for stability analysis of interconnected nonlinear systems.

HyParLyVe: Hyperplane Partitioning for Neural Lyapunov Verification Compositionally verifiable vector neural Lyapunov functions for stability analysis of interconnected nonlinear systems

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-05-27T10:53:59.899764Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-20T06:30:07.809122+00:00.

Observation 1415e3c0-a610-4139-8f84-cef3dea1cf1a · outbound

This paper cites Learning region of attraction for nonlinear systems.

HyParLyVe: Hyperplane Partitioning for Neural Lyapunov Verification Learning region of attraction for nonlinear systems

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-05-27T10:53:59.905786Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-20T06:30:07.809122+00:00.

Observation 4c72d6bc-87aa-489a-b785-fbb83e0b4051 · outbound

This paper cites Counter-example guided synthesis of neural network Lyapunov functions for piecewise linear systems.

HyParLyVe: Hyperplane Partitioning for Neural Lyapunov Verification Counter-example guided synthesis of neural network Lyapunov functions for piecewise linear systems

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-05-27T10:53:59.941810Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-20T06:30:07.809122+00:00.

Observation 1f5cc5db-7f79-46d9-b413-5ada2b7d6333 · outbound

This paper cites Lyapunov-stable neural control for state and output feedback: a novel formulation.

HyParLyVe: Hyperplane Partitioning for Neural Lyapunov Verification Lyapunov-stable neural control for state and output feedback: a novel formulation

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-05-27T10:53:59.914385Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-20T06:30:07.809122+00:00.

Observation e3cb3573-9e8b-4816-a472-810369a8de2e · outbound

This paper cites On the number of response regions of deep feed forward networks with piece-wise linear activations.

HyParLyVe: Hyperplane Partitioning for Neural Lyapunov Verification On the number of response regions of deep feed forward networks with piece-wise linear activations

Reference 15

Resolution: verified exact; arxiv_id, observed 2026-05-12T10:41:29.741216Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-20T06:30:07.809122+00:00.

Observation 858b4d99-8a62-494c-9e9d-616ed269b402 · outbound

This paper cites On the expressive power of deep neural networks.

HyParLyVe: Hyperplane Partitioning for Neural Lyapunov Verification On the expressive power of deep neural networks

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-05-27T10:53:59.924064Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-20T06:30:07.809122+00:00.

Observation 01cd3887-c397-4528-ad48-5cd1aeb3d86a · outbound

This paper cites Bounding the complexity of formally verifying neural networks: a geometric approach.

HyParLyVe: Hyperplane Partitioning for Neural Lyapunov Verification Bounding the complexity of formally verifying neural networks: a geometric approach

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-05-27T10:53:59.929939Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-20T06:30:07.809122+00:00.

Observation b68a2f82-d189-40bc-9c2d-6fccc2ffeaa5 · outbound

This paper cites An introduction to hyperplane arrangements.

HyParLyVe: Hyperplane Partitioning for Neural Lyapunov Verification An introduction to hyperplane arrangements

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-05-27T10:53:59.944514Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-20T06:30:07.809122+00:00.

Observation 715b01d2-34ce-4686-9c62-d55fdaa57299 · outbound

This paper cites an unresolved cited work.

HyParLyVe: Hyperplane Partitioning for Neural Lyapunov Verification Unresolved cited work

Reference 19

Resolution: unresolved; raw_fallback, observed 2026-05-27T10:53:59.939096Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-20T06:30:07.809122+00:00.

Observation 5a0622bf-3237-4fb0-a107-576be6004701 · outbound

This paper cites an unresolved cited work.

HyParLyVe: Hyperplane Partitioning for Neural Lyapunov Verification Unresolved cited work

Reference 20

Resolution: unresolved; raw_fallback, observed 2026-05-27T10:53:59.893601Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-20T06:30:07.809122+00:00.

Observation e225c8df-d797-40ca-961c-71df3b75abce · outbound

This paper cites PyTorch 2: faster machine learning through dynamic Python bytecode transformation and graph compilation.

HyParLyVe: Hyperplane Partitioning for Neural Lyapunov Verification PyTorch 2: faster machine learning through dynamic Python bytecode transformation and graph compilation

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-05-27T10:53:59.890651Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-20T06:30:07.809122+00:00.

Observation 42ee65c0-4efb-41ef-b1cd-450789851ade · outbound

This paper cites Facing up to arrangements: face-count formulas for partitions of space by hyperplanes.

HyParLyVe: Hyperplane Partitioning for Neural Lyapunov Verification Facing up to arrangements: face-count formulas for partitions of space by hyperplanes

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-05-27T10:53:59.911647Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-20T06:30:07.809122+00:00.

Observation ae019646-f8b7-4cfe-9c0a-c7eedd2f6cfb · outbound

This paper cites Beta-CROWN: efficient bound propagation with per- neuron split constraints for complete and incomplete neural network verification.

HyParLyVe: Hyperplane Partitioning for Neural Lyapunov Verification Beta-CROWN: efficient bound propagation with per- neuron split constraints for complete and incomplete neural network verification

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-05-27T10:53:59.909077Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-20T06:30:07.809122+00:00.

Observation 77075816-8177-4909-bef9-b1cda4c65227 · outbound

This paper cites Danilova, P.

HyParLyVe: Hyperplane Partitioning for Neural Lyapunov Verification Danilova, P

Reference 24

Resolution: verified exact; doi, observed 2026-05-09T05:15:15.216020Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-20T06:30:07.809122+00:00.

Observation f9d2a5a5-1e07-4051-b9e0-ae2da0384de4 · outbound

This paper cites A simplicial homology algorithm for Lipschitz optimization.

HyParLyVe: Hyperplane Partitioning for Neural Lyapunov Verification A simplicial homology algorithm for Lipschitz optimization

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-05-27T10:53:59.927019Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-20T06:30:07.809122+00:00.

Observation 9c4a88d4-bf68-4c30-97f3-20b3d3315bb5 · outbound

This paper cites A software package for sequential quadratic programming.

HyParLyVe: Hyperplane Partitioning for Neural Lyapunov Verification A software package for sequential quadratic programming

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-05-27T10:53:59.933480Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-20T06:30:07.809122+00:00.

Pith citing papers

No inbound Pith citation observations are available.