Paper Citation Record · LEDGER

Learning Lookahead Lemmas for Neural Network Verification

As of 18 August 2026, this Paper Citation Record lists 39 of 39 outbound references and 0 inbound Pith citation observations for arXiv:2607.29051.

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

pith.paper-citation-record.v1
2607.29051 v1

Coverage vector

measured 39 of 39 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-03T14:41:46.484279Z

measured 39 of 39 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 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

39 of 39 outbound references displayed

verified exact0
verified fuzzy0
unresolved39
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 7c27bd53-c821-426b-8444-2b69053b408a · outbound

This paper cites an unresolved cited work.

Learning Lookahead Lemmas for Neural Network Verification Unresolved cited work

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-03T14:41:46.203375Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cab6de6d-22a0-42f4-85f8-81e915b60d73 · outbound

This paper cites an unresolved cited work.

Learning Lookahead Lemmas for Neural Network Verification Unresolved cited work

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-03T14:41:46.286724Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation efb8608a-7156-435c-9ee4-6c7ce0700797 · outbound

This paper cites an unresolved cited work.

Learning Lookahead Lemmas for Neural Network Verification Unresolved cited work

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-03T14:41:46.327674Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 49e9e3be-fae3-45f2-8ccb-80cc01102ef0 · outbound

This paper cites The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results.

Learning Lookahead Lemmas for Neural Network Verification The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-03T14:41:46.333144Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8b8cfc58-f714-4007-9542-8bb9d1ef693f · outbound

This paper cites The Fourth International Verification of Neural Networks Competition (VNN-COMP 2023): Summary and Results.

Learning Lookahead Lemmas for Neural Network Verification The Fourth International Verification of Neural Networks Competition (VNN-COMP 2023): Summary and Results

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-03T14:41:46.338261Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b5a0c565-caf0-4b75-92bd-c2cc6e6f17ee · outbound

This paper cites H.; Kohli, P.; and Kumar, M.

Learning Lookahead Lemmas for Neural Network Verification H.; Kohli, P.; and Kumar, M

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-03T14:41:46.343241Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 04c93efd-b9dc-4b35-ae41-904c12db718f · outbound

This paper cites Lookahead Branching for Neural Network Verification.

Learning Lookahead Lemmas for Neural Network Verification Lookahead Branching for Neural Network Verification

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-03T14:41:46.348287Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 096a3db6-c2ad-4b78-a436-c845063c2962 · outbound

This paper cites an unresolved cited work.

Learning Lookahead Lemmas for Neural Network Verification Unresolved cited work

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-03T14:41:46.353058Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b1244b88-5139-4439-bc96-56b518378c93 · outbound

This paper cites an unresolved cited work.

Learning Lookahead Lemmas for Neural Network Verification Unresolved cited work

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-03T14:41:46.357374Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dc32217b-2c0a-4b20-a832-4db05426a6cf · outbound

This paper cites an unresolved cited work.

Learning Lookahead Lemmas for Neural Network Verification Unresolved cited work

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-03T14:41:46.361742Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fbceb5a0-4b14-4e8f-b672-79fa3f13b917 · outbound

This paper cites an unresolved cited work.

Learning Lookahead Lemmas for Neural Network Verification Unresolved cited work

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-03T14:41:46.366184Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 25ec07b8-a17f-4340-b367-a029307f70a2 · outbound

This paper cites an unresolved cited work.

Learning Lookahead Lemmas for Neural Network Verification Unresolved cited work

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-03T14:41:46.370282Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a07b19f7-202d-4b82-b84a-dd8f4a0e24a0 · outbound

This paper cites an unresolved cited work.

Learning Lookahead Lemmas for Neural Network Verification Unresolved cited work

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-03T14:41:46.374369Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b2a4a2ce-31f6-421c-beb0-e4f9f30f715b · outbound

This paper cites an unresolved cited work.

Learning Lookahead Lemmas for Neural Network Verification Unresolved cited work

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-03T14:41:46.378531Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 14d7be94-ddad-432d-9a82-0c58e15234d0 · outbound

This paper cites an unresolved cited work.

Learning Lookahead Lemmas for Neural Network Verification Unresolved cited work

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-03T14:41:46.382849Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 759cead6-2c70-42dd-bf8d-4b24c9725645 · outbound

This paper cites an unresolved cited work.

Learning Lookahead Lemmas for Neural Network Verification Unresolved cited work

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-03T14:41:46.387063Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b07e86db-ce9b-470a-be42-b47eb3971443 · outbound

This paper cites D.; Lopez, J.; Brush, J.

Learning Lookahead Lemmas for Neural Network Verification D.; Lopez, J.; Brush, J

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-03T14:41:46.391025Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3d1eddd0-58e0-403d-b42c-f3d83fcc845d · outbound

This paper cites L.; Julian, K.; and Kochenderfer, M.

Learning Lookahead Lemmas for Neural Network Verification L.; Julian, K.; and Kochenderfer, M

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-03T14:41:46.395186Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a2879c3c-e97e-44e0-9c5f-098ba5b56e1b · outbound

This paper cites A.; Ibeling, D.; Julian, K.; Lazarus, C.; Lim, R.; Shah, P.; Thakoor, S.; Wu, H.; Zelji \'c , A.; Dill, D.

Learning Lookahead Lemmas for Neural Network Verification A.; Ibeling, D.; Julian, K.; Lazarus, C.; Lim, R.; Shah, P.; Thakoor, S.; Wu, H.; Zelji \'c , A.; Dill, D

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-03T14:41:46.399505Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5bd2e8fa-be8f-45e7-8753-f97f28f281b5 · outbound

This paper cites T.; Koller, L.; Manino, E.; Nguyen, T.

Learning Lookahead Lemmas for Neural Network Verification T.; Koller, L.; Manino, E.; Nguyen, T

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-03T14:41:46.403660Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7d5dfb67-ed18-49dd-a7f9-56fe28f731db · outbound

This paper cites Z.; Dvijotham, K.; and Zhang, H.

Learning Lookahead Lemmas for Neural Network Verification Z.; Dvijotham, K.; and Zhang, H

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-03T14:41:46.407877Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 266ea979-62c1-4b85-a921-9c715d5960ba · outbound

This paper cites an unresolved cited work.

Learning Lookahead Lemmas for Neural Network Verification Unresolved cited work

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-03T14:41:46.412089Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7e3d9c43-93b5-41e3-983b-67183dc8e461 · outbound

This paper cites an unresolved cited work.

Learning Lookahead Lemmas for Neural Network Verification Unresolved cited work

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-03T14:41:46.416272Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8812d710-cb8a-4163-b021-c733e3b00aef · outbound

This paper cites an unresolved cited work.

Learning Lookahead Lemmas for Neural Network Verification Unresolved cited work

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-03T14:41:46.420387Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8bea2ddc-3972-4769-8a0e-d020bc894cc9 · outbound

This paper cites Playing Atari with Deep Reinforcement Learning.

Learning Lookahead Lemmas for Neural Network Verification Playing Atari with Deep Reinforcement Learning

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-03T14:41:46.424359Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f9e6445c-e4d6-4182-8f65-f00d67c6e335 · outbound

This paper cites an unresolved cited work.

Learning Lookahead Lemmas for Neural Network Verification Unresolved cited work

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-03T14:41:46.428637Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4ae8e7f3-21a5-4676-870d-2d9d97b603da · outbound

This paper cites Deep Reinforcement Learning framework for Autonomous Driving.

Learning Lookahead Lemmas for Neural Network Verification Deep Reinforcement Learning framework for Autonomous Driving

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-03T14:41:46.433825Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ae197a1e-c7b9-4996-984d-4ce4e87e0503 · outbound

This paper cites an unresolved cited work.

Learning Lookahead Lemmas for Neural Network Verification Unresolved cited work

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-03T14:41:46.438320Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dfad0420-a48f-47b6-823c-c3c2677430f5 · outbound

This paper cites an unresolved cited work.

Learning Lookahead Lemmas for Neural Network Verification Unresolved cited work

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-03T14:41:46.442212Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 836fd0ef-103c-4614-80b4-f97dd5ccb715 · outbound

This paper cites an unresolved cited work.

Learning Lookahead Lemmas for Neural Network Verification Unresolved cited work

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-03T14:41:46.446586Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 40454e92-a859-40f4-a093-bee73051b1ff · outbound

This paper cites an unresolved cited work.

Learning Lookahead Lemmas for Neural Network Verification Unresolved cited work

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-03T14:41:46.450711Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2b727b08-a7d8-467b-a508-e750fbaceae6 · outbound

This paper cites an unresolved cited work.

Learning Lookahead Lemmas for Neural Network Verification Unresolved cited work

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-03T14:41:46.454661Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8c83785b-2a9a-4bb9-afe4-a8a2d467390b · outbound

This paper cites an unresolved cited work.

Learning Lookahead Lemmas for Neural Network Verification Unresolved cited work

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-03T14:41:46.458670Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 80d33ec8-b911-4873-b5a7-e5e0845121b7 · outbound

This paper cites an unresolved cited work.

Learning Lookahead Lemmas for Neural Network Verification Unresolved cited work

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-03T14:41:46.463008Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a065ceda-1f29-4d0c-817e-c44acadf1544 · outbound

This paper cites an unresolved cited work.

Learning Lookahead Lemmas for Neural Network Verification Unresolved cited work

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-03T14:41:46.467294Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 44c6e2c6-f269-407d-8425-12ddce69dcc7 · outbound

This paper cites an unresolved cited work.

Learning Lookahead Lemmas for Neural Network Verification Unresolved cited work

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-03T14:41:46.471204Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8420887a-d734-468a-9575-33d822acf22e · outbound

This paper cites an unresolved cited work.

Learning Lookahead Lemmas for Neural Network Verification Unresolved cited work

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-03T14:41:46.475345Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dc5cf54f-a5fe-4f41-8411-0b856b53bb15 · outbound

This paper cites A.; and Zhang, H.

Learning Lookahead Lemmas for Neural Network Verification A.; and Zhang, H

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-03T14:41:46.479881Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation eb8f102e-49a5-48ea-b67c-b67a25890ed6 · outbound

This paper cites A.; and Zhang, H.

Learning Lookahead Lemmas for Neural Network Verification A.; and Zhang, H

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-03T14:41:46.484279Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.