Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-11T13:45:34.772135Z
Paper Citation Record · LEDGER
As of 16 August 2026, this Paper Citation Record lists 53 of 53 outbound references and 1 inbound Pith citation observation for arXiv:2412.13229.
A citation records a reference. It does not transfer a finding from one paper to another.
Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-11T13:45:34.772135Z
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-16T06:30:59.297886+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-11T13:45:34.582433Z
A source-named dated measurement, never combined with another source.
Source: pith, observed 2026-08-11T13:45:34.915918Z
53 of 53 outbound references displayed
External citation measurements
No source-named external measurement is stored.
Observation e660cdba-99ac-4741-9ccd-0c89f3ce7a1b · outbound
Training Verification-Friendly Neural Networks via Neuron Behavior Consistency , " * write output.state after.block = add.period write newline
Reference 1
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c5480d6a-23e4-4030-9092-20ca1c07223d · outbound
Training Verification-Friendly Neural Networks via Neuron Behavior Consistency write newline
Reference 2
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8c500a1b-632a-456c-a707-576b073125a6 · outbound
Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Unresolved cited work
Reference 3
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 6bd00db3-fa74-47fc-a6d2-d4fdb01ad322 · outbound
Training Verification-Friendly Neural Networks via Neuron Behavior Consistency The Second International Verification of Neural Networks Competition (VNN-COMP 2021): Summary and Results
Reference 4
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 32dc2fc3-96d5-4d97-bc48-953b450f3fbb · outbound
Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Unresolved cited work
Reference 5
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation dec7a72c-cca0-40c6-b624-c3a2d834ee47 · outbound
Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Unresolved cited work
Reference 6
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 31fc1376-550d-4787-a113-68d2702ea97f · outbound
Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Unresolved cited work
Reference 7
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation bf81f089-d025-4003-94ee-cce9353a48bf · outbound
Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Unresolved cited work
Reference 8
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 980cc218-22c6-4b42-b188-3aace1cbabfa · outbound
Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Unresolved cited work
Reference 9
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 1817f20c-e410-46c4-8c22-0647856f156b · outbound
Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Unresolved cited work
Reference 10
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 8c08dd65-48c1-4da4-a970-725834ccef2e · outbound
Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Unresolved cited work
Reference 11
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation f9b97058-6c23-4167-a084-009dfd9b9ff4 · outbound
Training Verification-Friendly Neural Networks via Neuron Behavior Consistency IBP Regularization for Verified Adversarial Robustness via Branch-and-Bound
Reference 12
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 63ba634b-114e-4ef1-a73f-c305ebf25c5a · outbound
Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Unresolved cited work
Reference 13
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 13aa3aa3-2500-492d-8f62-6161178843c8 · outbound
Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Unresolved cited work
Reference 14
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 331d3241-061a-4f8e-af23-1f81379a6e48 · outbound
Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Unresolved cited work
Reference 15
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation be6e2e08-2ded-475c-a657-44efcf96b5c2 · outbound
Training Verification-Friendly Neural Networks via Neuron Behavior Consistency On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models
Reference 16
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 21fe9255-1e23-4236-8c6b-943006da697e · outbound
Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Unresolved cited work
Reference 17
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 002708c5-a830-484b-b194-b7aca13be690 · outbound
Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Unresolved cited work
Reference 18
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 9ec8a595-94ab-4efa-b98e-cfe75f9d98fd · outbound
Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Unresolved cited work
Reference 19
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 94da715c-4222-46b8-927f-921e78341ad8 · outbound
Training Verification-Friendly Neural Networks via Neuron Behavior Consistency D.; Kochenderfer, M
Reference 20
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 73505075-0485-4b8b-9b64-57a4f5bea8b1 · outbound
Training Verification-Friendly Neural Networks via Neuron Behavior Consistency L.; Julian, K.; and Kochenderfer, M
Reference 21
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 1e29564f-c6be-4a51-be11-02664dd65f3d · outbound
Training Verification-Friendly Neural Networks via Neuron Behavior Consistency A.; Ibeling, D.; Julian, K.; Lazarus, C.; Lim, R.; Shah, P.; Thakoor, S.; Wu, H.; Zeljic, A.; Dill, D
Reference 22
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 3b0de6af-e946-4056-a13c-531c8d1c29f0 · outbound
Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Unresolved cited work
Reference 23
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 416449ef-ee96-4397-b60c-9085e38c9880 · outbound
Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Unresolved cited work
Reference 24
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0802dce4-da2b-49b7-ae90-832c11a1f6ba · outbound
Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Unresolved cited work
Reference 25
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 17540d9b-9f6d-4e62-b4cf-adcba8a45343 · outbound
Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Training Verification-Friendly Neural Networks via Neuron Behavior Consistency
Reference 26
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 62246c5b-6c92-4104-be67-ebb98f9a836b · outbound
Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Unresolved cited work
Reference 27
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 8dc08f4a-f0b4-4aa6-86ff-407f537c4d7b · outbound
Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Unresolved cited work
Reference 28
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 69f481c7-d53f-4763-b11a-12bba393f7c6 · outbound
Training Verification-Friendly Neural Networks via Neuron Behavior Consistency The Third International Verification of Neural Networks Competition (VNN-COMP 2022): Summary and Results
Reference 29
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e4e34864-b4f1-4bf6-aaef-8823e6fa1e37 · outbound
Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Unresolved cited work
Reference 30
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 149559e2-dd47-46f0-972a-b9c6030ec97b · outbound
Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Unresolved cited work
Reference 31
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation f53f2c69-3912-4780-bdb7-a9ff78b11078 · outbound
Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Unresolved cited work
Reference 32
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 80bd59f7-8ca3-4ace-a475-de18f35ef67f · outbound
Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Unresolved cited work
Reference 33
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation df447b0c-3cd8-4673-b224-9cdcea899a5a · outbound
Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Y.; and Tedrake, R
Reference 34
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation c6392c5f-25b4-44d3-8588-f8fd3a70c9d9 · outbound
Training Verification-Friendly Neural Networks via Neuron Behavior Consistency V.; Xiang, W.; Bak, S.; and Johnson, T
Reference 35
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 10338047-b606-490f-a307-d8072609e3b6 · outbound
Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Unresolved cited work
Reference 36
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 5acefa06-57bf-45a0-960a-ff49c7ddd167 · outbound
Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Unresolved cited work
Reference 37
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation a5f65baa-4a37-4408-b3f1-592a5851920e · outbound
Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Unresolved cited work
Reference 38
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 4cc73ed3-d19a-47af-9f9f-d03c95b68daa · outbound
Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Fashion-MNIST: a Novel Image Dataset for Benchmarking Machine Learning Algorithms
Reference 39
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 746b1887-76ec-475e-8f2f-e70cb2b3d4ed · outbound
Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Y.; Tjeng, V.; Shafiullah, N
Reference 40
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 58a8061c-2e77-4413-ab7a-b573eab62982 · outbound
Training Verification-Friendly Neural Networks via Neuron Behavior Consistency J.; Duong, H.; and Dwyer, M
Reference 41
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 339031d5-b987-4341-bc06-e1575a21d8c5 · outbound
Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Unresolved cited work
Reference 42
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 418923c9-2353-40b4-a9c1-0974a7ef9c85 · outbound
Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Towards Stable and Efficient Training of Verifiably Robust Neural Networks
Reference 43
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2792298a-3724-4e02-b39f-c274fa67db7b · outbound
Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Unresolved cited work
Reference 44
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 7e24260c-2a4a-4c6b-b895-2eeaaf7c2560 · outbound
Training Verification-Friendly Neural Networks via Neuron Behavior Consistency P.; Ghaoui, L
Reference 45
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 0ed97894-3841-4139-a882-fc462c6e568a · outbound
Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Unresolved cited work
Reference 46
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 3269e9f3-1f5a-49fe-a819-01ec6e675cf6 · outbound
Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Unresolved cited work
Reference 47
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 43b12340-27c8-466d-9679-eca0d6ad1fa4 · outbound
Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Unresolved cited work
Reference 48
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 3ecfa54d-0d64-4afa-9380-d65e61420263 · outbound
Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Unresolved cited work
Reference 49
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 44f2cd24-79f1-46a9-9ce3-71637f4059f0 · outbound
Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Unresolved cited work
Reference 50
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 672b393a-1b1a-462b-a1b9-fbea9be17040 · outbound
Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Unresolved cited work
Reference 51
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 31b6af79-70ce-4c06-a2c0-f6a8556d29df · outbound
Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Unresolved cited work
Reference 52
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation c7f63485-86b5-47bc-a9ad-8d2abc8de2cb · outbound
Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Unresolved cited work
Reference 53
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 17540d9b-9f6d-4e62-b4cf-adcba8a45343 · inbound
Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Training Verification-Friendly Neural Networks via Neuron Behavior Consistency
Reference 26
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.