{"as_of":"2026-08-17T18:03:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:d86821280826257922508e935680942bf945628b1f6cee6cc67019c735295053","coverage":[{"denominator":11,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":11,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-15T22:14:18.033647Z","state":"measured"},{"denominator":12,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":12,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-17T06:30:58.91139+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-16T00:43:37.545799Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"pith","source_observed_at":"2026-08-16T00:43:38.287748Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2505.07939","last_updated":"2025-05-12T18:00:03Z","snapshot_observed_at":"2026-08-17T07:28:34.515682Z","submitted_at":"2025-05-12T18:00:03Z","title":"Digitalizing Wick's theorem","version":1},"cited_work":{"arxiv_id":"2505.07939","doi":null,"metadata_source":"pith","pith_arxiv_id":"2505.07939","snapshot_observed_at":"2026-08-16T00:43:38.287748Z","title":"Digitalizing Wick's theorem","venue":"hep-th","work_id":"e00d0f2a-3a73-47c2-8f20-e27e4ab12533","year":2025},"citing_paper":{"arxiv_id":"2608.11792","last_updated":"2026-08-12T08:32:14Z","snapshot_observed_at":"2026-08-16T10:02:42.126134Z","submitted_at":"2026-08-12T08:32:14Z","title":"Algebraic versus physical uniqueness of MHV gravity numerators","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-16T00:43:37.545799Z"},"links":{"cited_paper":"/paper/2505.07939","citing_paper":"/paper/2608.11792"},"observation_digest":"sha256:6f162ff368c27a529c14eea61369f917cd0bd9306ff1e51903966d7a840f70cc","observation_id":"1a994403-bc69-4176-849a-f5828fc106d7","resolution":{"observed_at":"2026-08-16T00:43:38.369663Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2505.07939/citation-record","integrity":"/paper/2505.07939/integrity","json":"/paper/2505.07939/citation-record.json","paper":"/paper/2505.07939"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T22:14:17.971024Z","title":null,"venue":null,"work_id":null,"year":1950},"citing_paper":{"arxiv_id":"2505.07939","last_updated":"2025-05-12T18:00:03Z","snapshot_observed_at":"2026-08-17T07:28:34.515682Z","submitted_at":"2025-05-12T18:00:03Z","title":"Digitalizing Wick's theorem","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-15T22:14:17.971024Z"},"links":{"citing_paper":"/paper/2505.07939"},"observation_digest":"sha256:f303f4a255c1363ccdc85242e1168e5525eee3c063bd9d7ed22597ddcd8c0be5","observation_id":"cd974efa-c17f-4384-a227-b7aa4d53217f","resolution":{"observed_at":"2026-08-15T22:14:17.971024Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1710.09248","last_updated":"2023-10-14T08:52:51Z","snapshot_observed_at":"2026-08-14T20:20:24.162244Z","submitted_at":"2017-10-25T14:16:59Z","title":"Notes on Wick's theorem in many-body theory","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1710.09248","snapshot_observed_at":"2026-08-15T22:14:17.977400Z","title":"Notes on Wick’s theorem in many-body theory, 2023","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.07939","last_updated":"2025-05-12T18:00:03Z","snapshot_observed_at":"2026-08-17T07:28:34.515682Z","submitted_at":"2025-05-12T18:00:03Z","title":"Digitalizing Wick's theorem","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-15T22:14:17.977400Z"},"links":{"cited_paper":"/paper/1710.09248","citing_paper":"/paper/2505.07939"},"observation_digest":"sha256:f1d33c701ffc1581198845bdd3d4c3ee8693a531fb5b27d82a6e00b37a9ce5d7","observation_id":"09ba7277-11dc-4d8c-b599-cae502cd8600","resolution":{"observed_at":"2026-08-15T22:14:17.977400Z","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-15T22:14:17.983951Z","title":"The Lean theorem prover (system description)","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2505.07939","last_updated":"2025-05-12T18:00:03Z","snapshot_observed_at":"2026-08-17T07:28:34.515682Z","submitted_at":"2025-05-12T18:00:03Z","title":"Digitalizing Wick's theorem","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-15T22:14:17.983951Z"},"links":{"citing_paper":"/paper/2505.07939"},"observation_digest":"sha256:caa0e4793bb3bbf7aa581c78959e9fb4d4e2c8f69c44bd6eafbd8e12f3de38a7","observation_id":"99555bbc-4fbf-434c-85b3-af3f795c70a1","resolution":{"observed_at":"2026-08-15T22:14:17.983951Z","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-15T22:14:17.991088Z","title":"The Lean mathematical library","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2505.07939","last_updated":"2025-05-12T18:00:03Z","snapshot_observed_at":"2026-08-17T07:28:34.515682Z","submitted_at":"2025-05-12T18:00:03Z","title":"Digitalizing Wick's theorem","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-15T22:14:17.991088Z"},"links":{"citing_paper":"/paper/2505.07939"},"observation_digest":"sha256:ec42da00956327ab8463461f2e332d87a7afbcb24e2f31aa5f461d81c05f5f2b","observation_id":"57248f27-3d4b-4150-802d-0e0de412e832","resolution":{"observed_at":"2026-08-15T22:14:17.991088Z","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-15T22:14:18.359992Z","title":"Physlean: Digitalising physics into lean 4","venue":null,"work_id":"deb32880-b47c-44d1-8611-d36edb635e84","year":null},"citing_paper":{"arxiv_id":"2505.07939","last_updated":"2025-05-12T18:00:03Z","snapshot_observed_at":"2026-08-17T07:28:34.515682Z","submitted_at":"2025-05-12T18:00:03Z","title":"Digitalizing Wick's theorem","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-15T22:14:17.997172Z"},"links":{"citing_paper":"/paper/2505.07939"},"observation_digest":"sha256:8ab81624171c5a2e1d4b05db3891f10363c04d4ece0bb3c85c13ae7fd238b197","observation_id":"ffb44c01-2bf1-4a8e-bfce-0f2aed23fd52","resolution":{"observed_at":"2026-08-15T22:14:18.366027Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.08863","last_updated":"2024-05-14T18:00:01Z","snapshot_observed_at":"2026-08-16T13:52:43.071505Z","submitted_at":"2024-05-14T18:00:01Z","title":"HepLean: Digitalising high energy physics","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.08863","snapshot_observed_at":"2026-08-15T22:14:18.003637Z","title":"HepLean: Digitalising high energy physics","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2505.07939","last_updated":"2025-05-12T18:00:03Z","snapshot_observed_at":"2026-08-17T07:28:34.515682Z","submitted_at":"2025-05-12T18:00:03Z","title":"Digitalizing Wick's theorem","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-15T22:14:18.003637Z"},"links":{"cited_paper":"/paper/2405.08863","citing_paper":"/paper/2505.07939"},"observation_digest":"sha256:1e4ad38b2c6124fb734cd36e00851913e5295ae2015f45ba58be6899f102bfec","observation_id":"a0704d1f-b81b-440b-8b0c-7e773205521e","resolution":{"observed_at":"2026-08-15T22:14:18.003637Z","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-15T22:14:18.010014Z","title":"Formalizing chemical physics using the lean theorem prover","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.07939","last_updated":"2025-05-12T18:00:03Z","snapshot_observed_at":"2026-08-17T07:28:34.515682Z","submitted_at":"2025-05-12T18:00:03Z","title":"Digitalizing Wick's theorem","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-15T22:14:18.010014Z"},"links":{"citing_paper":"/paper/2505.07939"},"observation_digest":"sha256:3ddd1c4691be24dab9806ad6db082f90f11b57b4dc0dc0038d449367c0860c30","observation_id":"f8a180ef-699e-4311-a01e-cf6d50a94180","resolution":{"observed_at":"2026-08-15T22:14:18.010014Z","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-15T22:14:18.340567Z","title":"Scilean: Scientific computing assistant","venue":null,"work_id":"ad171efd-b23a-4e6e-a9f1-9969d6b62e45","year":null},"citing_paper":{"arxiv_id":"2505.07939","last_updated":"2025-05-12T18:00:03Z","snapshot_observed_at":"2026-08-17T07:28:34.515682Z","submitted_at":"2025-05-12T18:00:03Z","title":"Digitalizing Wick's theorem","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-15T22:14:18.016425Z"},"links":{"citing_paper":"/paper/2505.07939"},"observation_digest":"sha256:1e64463d92a4af0fba0b01b935531acc88d930e9571d0f5ba73c30e259989948","observation_id":"8d967ca6-cb0b-4257-b8ae-c3c3a7818c65","resolution":{"observed_at":"2026-08-15T22:14:18.346374Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T22:14:18.323332Z","title":null,"venue":null,"work_id":"18cf6128-c8f9-467e-a06f-56957d8d708f","year":null},"citing_paper":{"arxiv_id":"2505.07939","last_updated":"2025-05-12T18:00:03Z","snapshot_observed_at":"2026-08-17T07:28:34.515682Z","submitted_at":"2025-05-12T18:00:03Z","title":"Digitalizing Wick's theorem","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-15T22:14:18.023027Z"},"links":{"citing_paper":"/paper/2505.07939"},"observation_digest":"sha256:c822b39283a2f815f3ed5760a869fb2f679aa06ef8041c163518d7c67d30dd6b","observation_id":"9050a7ed-5ff5-4d6a-86af-0ec0c1cfd251","resolution":{"observed_at":"2026-08-15T22:14:18.328415Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T22:14:18.302282Z","title":"Ai achieves silver-medal standard solving international mathe- matical olympiad problems, 2024","venue":null,"work_id":"4865c5a9-e2b8-4e6c-9133-da0993655ec5","year":2024},"citing_paper":{"arxiv_id":"2505.07939","last_updated":"2025-05-12T18:00:03Z","snapshot_observed_at":"2026-08-17T07:28:34.515682Z","submitted_at":"2025-05-12T18:00:03Z","title":"Digitalizing Wick's theorem","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-15T22:14:18.028478Z"},"links":{"citing_paper":"/paper/2505.07939"},"observation_digest":"sha256:b0ffe1aa93051d0ce80b4a4b5fd42290139181f936db769d0f7e872327a792f0","observation_id":"e5795c97-2c90-4091-9f26-25484fd953bd","resolution":{"observed_at":"2026-08-15T22:14:18.310928Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2306.15626","last_updated":"2023-10-27T16:00:20Z","snapshot_observed_at":"2026-08-16T15:20:40.279997Z","submitted_at":"2023-06-27T17:05:32Z","title":"LeanDojo: Theorem Proving with Retrieval-Augmented Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2306.15626","snapshot_observed_at":"2026-08-15T22:14:18.033647Z","title":"Swope, Alex Gu, Rahul Chalamala, Peiyang Song, Shixing Yu, Saad Godil, Ryan Prenger, and Anima Anandkumar","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.07939","last_updated":"2025-05-12T18:00:03Z","snapshot_observed_at":"2026-08-17T07:28:34.515682Z","submitted_at":"2025-05-12T18:00:03Z","title":"Digitalizing Wick's theorem","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-15T22:14:18.033647Z"},"links":{"cited_paper":"/paper/2306.15626","citing_paper":"/paper/2505.07939"},"observation_digest":"sha256:3e6e3c92a86103e2ed587e722bedc6e9002c343b707b313420a91f81ceb50db7","observation_id":"c93dd282-1ec1-43ed-8383-13315251ae51","resolution":{"observed_at":"2026-08-15T22:14:18.033647Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2505.07939","last_updated":"2025-05-12T18:00:03Z","latest_version":1,"primary_category":"hep-th","snapshot_observed_at":"2026-08-17T07:28:34.515682Z","submitted_at":"2025-05-12T18:00:03Z","title":"Digitalizing Wick's theorem"},"reference_resolution":{"displayed":11,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":8,"verified_exact":0,"verified_fuzzy":3},"total_outbound_references":11},"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-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"thesis":"As of 17 August 2026, this Paper Citation Record lists 11 of 11 outbound references and 1 inbound Pith citation observation for arXiv:2505.07939."}