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-23T06:30:58.430688+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-23T06:30:58.430688+00:00.

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

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-23T06:30:58.430688+00:00.

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

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-23T06:30:58.430688+00:00.

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

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-23T06:30:58.430688+00:00.

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

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-23T06:30:58.430688+00:00.

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

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-23T06:30:58.430688+00:00.

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

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-23T06:30:58.430688+00:00.

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

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-23T06:30:58.430688+00:00.

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

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-23T06:30:58.430688+00:00.

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

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-23T06:30:58.430688+00:00.

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

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-23T06:30:58.430688+00:00.

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

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-23T06:30:58.430688+00:00.

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

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-23T06:30:58.430688+00:00.

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

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-23T06:30:58.430688+00:00.

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

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-23T06:30:58.430688+00:00.

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

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-23T06:30:58.430688+00:00.

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

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-23T06:30:58.430688+00:00.

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

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-23T06:30:58.430688+00:00.

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

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-23T06:30:58.430688+00:00.

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

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-23T06:30:58.430688+00:00.

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

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-23T06:30:58.430688+00:00.

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

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-23T06:30:58.430688+00:00.

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

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-23T06:30:58.430688+00:00.

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

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-23T06:30:58.430688+00:00.

source=arxiv_source observed=2026-08-11T13:45:34.633001Z digest=sha256:13d61ff2a3df76095832e052d8b114005a74e9736f5b80205d3841c373e67c89

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-23T06:30:58.430688+00:00.

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

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-23T06:30:58.430688+00:00.

source=arxiv_source observed=2026-08-11T13:45:34.646260Z digest=sha256:38ac0440a7264bd7f876598d43acbee2330d82dab425bec6dffe047c74ee93be

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-23T06:30:58.430688+00:00.

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

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-23T06:30:58.430688+00:00.

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

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-23T06:30:58.430688+00:00.

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

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-23T06:30:58.430688+00:00.

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

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-23T06:30:58.430688+00:00.

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

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-23T06:30:58.430688+00:00.

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

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-23T06:30:58.430688+00:00.

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

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-23T06:30:58.430688+00:00.

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

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-23T06:30:58.430688+00:00.

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

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-23T06:30:58.430688+00:00.

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

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-23T06:30:58.430688+00:00.

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

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-23T06:30:58.430688+00:00.

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

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-23T06:30:58.430688+00:00.

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

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-23T06:30:58.430688+00:00.

source=arxiv_source observed=2026-08-11T13:45:34.754452Z digest=sha256:0a9908a71fd0d7c7aabb58b2a65c692bd7d2b4d0bcf400924ca7a48cc7d27e56

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-23T06:30:58.430688+00:00.

source=arxiv_source observed=2026-08-11T13:45:34.762106Z digest=sha256:60d29b421be99c90f1c1c26806dd0c09603265e95c5cc15cb3f1729380cde67c

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-23T06:30:58.430688+00:00.

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

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-23T06:30:58.430688+00:00.

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