Paper Citation Record · LEDGER

Formal Verification of Neural Certificates Done Dynamically

As of 14 August 2026, this Paper Citation Record lists 36 of 36 outbound references and 0 inbound Pith citation observations for arXiv:2507.11987.

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

pith.paper-citation-record.v1
2507.11987 v1

Coverage vector

measured 36 of 36 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-06T17:04:55.423861Z

measured 36 of 36 standing notices

One-hop event checks from named stored sources.

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

36 of 36 outbound references displayed

verified exact0
verified fuzzy32
unresolved4
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 73ed7e20-330e-4382-b606-c00b47c5878c · outbound

This paper cites In: Proceedings of the 24th international conference on hybrid systems: computation and control.

Formal Verification of Neural Certificates Done Dynamically In: Proceedings of the 24th international conference on hybrid systems: computation and control

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:05:01.956038Z

Source-reported events for the cited work

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

Observation be5d07ca-00b2-4300-87cb-0d11be5f5f60 · outbound

This paper cites Heliyon 4(11) (2018).

Formal Verification of Neural Certificates Done Dynamically Heliyon 4(11) (2018)

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:05:01.665068Z

Source-reported events for the cited work

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

Observation cd46d646-1d2e-445e-b058-11b18804cf28 · outbound

This paper cites In: 53rd IEEE conference on decision and control.

Formal Verification of Neural Certificates Done Dynamically In: 53rd IEEE conference on decision and control

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:05:01.407265Z

Source-reported events for the cited work

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

Observation a53a7f76-65ee-417e-9061-bcbc2a69c0db · outbound

This paper cites Journal of medical systems 42, 1–13 (2018).

Formal Verification of Neural Certificates Done Dynamically Journal of medical systems 42, 1–13 (2018)

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:05:01.123413Z

Source-reported events for the cited work

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

Observation cec49067-4b28-40c5-82d7-55a7045647a1 · outbound

This paper cites In: International conference on tools and algo- rithms for the construction and analysis of systems.

Formal Verification of Neural Certificates Done Dynamically In: International conference on tools and algo- rithms for the construction and analysis of systems

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-06T17:04:53.341536Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 042fe998-3c50-427f-840a-72c4c71dfe3a · outbound

This paper cites Advances in neural information processing systems32 (2019).

Formal Verification of Neural Certificates Done Dynamically Advances in neural information processing systems32 (2019)

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:05:00.928363Z

Source-reported events for the cited work

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

Observation abfeb650-a5a9-40cd-8cf5-6b9bac542f25 · outbound

This paper cites In: TACAS (1).

Formal Verification of Neural Certificates Done Dynamically In: TACAS (1)

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:05:00.641760Z

Source-reported events for the cited work

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

Observation c0f8188f-c9bd-4792-ad1e-41a538f1632c · outbound

This paper cites In: 28th IEEE International Real-Time Systems Symposium (RTSS 2007).

Formal Verification of Neural Certificates Done Dynamically In: 28th IEEE International Real-Time Systems Symposium (RTSS 2007)

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:05:00.388452Z

Source-reported events for the cited work

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

Observation 97d905ba-8306-4507-9c25-ce6df8f1e7f3 · outbound

This paper cites IEEE Trans.

Formal Verification of Neural Certificates Done Dynamically IEEE Trans

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:05:00.146737Z

Source-reported events for the cited work

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

Observation d8f80eb1-934f-4207-b7f6-ad0c8ffbd0c4 · outbound

This paper cites In: Conference on Robot Learning.

Formal Verification of Neural Certificates Done Dynamically In: Conference on Robot Learning

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:04:59.979265Z

Source-reported events for the cited work

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

Observation 46f2e4b0-b519-4e21-bffb-29da8a7f04c7 · outbound

This paper cites In: 2019 49th An- nual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).

Formal Verification of Neural Certificates Done Dynamically In: 2019 49th An- nual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:04:59.826816Z

Source-reported events for the cited work

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

Observation ced40222-af7c-4271-af93-29ab71f64923 · outbound

This paper cites In: The Thirty-eighth Annual Conference on Neural Information Processing Systems (2024).

Formal Verification of Neural Certificates Done Dynamically In: The Thirty-eighth Annual Conference on Neural Information Processing Systems (2024)

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:04:59.642360Z

Source-reported events for the cited work

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

Observation 218b681b-aa73-4e68-87fe-4e0436c00352 · outbound

This paper cites an unresolved cited work.

Formal Verification of Neural Certificates Done Dynamically Unresolved cited work

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-06T17:04:53.820816Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fe8548c9-86fa-4314-a339-12ec3c1f8523 · outbound

This paper cites In: L4DC.

Formal Verification of Neural Certificates Done Dynamically In: L4DC

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:04:59.392515Z

Source-reported events for the cited work

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

Observation fd5f71df-02e4-4519-826f-650288026b9c · outbound

This paper cites In: 2016 IEEE 55th Conference on Decision and Control (CDC).

Formal Verification of Neural Certificates Done Dynamically In: 2016 IEEE 55th Conference on Decision and Control (CDC)

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:04:59.141966Z

Source-reported events for the cited work

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

Observation 298cb608-9672-4315-8323-2c9b16e3f8cd · outbound

This paper cites IEEE transactions on neural networks and learning systems29(6), 2042–2062 (2017).

Formal Verification of Neural Certificates Done Dynamically IEEE transactions on neural networks and learning systems29(6), 2042–2062 (2017)

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:04:59.007018Z

Source-reported events for the cited work

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

Observation 37838952-48f7-4059-a176-8911e46eeae2 · outbound

This paper cites In: International Symposium on Model Checking Software.

Formal Verification of Neural Certificates Done Dynamically In: International Symposium on Model Checking Software

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:04:58.796653Z

Source-reported events for the cited work

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

Observation d4516a8b-70ca-4b79-91b3-0d470897ebb4 · outbound

This paper cites In: # PLACE- HOLDER_PARENT_METADATA_VALUE#.

Formal Verification of Neural Certificates Done Dynamically In: # PLACE- HOLDER_PARENT_METADATA_VALUE#

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:04:58.547616Z

Source-reported events for the cited work

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

Observation 6375820c-f90c-4e32-9524-091b7ff8f70d · outbound

This paper cites In: NASA formal methods symposium.

Formal Verification of Neural Certificates Done Dynamically In: NASA formal methods symposium

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:04:58.231176Z

Source-reported events for the cited work

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

Observation 8f772f31-23f4-42cc-ab12-0c645a495dc6 · outbound

This paper cites In: International conference on tools and algorithms for the construction and analysis of systems.

Formal Verification of Neural Certificates Done Dynamically In: International conference on tools and algorithms for the construction and analysis of systems

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:04:58.042337Z

Source-reported events for the cited work

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

Observation e83baee0-bd18-4147-bbe3-22ea5cf15034 · outbound

This paper cites Formal Methods in System Design51, 62–86 (2017).

Formal Verification of Neural Certificates Done Dynamically Formal Methods in System Design51, 62–86 (2017)

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:04:57.850111Z

Source-reported events for the cited work

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

Observation 63edd87f-00cf-4296-be7b-fe733fdfeedd · outbound

This paper cites IEEE Trans.

Formal Verification of Neural Certificates Done Dynamically IEEE Trans

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:04:57.615931Z

Source-reported events for the cited work

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

Observation 8545a841-ba36-4b69-98b9-560864ecd124 · outbound

This paper cites Barron Associates, Inc.

Formal Verification of Neural Certificates Done Dynamically Barron Associates, Inc

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:04:57.407698Z

Source-reported events for the cited work

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

Observation bad99bb9-42ef-446a-aa88-38761c0d6fed · outbound

This paper cites In: Proceedings of the 22nd IEEE/ACM international conference on Automated software engineering.

Formal Verification of Neural Certificates Done Dynamically In: Proceedings of the 22nd IEEE/ACM international conference on Automated software engineering

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:04:57.214513Z

Source-reported events for the cited work

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

Observation 26bc1d61-3060-4871-b14b-d3f257a9b793 · outbound

This paper cites In: Haifa Verification Confer- ence.

Formal Verification of Neural Certificates Done Dynamically In: Haifa Verification Confer- ence

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:04:57.060494Z

Source-reported events for the cited work

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

Observation 9a0888d3-5897-4102-b170-5e29410c9aba · outbound

This paper cites In: ESEC/SIGSOFT FSE.

Formal Verification of Neural Certificates Done Dynamically In: ESEC/SIGSOFT FSE

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:04:56.856145Z

Source-reported events for the cited work

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

Observation c4767995-c811-4d0f-abe7-125e1d6e48bf · outbound

This paper cites ACC (IEEE Cat.

Formal Verification of Neural Certificates Done Dynamically ACC (IEEE Cat

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:04:56.745314Z

Source-reported events for the cited work

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

Observation 7b017106-7714-4447-8d1f-68a0691afde8 · outbound

This paper cites an unresolved cited work.

Formal Verification of Neural Certificates Done Dynamically Unresolved cited work

Reference 28

Resolution: unresolved; raw_fallback, observed 2026-08-06T17:04:56.633045Z

Source-reported events for the cited work

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

Observation 89b10c37-af21-4900-995b-1fcfff654ab1 · outbound

This paper cites In: conference on Robot Learning.

Formal Verification of Neural Certificates Done Dynamically In: conference on Robot Learning

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:04:56.504236Z

Source-reported events for the cited work

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

Observation 16106853-d925-49da-b5da-e67d1d96c214 · outbound

This paper cites Learning a Formally Verified Control Barrier Function in Stochastic Environment.

Formal Verification of Neural Certificates Done Dynamically Learning a Formally Verified Control Barrier Function in Stochastic Environment

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-06T17:04:54.992321Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f06edd89-39b8-42cf-be18-52c28a709470 · outbound

This paper cites IEEE Robotics and Automation Letters8(11), 7106–7113 (2023).

Formal Verification of Neural Certificates Done Dynamically IEEE Robotics and Automation Letters8(11), 7106–7113 (2023)

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:04:56.365633Z

Source-reported events for the cited work

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

Observation cb104212-9f15-4c66-95bf-f64b97cd7ed0 · outbound

This paper cites In: Proceedings of the AAAI Conference on Artificial Intelligence.

Formal Verification of Neural Certificates Done Dynamically In: Proceedings of the AAAI Conference on Artificial Intelligence

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:04:56.167228Z

Source-reported events for the cited work

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

Observation 8becbb96-1cd8-4a86-b002-97a2c2c55cf6 · outbound

This paper cites In: NeurIPS (2024).

Formal Verification of Neural Certificates Done Dynamically In: NeurIPS (2024)

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:04:56.029805Z

Source-reported events for the cited work

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

Observation 9bdd56dd-8077-49c8-801b-955d6c232cc6 · outbound

This paper cites Advances in neural information processing systems36, 5685–5705 (2023).

Formal Verification of Neural Certificates Done Dynamically Advances in neural information processing systems36, 5685–5705 (2023)

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:04:55.851556Z

Source-reported events for the cited work

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

Observation 42a9ff4d-6eee-4778-93da-2c57ab3a6072 · outbound

This paper cites In: Proceedings of the 23rd international conference on hybrid systems: Computation and control.

Formal Verification of Neural Certificates Done Dynamically In: Proceedings of the 23rd international conference on hybrid systems: Computation and control

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:04:55.692353Z

Source-reported events for the cited work

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

Observation c656f5b8-6c2f-4e3a-b377-21518e865beb · outbound

This paper cites In: Proceedings of the 25th ACM International Conference on Hybrid Systems: Computation and Control.

Formal Verification of Neural Certificates Done Dynamically In: Proceedings of the 25th ACM International Conference on Hybrid Systems: Computation and Control

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:04:55.544756Z

Source-reported events for the cited work

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

Pith citing papers

No inbound Pith citation observations are available.