Pith. sign in

Paper Citation Record · LEDGER

Closed-Form Robustness Bounds for Second-Order Pruning of Neural Controller Policies

As of 21 August 2026, this Paper Citation Record lists 16 of 16 outbound references and 0 inbound Pith citation observations for arXiv:2507.02953.

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

pith.paper-citation-record.v1
2507.02953 v1

Coverage vector

measured 16 of 16 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-06T21:54:43.733181Z

measured 16 of 16 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-21T06:32:19.484+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

16 of 16 outbound references displayed

  • verified exact0
  • verified fuzzy6
  • unresolved10
  • parse uncertain0
  • malformed identifier0
  • metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 68031814-6257-4cd0-b8f0-abf4b0f6c546 · outbound

This paper cites Barbara, Ruigang Wang, and Ian R.

Closed-Form Robustness Bounds for Second-Order Pruning of Neural Controller Policies Barbara, Ruigang Wang, and Ian R

Reference 1

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T21:54:44.110245Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

source=pdf_text observed=2026-08-06T21:54:43.259793Z digest=sha256:85c2cd1fa7781cb4517faf1888a2de87487d2385e33b5074f3c09ecb2249ed11

Observation ac32c450-c7d8-4fa1-8910-10aee3d22b17 · outbound

This paper cites $\pi_0$: A Vision-Language-Action Flow Model for General Robot Control.

Closed-Form Robustness Bounds for Second-Order Pruning of Neural Controller Policies $\pi_0$: A Vision-Language-Action Flow Model for General Robot Control

Reference 2

Resolution
unresolved
no resolver link, observed 2026-08-06T21:54:43.304291Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T21:54:43.304291Z digest=sha256:d69c90ab0f2e8e006670625b4c4613c47002ed8d577cf16a9b865cb5ae5ce1fd

Observation b5cadf90-4cdd-4e55-a4e8-704910adf056 · outbound

This paper cites Fast and Accurate Deep Network Learning by Exponential Linear Units (ELUs).

Closed-Form Robustness Bounds for Second-Order Pruning of Neural Controller Policies Fast and Accurate Deep Network Learning by Exponential Linear Units (ELUs)

Reference 3

Resolution
unresolved
no resolver link, observed 2026-08-06T21:54:43.374298Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T21:54:43.374298Z digest=sha256:c02261a8cb095dd481c2c7095fe9b81a52ad13ffa7d6631497b436e976a7d93f

Observation cb30de8c-9d57-42ee-b7da-127e8aef4638 · outbound

This paper cites Measure theory and fine properties of functions.

Closed-Form Robustness Bounds for Second-Order Pruning of Neural Controller Policies Measure theory and fine properties of functions

Reference 4

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T21:54:44.084494Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

source=pdf_text observed=2026-08-06T21:54:43.450200Z digest=sha256:8808b427f6bd57d371a8a6647d019e8dc86aeeb9769931430aed48112174a749

Observation 8939fc97-3c1d-4aa8-8338-73c370226091 · outbound

This paper cites Sparsegpt: Massive language models can be accurately pruned in one-shot.

Closed-Form Robustness Bounds for Second-Order Pruning of Neural Controller Policies Sparsegpt: Massive language models can be accurately pruned in one-shot

Reference 5

Resolution
unresolved
no resolver link, observed 2026-08-06T21:54:43.540799Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T21:54:43.540799Z digest=sha256:a7df78b84d86a7f9d850bfba9a1a6f782604e16299c05df8957a2c55caf1aea8

Observation 11fa7e59-32c5-40c5-ba11-5618b2dcd1be · outbound

This paper cites A Review of Safe Reinforcement Learning: Methods, Theory and Applications.

Closed-Form Robustness Bounds for Second-Order Pruning of Neural Controller Policies A Review of Safe Reinforcement Learning: Methods, Theory and Applications

Reference 6

Resolution
unresolved
no resolver link, observed 2026-08-06T21:54:43.614688Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T21:54:43.614688Z digest=sha256:727967766048613f5610d0dbe7ab2fa15abb79880885621732ebf9bd7215f5cd

Observation ad9ef977-e278-477b-8f12-8e98788816a8 · outbound

This paper cites Second order derivatives for network pruning: Optimal brain surgeon.

Closed-Form Robustness Bounds for Second-Order Pruning of Neural Controller Policies Second order derivatives for network pruning: Optimal brain surgeon

Reference 7

Resolution
unresolved
no resolver link, observed 2026-08-06T21:54:43.636450Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T21:54:43.636450Z digest=sha256:55c4d69b3c61666b5d0b03c2137b5d7bba3f5c7a8562b2c971e3920b19eccd71

Observation acc74348-4943-4f50-8ba2-8de514599c98 · outbound

This paper cites Delving deep into rectifiers: Surpassing human-level performance on imagenet classification.

Closed-Form Robustness Bounds for Second-Order Pruning of Neural Controller Policies Delving deep into rectifiers: Surpassing human-level performance on imagenet classification

Reference 8

Resolution
unresolved
no resolver link, observed 2026-08-06T21:54:43.646080Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T21:54:43.646080Z digest=sha256:b2ffbf0eb52892ff9aa46f60fdefe53b19dd93c62eafedb8f576e7aae4b00246

Observation fe2b7153-c516-482d-ab47-65bd43170578 · outbound

This paper cites Gaussian Error Linear Units (GELUs).

Closed-Form Robustness Bounds for Second-Order Pruning of Neural Controller Policies Gaussian Error Linear Units (GELUs)

Reference 9

Resolution
unresolved
no resolver link, observed 2026-08-06T21:54:43.653791Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T21:54:43.653791Z digest=sha256:69e554d5ffdc5fc2ec636601da4d9812637162e0863b674c0c8894d0fcbd5160

Observation 1a2624cb-419a-43aa-b36d-e2d5b0f8ba39 · outbound

This paper cites Optimal brain damage.

Closed-Form Robustness Bounds for Second-Order Pruning of Neural Controller Policies Optimal brain damage

Reference 10

Resolution
unresolved
no resolver link, observed 2026-08-06T21:54:43.666564Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T21:54:43.666564Z digest=sha256:6d19735aa40c293a475a56b76184fc1eccb1ae15a488aa4e6618a0a39806403a

Observation 621c0a69-4451-4555-82f8-7b6d1f3ac046 · outbound

This paper cites Rectifier nonlinearities improve neural network acoustic models.

Closed-Form Robustness Bounds for Second-Order Pruning of Neural Controller Policies Rectifier nonlinearities improve neural network acoustic models

Reference 11

Resolution
unresolved
no resolver link, observed 2026-08-06T21:54:43.692854Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T21:54:43.692854Z digest=sha256:f5088616890c15cf4bfb64971bb3900fab1bd780583802ce847f9a7910bb2a2c

Observation c052c6bb-254c-4bb8-8b2a-25de66eb08ff · outbound

This paper cites Human-level control through deep reinforcement learning.

Closed-Form Robustness Bounds for Second-Order Pruning of Neural Controller Policies Human-level control through deep reinforcement learning

Reference 12

Resolution
unresolved
no resolver link, observed 2026-08-06T21:54:43.700268Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T21:54:43.700268Z digest=sha256:a8d8da8e04ed369064c79bbde1926091287cc359eaa5885170e2e9c8dd3059f5

Observation 04bd743e-85f8-4a15-8f42-b33d1faaa8e6 · outbound

This paper cites On the effects of pruning on evolved neural controllers for soft robots.

Closed-Form Robustness Bounds for Second-Order Pruning of Neural Controller Policies On the effects of pruning on evolved neural controllers for soft robots

Reference 13

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T21:54:43.986890Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

source=pdf_text observed=2026-08-06T21:54:43.711636Z digest=sha256:ce8f937b42f860f026877537e3044ef71d33994ee95dc613a7f1d28b7567c872

Observation e25dfab3-e6f5-4fd7-ab97-8275632d26e3 · outbound

This paper cites Rectified linear units improve restricted boltzmann machines.

Closed-Form Robustness Bounds for Second-Order Pruning of Neural Controller Policies Rectified linear units improve restricted boltzmann machines

Reference 14

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T21:54:43.958730Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

source=pdf_text observed=2026-08-06T21:54:43.719065Z digest=sha256:08bb5e4b6718928e37eb6f278813ef11312e7cc90fcfc19a891afa9ed9d5c6bd

Observation 061ac16d-3a26-4342-9616-28399e032014 · outbound

This paper cites Lipschitz regularity of deep neural networks: Analysis and efficient estimation.

Closed-Form Robustness Bounds for Second-Order Pruning of Neural Controller Policies Lipschitz regularity of deep neural networks: Analysis and efficient estimation

Reference 15

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T21:54:43.934786Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

source=pdf_text observed=2026-08-06T21:54:43.726294Z digest=sha256:7c8aa4d8e97d3e747be93cbb2adb07b26a728b91770e846f44dde3decc022807

Observation 779f8b3e-3901-4446-8aba-d512216052b9 · outbound

This paper cites Rethinking Lipschitz Neural Networks and Certified Robustness: A Boolean Function Perspective, October 2022.

Closed-Form Robustness Bounds for Second-Order Pruning of Neural Controller Policies Rethinking Lipschitz Neural Networks and Certified Robustness: A Boolean Function Perspective, October 2022

Reference 16

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T21:54:43.911517Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

source=pdf_text observed=2026-08-06T21:54:43.733181Z digest=sha256:914805042a17310516e87747698dab8435b3472397ba4ad3bb3eef393c5c50c7

Pith citing papers

No inbound Pith citation observations are available.