{"as_of":"2026-08-19T04:24:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:79d1f576feda651706429da705bc0464c1116b280627d10087308c0dd79ccdf0","coverage":[{"denominator":94,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":94,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-15T15:55:44.329108Z","state":"measured"},{"denominator":94,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":94,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-18T06:34:40.430872+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/2509.10694/citation-record","integrity":"/paper/2509.10694/integrity","json":"/paper/2509.10694/citation-record.json","paper":"/paper/2509.10694"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T15:55:43.958924Z","title":"deepspeed-2071: [BUG] FP16 used for all reduce even if BFLOAT16 is enabled.https://github.com/deepspeedai/DeepSpeed/ issues/2071","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:43.958924Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:9b0b699a56d8bdc51d6b356e8e10098dc276aef7312a2b661c6cdf2cf39e1886","observation_id":"82b32f4b-5527-479e-a682-4de7aeee6919","resolution":{"observed_at":"2026-08-15T15:55:43.958924Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T15:55:43.963353Z","title":"deepspeed-5618: [BUG] ZeRO optimizer with MoE Expert Parallelism.https://github.com/deepspeedai/DeepSpeed/issues/5618","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:43.963353Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:ff218d357f2c9ac98e2bee63760d9ec8906f61167792ef1dd41ff08cfee733c1","observation_id":"1f9a4f5e-7b82-4759-abfa-73315b3759ed","resolution":{"observed_at":"2026-08-15T15:55:43.963353Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T15:55:43.967379Z","title":"deepspeed-5808: [BUG] sequence parallel alltoall with batch size > 1.https://github.com/deepspeedai/DeepSpeed/issues/5808","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:43.967379Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:b62a0a2712842f5a2c2280124ef02bbd0a3bc606d56f12aa2a7582f8cd737901","observation_id":"e14b7054-03b3-4e36-bf3d-86c734cbada2","resolution":{"observed_at":"2026-08-15T15:55:43.967379Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T15:55:43.971394Z","title":"deepspeed-6714: [BUG] pipeline parallelism+fp16+moe isn’t working.https://github.com/deepspeedai/DeepSpeed/issues/6714","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:43.971394Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:4ee7002b3958b7e45e03b3f0f48658ae2317c07dd7622aed69dec1df8745644c","observation_id":"7a78f877-6dad-4cf9-b4b3-efe3c29fb472","resolution":{"observed_at":"2026-08-15T15:55:43.971394Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T15:55:43.974964Z","title":"deepspeed-7188: [BUG]when use overlap_comm:True with contiguous_gradients:True, grad_norm is NaN.https://github.com/ deepspeedai/DeepSpeed/issues/7188","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:43.974964Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:8b835d10e26c2761c70d915edca1a7e90b24551f49efc813d9a2983c210d8fc9","observation_id":"5cd92a81-f486-4160-9125-a9b9423ef893","resolution":{"observed_at":"2026-08-15T15:55:43.974964Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T15:55:43.978594Z","title":"megatronlm-1611: [BUG] MLA is computed in a different ordercomparedtotheogimpl.https://github.com/NVIDIA/Megatron- LM/issues/1611","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:43.978594Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:873b517591366f77f36c12b1f3212a4b17534b33e86a70f93c7f62d0f2a034f6","observation_id":"f9d9c130-24de-475a-9694-fc520943d05c","resolution":{"observed_at":"2026-08-15T15:55:43.978594Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T15:55:43.982375Z","title":"megatronlm-1620: [BUG] Problem with calculation of self.q_layernorm in qkv_up_proj_and_rope_apply.https://github.com/ NVIDIA/Megatron-LM/issues/1620","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:43.982375Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:547085f8b7b5c09a4ccd9fba6dcf53ae9de55a4c910b7a22754820abea64c2d0","observation_id":"75a3b4c7-8efa-458b-a1f9-a2f23fb08d7c","resolution":{"observed_at":"2026-08-15T15:55:43.982375Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T15:55:43.985724Z","title":"megatronlm-1699: [BUG] [MLA] k_pos_emb in MLA is not re- ducedacrossTPranksiflinear_kv_down_projisColumnParallelLinear","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:43.985724Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:badd4b9a23d413e76451a1008b1d73a629aa4dd6cfe5080462de9b41312d6edd","observation_id":"b7b1bf75-c7a0-4b9c-939d-35d39c846c92","resolution":{"observed_at":"2026-08-15T15:55:43.985724Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T15:55:43.989365Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:43.989365Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:fa710e98fe6655680b379161f3ad83a26c1d2eab3e9cb3f2002f387324bf312e","observation_id":"238f837c-6307-404b-bd2a-e65a7533229b","resolution":{"observed_at":"2026-08-15T15:55:43.989365Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T15:55:43.992911Z","title":"megatronlm-599: [BUG] SwitchMLP router weights are not synchronized within the tensor parallelism group.https://github.com/ NVIDIA/Megatron-LM/issues/599","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:43.992911Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:97b726352c854e80fc15b249f6c04481762596ddd4047c23968138ab79aa980f","observation_id":"1ff74675-6e16-4b68-98e5-3ad6ad24a24f","resolution":{"observed_at":"2026-08-15T15:55:43.992911Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T15:55:43.996680Z","title":"megatronlm-5fffdfc: LinearWithFrozenWeight backward fix when TP > 1.https://github.com/NVIDIA/Megatron-LM/commit/ 5fffdfc737f14297bc3781dfc9e273199d1df52e","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:43.996680Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:e50b023f035442506de2b62bf05a47cab5a3f90cc528d70c7df9dcaeaec05a5a","observation_id":"00309e20-cd56-41c2-9496-4a4fc99d7aba","resolution":{"observed_at":"2026-08-15T15:55:43.996680Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T15:55:44.000404Z","title":"nemo-5564: Fix all gather while writing to a file during T5 finetuning.https://github.com/NVIDIA/NeMo/pull/5564","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.000404Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:c739c53f33c470161713365d5c5b0b734190870102fbad221c9a1e685feda99a","observation_id":"22fd3966-7a34-4a2b-b39a-aeb126466abb","resolution":{"observed_at":"2026-08-15T15:55:44.000404Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T15:55:44.004074Z","title":"nemo-8487: LoRA training with FSDP has spike in train loss","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.004074Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:37cb778123fba1e65436ca3824d223b1ee0cf0cd9d29ba83dde8da672318521b","observation_id":"b88c8e59-76fb-4e10-9655-bc89e61de7e9","resolution":{"observed_at":"2026-08-15T15:55:44.004074Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T15:55:44.007701Z","title":"nemo-9344:Skipsequence_parallelallreducewhenusingMcore DistOpt.https://github.com/NVIDIA/NeMo/pull/9344","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.007701Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:e3a5ae2864f045b84bf5135e85cdec8ec0af42a728a2ad1ac22fed7602b68dbd","observation_id":"c947f74a-d8fd-4315-826c-6d9625604b15","resolution":{"observed_at":"2026-08-15T15:55:44.007701Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T15:55:46.424024Z","title":"transformerengine-3: Add checks for tensor parallel use case to ensure all-reduce is called only when necessary.https://github.com/ NVIDIA/TransformerEngine/pull/3","venue":null,"work_id":"9c1f4c8f-73ee-42ac-a01c-ee427c1de523","year":null},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.011253Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:eb9949ddd19415212e560089b94052fb95f20fafd942d0796af8f681c290ba2a","observation_id":"9414ee20-8800-4562-b3d1-fc793ba01478","resolution":{"observed_at":"2026-08-15T15:55:46.427730Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T15:55:46.412764Z","title":null,"venue":null,"work_id":"894acf93-2126-44ce-9b6f-3be5490d26a3","year":null},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.014662Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:b21822ae0da5c664001bc4370af6dd8cafefa489bbd4b1657a8209f1ebe94fad","observation_id":"ce49a227-be4d-45c8-831c-383cb6804f14","resolution":{"observed_at":"2026-08-15T15:55:46.416424Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T15:55:46.402238Z","title":"transformersneuronx-0c646b0 : [GPT2]Fix layout changes.https://github.com/aws-neuron/transformers-neuronx/ commit/0c646b02ad36a82bcc13633523de09eb6ed92072","venue":null,"work_id":"e1c5a733-eeb6-4397-98f6-9f279cb753e5","year":null},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.018427Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:bd7e86b32f2bd794c43c44bc1bfea799459cede9c1113028fa7992b46cad9c09","observation_id":"329a2d01-7fc6-4509-97b5-5300cd08fc33","resolution":{"observed_at":"2026-08-15T15:55:46.405776Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T15:55:46.391858Z","title":null,"venue":null,"work_id":"306c6d98-4bf1-46f4-bb42-c4da11193964","year":null},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.021893Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:75f9eda7e03536c559512b4fd9d580c240804286c71a2884d94a53ad8b186033","observation_id":"5306ae0d-e37a-4b34-9349-d727937fea38","resolution":{"observed_at":"2026-08-15T15:55:46.395011Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T15:55:46.381163Z","title":"transformersneuronx-e2f5241:slicethekvcachecorrectlywhen using sos.https://github.com/aws-neuron/transformers-neuronx/ commit/e2f524114f9536541fb886f5509ff7cda2a36ce5","venue":null,"work_id":"b73fb095-8827-4071-bae1-1f2aed75a573","year":null},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.025792Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:c638986d8e35bcc2c9ceb579ffa1df2481f4150fbe428c173400dabddc5a8974","observation_id":"f2ed9a0e-c84c-4b2d-9ae5-7bba7f36ccdf","resolution":{"observed_at":"2026-08-15T15:55:46.385006Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T15:55:46.368490Z","title":"Manual Optimization does not synchronize gradients in DDP","venue":null,"work_id":"3f10eb81-93a1-4f55-8e5e-efe349fde0e4","year":2021},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.029349Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:331608cbed725310167a7daa4e30574e41c3d4323f5923a8487689cd3176d4ca","observation_id":"d982ca07-c131-4ff4-8294-24b907023960","resolution":{"observed_at":"2026-08-15T15:55:46.372976Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T15:55:46.355274Z","title":"[Bug] Gradients not synchronized.https://github.com/kohya- ss/sd-scripts/issues/924","venue":null,"work_id":"792a5660-548d-43a5-a364-27c81078f863","year":2023},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.033551Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:35fb208ca9bfbe76aa6727e54269b89f55665508204d0a72224f574dd890ad61","observation_id":"22626630-0b2b-4603-97b1-da6eed6c48fb","resolution":{"observed_at":"2026-08-15T15:55:46.359731Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T15:55:46.343855Z","title":"DDP: moving model to CPU and back to GPU breaks gradient synchronization.https://github.com/pytorch/pytorch/issues/104336","venue":null,"work_id":"e921ee24-5673-4979-85c8-ce61766527e4","year":2023},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.038201Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:2c84f857884ff84e8c09ba9438bdf34293081eaa81911da3f341201a1d805a77","observation_id":"717704af-4450-4c3b-aee5-6c52cb871766","resolution":{"observed_at":"2026-08-15T15:55:46.348027Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T15:55:46.333272Z","title":"CUDA Toolkit.https://developer.nvidia.com/cuda- toolkit","venue":null,"work_id":"1f0c74fb-84a6-49b4-8ff9-90ea4524ecb9","year":2025},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.042490Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:78c698c7e36e81b849322338501f9e7091bc1d42b336de0971dcb436c8037e26","observation_id":"809bbbf4-1921-4b10-9ebd-e573611eeefa","resolution":{"observed_at":"2026-08-15T15:55:46.336991Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T15:55:46.321618Z","title":"NeuronX Distributed (NxD).https://awsdocs- neuron.readthedocs-hosted.com/en/latest/libraries/neuronx- distributed/index.html","venue":null,"work_id":"a8c69dcc-f692-4194-ae3f-f7afa97febf6","year":2025},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.046983Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:ed11ba9339b9b1fd27f0715510b7ecdd95004ae7964d955c04fd13a914b08eda","observation_id":"40fbb23d-9a9b-4528-be89-0ccc375ea9b1","resolution":{"observed_at":"2026-08-15T15:55:46.325967Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T15:55:46.310227Z","title":"PyTorch.https://pytorch.org/","venue":null,"work_id":"13e57c9e-7abb-48d6-a47d-95e4383527c8","year":2025},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.050843Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:25b6974451d877c7fa371775d1fb60c5f599bb85d4ba477dc4de388657ade799","observation_id":"34262b4a-f050-45d4-9ac3-7a7f9c3486d5","resolution":{"observed_at":"2026-08-15T15:55:46.313871Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T15:55:46.295750Z","title":"TensorFlow: An end-to-end platform for machine learning.https://www.tensorflow.org/","venue":null,"work_id":"80c67c1f-fb65-443e-a2e6-934bf0efed40","year":2025},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.054540Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:f5d590d7304a762da7e879af1c5819aac1bc14a5ebb865ef7a1458dd141a896c","observation_id":"1c8108f7-d2eb-4d11-b3f6-b5fdc9e950ac","resolution":{"observed_at":"2026-08-15T15:55:46.300041Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T15:55:46.284108Z","title":null,"venue":null,"work_id":"45193c62-c05a-4939-bab9-44c898dc18ee","year":null},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.058186Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:a6e2ecfea2277bd30fb762a8d643246d707bb9c30f2f63b0d3a7d482c0a800c7","observation_id":"5c6e4137-3075-4cdf-aa7e-eb1994878a22","resolution":{"observed_at":"2026-08-15T15:55:46.288003Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T15:55:46.271784Z","title":"XLA (Accelerated Linear Algebra).https://openxla","venue":null,"work_id":"cdb25f45-d26c-4065-b548-b112ae7548a2","year":2025},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.061477Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:341817b2dbcdeb25cebff0d34abd9fc4124a09375820a7414270fcb4b6e2d799","observation_id":"0106bb95-78d3-447a-a10e-95f198a94e0f","resolution":{"observed_at":"2026-08-15T15:55:46.275810Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T15:55:44.064999Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.064999Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:eba7d5f0ce9c6748f1dcaf1860113c889986e470f34d63f1badb5ea41a1cab30","observation_id":"2c1b7657-3302-465c-aecc-a64b96a4a245","resolution":{"observed_at":"2026-08-15T15:55:44.064999Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T15:55:44.068501Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.068501Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:e87baf3e85eba3f07751111a312470ea816773941779f693572b6b175e886441","observation_id":"08118f8d-2663-4726-a6f2-bb9089a52136","resolution":{"observed_at":"2026-08-15T15:55:44.068501Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T15:55:44.072122Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.072122Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:21d0138450275b738e7fe34926ae37559196efcfe52143d97f25a5d38e6f70bb","observation_id":"4ff9ba89-94ea-4c53-82cc-576bb6188fee","resolution":{"observed_at":"2026-08-15T15:55:44.072122Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T15:55:46.261211Z","title":null,"venue":null,"work_id":"42d3d977-bdea-44be-b758-0b7c59aa10c2","year":2020},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.075569Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:86fdd5143fa7c05fa20284e6dd3ee85ac6ddab6ef3a5d0762403ff6050299f86","observation_id":"004c4331-2540-4332-bd45-2561d92a0fc9","resolution":{"observed_at":"2026-08-15T15:55:46.264950Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T15:55:46.250263Z","title":null,"venue":null,"work_id":"1a7904ee-8125-4e6b-bc7a-5b99db1acf73","year":2018},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.079833Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:30949e59588ce079d8213a5fd488c33260c2232e19c300188fc828ffde6069ab","observation_id":"83395e38-18de-4769-a7f4-914e0200d093","resolution":{"observed_at":"2026-08-15T15:55:46.254033Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T15:55:46.239031Z","title":null,"venue":null,"work_id":"3db7f8eb-c0ec-49f1-9f92-f2872f657817","year":2024},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.084140Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:4d548865b5dc977cebd30c5f31ef6034267bf8548fd20210b2c747aee833453f","observation_id":"19429dfd-c081-439e-99f4-aa8fbbd34bc5","resolution":{"observed_at":"2026-08-15T15:55:46.242646Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T15:55:44.087624Z","title":"Lim, and Santosh Nagarakatte","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.087624Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:916cba93e27e32013bd645ae284e8a5e02b34ead93cc73ae82b74cd34aea79c0","observation_id":"6efe0eb3-7f93-45c0-9977-5dbce17bff93","resolution":{"observed_at":"2026-08-15T15:55:44.087624Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T15:55:44.090951Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.090951Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:e76e8c47555e30d89235d02e52d73ee423a1ab9311ab56647e36f24d0c6c32f0","observation_id":"49c0f436-7f1e-409e-8643-7354b06927e4","resolution":{"observed_at":"2026-08-15T15:55:44.090951Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T15:55:44.094416Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.094416Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:54fe3b565d1d567d5c56bf1df3799cfc1fe65c3d12498125da260b11cbba7d0d","observation_id":"e9c22d94-9235-4389-902d-9539b61a2dd3","resolution":{"observed_at":"2026-08-15T15:55:44.094416Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2203.11629","last_updated":"2022-03-22T11:31:12Z","snapshot_observed_at":"2026-08-16T17:12:43.013346Z","submitted_at":"2022-03-22T11:31:12Z","title":"On Neural Network Equivalence Checking using SMT Solvers","version":1},"cited_work":{"arxiv_id":"2203.11629","doi":null,"metadata_source":"pith","pith_arxiv_id":"2203.11629","snapshot_observed_at":"2026-08-15T15:55:45.629083Z","title":"On Neural Network Equivalence Checking using SMT Solvers","venue":"cs.AI","work_id":"a115e23a-3852-4443-b23f-f345da1a67a1","year":2022},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.097960Z"},"links":{"cited_paper":"/paper/2203.11629","citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:c507c3067e2b1ccf50bf58ac391d2c615650c29312c38cc849c7389d521da061","observation_id":"3c7804fa-e0ce-451e-97fa-d7a2722bfa12","resolution":{"observed_at":"2026-08-15T15:55:45.633978Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T15:55:46.227541Z","title":null,"venue":null,"work_id":"77d60dd6-41e3-41b2-8e8f-b24e809c040f","year":null},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.102210Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:cb2f7be2a2fe242756d9536560654c2ea61fa17c63035182635b3212f6235ae0","observation_id":"b11dbd31-baaa-4f89-a3d1-dec2a6347dc4","resolution":{"observed_at":"2026-08-15T15:55:46.231597Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T15:55:46.215928Z","title":null,"venue":null,"work_id":"1a042173-ac5b-4433-814a-0c8bd4ec5b38","year":null},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.110731Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:9ab9ff79cec1892f3dbc3c80d8310fefaf656b85979e513568ed34a90c3f3227","observation_id":"1f049266-f4ef-4497-bb3d-c5807586ec57","resolution":{"observed_at":"2026-08-15T15:55:46.219817Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T15:55:44.119598Z","title":"Gunawi, Mingzhe Hao, Riza O","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.119598Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:e9a7f6da8449d020d73886aad2cc6178733f5af9c34578c5efa8cb7006a7df5d","observation_id":"12aa93b7-cabb-4980-b37d-cebf191ceefa","resolution":{"observed_at":"2026-08-15T15:55:44.119598Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2023.00024","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T15:55:45.534500Z","title":"InProceedings of the 45th International Conference on Software Engineering(Melbourne, Victoria, Australia) (ICSE ’23)","venue":null,"work_id":"fcfc11fe-9f1b-47f5-bde2-69e1295aa6f7","year":null},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.115071Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:92c620937d6205ec6e2edb1d59898ece1c5b70b89ec37595142587ee13cc77ec","observation_id":"ee22e970-c1a2-420e-9a12-b26ced843dfc","resolution":{"observed_at":"2026-08-15T15:55:45.540545Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T15:55:44.126800Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.126800Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:1e98becdc16d7cd6708017f10d82b85389fce77a16377ad194184f05e52352fc","observation_id":"e8cd39ac-3ffd-49b6-a7be-314aed834569","resolution":{"observed_at":"2026-08-15T15:55:44.126800Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"6019.36896","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T15:55:45.402178Z","title":null,"venue":null,"work_id":"a010bdbd-8d59-4904-9f05-b81a17495ec9","year":2024},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.123210Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:b02288ef758d8a369dc291128c0f0a8d3b59bebf6de86c82b88867b0319b9ef4","observation_id":"4e6d4810-7ff4-483c-90f2-144d415f4e5a","resolution":{"observed_at":"2026-08-15T15:55:45.408220Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T15:55:46.202026Z","title":null,"venue":null,"work_id":"0fe824cd-03c0-4a12-80ee-14b9554f3ec7","year":2017},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.134238Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:80a45155522a77a1d6fdb8da06065544fcc89461c814f13229f2706b68a64b84","observation_id":"6ed21138-85b2-45e2-8118-6ba0fe0d19c9","resolution":{"observed_at":"2026-08-15T15:55:46.206466Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T15:55:44.130256Z","title":"Pollard, Nadesh Ramanathan, and John Wickerson","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.130256Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:50cb2987fc11c71677891b7c118e4fd4208dafe5460715072b89fb92ef288662","observation_id":"88bca262-0eca-4513-8ac1-ad7d35c176ab","resolution":{"observed_at":"2026-08-15T15:55:44.130256Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T15:55:46.188998Z","title":null,"venue":null,"work_id":"fbf8a83f-1ddf-4cb0-98f9-1ddbac009e9b","year":null},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.141837Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:fd9004c5517c3832c56392be719e1a948c9303a6dd11192863cde573854a2969","observation_id":"d8afd799-7ba4-4bce-8402-e1aae06d9948","resolution":{"observed_at":"2026-08-15T15:55:46.193126Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1811.06965","last_updated":"2019-07-25T21:42:58Z","snapshot_observed_at":"2026-08-17T19:36:58.372516Z","submitted_at":"2018-11-16T18:43:28Z","title":"GPipe: Efficient Training of Giant Neural Networks using Pipeline Parallelism","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1811.06965","snapshot_observed_at":"2026-08-15T15:55:44.137891Z","title":"Le, Yonghui Wu,andZhifengChen.2019","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.137891Z"},"links":{"cited_paper":"/paper/1811.06965","citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:f1c07726034180956792c1106ebab22e3afa484d21ce7cb3b3c813574a3c19c0","observation_id":"a40876f2-17ca-4d94-8353-47d5cf638705","resolution":{"observed_at":"2026-08-15T15:55:44.137891Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T15:55:46.175766Z","title":null,"venue":null,"work_id":"b9b163df-1be3-4aeb-a6dc-6ea8020c4a07","year":2019},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.149563Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:5875bf6f39a94aced9bcf6e691a99bfc472af489b855c340749fdcaf31ca5f6f","observation_id":"608b3070-7c5e-4781-a735-3e8f9ffe69e1","resolution":{"observed_at":"2026-08-15T15:55:46.180331Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T15:55:44.145305Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.145305Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:10612cb94dfae0b0d78a8c75abff917d552e20fb40b03dbd4b5851b2890f1729","observation_id":"667935bb-bfb9-40e9-a787-2a8b566a054b","resolution":{"observed_at":"2026-08-15T15:55:44.145305Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T15:55:44.157366Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.157366Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:37ec983cf4305c18326359bea387be997f90b97758de87596e14f72b194ae374","observation_id":"32a119e5-2eec-4487-a02b-c525326ffe64","resolution":{"observed_at":"2026-08-15T15:55:44.157366Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T15:55:46.164176Z","title":"TrainingwithConfidence:CatchingSilentErrorsinDeep Learning Training with Automated Proactive Checks","venue":null,"work_id":"9030a41b-76dc-44bb-bf32-e4333a45e56f","year":2025},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.153492Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:25813544370ebe0dc86af28e6ff43dded2adc2c33ecaeebc38427fb11602cdfe","observation_id":"c2094f13-cd5e-46a0-9089-3a37abd2989c","resolution":{"observed_at":"2026-08-15T15:55:46.168512Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T15:55:46.140120Z","title":null,"venue":null,"work_id":"c971aeac-d6d8-4577-8710-5ef59c0e078d","year":null},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.165346Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:07ca4370fd492d58982003e3d7106788a7157198f3a639b258aace3ea4cd1ae6","observation_id":"9d14facf-6133-456c-9720-d9a8a98d085d","resolution":{"observed_at":"2026-08-15T15:55:46.144458Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T15:55:46.152229Z","title":"Transformersinvision: A survey.ACM computing surveys (CSUR)54, 10s (2022), 1–41","venue":null,"work_id":"b5101fd2-b217-4269-87c4-ffc7787e9bec","year":2022},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.161401Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:88b8cd831c3698bcccb856b4d050f5c13fd92820e93c069241d6aed0ab544858","observation_id":"ee5436b5-b12f-4e2e-a3c3-1bc05be3806d","resolution":{"observed_at":"2026-08-15T15:55:46.156603Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T15:55:46.128209Z","title":null,"venue":null,"work_id":"52c4ff44-204c-459a-9303-646dffa05c8d","year":null},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.173593Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:204c90995d7a77a722a14bd468ef4380aa5f60884dfce105d78a0c4c1ed1d16a","observation_id":"50377e84-151a-4909-8539-3b81a5632ec4","resolution":{"observed_at":"2026-08-15T15:55:46.132446Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3656390","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T15:55:44.418572Z","title":null,"venue":null,"work_id":"307fff07-a9af-4d10-a0c7-ca672282a064","year":2024},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.169739Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:938ed64e0480c1ef9f60e7ecfdd50ddaa49d69c80b9d48e379bb00989e1645ef","observation_id":"7eb53132-1ea5-4258-882f-d1d4089c3efc","resolution":{"observed_at":"2026-08-15T15:55:44.422424Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T15:55:46.099375Z","title":"InProceedings of the 19th USENIX Symposium on Operating Systems Design and Implementation (OSDI ’25)","venue":null,"work_id":"b0b9e764-09a5-4a95-877d-60463229f352","year":2025},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.184965Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:55bb8e346b36046747d289bca6ceadb0c0faf72a9912839f18ebae03391c218a","observation_id":"690351bf-7767-48a2-8c51-9558acdee367","resolution":{"observed_at":"2026-08-15T15:55:46.103857Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2506.15961","last_updated":"2025-06-24T10:50:28Z","snapshot_observed_at":"2026-08-15T19:26:57.517380Z","submitted_at":"2025-06-19T02:10:06Z","title":"TrainVerify: Equivalence-Based Verification for Distributed LLM Training","version":2},"cited_work":{"arxiv_id":"2506.15961","doi":null,"metadata_source":"pith","pith_arxiv_id":"2506.15961","snapshot_observed_at":"2026-08-15T15:55:45.114885Z","title":"TrainVerify: Equivalence-Based Verification for Distributed LLM Training","venue":"cs.DC","work_id":"17799c4a-ce5b-4988-bb0d-23a668352cd7","year":2025},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.188964Z"},"links":{"cited_paper":"/paper/2506.15961","citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:a62f1f357c8d52225cb7121c1a6d760af329bd2f5a9c2bc26658eadac69ec802","observation_id":"0164a777-a2ce-4945-b4cf-859bd354f61e","resolution":{"observed_at":"2026-08-15T15:55:45.119928Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T15:55:46.114284Z","title":null,"venue":null,"work_id":"fb77fd85-c939-4f69-90cb-976c50907bb4","year":2022},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.181449Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:455083915e35b53b4d913ccc9b4c17769b5fab1dee9ea46fa8029ff8ba11355c","observation_id":"61f40f8a-8790-4505-9971-7fe298d33208","resolution":{"observed_at":"2026-08-15T15:55:46.119100Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T15:55:46.087498Z","title":null,"venue":null,"work_id":"9fc7450f-5c74-4490-ac11-6d4485e65246","year":2021},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.197445Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:27238386a84de75145777d230d700ecf6b304d43138f39638514e7d12bb06676","observation_id":"091756e8-8152-4f74-be8a-afa2dd677ebc","resolution":{"observed_at":"2026-08-15T15:55:46.091668Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T15:55:44.202649Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.202649Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:88c77e953de1b7dc64d64720b948a42d826d6c924f11393d5e002f3b9bcc2f8d","observation_id":"8d70282c-d6c7-4325-8f24-89f0105f7f6c","resolution":{"observed_at":"2026-08-15T15:55:44.202649Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T15:55:44.193108Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.193108Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:ca3c2ae827eb97e33727569723c4fbf3d36c415def22d9ba1ccc60aab769be8d","observation_id":"a1697702-9194-44fe-bec3-0102b8e1698d","resolution":{"observed_at":"2026-08-15T15:55:44.193108Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T15:55:44.212685Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.212685Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:d024e97248b8f876e7c03509bdf47dade423ea2183227133be5a8ffff93a2da8","observation_id":"44f5a09d-f7c9-4e0d-8cf4-ef5f83483559","resolution":{"observed_at":"2026-08-15T15:55:44.212685Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T15:55:44.220267Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.220267Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:63c9978c64f6294145723cea22a10412b9e2f2d1513e16101bd64e1c3a9c7d83","observation_id":"8215ec1b-25f5-4a74-9e38-3adcb49597e9","resolution":{"observed_at":"2026-08-15T15:55:44.220267Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3622834","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T15:55:44.392482Z","title":null,"venue":null,"work_id":"acbbff20-06fd-4514-be05-a24461ec19f7","year":2023},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.206798Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:f01aa614e830431959612f13efb1d66f72c6ac17e2c7beff98f4a033f285c468","observation_id":"43fab18a-0db6-4522-8975-a3f408335ff8","resolution":{"observed_at":"2026-08-15T15:55:44.396498Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T15:55:44.228297Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.228297Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:5557b4c613c6d0cf8f953fb2a8c6d933ad5a1fcf407e273dea2a442b31301ebd","observation_id":"2af8d9dc-b37b-4c93-b9f3-2a2fd88a8559","resolution":{"observed_at":"2026-08-15T15:55:44.228297Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T15:55:46.063059Z","title":null,"venue":null,"work_id":"e97d2bfe-a9e8-43bc-96ee-8a8ebbb6c24e","year":null},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.232059Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:e3a3ea4c99bd9c8df679c0cc81ff9669045e7c3e3a3799d8e26342c279f68d5a","observation_id":"6fbb8f20-3725-4ef4-80b6-146b44d6ac5b","resolution":{"observed_at":"2026-08-15T15:55:46.066725Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T15:55:46.076272Z","title":null,"venue":null,"work_id":"9f2236e3-5068-4efa-85cc-eb3d96bf98b0","year":2021},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.224720Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:c87fbeeeb3ec351f1d1be1b2dd87aad7ec059e8b2eac59c3400f389a96cdca80","observation_id":"95d3846f-bf0c-4898-9e1d-3ecf4599297b","resolution":{"observed_at":"2026-08-15T15:55:46.080487Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T15:55:44.244153Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.244153Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:94b7fc783c0ef99456376db180b21db8158a81ca6fc1507e61f4a2e41ed3ca2a","observation_id":"09544359-48c8-487f-8e78-f5ec7a5d09fb","resolution":{"observed_at":"2026-08-15T15:55:44.244153Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1909.08053","last_updated":"2020-03-13T23:45:18Z","snapshot_observed_at":"2026-08-12T10:50:46.357243Z","submitted_at":"2019-09-17T19:42:54Z","title":"Megatron-LM: Training Multi-Billion Parameter Language Models Using Model Parallelism","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1909.08053","snapshot_observed_at":"2026-08-15T15:55:44.247763Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.247763Z"},"links":{"cited_paper":"/paper/1909.08053","citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:91794afaf1fbe664b7e0c822eda45ebcdf0995e70e75bf2a376d710bfb5c120a","observation_id":"0eac2a6a-0456-4581-82e2-470e3dd5a71a","resolution":{"observed_at":"2026-08-15T15:55:44.247763Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2112.13314","last_updated":"2023-09-01T18:01:40Z","snapshot_observed_at":"2026-08-16T17:32:00.224797Z","submitted_at":"2021-12-26T04:18:57Z","title":"Silent Bugs in Deep Learning Frameworks: An Empirical Study of Keras and TensorFlow","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2112.13314","snapshot_observed_at":"2026-08-15T15:55:44.252005Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.252005Z"},"links":{"cited_paper":"/paper/2112.13314","citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:8173c3251d0a8a9e4edfe4a7fe11347394d96a355aa6558b5e35ffe67fe0e5a3","observation_id":"f4150955-c826-455a-8281-f115f6509a83","resolution":{"observed_at":"2026-08-15T15:55:44.252005Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T15:55:46.051342Z","title":null,"venue":null,"work_id":"9bc857eb-807b-442e-beac-d6175eb5872b","year":2023},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":72,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.240593Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:629f5151715390c7d92476e00ed27b96bf86fd6ffb58c9eca590e0ee6f2488d7","observation_id":"7d90f63c-53a8-47cc-aae6-1b4fa4b8dabe","resolution":{"observed_at":"2026-08-15T15:55:46.055508Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T15:55:46.022048Z","title":null,"venue":null,"work_id":"50005425-ae51-4773-be2f-698a53a1b5f4","year":2023},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":73,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.259330Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:43c0e341bef877de5dedd75da3aba887a5254641dc4a52eb7a91db4d0d5f9b88","observation_id":"26f7ef6f-c494-4776-9393-bde6b32da541","resolution":{"observed_at":"2026-08-15T15:55:46.027735Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T15:55:46.007581Z","title":null,"venue":null,"work_id":"83033cfd-6146-4d4e-90ef-7a44722c4e33","year":2023},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":74,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.263101Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:500886700917886dd66f03211fd9aae2797faa836754e1f0d5f5142de3ac8bb7","observation_id":"dbed7f32-6a53-48a8-be97-9f69fa1ee320","resolution":{"observed_at":"2026-08-15T15:55:46.012399Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T15:55:44.267382Z","title":"DeepTest: automated testing of deep-neural-network-driven autonomous cars","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":75,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.267382Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:5acfab501e275001cb07717b81f8b98420dbca92f5473171af39840e6b29020f","observation_id":"e7354e85-1fe4-435e-a494-be500c9ed042","resolution":{"observed_at":"2026-08-15T15:55:44.267382Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T15:55:46.038010Z","title":"Equality saturation: a new approach to optimization(POPL ’09)","venue":null,"work_id":"769beb68-89b8-40e8-bade-edaa6e1b246c","year":null},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":76,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.255906Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:03480077767c0b92f92e634bc5936e2e16c11165c2addcada6d547d6d2993388","observation_id":"ef6fe1c9-6af0-43fa-b22b-c9b254fe0496","resolution":{"observed_at":"2026-08-15T15:55:46.042483Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T15:55:45.948735Z","title":null,"venue":null,"work_id":"41f90649-6312-4caa-a35e-8ff711bde7ad","year":null},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":77,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.279417Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:59d1bcdb9bb2921ac84fed322bbf2ed194bd454497a60d4880323afe731574e0","observation_id":"1d381d5d-58e0-499d-851e-920a509e18cb","resolution":{"observed_at":"2026-08-15T15:55:45.956473Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T15:55:45.931697Z","title":null,"venue":null,"work_id":"9771c00d-dd2a-42f8-91a6-8c4724e24199","year":null},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":78,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.283456Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:128cfc8bb96d1858b9d63df5cac2ef6b14000e367d049711770c006c3ce11877","observation_id":"0bc4b41a-2398-4ead-a9ce-357de132edc7","resolution":{"observed_at":"2026-08-15T15:55:45.936793Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2023.00120","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T15:55:44.639079Z","title":null,"venue":null,"work_id":"eadcce36-351c-4884-9100-b18bfdb58514","year":2023},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":79,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.287169Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:66b407fb861a87dd3698682a8e986d113bfa89d4e2ed18bdbd880d1f301e7d20","observation_id":"30a71a33-f648-46b6-bc64-9b12439bd7dd","resolution":{"observed_at":"2026-08-15T15:55:44.644578Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T15:55:45.990705Z","title":null,"venue":null,"work_id":"8526780e-b2b3-48fc-8066-0e728b01ec6c","year":null},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":80,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.271365Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:d96ba695e7e7c4e20cbf717bf4874c0f22ce4d81d4ba10257d0f11d8696a84a2","observation_id":"868b4fed-c3d8-4f52-9a18-2a6e0001439c","resolution":{"observed_at":"2026-08-15T15:55:45.996210Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T15:55:45.973733Z","title":"In16th USENIX Symposium on Operating Systems Design and Implemen- tation (OSDI 22)","venue":null,"work_id":"1a62069f-61be-4905-bbe7-f836a9ce4610","year":null},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":81,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.275707Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:9d7ba3af4f124abfe4ddb6b13dc890d0e1226e071e75a387864730b7c92247ea","observation_id":"aebe75ef-4a94-49bb-8430-d3231c505df8","resolution":{"observed_at":"2026-08-15T15:55:45.978278Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T15:55:45.894599Z","title":null,"venue":null,"work_id":"f0e4d4e3-cc79-4060-beab-e9c2ec4b6882","year":null},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":82,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.299775Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:40073bbc0c61f09da3d784f9a6c938b0c872b5bb8e00aee3f3f8ce9bd6e57aa5","observation_id":"af166369-a162-4078-93e6-d8d50dec20c8","resolution":{"observed_at":"2026-08-15T15:55:45.899309Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T15:55:44.304690Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":83,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.304690Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:7ee76b65f24de00869f08f18a9fc4ed941147026babfc438e1e699328f45b956","observation_id":"b9b9ba3a-997c-4e60-9b4a-49d869777633","resolution":{"observed_at":"2026-08-15T15:55:44.304690Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T15:55:44.308908Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":84,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.308908Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:63d181937ce10f84467121c808103bad0ec963c33519af29414afe1eee4382ae","observation_id":"adbe5984-670b-45a6-bf4b-565e9d55cff8","resolution":{"observed_at":"2026-08-15T15:55:44.308908Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T15:55:45.914913Z","title":null,"venue":null,"work_id":"c4881993-91af-45d7-95f7-455715fa84e4","year":2021},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":85,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.291370Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:55e67e9bd9e8c3f6da53eed445d3674ed057f6454cfe784f91119e96d5f78cd9","observation_id":"6be43a64-6fdf-49a5-ab24-662bdab6462b","resolution":{"observed_at":"2026-08-15T15:55:45.920545Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T15:55:44.295828Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":86,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.295828Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:aa52237d06acaf3301744eed928f1f41fc987e022e4f897ae0f9bd2b7e473f84","observation_id":"3b5af3f1-63f7-415e-9db3-56bfe95df2d2","resolution":{"observed_at":"2026-08-15T15:55:44.295828Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T15:55:45.873551Z","title":"Alpa:Automat- ing Inter- and Intra-Operator Parallelism for Distributed Deep Learn- ing","venue":null,"work_id":"cdaef20c-ef97-4ffa-b287-6d4f87a93b8a","year":2022},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":87,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.325252Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:c62ec5d669ff5a8c515951953e575b67856c091fa51bbe02075a7816a6d7e570","observation_id":"57f4a42b-7081-4e64-9fd1-186105fec89a","resolution":{"observed_at":"2026-08-15T15:55:45.877867Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T15:55:44.329108Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":88,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.329108Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:f3d5469cd764efa582ea03d9ce80079107c6fc98c001daabae9a40307e159058","observation_id":"acdad7b1-1313-4825-8a51-92f93bcebb50","resolution":{"observed_at":"2026-08-15T15:55:44.329108Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.05751","last_updated":"2025-06-06T03:35:15Z","snapshot_observed_at":"2026-08-16T13:54:03.290241Z","submitted_at":"2024-05-09T13:15:40Z","title":"Mirage: A Multi-Level Superoptimizer for Tensor Programs","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.05751","snapshot_observed_at":"2026-08-15T15:55:44.312683Z","title":"arXiv:2405.05751 [cs.LG]https://arxiv.org/abs/2405.05751 14","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":90,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.312683Z"},"links":{"cited_paper":"/paper/2405.05751","citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:835b35db8def15a52d6765ca5ce0e35e0588c74787f75ee0046cfd94b563a66d","observation_id":"d6b8d7e8-8874-401e-9e9a-af0fd34bbef9","resolution":{"observed_at":"2026-08-15T15:55:44.312683Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.24963/ijcai.2019/800","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T15:55:44.372607Z","title":null,"venue":null,"work_id":"54acf816-735c-4ec6-a1cf-a6952c5bdb81","year":2019},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":91,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.317251Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:40da8deef228f37b1f2643172010d975a1cdeac59609e8a6d1d0fa811d4bfbfb","observation_id":"83e3d4b0-ee7a-4db0-bd6e-bbb5c3055ccc","resolution":{"observed_at":"2026-08-15T15:55:44.377907Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T15:55:44.321364Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":92,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.321364Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:456f70960a8f067425be8eeb0d20e1ee0919924d53c2ff0a8c3bf94dfc6176ce","observation_id":"5254f86c-a014-4780-8894-37ffecdff82a","resolution":{"observed_at":"2026-08-15T15:55:44.321364Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T15:55:44.177599Z","title":"ACM Program","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":2022,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.177599Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:3bcd2b8074ce8d77165c7a7f54bafc0f37d400cb66b2a357f7148c3795a02731","observation_id":"6cbd81be-4214-4328-b5c9-72439d90c4cc","resolution":{"observed_at":"2026-08-15T15:55:44.177599Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T15:55:44.106507Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":2023,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.106507Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:6d9ad0a0d84c307cc372bcce331148243f527f44bd8e56c88a822600e2fda531","observation_id":"99f2b3b0-7765-42a8-b19e-3bce24a8f0f3","resolution":{"observed_at":"2026-08-15T15:55:44.106507Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T15:55:44.236020Z","title":"InProceedings of the ACM SIGOPS 30th Symposium on Operating Systems Principles(Austin, TX, USA)(SOSP ’24)","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks","version":1},"reference_index":2024,"source":"pdf_text","source_observed_at":"2026-08-15T15:55:44.236020Z"},"links":{"citing_paper":"/paper/2509.10694"},"observation_digest":"sha256:cfe8f8911ea5b7a43392adcd0fa71afc07ecf12ed0493eef186152560dadcab9","observation_id":"1e79dc41-d08d-4137-8efd-928d5766b021","resolution":{"observed_at":"2026-08-15T15:55:44.236020Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2509.10694","last_updated":"2025-09-12T21:14:29Z","latest_version":1,"primary_category":"cs.LG","snapshot_observed_at":"2026-08-18T04:12:20.754764Z","submitted_at":"2025-09-12T21:14:29Z","title":"Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks"},"reference_resolution":{"displayed":94,"state_counts":{"malformed_identifier":1,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":68,"verified_exact":7,"verified_fuzzy":17},"total_outbound_references":94},"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-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"thesis":"As of 19 August 2026, this Paper Citation Record lists 94 of 94 outbound references and 0 inbound Pith citation observations for arXiv:2509.10694."}