{"as_of":"2026-08-12T19:14:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:be2c66949a865da942dbcf7c6e6e9d310ab0d1b7145f2e563b1da56ba233ee5b","coverage":[{"denominator":21,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":21,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-13T06:19:37.407099Z","state":"measured"},{"denominator":21,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":21,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-12T06:34:41.77262+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.10974/citation-record","integrity":"/paper/2605.10974/integrity","json":"/paper/2605.10974/citation-record.json","paper":"/paper/2605.10974"},"outbound":[{"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":"Advances in Neural Information Processing Systems , year=","venue":null,"work_id":"959c9c1f-33a9-4be2-8e9e-319b37e07632","year":null},"citing_paper":{"arxiv_id":"2605.10974","last_updated":"2026-05-08T20:22:06Z","snapshot_observed_at":"2026-07-06T23:22:52.369277Z","submitted_at":"2026-05-08T20:22:06Z","title":"Vertex-Softmax: Tight Transformer Verification via Exact Softmax Optimization","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-05-13T06:19:37.407099Z"},"links":{"citing_paper":"/paper/2605.10974"},"observation_digest":"sha256:0893eaed606b3c87427ad50aae80ed4c815d399254d97d986770bc6e4a3daf33","observation_id":"75e8c34c-07fe-4491-8a59-773e7bebb02b","resolution":{"observed_at":"2026-05-13T09:27:35.345216Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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":"Advances in Neural Information Processing Systems , year=","venue":null,"work_id":"e35bf9bb-b88a-4296-a881-097d0f2643d8","year":null},"citing_paper":{"arxiv_id":"2605.10974","last_updated":"2026-05-08T20:22:06Z","snapshot_observed_at":"2026-07-06T23:22:52.369277Z","submitted_at":"2026-05-08T20:22:06Z","title":"Vertex-Softmax: Tight Transformer Verification via Exact Softmax Optimization","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-05-13T06:19:37.407099Z"},"links":{"citing_paper":"/paper/2605.10974"},"observation_digest":"sha256:3a3220bec00772f1bfdb29d962d79a3e8fd546781a4864539e40111f63bc40b1","observation_id":"01664630-0fb1-471a-90b7-71cef5625daa","resolution":{"observed_at":"2026-05-13T09:27:35.374685Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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":"Advances in Neural Information Processing Systems , year=","venue":null,"work_id":"a7e723a7-4c0b-4c6c-90fe-4e9cdb788da9","year":null},"citing_paper":{"arxiv_id":"2605.10974","last_updated":"2026-05-08T20:22:06Z","snapshot_observed_at":"2026-07-06T23:22:52.369277Z","submitted_at":"2026-05-08T20:22:06Z","title":"Vertex-Softmax: Tight Transformer Verification via Exact Softmax Optimization","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-05-13T06:19:37.407099Z"},"links":{"citing_paper":"/paper/2605.10974"},"observation_digest":"sha256:1844abbdcd9ed96016d40dc0f1cd5eba5598cc7844b604ec57a1db8621cdeca8","observation_id":"3c22676d-bda2-44e7-b6cc-69e0f3b7274b","resolution":{"observed_at":"2026-05-13T09:27:35.388487Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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":"International Conference on Learning Representations , year=","venue":null,"work_id":"b634c5fb-a4d3-4c1b-91ff-decb8ad755c2","year":null},"citing_paper":{"arxiv_id":"2605.10974","last_updated":"2026-05-08T20:22:06Z","snapshot_observed_at":"2026-07-06T23:22:52.369277Z","submitted_at":"2026-05-08T20:22:06Z","title":"Vertex-Softmax: Tight Transformer Verification via Exact Softmax Optimization","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-05-13T06:19:37.407099Z"},"links":{"citing_paper":"/paper/2605.10974"},"observation_digest":"sha256:5a7b26469ba94da560853530e9f11f53364ce48ec2dd209da24d337fd5e86dde","observation_id":"52e30280-fb59-46e9-8bb8-5d5835f66806","resolution":{"observed_at":"2026-05-13T09:27:35.317032Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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":"Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation , pages=","venue":null,"work_id":"af5867aa-4922-41d9-8013-d9216d0f19ea","year":2021},"citing_paper":{"arxiv_id":"2605.10974","last_updated":"2026-05-08T20:22:06Z","snapshot_observed_at":"2026-07-06T23:22:52.369277Z","submitted_at":"2026-05-08T20:22:06Z","title":"Vertex-Softmax: Tight Transformer Verification via Exact Softmax Optimization","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-05-13T06:19:37.407099Z"},"links":{"citing_paper":"/paper/2605.10974"},"observation_digest":"sha256:147a04396e76fe94e05698768dce7a4f9fd78adaffaa89d580077b2c28af648d","observation_id":"d82d77c7-3db3-4b60-ad7e-edb8404c8b66","resolution":{"observed_at":"2026-05-13T09:27:35.326336Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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":"Computer Safety, Reliability, and Security , pages=","venue":null,"work_id":"fd2fc372-e9e0-41e0-9c81-a7b06722994a","year":2023},"citing_paper":{"arxiv_id":"2605.10974","last_updated":"2026-05-08T20:22:06Z","snapshot_observed_at":"2026-07-06T23:22:52.369277Z","submitted_at":"2026-05-08T20:22:06Z","title":"Vertex-Softmax: Tight Transformer Verification via Exact Softmax Optimization","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-05-13T06:19:37.407099Z"},"links":{"citing_paper":"/paper/2605.10974"},"observation_digest":"sha256:13c82d3eaf6ca67b6bd2c115fb9cfa0c78565a8a51fe40ee0672b5b00bd76e21","observation_id":"1eee891b-4f5d-41d4-8d53-ef506b6edef6","resolution":{"observed_at":"2026-05-13T09:27:35.335738Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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":"Proceedings of the 26th International Conference on Artificial Intelligence and Statistics , series=","venue":null,"work_id":"3e17b27f-44fb-4223-94f7-94d83c16e130","year":2023},"citing_paper":{"arxiv_id":"2605.10974","last_updated":"2026-05-08T20:22:06Z","snapshot_observed_at":"2026-07-06T23:22:52.369277Z","submitted_at":"2026-05-08T20:22:06Z","title":"Vertex-Softmax: Tight Transformer Verification via Exact Softmax Optimization","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-05-13T06:19:37.407099Z"},"links":{"citing_paper":"/paper/2605.10974"},"observation_digest":"sha256:3210fb8e2897a5ccd18d515396869de37ab734786c6ec511a623bef740ef2814","observation_id":"7964aa43-b47e-4987-85da-a2d9568a1527","resolution":{"observed_at":"2026-05-13T09:27:35.330822Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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":"Proceedings of the AAAI Conference on Artificial Intelligence , volume=","venue":null,"work_id":"30935444-bebc-4a4e-addf-68f13fc0ae7b","year":null},"citing_paper":{"arxiv_id":"2605.10974","last_updated":"2026-05-08T20:22:06Z","snapshot_observed_at":"2026-07-06T23:22:52.369277Z","submitted_at":"2026-05-08T20:22:06Z","title":"Vertex-Softmax: Tight Transformer Verification via Exact Softmax Optimization","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-05-13T06:19:37.407099Z"},"links":{"citing_paper":"/paper/2605.10974"},"observation_digest":"sha256:aadce7ed0e0203a3e1cd9a4440ba01f4385ec6038eab9ae02b504b33894d27e2","observation_id":"feed1095-04bd-49fd-8d44-678655ed7326","resolution":{"observed_at":"2026-05-13T09:27:35.393451Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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":"International Conference on Learning Representations , year=","venue":null,"work_id":"74ea4879-dcb4-40ce-8d02-1b3deecd4b61","year":null},"citing_paper":{"arxiv_id":"2605.10974","last_updated":"2026-05-08T20:22:06Z","snapshot_observed_at":"2026-07-06T23:22:52.369277Z","submitted_at":"2026-05-08T20:22:06Z","title":"Vertex-Softmax: Tight Transformer Verification via Exact Softmax Optimization","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-05-13T06:19:37.407099Z"},"links":{"citing_paper":"/paper/2605.10974"},"observation_digest":"sha256:b6ea4eca2c9ff2fe32d06b7deb4314603d43a586ab60ab51d2a39d43d15fad0b","observation_id":"5f0cb00f-7128-4cda-908e-5d00a7d7991f","resolution":{"observed_at":"2026-05-13T09:27:35.307222Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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":"Computer Aided Verification , pages=","venue":null,"work_id":"62d4c12b-9801-4ff1-acd3-be2cb25d9de0","year":2019},"citing_paper":{"arxiv_id":"2605.10974","last_updated":"2026-05-08T20:22:06Z","snapshot_observed_at":"2026-07-06T23:22:52.369277Z","submitted_at":"2026-05-08T20:22:06Z","title":"Vertex-Softmax: Tight Transformer Verification via Exact Softmax Optimization","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-05-13T06:19:37.407099Z"},"links":{"citing_paper":"/paper/2605.10974"},"observation_digest":"sha256:ce81f8e5de765531820797d89b2e58299200a6def4ddd0be37638cdb0ac82e6f","observation_id":"6bd45dff-e393-47ca-adcc-8f74b4337a0b","resolution":{"observed_at":"2026-05-13T09:27:35.398276Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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":"2020 , publisher=","venue":null,"work_id":"9bbc814d-67ef-4a94-8c10-1cf39c4d8404","year":2020},"citing_paper":{"arxiv_id":"2605.10974","last_updated":"2026-05-08T20:22:06Z","snapshot_observed_at":"2026-07-06T23:22:52.369277Z","submitted_at":"2026-05-08T20:22:06Z","title":"Vertex-Softmax: Tight Transformer Verification via Exact Softmax Optimization","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-05-13T06:19:37.407099Z"},"links":{"citing_paper":"/paper/2605.10974"},"observation_digest":"sha256:4bb567ff1870ce591c4e2bd53948b095cab4842ef790200cfe7d050f63bdb6ff","observation_id":"969ee805-4a05-46fb-8b50-1d3b28245142","resolution":{"observed_at":"2026-05-13T09:27:35.322031Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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":"Tools and Algorithms for the Construction and Analysis of Systems , pages=","venue":null,"work_id":"d3837122-2ac3-4774-9209-2771db8a2780","year":2025},"citing_paper":{"arxiv_id":"2605.10974","last_updated":"2026-05-08T20:22:06Z","snapshot_observed_at":"2026-07-06T23:22:52.369277Z","submitted_at":"2026-05-08T20:22:06Z","title":"Vertex-Softmax: Tight Transformer Verification via Exact Softmax Optimization","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-05-13T06:19:37.407099Z"},"links":{"citing_paper":"/paper/2605.10974"},"observation_digest":"sha256:b9d981fe77fcd177b12afde6be055b02cffa6651be832201d86be0dbe66ff021","observation_id":"fe65a0e9-f283-4276-8275-d3ee4929dfc3","resolution":{"observed_at":"2026-05-13T09:27:35.311665Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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":"Certifying","venue":null,"work_id":"fc37722a-c06b-480b-9ce8-012e5bf1617b","year":null},"citing_paper":{"arxiv_id":"2605.10974","last_updated":"2026-05-08T20:22:06Z","snapshot_observed_at":"2026-07-06T23:22:52.369277Z","submitted_at":"2026-05-08T20:22:06Z","title":"Vertex-Softmax: Tight Transformer Verification via Exact Softmax Optimization","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-05-13T06:19:37.407099Z"},"links":{"citing_paper":"/paper/2605.10974"},"observation_digest":"sha256:f4286abb6ef274c96ef67e64f81fc2917d0c23520f4b80b38df9de2c37091c50","observation_id":"b3ecc9fe-765f-4d99-bf0e-fca994b85e95","resolution":{"observed_at":"2026-05-13T09:27:35.340544Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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":"Certifying Counterfactual Bias in","venue":null,"work_id":"5bfcc675-e3fc-49bb-9920-7ddfb30057e2","year":null},"citing_paper":{"arxiv_id":"2605.10974","last_updated":"2026-05-08T20:22:06Z","snapshot_observed_at":"2026-07-06T23:22:52.369277Z","submitted_at":"2026-05-08T20:22:06Z","title":"Vertex-Softmax: Tight Transformer Verification via Exact Softmax Optimization","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-05-13T06:19:37.407099Z"},"links":{"citing_paper":"/paper/2605.10974"},"observation_digest":"sha256:1b74b8b5161280e9e1c32ed5d2208b2747838660ff724c8b246984098349384d","observation_id":"96dfb9ba-1a47-42e1-943d-da64d64cb51b","resolution":{"observed_at":"2026-05-13T09:27:35.369656Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2406.09714","last_updated":"2024-10-31T05:31:03Z","snapshot_observed_at":"2026-08-09T13:30:12.735058Z","submitted_at":"2024-06-14T04:46:39Z","title":"Large language model validity via enhanced conformal prediction methods","version":2},"cited_work":{"arxiv_id":"2406.09714","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2406.09714","snapshot_observed_at":"2026-07-03T10:37:56.447214Z","title":"arXiv preprint arXiv:2406.09714 , year=","venue":null,"work_id":"c976fc18-b871-4f6b-a5ec-e75f6cc6a28a","year":2024},"citing_paper":{"arxiv_id":"2605.10974","last_updated":"2026-05-08T20:22:06Z","snapshot_observed_at":"2026-07-06T23:22:52.369277Z","submitted_at":"2026-05-08T20:22:06Z","title":"Vertex-Softmax: Tight Transformer Verification via Exact Softmax Optimization","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-05-13T06:19:37.407099Z"},"links":{"cited_paper":"/paper/2406.09714","citing_paper":"/paper/2605.10974"},"observation_digest":"sha256:7ad51c52349c5dba66e27fa7e376a5d4fd549579f1906d4146b8d853981ff72d","observation_id":"8176fff0-ea17-4acc-bd18-7d93ddf372df","resolution":{"observed_at":"2026-05-13T06:22:23.387848Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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":"6a4d8838-51e2-4c00-be98-08300a34df98","year":null},"citing_paper":{"arxiv_id":"2605.10974","last_updated":"2026-05-08T20:22:06Z","snapshot_observed_at":"2026-07-06T23:22:52.369277Z","submitted_at":"2026-05-08T20:22:06Z","title":"Vertex-Softmax: Tight Transformer Verification via Exact Softmax Optimization","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-05-13T06:19:37.407099Z"},"links":{"citing_paper":"/paper/2605.10974"},"observation_digest":"sha256:e40f475e867226379422b51f75f24f4f5d39661ec70543fc3213c6d0a70492de","observation_id":"378900d5-8591-4db1-8272-44e1b0a52878","resolution":{"observed_at":"2026-05-13T09:27:35.383971Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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":"0e0a7f91-ff8b-4243-983a-faaf70659f6f","year":null},"citing_paper":{"arxiv_id":"2605.10974","last_updated":"2026-05-08T20:22:06Z","snapshot_observed_at":"2026-07-06T23:22:52.369277Z","submitted_at":"2026-05-08T20:22:06Z","title":"Vertex-Softmax: Tight Transformer Verification via Exact Softmax Optimization","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-05-13T06:19:37.407099Z"},"links":{"citing_paper":"/paper/2605.10974"},"observation_digest":"sha256:1197e719510c852ca2aeccb80ac548a4d633bb9739e383dbb308a55f265d5950","observation_id":"c8035215-62e7-4238-9f18-53e1de3d1b8a","resolution":{"observed_at":"2026-05-13T09:27:35.355466Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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":"2b7b617d-59a3-40ba-b0ee-607151933d9a","year":null},"citing_paper":{"arxiv_id":"2605.10974","last_updated":"2026-05-08T20:22:06Z","snapshot_observed_at":"2026-07-06T23:22:52.369277Z","submitted_at":"2026-05-08T20:22:06Z","title":"Vertex-Softmax: Tight Transformer Verification via Exact Softmax Optimization","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-05-13T06:19:37.407099Z"},"links":{"citing_paper":"/paper/2605.10974"},"observation_digest":"sha256:2b4e614d9f7da96d4973236ee3ca2843ffc7f3e2b51ce8c3888f505ace9ef9d1","observation_id":"e94398e6-a125-4017-b846-10b1f05b12c3","resolution":{"observed_at":"2026-05-13T09:27:35.360189Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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":"d8fbe451-fdeb-4753-b500-7c727ab9b270","year":null},"citing_paper":{"arxiv_id":"2605.10974","last_updated":"2026-05-08T20:22:06Z","snapshot_observed_at":"2026-07-06T23:22:52.369277Z","submitted_at":"2026-05-08T20:22:06Z","title":"Vertex-Softmax: Tight Transformer Verification via Exact Softmax Optimization","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-05-13T06:19:37.407099Z"},"links":{"citing_paper":"/paper/2605.10974"},"observation_digest":"sha256:7a4ff0180598b7e8e98d40b18a9834c45a0e735a474539d48a4103c792d9f82a","observation_id":"89fc40c7-2967-468b-8b10-e959df32e9f3","resolution":{"observed_at":"2026-05-13T09:27:35.364998Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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":"and Wei, Jiali and Sun, Jun , journal=","venue":null,"work_id":"0100f019-7a21-48fc-9762-3b6dee4f31d5","year":null},"citing_paper":{"arxiv_id":"2605.10974","last_updated":"2026-05-08T20:22:06Z","snapshot_observed_at":"2026-07-06T23:22:52.369277Z","submitted_at":"2026-05-08T20:22:06Z","title":"Vertex-Softmax: Tight Transformer Verification via Exact Softmax Optimization","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-05-13T06:19:37.407099Z"},"links":{"citing_paper":"/paper/2605.10974"},"observation_digest":"sha256:6cd1a3e55d0b7bb4fa055cedfaf1bba2b628a1104d2c275da52b41718dfeadb3","observation_id":"348eac20-b112-4ecd-bfcd-5317a74674d0","resolution":{"observed_at":"2026-05-13T09:27:35.379791Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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":"Management Science , volume=","venue":null,"work_id":"59fff128-8138-453e-9f22-a9aca71720d0","year":1967},"citing_paper":{"arxiv_id":"2605.10974","last_updated":"2026-05-08T20:22:06Z","snapshot_observed_at":"2026-07-06T23:22:52.369277Z","submitted_at":"2026-05-08T20:22:06Z","title":"Vertex-Softmax: Tight Transformer Verification via Exact Softmax Optimization","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-05-13T06:19:37.407099Z"},"links":{"citing_paper":"/paper/2605.10974"},"observation_digest":"sha256:a4351461bf755b28d6571a90774d1cbe1b9a7c88c6762e89f11d8d9fe2b6d36a","observation_id":"517cdaee-f3ae-45ec-b2b2-27c0a288965e","resolution":{"observed_at":"2026-05-13T09:27:35.350816Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2605.10974","last_updated":"2026-05-08T20:22:06Z","latest_version":1,"primary_category":"cs.LG","snapshot_observed_at":"2026-07-06T23:22:52.369277Z","submitted_at":"2026-05-08T20:22:06Z","title":"Vertex-Softmax: Tight Transformer Verification via Exact Softmax Optimization"},"reference_resolution":{"displayed":21,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":4,"verified_exact":1,"verified_fuzzy":16},"total_outbound_references":21},"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-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"thesis":"As of 12 August 2026, this Paper Citation Record lists 21 of 21 outbound references and 0 inbound Pith citation observations for arXiv:2605.10974."}