Pith. sign in

Paper Citation Record · LEDGER

Training Verification-Friendly Neural Networks via Neuron Behavior Consistency

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.

pith.paper-citation-record.v1
2412.13229 v2

Coverage vector

measured 53 of 53 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-11T13:45:34.772135Z

measured 54 of 54 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-16T06:30:59.297886+00:00

measured 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-11T13:45:34.582433Z

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: pith, observed 2026-08-11T13:45:34.915918Z

Reference resolution

53 of 53 outbound references displayed

  • verified exact1
  • verified fuzzy8
  • unresolved44
  • parse uncertain0
  • malformed identifier0
  • metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation e660cdba-99ac-4741-9ccd-0c89f3ce7a1b · outbound

This paper cites , " * write output.state after.block = add.period write newline.

Training Verification-Friendly Neural Networks via Neuron Behavior Consistency , " * write output.state after.block = add.period write newline

Reference 1

Resolution
unresolved
no resolver link, observed 2026-08-11T13:45:34.381168Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-11T13:45:34.381168Z digest=sha256:05f9dd3866149efffa2356d0f91c9d4c8fa55c84da38ed819955dad94f20c377

Observation c5480d6a-23e4-4030-9092-20ca1c07223d · outbound

This paper cites write newline.

Training Verification-Friendly Neural Networks via Neuron Behavior Consistency write newline

Reference 2

Resolution
unresolved
no resolver link, observed 2026-08-11T13:45:34.390222Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-11T13:45:34.390222Z digest=sha256:a251c32bbea3e05866b7ef109b703ef75d65d1a7fc77f35cc3143459d19a50a6

Observation 8c500a1b-632a-456c-a707-576b073125a6 · outbound

This paper cites an unresolved cited work.

Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Unresolved cited work

Reference 3

Resolution
unresolved
raw_fallback, observed 2026-08-11T13:45:36.327071Z

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.

source=arxiv_source observed=2026-08-11T13:45:34.397131Z digest=sha256:15470b12a8baaf91fa530a9b9a066264c35ab58c89db26bdbc754ff88c3dcb2e

Observation 6bd00db3-fa74-47fc-a6d2-d4fdb01ad322 · outbound

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

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

Resolution
unresolved
no resolver link, observed 2026-08-11T13:45:34.404785Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-11T13:45:34.404785Z digest=sha256:aafda97a43cb19fd596cffb1fcb31811984ec3c96f495dd3cd3dcdb52d75eb4f

Observation 32dc2fc3-96d5-4d97-bc48-953b450f3fbb · outbound

This paper cites an unresolved cited work.

Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Unresolved cited work

Reference 5

Resolution
unresolved
raw_fallback, observed 2026-08-11T13:45:36.291305Z

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.

source=arxiv_source observed=2026-08-11T13:45:34.411168Z digest=sha256:c23dd9eeb073cbfccbfc90c35c68d47be8393e3da454099acbab400233162b4f

Observation dec7a72c-cca0-40c6-b624-c3a2d834ee47 · outbound

This paper cites an unresolved cited work.

Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Unresolved cited work

Reference 6

Resolution
unresolved
raw_fallback, observed 2026-08-11T13:45:36.261108Z

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.

source=arxiv_source observed=2026-08-11T13:45:34.417837Z digest=sha256:bc45527b200ae542ee0ff487a61ad8e736f1a38e08a895a2fc7ff6f61c9becf7

Observation 31fc1376-550d-4787-a113-68d2702ea97f · outbound

This paper cites an unresolved cited work.

Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Unresolved cited work

Reference 7

Resolution
unresolved
raw_fallback, observed 2026-08-11T13:45:36.222911Z

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.

source=arxiv_source observed=2026-08-11T13:45:34.424036Z digest=sha256:4e7f2a7f08ba26fba1fe7484f61426b9366fd68dcf71dca5833943139fa07d02

Observation bf81f089-d025-4003-94ee-cce9353a48bf · outbound

This paper cites an unresolved cited work.

Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Unresolved cited work

Reference 8

Resolution
unresolved
raw_fallback, observed 2026-08-11T13:45:36.191148Z

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.

source=arxiv_source observed=2026-08-11T13:45:34.431788Z digest=sha256:aa09cf5a38e35ac69c67abca74b246f5ac9ea41197cf28ae464e919e780d6d6a

Observation 980cc218-22c6-4b42-b188-3aace1cbabfa · outbound

This paper cites an unresolved cited work.

Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Unresolved cited work

Reference 9

Resolution
unresolved
raw_fallback, observed 2026-08-11T13:45:36.163960Z

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.

source=arxiv_source observed=2026-08-11T13:45:34.438242Z digest=sha256:3cd345743665cdcdf6eee0d9d1cfc4dafdf94788a6cd0ab14f99a6fad3151616

Observation 1817f20c-e410-46c4-8c22-0647856f156b · outbound

This paper cites an unresolved cited work.

Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Unresolved cited work

Reference 10

Resolution
unresolved
raw_fallback, observed 2026-08-11T13:45:36.132763Z

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.

source=arxiv_source observed=2026-08-11T13:45:34.448827Z digest=sha256:c0f4f069cc4ad921d27832573f86cbacb0fcb6af3d2ca15ef7f62e79ff636679

Observation 8c08dd65-48c1-4da4-a970-725834ccef2e · outbound

This paper cites an unresolved cited work.

Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Unresolved cited work

Reference 11

Resolution
unresolved
raw_fallback, observed 2026-08-11T13:45:36.095178Z

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.

source=arxiv_source observed=2026-08-11T13:45:34.464049Z digest=sha256:f15af345551991c1078e3baec2f74bec8afeef1a31e406cb58025a27c776429f

Observation f9b97058-6c23-4167-a084-009dfd9b9ff4 · outbound

This paper cites IBP Regularization for Verified Adversarial Robustness via Branch-and-Bound.

Training Verification-Friendly Neural Networks via Neuron Behavior Consistency IBP Regularization for Verified Adversarial Robustness via Branch-and-Bound

Reference 12

Resolution
unresolved
no resolver link, observed 2026-08-11T13:45:34.472907Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-11T13:45:34.472907Z digest=sha256:7020c0db95ffcd16d0ecceca47fcd49e96fe80aa9db1e6b3802bb6b642e50fcd

Observation 63ba634b-114e-4ef1-a73f-c305ebf25c5a · outbound

This paper cites an unresolved cited work.

Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Unresolved cited work

Reference 13

Resolution
unresolved
raw_fallback, observed 2026-08-11T13:45:36.067281Z

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.

source=arxiv_source observed=2026-08-11T13:45:34.481219Z digest=sha256:6bc3d9b4aa4b93ea033b914d11b7daf1af5fe56ca8356709ffc728e37373df4a

Observation 13aa3aa3-2500-492d-8f62-6161178843c8 · outbound

This paper cites an unresolved cited work.

Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Unresolved cited work

Reference 14

Resolution
unresolved
no resolver link, observed 2026-08-11T13:45:34.487252Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-11T13:45:34.487252Z digest=sha256:84d5ad737dde0804e0cc4405c84a00174ef0ac96199e8250489a42a2afdd0408

Observation 331d3241-061a-4f8e-af23-1f81379a6e48 · outbound

This paper cites an unresolved cited work.

Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Unresolved cited work

Reference 15

Resolution
unresolved
raw_fallback, observed 2026-08-11T13:45:36.016886Z

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.

source=arxiv_source observed=2026-08-11T13:45:34.494224Z digest=sha256:abf9ed838091fb491efeca4e11454eb4b81e3c82b2e63044f7b0d7f860e99b6a

Observation be6e2e08-2ded-475c-a657-44efcf96b5c2 · outbound

This paper cites On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models.

Training Verification-Friendly Neural Networks via Neuron Behavior Consistency On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models

Reference 16

Resolution
unresolved
no resolver link, observed 2026-08-11T13:45:34.500647Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-11T13:45:34.500647Z digest=sha256:390a31cdc9f0f5c062879c50ace05c8e581a9fd19719f6efae959bc7e6a749c7

Observation 21fe9255-1e23-4236-8c6b-943006da697e · outbound

This paper cites an unresolved cited work.

Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Unresolved cited work

Reference 17

Resolution
unresolved
raw_fallback, observed 2026-08-11T13:45:35.972347Z

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.

source=arxiv_source observed=2026-08-11T13:45:34.508326Z digest=sha256:f901e7767ddb5b2ed03492caead5ae1ecc3d873cddc995f27b30b9e3ee705661

Observation 002708c5-a830-484b-b194-b7aca13be690 · outbound

This paper cites an unresolved cited work.

Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Unresolved cited work

Reference 18

Resolution
unresolved
raw_fallback, observed 2026-08-11T13:45:35.929779Z

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.

source=arxiv_source observed=2026-08-11T13:45:34.515072Z digest=sha256:ac249d7275916554b15a5923df8319c00514fc1a04580562f883c5997e8f84a9

Observation 9ec8a595-94ab-4efa-b98e-cfe75f9d98fd · outbound

This paper cites an unresolved cited work.

Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Unresolved cited work

Reference 19

Resolution
unresolved
raw_fallback, observed 2026-08-11T13:45:35.893167Z

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.

source=arxiv_source observed=2026-08-11T13:45:34.521673Z digest=sha256:bb615fb82e08979d21def6a5b387922fb93d327d4f8c7b016c6a45a193cd96f6

Observation 94da715c-4222-46b8-927f-921e78341ad8 · outbound

This paper cites D.; Kochenderfer, M.

Training Verification-Friendly Neural Networks via Neuron Behavior Consistency D.; Kochenderfer, M

Reference 20

Resolution
verified fuzzy
raw_fallback, observed 2026-08-11T13:45:35.859033Z

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.

source=arxiv_source observed=2026-08-11T13:45:34.527867Z digest=sha256:773924baeb363c159be5e4d5831e02a0a6fa997b3a452d7e248d9fdd0e9a506a

Observation 73505075-0485-4b8b-9b64-57a4f5bea8b1 · outbound

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

Training Verification-Friendly Neural Networks via Neuron Behavior Consistency L.; Julian, K.; and Kochenderfer, M

Reference 21

Resolution
verified fuzzy
raw_fallback, observed 2026-08-11T13:45:35.827646Z

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.

source=arxiv_source observed=2026-08-11T13:45:34.534735Z digest=sha256:721743925116cb6a6133dae27db78a753046783602697b426ad7e09b4a75472c

Observation 1e29564f-c6be-4a51-be11-02664dd65f3d · outbound

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

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

Resolution
verified fuzzy
raw_fallback, observed 2026-08-11T13:45:35.797907Z

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.

source=arxiv_source observed=2026-08-11T13:45:34.543953Z digest=sha256:c17609910c082b684e6ffd635f14891ffd934b46ec00b0bbb96f01f439422b05

Observation 3b0de6af-e946-4056-a13c-531c8d1c29f0 · outbound

This paper cites an unresolved cited work.

Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Unresolved cited work

Reference 23

Resolution
unresolved
no resolver link, observed 2026-08-11T13:45:34.557919Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-11T13:45:34.557919Z digest=sha256:683a8bd03c9906cd404e973989c2a7f3e1736a89760e0ad439f70585d6978c05

Observation 416449ef-ee96-4397-b60c-9085e38c9880 · outbound

This paper cites an unresolved cited work.

Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Unresolved cited work

Reference 24

Resolution
unresolved
no resolver link, observed 2026-08-11T13:45:34.567560Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-11T13:45:34.567560Z digest=sha256:c474eb2a999f9f7ce2cd8ddab8c873c4d1053e95f80fa41a14569f19e97d1e15

Observation 0802dce4-da2b-49b7-ae90-832c11a1f6ba · outbound

This paper cites an unresolved cited work.

Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Unresolved cited work

Reference 25

Resolution
unresolved
raw_fallback, observed 2026-08-11T13:45:35.704982Z

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.

source=arxiv_source observed=2026-08-11T13:45:34.575079Z digest=sha256:b3daf74687235ebd8ee3ea77eafa7cb334d25cd68b2cac9fb2db04d4af1b2d4d

Observation 17540d9b-9f6d-4e62-b4cf-adcba8a45343 · outbound

This paper cites Training Verification-Friendly Neural Networks via Neuron Behavior Consistency.

Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Training Verification-Friendly Neural Networks via Neuron Behavior Consistency

Reference 26

Resolution
verified exact
local_arxiv, observed 2026-08-11T13:45:34.928282Z

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.

source=arxiv_source observed=2026-08-11T13:45:34.582433Z digest=sha256:69adc98b1286423c1135e75417a1761934a549efa6651e08953a7e70e83268a7

Observation 62246c5b-6c92-4104-be67-ebb98f9a836b · outbound

This paper cites an unresolved cited work.

Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Unresolved cited work

Reference 27

Resolution
unresolved
raw_fallback, observed 2026-08-11T13:45:35.673085Z

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.

source=arxiv_source observed=2026-08-11T13:45:34.588404Z digest=sha256:ff39bd722140b1fe46210177c1e794f2def60b1795eecd5a75955033f9fc3448

Observation 8dc08f4a-f0b4-4aa6-86ff-407f537c4d7b · outbound

This paper cites an unresolved cited work.

Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Unresolved cited work

Reference 28

Resolution
unresolved
raw_fallback, observed 2026-08-11T13:45:35.640071Z

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.

source=arxiv_source observed=2026-08-11T13:45:34.598272Z digest=sha256:fdeabc23028aba7e13b615850c57c634705d3a6d0420426898c39693df62e31a

Observation 69f481c7-d53f-4763-b11a-12bba393f7c6 · outbound

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

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

Resolution
unresolved
no resolver link, observed 2026-08-11T13:45:34.606896Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-11T13:45:34.606896Z digest=sha256:51bce941341d7ff409186d8eba6d3457372768f4fd8a8e4fb13a2f98ecc348cf

Observation e4e34864-b4f1-4bf6-aaef-8823e6fa1e37 · outbound

This paper cites an unresolved cited work.

Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Unresolved cited work

Reference 30

Resolution
unresolved
raw_fallback, observed 2026-08-11T13:45:35.596355Z

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.

source=arxiv_source observed=2026-08-11T13:45:34.612998Z digest=sha256:a112d1f5511bb46e34917068c309e36ae93de70276a7d92af3f1fe6e5516e6e9

Observation 149559e2-dd47-46f0-972a-b9c6030ec97b · outbound

This paper cites an unresolved cited work.

Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Unresolved cited work

Reference 31

Resolution
unresolved
raw_fallback, observed 2026-08-11T13:45:35.567061Z

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.

source=arxiv_source observed=2026-08-11T13:45:34.620471Z digest=sha256:c7b6b26fd681610611a79195b655b159190880148a4a5ea8255dffda0b823eea

Observation f53f2c69-3912-4780-bdb7-a9ff78b11078 · outbound

This paper cites an unresolved cited work.

Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Unresolved cited work

Reference 32

Resolution
unresolved
raw_fallback, observed 2026-08-11T13:45:35.540913Z

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.

source=arxiv_source observed=2026-08-11T13:45:34.626802Z digest=sha256:b691e6b7689989f73d8567ff5cce50594d30543abde7afefc8af264c62c40e1c

Observation 80bd59f7-8ca3-4ace-a475-de18f35ef67f · outbound

This paper cites an unresolved cited work.

Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Unresolved cited work

Reference 33

Resolution
unresolved
raw_fallback, observed 2026-08-11T13:45:35.512895Z

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.

source=arxiv_source observed=2026-08-11T13:45:34.633001Z digest=sha256:4390eb571bec6dccb7bbb3d581e983059f4be38bcbe700775fd64a529b707cca

Observation df447b0c-3cd8-4673-b224-9cdcea899a5a · outbound

This paper cites Y.; and Tedrake, R.

Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Y.; and Tedrake, R

Reference 34

Resolution
verified fuzzy
raw_fallback, observed 2026-08-11T13:45:35.492257Z

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.

source=arxiv_source observed=2026-08-11T13:45:34.639385Z digest=sha256:753edddeffda2b68d8863605952b659e41ec772473c4767648472301a27baa0c

Observation c6392c5f-25b4-44d3-8588-f8fd3a70c9d9 · outbound

This paper cites V.; Xiang, W.; Bak, S.; and Johnson, T.

Training Verification-Friendly Neural Networks via Neuron Behavior Consistency V.; Xiang, W.; Bak, S.; and Johnson, T

Reference 35

Resolution
verified fuzzy
raw_fallback, observed 2026-08-11T13:45:35.467430Z

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.

source=arxiv_source observed=2026-08-11T13:45:34.646260Z digest=sha256:53e53a6a99214b32516e9fd2e6cbddcdaaa70b7df8108302c516d6335f87e46b

Observation 10338047-b606-490f-a307-d8072609e3b6 · outbound

This paper cites an unresolved cited work.

Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Unresolved cited work

Reference 36

Resolution
unresolved
raw_fallback, observed 2026-08-11T13:45:35.439643Z

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.

source=arxiv_source observed=2026-08-11T13:45:34.654017Z digest=sha256:0e47f9da829d8937c16ce0fb5925b3aebe313d661e60d6d833b833375b000010

Observation 5acefa06-57bf-45a0-960a-ff49c7ddd167 · outbound

This paper cites an unresolved cited work.

Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Unresolved cited work

Reference 37

Resolution
unresolved
raw_fallback, observed 2026-08-11T13:45:35.413721Z

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.

source=arxiv_source observed=2026-08-11T13:45:34.660075Z digest=sha256:aae6d19de4c283585ba4c09e244e449ace5c810ba474d67327dbcaa64494c1ea

Observation a5f65baa-4a37-4408-b3f1-592a5851920e · outbound

This paper cites an unresolved cited work.

Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Unresolved cited work

Reference 38

Resolution
unresolved
raw_fallback, observed 2026-08-11T13:45:35.387926Z

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.

source=arxiv_source observed=2026-08-11T13:45:34.666054Z digest=sha256:529e7fc5546f0c7afa6e6e3f45de4896193bf30db0ebd1595e0555b87cbf7666

Observation 4cc73ed3-d19a-47af-9f9f-d03c95b68daa · outbound

This paper cites Fashion-MNIST: a Novel Image Dataset for Benchmarking Machine Learning Algorithms.

Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Fashion-MNIST: a Novel Image Dataset for Benchmarking Machine Learning Algorithms

Reference 39

Resolution
unresolved
no resolver link, observed 2026-08-11T13:45:34.673180Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-11T13:45:34.673180Z digest=sha256:5b8f66a3f885a84844733cc64058cad0ac81b59753b4204958156041e0857639

Observation 746b1887-76ec-475e-8f2f-e70cb2b3d4ed · outbound

This paper cites Y.; Tjeng, V.; Shafiullah, N.

Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Y.; Tjeng, V.; Shafiullah, N

Reference 40

Resolution
verified fuzzy
raw_fallback, observed 2026-08-11T13:45:35.361960Z

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.

source=arxiv_source observed=2026-08-11T13:45:34.682287Z digest=sha256:ba967506a08c704362ff86b7c50c54f63502eaa5534c7e3112c46f6b9f143ecf

Observation 58a8061c-2e77-4413-ab7a-b573eab62982 · outbound

This paper cites J.; Duong, H.; and Dwyer, M.

Training Verification-Friendly Neural Networks via Neuron Behavior Consistency J.; Duong, H.; and Dwyer, M

Reference 41

Resolution
verified fuzzy
raw_fallback, observed 2026-08-11T13:45:35.340161Z

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.

source=arxiv_source observed=2026-08-11T13:45:34.688044Z digest=sha256:e08f9a6f5fc764af0ecbd1311a7873863e660e82d2966cde828b55596bfd6cce

Observation 339031d5-b987-4341-bc06-e1575a21d8c5 · outbound

This paper cites an unresolved cited work.

Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Unresolved cited work

Reference 42

Resolution
unresolved
raw_fallback, observed 2026-08-11T13:45:35.316781Z

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.

source=arxiv_source observed=2026-08-11T13:45:34.694139Z digest=sha256:cf3cb51a8a8aa17cb628a05fb53db7edeed395b422ad2487f37c3f656086f1ea

Observation 418923c9-2353-40b4-a9c1-0974a7ef9c85 · outbound

This paper cites Towards Stable and Efficient Training of Verifiably Robust Neural Networks.

Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Towards Stable and Efficient Training of Verifiably Robust Neural Networks

Reference 43

Resolution
unresolved
no resolver link, observed 2026-08-11T13:45:34.699983Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-11T13:45:34.699983Z digest=sha256:6f24716441c1c4c7af5439b4afcf99be33f1c1ff326a601268483c1027fa7e6e

Observation 2792298a-3724-4e02-b39f-c274fa67db7b · outbound

This paper cites an unresolved cited work.

Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Unresolved cited work

Reference 44

Resolution
unresolved
raw_fallback, observed 2026-08-11T13:45:35.284760Z

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.

source=arxiv_source observed=2026-08-11T13:45:34.707159Z digest=sha256:d9c806f398214033a7959f5f93c1e26aabb79dc0371a24c4148b5bf5d250ca24

Observation 7e24260c-2a4a-4c6b-b895-2eeaaf7c2560 · outbound

This paper cites P.; Ghaoui, L.

Training Verification-Friendly Neural Networks via Neuron Behavior Consistency P.; Ghaoui, L

Reference 45

Resolution
verified fuzzy
raw_fallback, observed 2026-08-11T13:45:35.257787Z

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.

source=arxiv_source observed=2026-08-11T13:45:34.713790Z digest=sha256:9a0ca4844a4e027f58920f0d9f48564cc5fcc83f8185fa2bb8232fa415763402

Observation 0ed97894-3841-4139-a882-fc462c6e568a · outbound

This paper cites an unresolved cited work.

Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Unresolved cited work

Reference 46

Resolution
unresolved
raw_fallback, observed 2026-08-11T13:45:35.228685Z

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.

source=arxiv_source observed=2026-08-11T13:45:34.721335Z digest=sha256:53eca526c3dee3b600b85107206d1d0c912c425fa4ddc0ee7b5800f1b4c9c33a

Observation 3269e9f3-1f5a-49fe-a819-01ec6e675cf6 · outbound

This paper cites an unresolved cited work.

Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Unresolved cited work

Reference 47

Resolution
unresolved
raw_fallback, observed 2026-08-11T13:45:35.203815Z

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.

source=arxiv_source observed=2026-08-11T13:45:34.727566Z digest=sha256:b0c6b5721c7704437cf9ba697bc6b758a9d41ccd0db3ac254f6e129723dd1eb5

Observation 43b12340-27c8-466d-9679-eca0d6ad1fa4 · outbound

This paper cites an unresolved cited work.

Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Unresolved cited work

Reference 48

Resolution
unresolved
raw_fallback, observed 2026-08-11T13:45:35.171506Z

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.

source=arxiv_source observed=2026-08-11T13:45:34.734061Z digest=sha256:ee4a41648ece5eb9bf0d91262ce65e7b556eb11c38e092ca06c8a2f285da5cf1

Observation 3ecfa54d-0d64-4afa-9380-d65e61420263 · outbound

This paper cites an unresolved cited work.

Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Unresolved cited work

Reference 49

Resolution
unresolved
raw_fallback, observed 2026-08-11T13:45:35.143985Z

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.

source=arxiv_source observed=2026-08-11T13:45:34.739987Z digest=sha256:130e0874ea5ec7ce85e897f239a01790e828b63fee76ce1146f30f366b64ccc3

Observation 44f2cd24-79f1-46a9-9ce3-71637f4059f0 · outbound

This paper cites an unresolved cited work.

Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Unresolved cited work

Reference 50

Resolution
unresolved
raw_fallback, observed 2026-08-11T13:45:35.119329Z

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.

source=arxiv_source observed=2026-08-11T13:45:34.745737Z digest=sha256:6f003b85d39ba6bddc744a29dd87a198a3d4df321a955ee1107776885d0393a8

Observation 672b393a-1b1a-462b-a1b9-fbea9be17040 · outbound

This paper cites an unresolved cited work.

Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Unresolved cited work

Reference 51

Resolution
unresolved
raw_fallback, observed 2026-08-11T13:45:35.081047Z

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.

source=arxiv_source observed=2026-08-11T13:45:34.754452Z digest=sha256:85a385532412fda9fc1b7be9d93ec470dd9ffe1e1d91994b0ad1e87c78d2aa21

Observation 31b6af79-70ce-4c06-a2c0-f6a8556d29df · outbound

This paper cites an unresolved cited work.

Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Unresolved cited work

Reference 52

Resolution
unresolved
raw_fallback, observed 2026-08-11T13:45:35.052661Z

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.

source=arxiv_source observed=2026-08-11T13:45:34.762106Z digest=sha256:792d340e4f1ccaf9989b4c9238658cb70a0682ae41ce3b2020114e6563fefdf5

Observation c7f63485-86b5-47bc-a9ad-8d2abc8de2cb · outbound

This paper cites an unresolved cited work.

Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Unresolved cited work

Reference 53

Resolution
unresolved
raw_fallback, observed 2026-08-11T13:45:35.023962Z

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.

source=arxiv_source observed=2026-08-11T13:45:34.772135Z digest=sha256:b42fb77a0d0845dcf1d930fc9c5a7ad1de4d59822d44245e6d8507760fd7345a

Pith citing papers

Observation 17540d9b-9f6d-4e62-b4cf-adcba8a45343 · inbound

Training Verification-Friendly Neural Networks via Neuron Behavior Consistency cites this paper.

Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Training Verification-Friendly Neural Networks via Neuron Behavior Consistency

Reference 26

Resolution
verified exact
local_arxiv, observed 2026-08-11T13:45:34.928282Z

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.

source=arxiv_source observed=2026-08-11T13:45:34.582433Z digest=sha256:69adc98b1286423c1135e75417a1761934a549efa6651e08953a7e70e83268a7