Pith. sign in

Paper Citation Record · LEDGER

Training Verification-Friendly Neural Networks via Neuron Behavior Consistency

As of 23 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-22T06:32:14.747728+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:d5994bc95954c106d746b7165ea855d4c3ad30f76cb98067baf5640bd644374f

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:57d71fd52e633cfade450ed0951c019bdc6d7588fdc3d03ad7036bfa89895c53

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-22T06:32:14.747728+00:00.

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

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:7ae4acebe17960fee53b81c15f7424450d46fe7677dea00d4def3ca697e0e5c3

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-22T06:32:14.747728+00:00.

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

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-22T06:32:14.747728+00:00.

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

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-22T06:32:14.747728+00:00.

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

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-22T06:32:14.747728+00:00.

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

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-22T06:32:14.747728+00:00.

source=arxiv_source observed=2026-08-11T13:45:34.438242Z digest=sha256:251d3f7b602476714cd3acaa0d7acb3031a5545d0ef33466a53c9441d5ad9899

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-22T06:32:14.747728+00:00.

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

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-22T06:32:14.747728+00:00.

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

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:8a15383a6fb63ae2251e011bd5fc90b8b82f801209487fb498e9a1b4bacac70d

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-22T06:32:14.747728+00:00.

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

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:a4042fc380de78d59983c5b76bacda4fb03b84baf260f93ead7e07d4086b14bc

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-22T06:32:14.747728+00:00.

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

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:d8f6076871744ff886bc948ccaf451e0989a56039531352bb343e0db3272fdec

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-22T06:32:14.747728+00:00.

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

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-22T06:32:14.747728+00:00.

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

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-22T06:32:14.747728+00:00.

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

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-22T06:32:14.747728+00:00.

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

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-22T06:32:14.747728+00:00.

source=arxiv_source observed=2026-08-11T13:45:34.534735Z digest=sha256:96dca1884d5bd531ae60f508f8d25fa868538268821c6c456417deeae8b28a3a

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-22T06:32:14.747728+00:00.

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

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:083d6d594161258c461b04d324a55d044b7773ffbf7d581696bd4347dd417aba

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:0a2d8c4acb091f831147975ca0a9ebf49598565605d56ff0b5aa472dda3e8f76

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-22T06:32:14.747728+00:00.

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

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-22T06:32:14.747728+00:00.

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

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-22T06:32:14.747728+00:00.

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

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-22T06:32:14.747728+00:00.

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

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:c5d8027389aa4c6a3bde47f327050660a7694c8345516307e883d07671469f79

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-22T06:32:14.747728+00:00.

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

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-22T06:32:14.747728+00:00.

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

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-22T06:32:14.747728+00:00.

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

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-22T06:32:14.747728+00:00.

source=arxiv_source observed=2026-08-11T13:45:34.633001Z digest=sha256:90b6ab5a49a78b57bc92a3ad074199585753051dbc71f3de1c9ae9df594e2c28

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-22T06:32:14.747728+00:00.

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

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-22T06:32:14.747728+00:00.

source=arxiv_source observed=2026-08-11T13:45:34.646260Z digest=sha256:1d1d007141e254c183dc0029565a62f98db9752949c59dfc936e7415c7d295d5

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-22T06:32:14.747728+00:00.

source=arxiv_source observed=2026-08-11T13:45:34.654017Z digest=sha256:8cdb68a6968180d1588b2e8e7c5d3b0754004aec6c8482e11c14d1724572533a

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-22T06:32:14.747728+00:00.

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

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-22T06:32:14.747728+00:00.

source=arxiv_source observed=2026-08-11T13:45:34.666054Z digest=sha256:8fe5a3a6493dfcc6b93e2f7551b590fb571eb51627a8746713ca2bc1668d28b2

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:e822ffc47ac9a88f3e3aad738dbc28ebf67d7f4003cb2ef2faf9149a818a09c4

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-22T06:32:14.747728+00:00.

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

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-22T06:32:14.747728+00:00.

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

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-22T06:32:14.747728+00:00.

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

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:06eed58749fedad606d5b22efa7f0ec97a76d4638baca5cf753e11e439ea9c40

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-22T06:32:14.747728+00:00.

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

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-22T06:32:14.747728+00:00.

source=arxiv_source observed=2026-08-11T13:45:34.713790Z digest=sha256:30237a50f3c05b7a35de4345bd1ac3c2dd44612179c1beffa3579cb65450c103

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-22T06:32:14.747728+00:00.

source=arxiv_source observed=2026-08-11T13:45:34.721335Z digest=sha256:6583f2f6612174a67e2d36373dfb896cf16a8b44bee610a17ce0a6265a689c68

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-22T06:32:14.747728+00:00.

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

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-22T06:32:14.747728+00:00.

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

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-22T06:32:14.747728+00:00.

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

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-22T06:32:14.747728+00:00.

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

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-22T06:32:14.747728+00:00.

source=arxiv_source observed=2026-08-11T13:45:34.754452Z digest=sha256:6494e73fb1732b137814c06ebbfc5b958fb3f26dacd37ec8f53844ba2b09df5d

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-22T06:32:14.747728+00:00.

source=arxiv_source observed=2026-08-11T13:45:34.762106Z digest=sha256:12829001f1728534f20bf9aa39f790cfffcb01d5f1f4d273c900e29dc4f33aed

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-22T06:32:14.747728+00:00.

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

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-22T06:32:14.747728+00:00.

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