Paper Citation Record · LEDGER

Learning Verifiable Control Policies Using Relaxed Verification

As of 17 August 2026, this Paper Citation Record lists 42 of 42 outbound references and 1 inbound Pith citation observation for arXiv:2504.16879.

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

pith.paper-citation-record.v1
2504.16879 v1

Coverage vector

measured 42 of 42 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-16T10:56:55.331377Z

measured 43 of 43 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-17T06:30:58.91139+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-01T01:19:12.424654Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-07-01T13:05:44.258247Z

Reference resolution

42 of 42 outbound references displayed

verified exact2
verified fuzzy8
unresolved32
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 4e66936f-fc09-405f-b7c3-818c0cbdebe8 · outbound

This paper cites Efficient neural network robustness certification with general activa- tion functions,.

Learning Verifiable Control Policies Using Relaxed Verification Efficient neural network robustness certification with general activa- tion functions,

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-16T10:56:55.154138Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d6934551-e938-40da-a8a7-d876595624bd · outbound

This paper cites Towards fast computation of certified robustness for relu networks,.

Learning Verifiable Control Policies Using Relaxed Verification Towards fast computation of certified robustness for relu networks,

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-16T10:56:55.159690Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4d52664e-2a18-4e71-b316-a06f4aeca57b · outbound

This paper cites Automatic perturbation analy- sis for scalable certified robustness and beyond,.

Learning Verifiable Control Policies Using Relaxed Verification Automatic perturbation analy- sis for scalable certified robustness and beyond,

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-16T10:56:55.164441Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b6a339f3-12d7-4a6d-bea7-3a5e3bc7c8db · outbound

This paper cites Semidefinite relax- ations for certifying robustness to adversarial examples,.

Learning Verifiable Control Policies Using Relaxed Verification Semidefinite relax- ations for certifying robustness to adversarial examples,

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-16T10:56:55.169216Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1aaaaccf-dbdd-41b2-a525-afac9778c85a · outbound

This paper cites Evaluating robustness of neural networks with mixed integer programming,.

Learning Verifiable Control Policies Using Relaxed Verification Evaluating robustness of neural networks with mixed integer programming,

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-16T10:56:55.173915Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ae6b8c06-3838-467d-aa5b-8e77f6644628 · outbound

This paper cites The marabou framework for verification and analysis of deep neural networks,.

Learning Verifiable Control Policies Using Relaxed Verification The marabou framework for verification and analysis of deep neural networks,

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-16T10:56:55.178296Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 64e14d09-9422-45e4-af73-c8e79892721a · outbound

This paper cites Re- luplex: An efficient SMT solver for verifying deep neural networks,.

Learning Verifiable Control Policies Using Relaxed Verification Re- luplex: An efficient SMT solver for verifying deep neural networks,

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-16T10:56:55.183462Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 87ea7f61-aa1e-4711-a291-a0f5c31bb621 · outbound

This paper cites Verifying low-dimensional input neural networks via input quantization,.

Learning Verifiable Control Policies Using Relaxed Verification Verifying low-dimensional input neural networks via input quantization,

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-16T10:56:55.187391Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e80d351d-bb99-4226-b7ba-0494692040b8 · outbound

This paper cites Reachable polyhedral marching (RPM): A safety verification algorithm for robotic systems with deep neural network components,.

Learning Verifiable Control Policies Using Relaxed Verification Reachable polyhedral marching (RPM): A safety verification algorithm for robotic systems with deep neural network components,

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-16T10:56:55.192864Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 34117b47-623a-437f-a4c2-057985b81129 · outbound

This paper cites Overt: An algorithm for safety verification of neural network control policies for nonlinear systems,.

Learning Verifiable Control Policies Using Relaxed Verification Overt: An algorithm for safety verification of neural network control policies for nonlinear systems,

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-16T10:56:55.197024Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0954a8ca-f579-4721-8b1e-6c25a0af09ea · outbound

This paper cites One-shot reachability anal- ysis of neural network dynamical systems,.

Learning Verifiable Control Policies Using Relaxed Verification One-shot reachability anal- ysis of neural network dynamical systems,

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-16T10:56:55.201498Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5cc77f7a-611e-4a6f-b41d-e6f0711d8183 · outbound

This paper cites Reachability analysis of neural feedback loops,.

Learning Verifiable Control Policies Using Relaxed Verification Reachability analysis of neural feedback loops,

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-16T10:56:55.205839Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 302e5ac0-11ae-498a-a602-62eb616af3f1 · outbound

This paper cites A Reachability Method for Verifying Dynamical Systems with Deep Neural Network Controllers.

Learning Verifiable Control Policies Using Relaxed Verification A Reachability Method for Verifying Dynamical Systems with Deep Neural Network Controllers

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-16T10:56:55.210280Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9cd86313-e0f9-4b32-9f63-749bf62579c7 · outbound

This paper cites Reach-SDP: Reachability analysis of closed-loop systems with neural network controllers via semidefinite programming,.

Learning Verifiable Control Policies Using Relaxed Verification Reach-SDP: Reachability analysis of closed-loop systems with neural network controllers via semidefinite programming,

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-16T10:56:55.214562Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6566ac86-5fa0-4889-b297-9d45a3b6908e · outbound

This paper cites Polar-express: Efficient and precise formal reachability analysis of neural-network controlled systems,.

Learning Verifiable Control Policies Using Relaxed Verification Polar-express: Efficient and precise formal reachability analysis of neural-network controlled systems,

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-16T10:56:55.218478Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2cd69ac1-b26b-40cf-9304-e0e914c64686 · outbound

This paper cites Verisig: verifying safety properties of hybrid systems with neural network con- trollers,.

Learning Verifiable Control Policies Using Relaxed Verification Verisig: verifying safety properties of hybrid systems with neural network con- trollers,

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-16T10:56:55.223079Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fcb10bab-b597-4509-924c-84bc28b2307c · outbound

This paper cites Reachability analysis for neural feedback systems using regressive polynomial rule inference,.

Learning Verifiable Control Policies Using Relaxed Verification Reachability analysis for neural feedback systems using regressive polynomial rule inference,

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-16T10:56:55.227788Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f88e1383-fc20-46fd-a29e-20cbd5437e9b · outbound

This paper cites Reachnn: Reachability analysis of neural-network controlled systems,.

Learning Verifiable Control Policies Using Relaxed Verification Reachnn: Reachability analysis of neural-network controlled systems,

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-16T10:56:55.231549Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f25dbd88-c34e-4350-aa16-efd679fb88dc · outbound

This paper cites Reachnn*: A tool for reachability analysis of neural-network controlled systems,.

Learning Verifiable Control Policies Using Relaxed Verification Reachnn*: A tool for reachability analysis of neural-network controlled systems,

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-16T10:56:55.235730Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9732f711-3905-4d82-8c3f-de4326731fea · outbound

This paper cites Reachable set estimation for neural network control systems: A simulation-guided approach,.

Learning Verifiable Control Policies Using Relaxed Verification Reachable set estimation for neural network control systems: A simulation-guided approach,

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-16T10:56:55.239916Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 29ee255f-2512-425f-b807-080c01cf9852 · outbound

This paper cites Neural network compression of ACAS Xu early prototype is unsafe: Closed-loop verification through quantized state backreachability,.

Learning Verifiable Control Policies Using Relaxed Verification Neural network compression of ACAS Xu early prototype is unsafe: Closed-loop verification through quantized state backreachability,

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-16T10:56:55.244320Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 667111ae-6a76-4ac9-a209-a2213bbe1062 · outbound

This paper cites Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Complete and Incomplete Neural Network Robustness Verification.

Learning Verifiable Control Policies Using Relaxed Verification Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Complete and Incomplete Neural Network Robustness Verification

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-16T10:56:55.247943Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 87a8bdba-aa65-42b3-b53e-6915cc574af8 · outbound

This paper cites Safety verification of neural feedback systems based on constrained zonotopes,.

Learning Verifiable Control Policies Using Relaxed Verification Safety verification of neural feedback systems based on constrained zonotopes,

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:56:55.596879Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation d128a478-046b-45f0-8dfa-c5ad80c8550a · outbound

This paper cites Scalable verified training for provably robust image classification,.

Learning Verifiable Control Policies Using Relaxed Verification Scalable verified training for provably robust image classification,

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:56:55.584734Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 031736f8-1bd2-4d46-b302-92c185f91b43 · outbound

This paper cites Neural Lyapunov control,.

Learning Verifiable Control Policies Using Relaxed Verification Neural Lyapunov control,

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:56:55.572664Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 53893ec8-ce80-41aa-8e25-2a6bc90b493f · outbound

This paper cites Learning certified control using contrac- tion metric,.

Learning Verifiable Control Policies Using Relaxed Verification Learning certified control using contrac- tion metric,

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:56:55.561246Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 9cb79664-a7fe-4a65-9cc8-f968f1a256e6 · outbound

This paper cites Actor-critic reinforcement learning for control with stability guarantee,.

Learning Verifiable Control Policies Using Relaxed Verification Actor-critic reinforcement learning for control with stability guarantee,

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:56:55.549646Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation adb914b0-ec73-4157-a88d-070daaef7d73 · outbound

This paper cites Learning safe multi-agent control with decentralized neural barrier certificates,.

Learning Verifiable Control Policies Using Relaxed Verification Learning safe multi-agent control with decentralized neural barrier certificates,

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:56:55.538898Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 2e3d2c15-af09-46c7-b686-0c9016da7bb0 · outbound

This paper cites Lyapunov- stable neural-network control,.

Learning Verifiable Control Policies Using Relaxed Verification Lyapunov- stable neural-network control,

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:56:55.527860Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation e7e0319f-bfa9-49fe-a532-a03d552956bf · outbound

This paper cites Safe Control with Learned Certificates: A Survey of Neural Lyapunov, Barrier, and Contraction methods.

Learning Verifiable Control Policies Using Relaxed Verification Safe Control with Learned Certificates: A Survey of Neural Lyapunov, Barrier, and Contraction methods

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-16T10:56:55.281070Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dfd87b98-ead3-4e4e-a9b8-fe873eac12d9 · outbound

This paper cites Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates.

Learning Verifiable Control Policies Using Relaxed Verification Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-16T10:56:55.285434Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a49b5774-e6e4-43e9-8444-bfff67260fb8 · outbound

This paper cites Lyapunov-stable Neural Control for State and Output Feedback: A Novel Formulation.

Learning Verifiable Control Policies Using Relaxed Verification Lyapunov-stable Neural Control for State and Output Feedback: A Novel Formulation

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-16T10:56:55.289933Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 37e0827f-5c8b-4a0c-9711-0d91cea567dc · outbound

This paper cites Verification in the Loop: Correct-by-Construction Control Learning with Reach-avoid Guarantees.

Learning Verifiable Control Policies Using Relaxed Verification Verification in the Loop: Correct-by-Construction Control Learning with Reach-avoid Guarantees

Reference 33

Resolution: verified exact; local_arxiv, observed 2026-08-16T10:56:55.419225Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 3aa10be5-37dd-4501-98c0-2a67d8eafabe · outbound

This paper cites Joint Differentiable Optimization and Verification for Certified Reinforcement Learning.

Learning Verifiable Control Policies Using Relaxed Verification Joint Differentiable Optimization and Verification for Certified Reinforcement Learning

Reference 34

Resolution: verified exact; local_arxiv, observed 2026-08-16T10:56:55.403135Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 84f0bdaf-976c-4a8c-82f8-619f873a5b3f · outbound

This paper cites Verified Safe Reinforcement Learning for Neural Network Dynamic Models.

Learning Verifiable Control Policies Using Relaxed Verification Verified Safe Reinforcement Learning for Neural Network Dynamic Models

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-16T10:56:55.303280Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2ca42e93-17d0-4011-a377-07532932203d · outbound

This paper cites Bunel, J.

Learning Verifiable Control Policies Using Relaxed Verification Bunel, J

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-16T10:56:55.307175Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 20c4dc66-01a0-49e0-a0b4-a5ae17a77dbb · outbound

This paper cites an unresolved cited work.

Learning Verifiable Control Policies Using Relaxed Verification Unresolved cited work

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-16T10:56:55.311204Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 94a41263-a517-4b61-af3f-8ed5e5fb0f30 · outbound

This paper cites TTT: A Temporal Refinement Heuristic for Tenuously Tractable Discrete Time Reachability Problems.

Learning Verifiable Control Policies Using Relaxed Verification TTT: A Temporal Refinement Heuristic for Tenuously Tractable Discrete Time Reachability Problems

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-16T10:56:55.315620Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 87b18fc8-7a1f-4e25-abb6-41d86a3ed8ee · outbound

This paper cites Constraint-aware refinement for safety verification of neural feedback loops,.

Learning Verifiable Control Policies Using Relaxed Verification Constraint-aware refinement for safety verification of neural feedback loops,

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:56:55.503595Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 91b9b515-6995-4a19-a0a6-b0ab44f0f2c1 · outbound

This paper cites Adam: A Method for Stochastic Optimization.

Learning Verifiable Control Policies Using Relaxed Verification Adam: A Method for Stochastic Optimization

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-16T10:56:55.323643Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1a6907db-19fe-4e53-9b26-1f4bbe0117af · outbound

This paper cites Safety verification and robustness analysis of neural networks via quadratic constraints and semidefinite programming,.

Learning Verifiable Control Policies Using Relaxed Verification Safety verification and robustness analysis of neural networks via quadratic constraints and semidefinite programming,

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-16T10:56:55.327858Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 76587b71-b3e5-439c-ab3a-a86f3a0e81e6 · outbound

This paper cites Backward reachability analysis of neural feedback loops: Techniques for linear and nonlinear systems,.

Learning Verifiable Control Policies Using Relaxed Verification Backward reachability analysis of neural feedback loops: Techniques for linear and nonlinear systems,

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-16T10:56:55.331377Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation a6b35591-5d90-498d-9fde-672e66b23ae5 · inbound

ShardNet: Training Neural Controllers with Hard, Non-Convex Constraints cites this paper.

ShardNet: Training Neural Controllers with Hard, Non-Convex Constraints Learning Verifiable Control Policies Using Relaxed Verification

Reference 26

Resolution: verified exact; arxiv_id, observed 2026-07-01T13:05:44.260291Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.