Paper Citation Record · LEDGER

Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement

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

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

pith.paper-citation-record.v1
2605.14294 v1

Coverage vector

measured 39 of 39 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-05-15T02:34:41.842924Z

measured 39 of 39 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-14T06:32:32.682623+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

39 of 39 outbound references displayed

verified exact11
verified fuzzy13
unresolved1
parse uncertain0
malformed identifier4
metadata mismatch10

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation b4ed7d86-0fb5-4500-9223-f81288154699 · outbound

This paper cites Srivastava, and Kai-Wei Chang.

Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement Srivastava, and Kai-Wei Chang

Reference 1

Resolution: metadata mismatch; doi, observed 2026-05-15T02:38:32.910490Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation be504f55-2296-4a24-b797-270cc0831e88 · outbound

This paper cites In: Sedoc, J., Rogers, A., Rumshisky, A., Tafreshi, S.

Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement In: Sedoc, J., Rogers, A., Rumshisky, A., Tafreshi, S

Reference 2

Resolution: verified exact; doi, observed 2026-05-15T02:38:32.901683Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation fed22034-9ab6-4f41-a88d-f4b6586e1ba5 · outbound

This paper cites In: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation.

Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement In: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation

Reference 3

Resolution: metadata mismatch; arxiv_id, observed 2026-05-15T02:38:32.943399Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 7f58e0c3-3d0c-4b71-aa77-e0ec18dca737 · outbound

This paper cites ACM Trans.

Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement ACM Trans

Reference 4

Resolution: verified exact; doi, observed 2026-05-15T02:38:32.893832Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 6e273ff1-dbc7-4beb-aca6-76b9bf5d26db · outbound

This paper cites Multilingual Knowledge Graph Completion with Self-Supervised Adaptive Graph Alignment.

Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement Multilingual Knowledge Graph Completion with Self-Supervised Adaptive Graph Alignment

Reference 5

Resolution: malformed identifier; doi_truncated, observed 2026-05-15T02:38:32.906047Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation c0060ce6-caad-4aee-8377-0a2c4e3f1a24 · outbound

This paper cites an unresolved cited work.

Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement Unresolved cited work

Reference 6

Resolution: malformed identifier; raw_fallback, observed 2026-05-15T04:25:05.861038Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 2872de07-5499-40f0-b843-47d69d4b2241 · outbound

This paper cites an unresolved cited work.

Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement Unresolved cited work

Reference 7

Resolution: unresolved; raw_fallback, observed 2026-05-15T04:25:05.872994Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 31f0c182-68c5-497f-8ed9-6cc65912b482 · outbound

This paper cites doi:10.29007/7wxb , urldate =.

Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement doi:10.29007/7wxb , urldate =

Reference 8

Resolution: malformed identifier; doi_truncated, observed 2026-05-15T02:38:32.914476Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 85006ce3-ed9a-4ffd-87bc-7956d7a23a0d · outbound

This paper cites and Isac, Omri and Katz, Guy and Rieser, Verena and Lemon, Oliver , year =.

Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement and Isac, Omri and Katz, Guy and Rieser, Verena and Lemon, Oliver , year =

Reference 9

Resolution: metadata mismatch; doi, observed 2026-05-15T02:38:32.898219Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation c2ce6d3c-5973-4378-99ab-13199550393f · outbound

This paper cites (eds.) Find- ings of the Association for Computational Linguistics: ACL 2023.

Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement (eds.) Find- ings of the Association for Computational Linguistics: ACL 2023

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-05-15T04:25:05.829766Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 35bb8097-9c19-4266-8a60-62070262b7f3 · outbound

This paper cites https://doi.org/10.18653/v1/2023.findings-acl.117.

Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement https://doi.org/10.18653/v1/2023.findings-acl.117

Reference 11

Resolution: verified exact; doi, observed 2026-05-15T02:38:32.922058Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 240b6097-de50-43f5-ac56-6e838f72476d · outbound

This paper cites BERT : Pre-training of Deep Bidirectional Transformers for Language Understanding.

Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement BERT : Pre-training of Deep Bidirectional Transformers for Language Understanding

Reference 12

Resolution: metadata mismatch; doi, observed 2026-05-15T02:38:32.854650Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation d4c20777-3662-45c7-85ab-a3e86e2530b0 · outbound

This paper cites In: 2018 IEEE Symposium on Security and Privacy (SP).

Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement In: 2018 IEEE Symposium on Security and Privacy (SP)

Reference 13

Resolution: metadata mismatch; arxiv_id, observed 2026-05-15T02:38:32.845415Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation b5224e87-aaee-4ef2-94d2-668c03690808 · outbound

This paper cites In: Cohn, T., He, Y., Liu, Y.

Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement In: Cohn, T., He, Y., Liu, Y

Reference 14

Resolution: verified exact; doi, observed 2026-05-15T02:38:32.825769Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 1352e9f3-fba3-4cda-b050-ae5146fc74ff · outbound

This paper cites and Julian, Kyle and Kochenderfer, Mykel J.

Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement and Julian, Kyle and Kochenderfer, Mykel J

Reference 15

Resolution: metadata mismatch; doi, observed 2026-05-15T02:38:32.849745Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 02e60fc2-0f2b-4d82-a088-aa58f0bb1ef9 · outbound

This paper cites In: 2021 IEEE/AIAA 40th Digital Avionics Systems Conference (DASC).

Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement In: 2021 IEEE/AIAA 40th Digital Avionics Systems Conference (DASC)

Reference 16

Resolution: metadata mismatch; arxiv_id, observed 2026-05-15T02:38:32.832331Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 8a2af878-1e0f-4c23-97ff-ba19d98e2159 · outbound

This paper cites The 6th international verification of neural networks competition (VNN-COMP 2025): Summary and results.

Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement The 6th international verification of neural networks competition (VNN-COMP 2025): Summary and results

Reference 17

Resolution: metadata mismatch; arxiv_id, observed 2026-05-15T02:38:32.861810Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 9c8fa6d1-d25e-433b-9106-453c9b61b32d · outbound

This paper cites Journal of Machine Learning Research 25(12), 1–53 (2024), http://jmlr.org/papers/v25/23-0119.html.

Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement Journal of Machine Learning Research 25(12), 1–53 (2024), http://jmlr.org/papers/v25/23-0119.html

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-05-15T04:25:05.869135Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 16951193-be4e-4820-ab41-618149e0d36a · outbound

This paper cites In: Computer Safety, Relia- bility, and Security: 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20–22, 2023, Proceedings.

Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement In: Computer Safety, Relia- bility, and Security: 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20–22, 2023, Proceedings

Reference 19

Resolution: verified exact; doi, observed 2026-05-15T02:38:32.885616Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation bee926d9-33b6-4cfb-8b5e-4bf7faa7529b · outbound

This paper cites year =.

Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement year =

Reference 20

Resolution: verified exact; doi, observed 2026-05-15T02:38:32.816669Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 4b2b8ddd-1643-4f61-9301-2754b0a3c028 · outbound

This paper cites librosa/librosa: 0.6.3.

Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement librosa/librosa: 0.6.3

Reference 21

Resolution: malformed identifier; doi_truncated, observed 2026-05-15T02:38:32.889415Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 87f5d817-745a-4047-b51e-82202cea5dae · outbound

This paper cites Towards Crafting Text Adversarial Samples.

Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement Towards Crafting Text Adversarial Samples

Reference 22

Resolution: metadata mismatch; local_arxiv, observed 2026-05-15T02:38:32.838356Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation db19ac8a-473e-4df2-8bcc-672cfb0a9a61 · outbound

This paper cites Neural network verification with branch-and-bound for general nonlinearities.

Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement Neural network verification with branch-and-bound for general nonlinearities

Reference 23

Resolution: verified exact; doi, observed 2026-05-15T02:38:32.866586Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation a1ca94ac-4446-4c90-b137-0f28e0b9e538 · outbound

This paper cites In: International Conference on Learning Representations (2020), https://openreview.net/forum?id=BJxwPJHFwS.

Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement In: International Conference on Learning Representations (2020), https://openreview.net/forum?id=BJxwPJHFwS

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-05-15T04:25:05.847752Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation dd5368f9-87a6-40c9-8e81-85b2463c9d70 · outbound

This paper cites Proceedings of the ACM on Programming Languages , volume =.

Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement Proceedings of the ACM on Programming Languages , volume =

Reference 25

Resolution: verified exact; doi, observed 2026-05-15T02:38:32.874793Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation c7888aac-feeb-428f-a08f-6aa2e0a135ef · outbound

This paper cites In: Yarowsky,D.,Baldwin,T.,Korhonen,A.,Livescu,K.,Bethard,S.(eds.)Proceedings of the 2013 Conference on Empirical Methods in Natural Language Processing.

Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement In: Yarowsky,D.,Baldwin,T.,Korhonen,A.,Livescu,K.,Bethard,S.(eds.)Proceedings of the 2013 Conference on Empirical Methods in Natural Language Processing

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-05-15T04:25:05.851620Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 24afae5b-a28a-4209-b013-36cb2babe2f3 · outbound

This paper cites In: 7th International Conference on Learning Repre- sentations, ICLR 2019, New Orleans, LA, USA, May 6-9.

Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement In: 7th International Conference on Learning Repre- sentations, ICLR 2019, New Orleans, LA, USA, May 6-9

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-05-15T04:25:05.876932Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 59e3f25c-6d82-4bab-a2e8-3da9a1affbcb · outbound

This paper cites In: Guyon, I., Luxburg, U.V., Bengio, S., Wallach, H., Fergus, R., Vishwanathan, S., Garnett, R.

Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement In: Guyon, I., Luxburg, U.V., Bengio, S., Wallach, H., Fergus, R., Vishwanathan, S., Garnett, R

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-05-15T04:25:05.823155Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation c485c786-3f33-4fad-9c96-ccca4cd6aea1 · outbound

This paper cites In: Che, W., Nabende, J., Shutova, E., Pilehvar, M.T.

Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement In: Che, W., Nabende, J., Shutova, E., Pilehvar, M.T

Reference 29

Resolution: verified exact; doi, observed 2026-05-15T02:38:32.870539Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 6a236ee9-1ce6-463c-ba2f-b0c9f7aa2b8f · outbound

This paper cites In: Ruiz, F., Dy, J., van de Meent, J.W.

Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement In: Ruiz, F., Dy, J., van de Meent, J.W

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-05-15T04:25:05.833455Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation d8d59ca3-a3cd-47c7-af62-33a9363130f2 · outbound

This paper cites In: Dy, J., Krause, A.

Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement In: Dy, J., Krause, A

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-05-15T04:25:05.883422Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 9817abc6-c845-4d54-a208-3bdbe5cfadb1 · outbound

This paper cites Introduction to Transformers: an NLP Perspective.

Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement Introduction to Transformers: an NLP Perspective

Reference 32

Resolution: verified exact; arxiv_id, observed 2026-07-03T02:17:04.268860Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation bbc4e8ac-a071-4458-9054-46dbccc0bb43 · outbound

This paper cites In: International Conference on Learning Representa- tions (2021), https://openreview.net/forum?id=nVZtXBI6LNn.

Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement In: International Conference on Learning Representa- tions (2021), https://openreview.net/forum?id=nVZtXBI6LNn

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-05-15T04:25:05.897725Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 9f2ffe9b-7047-4bec-8472-ac8aacaab394 · outbound

This paper cites In: Pro- ceedings of the 32nd International Conference on Neural Information Pro- cessing Systems.

Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement In: Pro- ceedings of the 32nd International Conference on Neural Information Pro- cessing Systems

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-05-15T04:25:05.808514Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 1838c68f-bcfe-4dfa-beb5-23ace195f155 · outbound

This paper cites In: Proceedings of the 29th International Conference on Neural Information Processing Systems - Volume 1.

Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement In: Proceedings of the 29th International Conference on Neural Information Processing Systems - Volume 1

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-05-15T04:25:05.839961Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation b0d18652-8150-4edc-a206-5ff2fafa2a84 · outbound

This paper cites an unresolved cited work.

Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement Unresolved cited work

Reference 36

Resolution: verified exact; doi, observed 2026-05-15T02:38:32.821140Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation d4c1329b-9428-4340-aefe-b8f417418e89 · outbound

This paper cites Safety and Performance, Why not Both? Bi-Objective Optimized Model Compression toward AI Software Deployment.

Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement Safety and Performance, Why not Both? Bi-Objective Optimized Model Compression toward AI Software Deployment

Reference 37

Resolution: metadata mismatch; arxiv_id, observed 2026-05-15T02:38:32.881546Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 98075875-7db3-4d78-984f-99e96b0fb505 · outbound

This paper cites In: Oh, A.H., Agarwal, A., Belgrave, D., Cho, K.

Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement In: Oh, A.H., Agarwal, A., Belgrave, D., Cho, K

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-05-15T04:25:05.804763Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 52c3be05-e5fd-4108-adb3-e48f79c3e079 · outbound

This paper cites In particular, [23] define the lower and upper bounds as follows: αU = uy, β U = lx, γ U = −lxuy, αL = ly, β L = lx, γ L = −lxly, whenx∈ [lx, ux] andy∈[l y, uy].

Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement In particular, [23] define the lower and upper bounds as follows: αU = uy, β U = lx, γ U = −lxuy, αL = ly, β L = lx, γ L = −lxly, whenx∈ [lx, ux] andy∈[l y, uy]

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-05-15T04:25:05.798270Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Pith citing papers

No inbound Pith citation observations are available.