Paper Citation Record · LEDGER

Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification

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

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

pith.paper-citation-record.v1
2512.10747 v2

Coverage vector

measured 36 of 36 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-03T17:06:49.917846Z

measured 36 of 36 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-09T06:31:02.800959+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 fuzzy0
unresolved36
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 8a4668a4-a3d6-4e9a-b378-6bb8260d6dc3 · outbound

This paper cites an unresolved cited work.

Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification Unresolved cited work

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-03T17:06:48.221835Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 210a1aad-c4d3-44af-bd59-4184d3007149 · outbound

This paper cites an unresolved cited work.

Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification Unresolved cited work

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-03T17:06:48.280170Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 24fd7e80-6de3-41a9-ac64-9ea7a7c4e647 · outbound

This paper cites Bassan, G.

Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification Bassan, G

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-03T17:06:48.374055Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9cad11b8-e3e2-411f-b234-c1e479236231 · outbound

This paper cites Bassan, Y.

Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification Bassan, Y

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-03T17:06:48.406945Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6a1217d6-b45d-4437-bc00-050519d95895 · outbound

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

Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-03T17:06:48.445732Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2065de4d-f38a-4724-b634-1d59183f4d58 · outbound

This paper cites Bunel, J.

Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification Bunel, J

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-03T17:06:48.485834Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1dadab11-73d2-4ebe-9bd7-df0c4c99d711 · outbound

This paper cites Carlini and D.

Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification Carlini and D

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-03T17:06:48.494893Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 97a65cb7-3e4a-4f08-9db1-84a4b4a84f68 · outbound

This paper cites Casadio, E.

Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification Casadio, E

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-03T17:06:48.543421Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 241e36da-f04b-409a-8cb3-06e363c6e98d · outbound

This paper cites Desmartin, O.

Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification Desmartin, O

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-03T17:06:48.583050Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bd905f08-2d51-4cec-87f3-023781569e18 · outbound

This paper cites Elboher, E.

Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification Elboher, E

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-03T17:06:48.614348Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b49d5ac9-cc6d-4cc8-930a-38d8a2bdbb06 · outbound

This paper cites Elboher, R.

Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification Elboher, R

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-03T17:06:48.663295Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cffacb74-5890-41cb-83fe-bac2feee082e · outbound

This paper cites Elboher, O.

Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification Elboher, O

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-03T17:06:48.709883Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0c3e7668-1335-4cc9-b4a8-442229ecaeaf · outbound

This paper cites Complete Verification via Multi-Neuron Relaxation Guided Branch-and-Bound.

Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification Complete Verification via Multi-Neuron Relaxation Guided Branch-and-Bound

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-03T17:06:48.746821Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7b7bcb4a-c2f8-4663-b207-9a92b3255c30 · outbound

This paper cites Goodfellow, J.

Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification Goodfellow, J

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-03T17:06:48.794792Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c7d8040a-b461-4084-8263-8a303db33652 · outbound

This paper cites an unresolved cited work.

Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification Unresolved cited work

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-03T17:06:48.830674Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4ae1f5be-eae6-4521-bb59-8cc0b808e067 · outbound

This paper cites Hester, M.

Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification Hester, M

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-03T17:06:48.897733Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bb91de1c-1f5e-4306-909b-ca9bd374be38 · outbound

This paper cites an unresolved cited work.

Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification Unresolved cited work

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-03T17:06:48.920639Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8b152ac4-7162-4b44-bac1-89d66bbadeff · outbound

This paper cites Neural Network Branch-and-Bound for Neural Network Verification.

Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification Neural Network Branch-and-Bound for Neural Network Verification

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-03T17:06:48.948628Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bb21e4e6-9bb4-4f75-8cf8-03de4363828c · outbound

This paper cites Julian, M.

Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification Julian, M

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-03T17:06:48.994444Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 435296cf-eb31-4065-8cce-57290d9299a5 · outbound

This paper cites an unresolved cited work.

Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification Unresolved cited work

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-03T17:06:49.014511Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7e6d0f84-26d6-4912-b3fe-b24db3233524 · outbound

This paper cites an unresolved cited work.

Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification Unresolved cited work

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-03T17:06:49.052279Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 511edc1f-6a0a-414d-9977-77f745da9dcc · outbound

This paper cites an unresolved cited work.

Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification Unresolved cited work

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-03T17:06:49.099682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6d41ace5-312d-41c4-b77b-4939fa489f73 · outbound

This paper cites an unresolved cited work.

Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification Unresolved cited work

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-03T17:06:49.142657Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 748f2850-cecd-4f19-b3fa-5bd7d41f5da3 · outbound

This paper cites Kessler, E.

Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification Kessler, E

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-03T17:06:49.177279Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1f42b795-2f13-4e57-a98a-5549da7f594c · outbound

This paper cites Lahav and G.

Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification Lahav and G

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-03T17:06:49.197162Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 776899ea-f55e-416d-a8c3-52e3195a485e · outbound

This paper cites Mandal, G.

Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification Mandal, G

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-03T17:06:49.244820Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 217af398-2f70-4279-8962-3fc4f92761db · outbound

This paper cites Mandal, G.

Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification Mandal, G

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-03T17:06:49.295048Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e48dd6ea-8a02-4855-aab9-d0d70a758a9b · outbound

This paper cites an unresolved cited work.

Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification Unresolved cited work

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-03T17:06:49.329024Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 09526d2d-ded3-44a3-b13a-2bfff4f04e57 · outbound

This paper cites An Improved Reinforcement Learning Algorithm for Learning to Branch.

Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification An Improved Reinforcement Learning Algorithm for Learning to Branch

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-03T17:06:49.424150Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 29cab131-762f-4dfd-a937-efd68921ba65 · outbound

This paper cites an unresolved cited work.

Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification Unresolved cited work

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-03T17:06:49.491640Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8818839e-c0ff-44fe-bf2e-8a66e1e4c533 · outbound

This paper cites Swisa and G.

Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification Swisa and G

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-03T17:06:49.529432Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1900d61c-f56e-4d50-b857-77b303c43495 · outbound

This paper cites Intriguing properties of neural networks.

Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification Intriguing properties of neural networks

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-03T17:06:49.589781Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 83d85035-daf5-483f-a143-01bb90bdb0b2 · outbound

This paper cites van Hasselt, A.

Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification van Hasselt, A

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-03T17:06:49.652714Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 61438432-45c7-4a3f-9dcc-0944430fdcd9 · outbound

This paper cites an unresolved cited work.

Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification Unresolved cited work

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-03T17:06:49.779987Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 32ef622e-828e-4491-baf1-f448d02789e9 · outbound

This paper cites an unresolved cited work.

Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification Unresolved cited work

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-03T17:06:49.848438Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e8e04d8c-a465-40bc-90fe-12bf9310c877 · outbound

This paper cites an unresolved cited work.

Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification Unresolved cited work

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-03T17:06:49.917846Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.