{"as_of":"2026-08-14T15:28:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:e433648151bba6064fede3841de7bae9aac112f3002ac9c31ff52c1af90a0b4b","coverage":[{"denominator":39,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":39,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-15T02:34:41.842924Z","state":"measured"},{"denominator":39,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":39,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-14T06:32:32.682623+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2605.14294/citation-record","integrity":"/paper/2605.14294/integrity","json":"/paper/2605.14294/citation-record.json","paper":"/paper/2605.14294"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.18653/v1/d18-1316","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Srivastava, and Kai-Wei Chang","venue":null,"work_id":"178ae929-ee76-462f-803a-eb9692c82dee","year":2018},"citing_paper":{"arxiv_id":"2605.14294","last_updated":"2026-05-14T02:55:53Z","snapshot_observed_at":"2026-08-13T21:17:12.860546Z","submitted_at":"2026-05-14T02:55:53Z","title":"Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-05-15T02:34:41.842924Z"},"links":{"citing_paper":"/paper/2605.14294"},"observation_digest":"sha256:7473fe7016d0a28d4fdb56349ed5e98a6ef9060e558822514fd36986299103aa","observation_id":"b4ed7d86-0fb5-4500-9223-f81288154699","resolution":{"observed_at":"2026-05-15T02:38:32.910490Z","resolver_source":"doi","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-05-26T00:24:17.464748+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-26T00:24:17.464748+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.18653/v1/2021.insights-1.18","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: Sedoc, J., Rogers, A., Rumshisky, A., Tafreshi, S","venue":null,"work_id":"1c1c4369-ee00-46d5-99c0-c9512eb150bc","year":2021},"citing_paper":{"arxiv_id":"2605.14294","last_updated":"2026-05-14T02:55:53Z","snapshot_observed_at":"2026-08-13T21:17:12.860546Z","submitted_at":"2026-05-14T02:55:53Z","title":"Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-05-15T02:34:41.842924Z"},"links":{"citing_paper":"/paper/2605.14294"},"observation_digest":"sha256:7c46419c6140ea74049855dcadf98fcc506c8ec554e1a797c20baab7eb5f6f05","observation_id":"be504f55-2296-4a24-b797-270cc0831e88","resolution":{"observed_at":"2026-05-15T02:38:32.901683Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-05-26T00:24:17.893983+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-26T00:24:17.893983+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"3483.345405","doi":"10.1145/3453483.3454050","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation","venue":null,"work_id":"c488edc9-9b8a-4531-a56d-afee25c6b6d3","year":2021},"citing_paper":{"arxiv_id":"2605.14294","last_updated":"2026-05-14T02:55:53Z","snapshot_observed_at":"2026-08-13T21:17:12.860546Z","submitted_at":"2026-05-14T02:55:53Z","title":"Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-05-15T02:34:41.842924Z"},"links":{"citing_paper":"/paper/2605.14294"},"observation_digest":"sha256:580818fe4a328c7edea8bcf47711d80f8bf1bc4acdd64a1e5570bb343b29fe5d","observation_id":"fed22034-9ab6-4f41-a88d-f4b6586e1ba5","resolution":{"observed_at":"2026-05-15T02:38:32.943399Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3617508","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"ACM Trans","venue":"ACM Transactions on Embedded Computing Systems","work_id":"54f332c1-e698-4bd6-9f3c-96d6dba439b9","year":2024},"citing_paper":{"arxiv_id":"2605.14294","last_updated":"2026-05-14T02:55:53Z","snapshot_observed_at":"2026-08-13T21:17:12.860546Z","submitted_at":"2026-05-14T02:55:53Z","title":"Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-05-15T02:34:41.842924Z"},"links":{"citing_paper":"/paper/2605.14294"},"observation_digest":"sha256:06098bcc98bfc71e0e4e04af6bc91365c0193858514e6a8e340687156bdbda89","observation_id":"7f58e0c3-3d0c-4b71-aa77-e0ec18dca737","resolution":{"observed_at":"2026-05-15T02:38:32.893832Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-05-26T00:24:18.979444+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-26T00:24:18.979444+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2203.14987","last_updated":"2022-03-28T18:00:51Z","snapshot_observed_at":"2026-07-06T12:53:50.496350Z","submitted_at":"2022-03-28T18:00:51Z","title":"Multilingual Knowledge Graph Completion with Self-Supervised Adaptive Graph Alignment","version":1},"cited_work":{"arxiv_id":"2203.14987","doi":"10.48550/arxiv","metadata_source":"doi_reference","pith_arxiv_id":"2203.14987","snapshot_observed_at":"2026-07-09T21:46:34.506658Z","title":"Dickerson","venue":"cs.AI","work_id":"5c2060c6-427c-4321-be22-49ccae439d80","year":2025},"citing_paper":{"arxiv_id":"2605.14294","last_updated":"2026-05-14T02:55:53Z","snapshot_observed_at":"2026-08-13T21:17:12.860546Z","submitted_at":"2026-05-14T02:55:53Z","title":"Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-05-15T02:34:41.842924Z"},"links":{"cited_paper":"/paper/2203.14987","citing_paper":"/paper/2605.14294"},"observation_digest":"sha256:226eabc5010044bbd72c8d300d5eedc2a09405ebe886d30a19a6beeb7c2c6e1e","observation_id":"6e273ff1-dbc7-4beb-aca6-76b9bf5d26db","resolution":{"observed_at":"2026-05-15T02:38:32.906047Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"9498591d-6a11-4eb7-be93-6c69398e6b0f","year":2023},"citing_paper":{"arxiv_id":"2605.14294","last_updated":"2026-05-14T02:55:53Z","snapshot_observed_at":"2026-08-13T21:17:12.860546Z","submitted_at":"2026-05-14T02:55:53Z","title":"Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-05-15T02:34:41.842924Z"},"links":{"citing_paper":"/paper/2605.14294"},"observation_digest":"sha256:13ba124418ad20d692105039a42d69e1966f4cc561decc6685f0a465a3ed52aa","observation_id":"c0060ce6-caad-4aee-8377-0a2c4e3f1a24","resolution":{"observed_at":"2026-05-15T04:25:05.861038Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"be870d34-f258-4941-a701-0c5e98e17199","year":2020},"citing_paper":{"arxiv_id":"2605.14294","last_updated":"2026-05-14T02:55:53Z","snapshot_observed_at":"2026-08-13T21:17:12.860546Z","submitted_at":"2026-05-14T02:55:53Z","title":"Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-05-15T02:34:41.842924Z"},"links":{"citing_paper":"/paper/2605.14294"},"observation_digest":"sha256:4a1b5979b1b55eede0f0fb4ddfe9a59c249bd255baf957f189ef55a5707c68e7","observation_id":"2872de07-5499-40f0-b843-47d69d4b2241","resolution":{"observed_at":"2026-05-15T04:25:05.872994Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.29007/7wxb","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"doi:10.29007/7wxb , urldate =","venue":"Kalpa publications in computing","work_id":"8fad6f68-a658-4d4b-80bf-039fbd67ad96","year":2023},"citing_paper":{"arxiv_id":"2605.14294","last_updated":"2026-05-14T02:55:53Z","snapshot_observed_at":"2026-08-13T21:17:12.860546Z","submitted_at":"2026-05-14T02:55:53Z","title":"Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-05-15T02:34:41.842924Z"},"links":{"citing_paper":"/paper/2605.14294"},"observation_digest":"sha256:6556a8cf3d3c3d44c4ee3aa5a5c0c5c5cc01098fb0f7fc322b68cf110a653c0b","observation_id":"31f0c182-68c5-497f-8ed9-6cc65912b482","resolution":{"observed_at":"2026-05-15T02:38:32.914476Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1017/s0956792525000099","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"and Isac, Omri and Katz, Guy and Rieser, Verena and Lemon, Oliver , year =","venue":"European Journal of Applied Mathematics","work_id":"5831ed2a-2e2b-4b42-a701-8392ceb3f16b","year":2026},"citing_paper":{"arxiv_id":"2605.14294","last_updated":"2026-05-14T02:55:53Z","snapshot_observed_at":"2026-08-13T21:17:12.860546Z","submitted_at":"2026-05-14T02:55:53Z","title":"Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-05-15T02:34:41.842924Z"},"links":{"citing_paper":"/paper/2605.14294"},"observation_digest":"sha256:e49067d004d846bbb6629cba3cde635ee7d78d6001e59e1883d3c626751debd4","observation_id":"85006ce3-ed9a-4ffd-87bc-7956d7a23a0d","resolution":{"observed_at":"2026-05-15T02:38:32.898219Z","resolver_source":"doi","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-05-26T00:24:19.511354+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-26T00:24:19.511354+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"(eds.) Find- ings of the Association for Computational Linguistics: ACL 2023","venue":null,"work_id":"bee94b73-f17d-46f1-be0c-b9eaee91691b","year":2023},"citing_paper":{"arxiv_id":"2605.14294","last_updated":"2026-05-14T02:55:53Z","snapshot_observed_at":"2026-08-13T21:17:12.860546Z","submitted_at":"2026-05-14T02:55:53Z","title":"Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-05-15T02:34:41.842924Z"},"links":{"citing_paper":"/paper/2605.14294"},"observation_digest":"sha256:554aef462d02194979beb6d503a15f9f3a7fb4b4e7179cab8e35cf5ffaad3c0f","observation_id":"c2ce6d3c-5973-4378-99ab-13199550393f","resolution":{"observed_at":"2026-05-15T04:25:05.829766Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.18653/v1/2023.findings-acl.117","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"https://doi.org/10.18653/v1/2023.findings-acl.117","venue":null,"work_id":"ff95230c-6111-4466-91d0-9396bd88670e","year":2023},"citing_paper":{"arxiv_id":"2605.14294","last_updated":"2026-05-14T02:55:53Z","snapshot_observed_at":"2026-08-13T21:17:12.860546Z","submitted_at":"2026-05-14T02:55:53Z","title":"Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-05-15T02:34:41.842924Z"},"links":{"citing_paper":"/paper/2605.14294"},"observation_digest":"sha256:efd6bd97faaaae23c52d13a80a152ba8748ae9d489e02635785b93ff99027b86","observation_id":"35bb8097-9c19-4266-8a60-62070262b7f3","resolution":{"observed_at":"2026-05-15T02:38:32.922058Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-05-26T00:24:20.134441+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-26T00:24:20.134441+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.18653/v1/n19-1423","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"BERT : Pre-training of Deep Bidirectional Transformers for Language Understanding","venue":"Proceedings of the 2019 Conference of the North","work_id":"3e3c8ac8-b858-4b22-af32-393d98c883e0","year":2019},"citing_paper":{"arxiv_id":"2605.14294","last_updated":"2026-05-14T02:55:53Z","snapshot_observed_at":"2026-08-13T21:17:12.860546Z","submitted_at":"2026-05-14T02:55:53Z","title":"Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-05-15T02:34:41.842924Z"},"links":{"citing_paper":"/paper/2605.14294"},"observation_digest":"sha256:a2b4bc68f2d295bd4ca865694c3f5569a8f58d938e57095d0ed235824abf1220","observation_id":"240b6097-de50-43f5-ac56-6e838f72476d","resolution":{"observed_at":"2026-05-15T02:38:32.854650Z","resolver_source":"doi","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-10T21:38:27.423116+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-10T21:38:27.423116+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2018.00058","doi":"10.1109/icsme.2018.00058","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: 2018 IEEE Symposium on Security and Privacy (SP)","venue":null,"work_id":"6eecdd53-9e5c-4ec0-bdb2-936b50712249","year":2018},"citing_paper":{"arxiv_id":"2605.14294","last_updated":"2026-05-14T02:55:53Z","snapshot_observed_at":"2026-08-13T21:17:12.860546Z","submitted_at":"2026-05-14T02:55:53Z","title":"Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-05-15T02:34:41.842924Z"},"links":{"citing_paper":"/paper/2605.14294"},"observation_digest":"sha256:5df0f802dc4d0b21f70cade41d21aec4f44b3fe094a27921c8fb002cc8a00198","observation_id":"d4c20777-3662-45c7-85ab-a3e86e2530b0","resolution":{"observed_at":"2026-05-15T02:38:32.845415Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.18653/v1/2020.findings-emnlp.372","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: Cohn, T., He, Y., Liu, Y","venue":null,"work_id":"d178d322-4363-48e5-bede-e7e4ebf4a434","year":2020},"citing_paper":{"arxiv_id":"2605.14294","last_updated":"2026-05-14T02:55:53Z","snapshot_observed_at":"2026-08-13T21:17:12.860546Z","submitted_at":"2026-05-14T02:55:53Z","title":"Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-05-15T02:34:41.842924Z"},"links":{"citing_paper":"/paper/2605.14294"},"observation_digest":"sha256:45748288b95f23b0d45c8b209dca9e25b4c1794b43cf9e0e5f315c1660242e17","observation_id":"b5224e87-aaee-4ef2-94d2-668c03690808","resolution":{"observed_at":"2026-05-15T02:38:32.825769Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-01T16:38:12.395433+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-01T16:38:12.395433+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-63387-9_5","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-30T13:04:39.474114Z","title":"and Julian, Kyle and Kochenderfer, Mykel J","venue":"Lecture Notes in Computer Science","work_id":"ab04f184-0bbb-48d0-84b2-c4f28e8cabde","year":2017},"citing_paper":{"arxiv_id":"2605.14294","last_updated":"2026-05-14T02:55:53Z","snapshot_observed_at":"2026-08-13T21:17:12.860546Z","submitted_at":"2026-05-14T02:55:53Z","title":"Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-05-15T02:34:41.842924Z"},"links":{"citing_paper":"/paper/2605.14294"},"observation_digest":"sha256:aa851e93153b97c048695bd9fbc006a09e62b90c4a6f204f330c89ed6657d221","observation_id":"1352e9f3-fba3-4cda-b050-ae5146fc74ff","resolution":{"observed_at":"2026-05-15T02:38:32.849745Z","resolver_source":"doi","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-13T23:38:30.204747+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-13T23:38:30.204747+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2595.2021","doi":"10.1109/dasc52595.2021.9594325","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: 2021 IEEE/AIAA 40th Digital Avionics Systems Conference (DASC)","venue":null,"work_id":"ab1d553a-9766-4969-a4b6-2708c557bef1","year":2021},"citing_paper":{"arxiv_id":"2605.14294","last_updated":"2026-05-14T02:55:53Z","snapshot_observed_at":"2026-08-13T21:17:12.860546Z","submitted_at":"2026-05-14T02:55:53Z","title":"Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-05-15T02:34:41.842924Z"},"links":{"citing_paper":"/paper/2605.14294"},"observation_digest":"sha256:a4f3fba84e73fef60d0bf3b221c1356aecdb84d855157129b5546270c46431cf","observation_id":"02e60fc2-0f2b-4d82-a088-aa58f0bb1ef9","resolution":{"observed_at":"2026-05-15T02:38:32.832331Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2512.19007","doi":"10.48550/arxiv.2512.19007","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"The 6th international verification of neural networks competition (VNN-COMP 2025): Summary and results","venue":"mediaTUM  (Technical University of Munich)","work_id":"80333d64-d5f0-4f74-a560-fb32d4526bf1","year":2025},"citing_paper":{"arxiv_id":"2605.14294","last_updated":"2026-05-14T02:55:53Z","snapshot_observed_at":"2026-08-13T21:17:12.860546Z","submitted_at":"2026-05-14T02:55:53Z","title":"Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-05-15T02:34:41.842924Z"},"links":{"citing_paper":"/paper/2605.14294"},"observation_digest":"sha256:c0327aa67d4d12a9217c82841759fb91b24db64138594e46654ed9bb228a401e","observation_id":"8a2af878-1e0f-4c23-97ff-ba19d98e2159","resolution":{"observed_at":"2026-05-15T02:38:32.861810Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-05-26T00:24:21.941378+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-26T00:24:21.941378+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Journal of Machine Learning Research 25(12), 1–53 (2024), http://jmlr.org/papers/v25/23-0119.html","venue":null,"work_id":"4714d787-2d94-43a0-b41e-1757224b05ef","year":2024},"citing_paper":{"arxiv_id":"2605.14294","last_updated":"2026-05-14T02:55:53Z","snapshot_observed_at":"2026-08-13T21:17:12.860546Z","submitted_at":"2026-05-14T02:55:53Z","title":"Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-05-15T02:34:41.842924Z"},"links":{"citing_paper":"/paper/2605.14294"},"observation_digest":"sha256:d75c94534492babfc9aeef8b3f8aae13ae8b964788a618895b463dd5048c4949","observation_id":"9c8fa6d1-d25e-433b-9106-453c9b61b32d","resolution":{"observed_at":"2026-05-15T04:25:05.869135Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-40923-3_8","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: Computer Safety, Relia- bility, and Security: 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20–22, 2023, Proceedings","venue":"Lecture notes in computer science","work_id":"c8ce5705-98a2-4887-a816-9abb76e5916b","year":2023},"citing_paper":{"arxiv_id":"2605.14294","last_updated":"2026-05-14T02:55:53Z","snapshot_observed_at":"2026-08-13T21:17:12.860546Z","submitted_at":"2026-05-14T02:55:53Z","title":"Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-05-15T02:34:41.842924Z"},"links":{"citing_paper":"/paper/2605.14294"},"observation_digest":"sha256:5c84808caa06b779c100efd89096935fd3627ca452cf93e8f28b9c3159557376","observation_id":"16951193-be4e-4820-ab41-618149e0d36a","resolution":{"observed_at":"2026-05-15T02:38:32.885616Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-05-26T00:24:22.278648+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-26T00:24:22.278648+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1561/2400000035","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"year =","venue":"Foundations and Trends® in Optimization","work_id":"4a7b2b4b-dee0-489b-b2d5-8cf9d950e6ad","year":2021},"citing_paper":{"arxiv_id":"2605.14294","last_updated":"2026-05-14T02:55:53Z","snapshot_observed_at":"2026-08-13T21:17:12.860546Z","submitted_at":"2026-05-14T02:55:53Z","title":"Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-05-15T02:34:41.842924Z"},"links":{"citing_paper":"/paper/2605.14294"},"observation_digest":"sha256:ef5b397d881d9d307c04017b4612d51f1df2c189256c3f4cc1937cf65a17b192","observation_id":"bee926d9-33b6-4cfb-8b5e-4bf7faa7529b","resolution":{"observed_at":"2026-05-15T02:38:32.816669Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-05-26T00:24:22.747603+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-26T00:24:22.747603+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.5281/zenodo","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"librosa/librosa: 0.6.3","venue":"Electronic Volyn National University Institutional Repository","work_id":"a2be0426-0f15-4d3d-a62d-9b21d5ec8960","year":2025},"citing_paper":{"arxiv_id":"2605.14294","last_updated":"2026-05-14T02:55:53Z","snapshot_observed_at":"2026-08-13T21:17:12.860546Z","submitted_at":"2026-05-14T02:55:53Z","title":"Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-05-15T02:34:41.842924Z"},"links":{"citing_paper":"/paper/2605.14294"},"observation_digest":"sha256:0217861bf0843f0150b3a6cff871e77bc7c0350ed8e36a7c6089abf736916676","observation_id":"4b2b8ddd-1643-4f61-9301-2754b0a3c028","resolution":{"observed_at":"2026-05-15T02:38:32.889415Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1707.02812","last_updated":"2017-07-10T11:58:08Z","snapshot_observed_at":"2026-08-02T13:31:34.399645Z","submitted_at":"2017-07-10T11:58:08Z","title":"Towards Crafting Text Adversarial Samples","version":1},"cited_work":{"arxiv_id":"1707.02812","doi":"10.48550/arxiv.1707.02812","metadata_source":"pith","pith_arxiv_id":"1707.02812","snapshot_observed_at":"2026-08-05T02:49:54.815029Z","title":"Towards Crafting Text Adversarial Samples","venue":"cs.LG","work_id":"e623d29f-115e-4ffb-9eb9-2d53ade16dc3","year":2017},"citing_paper":{"arxiv_id":"2605.14294","last_updated":"2026-05-14T02:55:53Z","snapshot_observed_at":"2026-08-13T21:17:12.860546Z","submitted_at":"2026-05-14T02:55:53Z","title":"Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-05-15T02:34:41.842924Z"},"links":{"cited_paper":"/paper/1707.02812","citing_paper":"/paper/2605.14294"},"observation_digest":"sha256:5c3e62fc373bc788d9f6289b585ba7553e8d431836dcec23aeef1e3d9b103bef","observation_id":"87f5d817-745a-4047-b51e-82202cea5dae","resolution":{"observed_at":"2026-05-15T02:38:32.838356Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-05-26T00:24:23.089484+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-26T00:24:23.089484+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-90643-5_17","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Neural network verification with branch-and-bound for general nonlinearities","venue":"Lecture notes in computer science","work_id":"e31aff04-37d5-4e66-a94b-ca6839b48406","year":2025},"citing_paper":{"arxiv_id":"2605.14294","last_updated":"2026-05-14T02:55:53Z","snapshot_observed_at":"2026-08-13T21:17:12.860546Z","submitted_at":"2026-05-14T02:55:53Z","title":"Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-05-15T02:34:41.842924Z"},"links":{"citing_paper":"/paper/2605.14294"},"observation_digest":"sha256:15ba32c3b32fad9f17ee3a176397a32af8de91afc5fca1b47e0042b047c7d753","observation_id":"db19ac8a-473e-4df2-8bcc-672cfb0a9a61","resolution":{"observed_at":"2026-05-15T02:38:32.866586Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-05-26T00:24:23.610169+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-26T00:24:23.610169+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"In: International Conference on Learning Representations (2020), https://openreview.net/forum?id=BJxwPJHFwS","venue":null,"work_id":"ca3c36ee-7896-4277-8312-4e4efdf0135c","year":2020},"citing_paper":{"arxiv_id":"2605.14294","last_updated":"2026-05-14T02:55:53Z","snapshot_observed_at":"2026-08-13T21:17:12.860546Z","submitted_at":"2026-05-14T02:55:53Z","title":"Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-05-15T02:34:41.842924Z"},"links":{"citing_paper":"/paper/2605.14294"},"observation_digest":"sha256:5c97b269ef0b86343381f0f301fe9dd16d7659a2c199f43b1403f31907ab762f","observation_id":"a1ca94ac-4446-4c90-b137-0f28e0b9e538","resolution":{"observed_at":"2026-05-15T04:25:05.847752Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3290354","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Proceedings of the ACM on Programming Languages , volume =","venue":"Proceedings of the ACM on Programming Languages","work_id":"c3424928-8422-4936-b936-985aeac9ec09","year":2019},"citing_paper":{"arxiv_id":"2605.14294","last_updated":"2026-05-14T02:55:53Z","snapshot_observed_at":"2026-08-13T21:17:12.860546Z","submitted_at":"2026-05-14T02:55:53Z","title":"Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-05-15T02:34:41.842924Z"},"links":{"citing_paper":"/paper/2605.14294"},"observation_digest":"sha256:e39af23308d65f2f628c213bef37c2fdcd738be375a25519651d9104a37a1305","observation_id":"dd5368f9-87a6-40c9-8e81-85b2463c9d70","resolution":{"observed_at":"2026-05-15T02:38:32.874793Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-05-26T00:24:24.09589+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-26T00:24:24.09589+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"In: Yarowsky,D.,Baldwin,T.,Korhonen,A.,Livescu,K.,Bethard,S.(eds.)Proceedings of the 2013 Conference on Empirical Methods in Natural Language Processing","venue":null,"work_id":"42ab1d84-57da-4532-ad05-2787bb813df4","year":2013},"citing_paper":{"arxiv_id":"2605.14294","last_updated":"2026-05-14T02:55:53Z","snapshot_observed_at":"2026-08-13T21:17:12.860546Z","submitted_at":"2026-05-14T02:55:53Z","title":"Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-05-15T02:34:41.842924Z"},"links":{"citing_paper":"/paper/2605.14294"},"observation_digest":"sha256:b3512ea149d588bd7b9ea7363e9f5318ed24bc6cfbcd0784d5991e1116924857","observation_id":"c7888aac-feeb-428f-a08f-6aa2e0a135ef","resolution":{"observed_at":"2026-05-15T04:25:05.851620Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"In: 7th International Conference on Learning Repre- sentations, ICLR 2019, New Orleans, LA, USA, May 6-9","venue":null,"work_id":"17704131-1516-4d81-8ff6-cfa80ab133e7","year":2019},"citing_paper":{"arxiv_id":"2605.14294","last_updated":"2026-05-14T02:55:53Z","snapshot_observed_at":"2026-08-13T21:17:12.860546Z","submitted_at":"2026-05-14T02:55:53Z","title":"Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-05-15T02:34:41.842924Z"},"links":{"citing_paper":"/paper/2605.14294"},"observation_digest":"sha256:48ebeb212e295ca5cb18d61278abb1d5581938c0e0f5f6dcf4ae781ffbd3f6d3","observation_id":"24afae5b-a28a-4209-b013-36cb2babe2f3","resolution":{"observed_at":"2026-05-15T04:25:05.876932Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"In: Guyon, I., Luxburg, U.V., Bengio, S., Wallach, H., Fergus, R., Vishwanathan, S., Garnett, R","venue":null,"work_id":"36648049-5c3f-4ed0-ad3f-a3c627237e95","year":2017},"citing_paper":{"arxiv_id":"2605.14294","last_updated":"2026-05-14T02:55:53Z","snapshot_observed_at":"2026-08-13T21:17:12.860546Z","submitted_at":"2026-05-14T02:55:53Z","title":"Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-05-15T02:34:41.842924Z"},"links":{"citing_paper":"/paper/2605.14294"},"observation_digest":"sha256:14ab478adb0a72bf0d78e591e050cd9dff3dfaa8e1dd23e593e522bbd06b9952","observation_id":"59e3f25c-6d82-4bab-a2e8-3da9a1affbcb","resolution":{"observed_at":"2026-05-15T04:25:05.823155Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.18653/v1/2025.findings-acl.572","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: Che, W., Nabende, J., Shutova, E., Pilehvar, M.T","venue":null,"work_id":"3dcf7801-310a-4d03-aa34-c2b5df1e5297","year":2025},"citing_paper":{"arxiv_id":"2605.14294","last_updated":"2026-05-14T02:55:53Z","snapshot_observed_at":"2026-08-13T21:17:12.860546Z","submitted_at":"2026-05-14T02:55:53Z","title":"Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-05-15T02:34:41.842924Z"},"links":{"citing_paper":"/paper/2605.14294"},"observation_digest":"sha256:24bfb4365566632739e2e905edfa384508ea8a9ea40a498bc2f5d8cb4fe78cf2","observation_id":"c485c786-3f33-4fad-9c96-ccca4cd6aea1","resolution":{"observed_at":"2026-05-15T02:38:32.870539Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-07-11T12:19:17.204959+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-11T12:19:17.204959+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"In: Ruiz, F., Dy, J., van de Meent, J.W","venue":null,"work_id":"aec059dd-d9e1-4001-a6ef-9b701e606581","year":2023},"citing_paper":{"arxiv_id":"2605.14294","last_updated":"2026-05-14T02:55:53Z","snapshot_observed_at":"2026-08-13T21:17:12.860546Z","submitted_at":"2026-05-14T02:55:53Z","title":"Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-05-15T02:34:41.842924Z"},"links":{"citing_paper":"/paper/2605.14294"},"observation_digest":"sha256:c3f01622b03cff15d601e051f052b840e4dd65940c5259461487207b565da3eb","observation_id":"6a236ee9-1ce6-463c-ba2f-b0c9f7aa2b8f","resolution":{"observed_at":"2026-05-15T04:25:05.833455Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"In: Dy, J., Krause, A","venue":null,"work_id":"90195b44-deaf-4bb9-9d6f-2cb462bb48f0","year":2018},"citing_paper":{"arxiv_id":"2605.14294","last_updated":"2026-05-14T02:55:53Z","snapshot_observed_at":"2026-08-13T21:17:12.860546Z","submitted_at":"2026-05-14T02:55:53Z","title":"Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-05-15T02:34:41.842924Z"},"links":{"citing_paper":"/paper/2605.14294"},"observation_digest":"sha256:58488a572d3f644c99f6fc88d37077d49c2d92e1a19cb8a46996187a75dc162b","observation_id":"d8d59ca3-a3cd-47c7-af62-33a9363130f2","resolution":{"observed_at":"2026-05-15T04:25:05.883422Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2311.17633","last_updated":"2026-07-02T09:49:28Z","snapshot_observed_at":"2026-08-14T00:37:36.434857Z","submitted_at":"2023-11-29T13:51:04Z","title":"Introduction to Transformers: an NLP Perspective","version":2},"cited_work":{"arxiv_id":"2311.17633","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2311.17633","snapshot_observed_at":"2026-07-03T02:17:04.268860Z","title":null,"venue":null,"work_id":"f416f9b0-f34e-449b-b3a3-73051adc2392","year":2023},"citing_paper":{"arxiv_id":"2605.14294","last_updated":"2026-05-14T02:55:53Z","snapshot_observed_at":"2026-08-13T21:17:12.860546Z","submitted_at":"2026-05-14T02:55:53Z","title":"Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-05-15T02:34:41.842924Z"},"links":{"cited_paper":"/paper/2311.17633","citing_paper":"/paper/2605.14294"},"observation_digest":"sha256:58da32cc0fe4ba664699cafce1ee6cea023e57dab3a4c4689b17e27de018b6e5","observation_id":"9817abc6-c845-4d54-a208-3bdbe5cfadb1","resolution":{"observed_at":"2026-07-03T02:17:04.268860Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"In: International Conference on Learning Representa- tions (2021), https://openreview.net/forum?id=nVZtXBI6LNn","venue":null,"work_id":"5e1777c5-d944-4a03-aee2-a52204e3f95f","year":2021},"citing_paper":{"arxiv_id":"2605.14294","last_updated":"2026-05-14T02:55:53Z","snapshot_observed_at":"2026-08-13T21:17:12.860546Z","submitted_at":"2026-05-14T02:55:53Z","title":"Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-05-15T02:34:41.842924Z"},"links":{"citing_paper":"/paper/2605.14294"},"observation_digest":"sha256:bd5f736b60438542507b87ad9a84ee42b89ab3a12bb84864f360e8fcbdec7d07","observation_id":"bbc4e8ac-a071-4458-9054-46dbccc0bb43","resolution":{"observed_at":"2026-05-15T04:25:05.897725Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"In: Pro- ceedings of the 32nd International Conference on Neural Information Pro- cessing Systems","venue":null,"work_id":"df9501a6-7f39-4984-af02-a9c63af72e14","year":2018},"citing_paper":{"arxiv_id":"2605.14294","last_updated":"2026-05-14T02:55:53Z","snapshot_observed_at":"2026-08-13T21:17:12.860546Z","submitted_at":"2026-05-14T02:55:53Z","title":"Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-05-15T02:34:41.842924Z"},"links":{"citing_paper":"/paper/2605.14294"},"observation_digest":"sha256:5567137b076a935a669033c8969552bdfcd9c3d1fcb47e59a7a834c8a74730a3","observation_id":"9f2ffe9b-7047-4bec-8472-ac8aacaab394","resolution":{"observed_at":"2026-05-15T04:25:05.808514Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"In: Proceedings of the 29th International Conference on Neural Information Processing Systems - Volume 1","venue":null,"work_id":"d1cafd28-0ee2-4e51-b357-917a7ec4fa7f","year":2015},"citing_paper":{"arxiv_id":"2605.14294","last_updated":"2026-05-14T02:55:53Z","snapshot_observed_at":"2026-08-13T21:17:12.860546Z","submitted_at":"2026-05-14T02:55:53Z","title":"Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-05-15T02:34:41.842924Z"},"links":{"citing_paper":"/paper/2605.14294"},"observation_digest":"sha256:8539396d3365f805a5e64e384ca3e507f354408b4cefecda568d18666880e451","observation_id":"1838c68f-bcfe-4dfa-beb5-23ace195f155","resolution":{"observed_at":"2026-05-15T04:25:05.839961Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1609/aaai.v38i19.30180","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Proceedings of the AAAI Conference on Artificial Intelligence","work_id":"e2714ef0-c12f-462d-9c0f-44a69b3d9c40","year":2024},"citing_paper":{"arxiv_id":"2605.14294","last_updated":"2026-05-14T02:55:53Z","snapshot_observed_at":"2026-08-13T21:17:12.860546Z","submitted_at":"2026-05-14T02:55:53Z","title":"Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-05-15T02:34:41.842924Z"},"links":{"citing_paper":"/paper/2605.14294"},"observation_digest":"sha256:dab831d2ae045472282c417c610ac96bca3767f639cd264903bd0ec90e3406f0","observation_id":"b0d18652-8150-4edc-a206-5ff2fafa2a84","resolution":{"observed_at":"2026-05-15T02:38:32.821140Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-05-26T00:24:24.895753+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-26T00:24:24.895753+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"1349.355690","doi":"10.1145/3551349.3556903","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Safety and Performance, Why not Both? Bi-Objective Optimized Model Compression toward AI Software Deployment","venue":null,"work_id":"d50b38fa-740a-4a35-a640-74b0dc19a91d","year":2022},"citing_paper":{"arxiv_id":"2605.14294","last_updated":"2026-05-14T02:55:53Z","snapshot_observed_at":"2026-08-13T21:17:12.860546Z","submitted_at":"2026-05-14T02:55:53Z","title":"Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-05-15T02:34:41.842924Z"},"links":{"citing_paper":"/paper/2605.14294"},"observation_digest":"sha256:a10c01a931152425b288434b7dc4eaf56430f0cc87328cfa21c69e6910d8b933","observation_id":"d4c1329b-9428-4340-aefe-b8f417418e89","resolution":{"observed_at":"2026-05-15T02:38:32.881546Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"In: Oh, A.H., Agarwal, A., Belgrave, D., Cho, K","venue":null,"work_id":"d42e6ee1-ad7d-4ea3-bad8-88c6f5bc20e3","year":2022},"citing_paper":{"arxiv_id":"2605.14294","last_updated":"2026-05-14T02:55:53Z","snapshot_observed_at":"2026-08-13T21:17:12.860546Z","submitted_at":"2026-05-14T02:55:53Z","title":"Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-05-15T02:34:41.842924Z"},"links":{"citing_paper":"/paper/2605.14294"},"observation_digest":"sha256:864c12d73ec403f2de60cacceff0d02077f96a7c650a5abcc1ca0c28a8cd4600","observation_id":"98075875-7db3-4d78-984f-99e96b0fb505","resolution":{"observed_at":"2026-05-15T04:25:05.804763Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"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]","venue":null,"work_id":"6f9a90de-13a4-4e76-a7f0-5e7fe04f8202","year":null},"citing_paper":{"arxiv_id":"2605.14294","last_updated":"2026-05-14T02:55:53Z","snapshot_observed_at":"2026-08-13T21:17:12.860546Z","submitted_at":"2026-05-14T02:55:53Z","title":"Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-05-15T02:34:41.842924Z"},"links":{"citing_paper":"/paper/2605.14294"},"observation_digest":"sha256:55755f7f71d7cfb99df74e9bd6424eb3994ca321cce4f8281aead826c6853f8a","observation_id":"52c3be05-e5fd-4108-adb3-e48f79c3e079","resolution":{"observed_at":"2026-05-15T04:25:05.798270Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2605.14294","last_updated":"2026-05-14T02:55:53Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-13T21:17:12.860546Z","submitted_at":"2026-05-14T02:55:53Z","title":"Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement"},"reference_resolution":{"displayed":39,"state_counts":{"malformed_identifier":4,"metadata_mismatch":10,"parse_uncertain":0,"unresolved":1,"verified_exact":11,"verified_fuzzy":13},"total_outbound_references":39},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"thesis":"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."}