{"as_of":"2026-08-15T05:54:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:a50f6da5e743418f49a927338089752a92e6191adb6ffa3f581c3db23dd37122","coverage":[{"denominator":12,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":12,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-13T02:46:48.494487Z","state":"measured"},{"denominator":13,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":13,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-14T06:32:32.682623+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-01T03:02:28.436212Z","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":[{"citation":{"cited_paper":{"arxiv_id":"2607.09474","last_updated":"2026-07-10T14:46:01Z","snapshot_observed_at":"2026-08-13T06:39:40.698494Z","submitted_at":"2026-07-10T14:46:01Z","title":"ProofCouncil: An LLM Agent for Solving Open Mathematical Problems","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2607.09474","snapshot_observed_at":"2026-08-01T03:02:28.436212Z","title":"arXiv:2607.09474","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.27705","last_updated":"2026-07-30T05:41:44Z","snapshot_observed_at":"2026-08-12T17:03:50.498271Z","submitted_at":"2026-07-30T05:41:44Z","title":"Albilich: Steerable Proof-State Orchestration for LLM-Based Mathematical Research with CAS Integration","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-01T03:02:28.436212Z"},"links":{"cited_paper":"/paper/2607.09474","citing_paper":"/paper/2607.27705"},"observation_digest":"sha256:4728132a3abaaa002ab31b5c345d727b7403e86d86427422f94af6b19a6c12b6","observation_id":"bd383f68-5841-46e4-aa95-44b45bae94f2","resolution":{"observed_at":"2026-08-01T03:02:28.436212Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2607.09474/citation-record","integrity":"/paper/2607.09474/integrity","json":"/paper/2607.09474/citation-record.json","paper":"/paper/2607.09474"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:46:48.494487Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.09474","last_updated":"2026-07-10T14:46:01Z","snapshot_observed_at":"2026-08-13T06:39:40.698494Z","submitted_at":"2026-07-10T14:46:01Z","title":"ProofCouncil: An LLM Agent for Solving Open Mathematical Problems","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-07-13T02:46:48.494487Z"},"links":{"citing_paper":"/paper/2607.09474"},"observation_digest":"sha256:9c14c5af82521389b2fd59b4f6ce6817abd6c819600c40769c429450e7693227","observation_id":"30fca217-51e3-4531-8a6f-6c54ecceb7ea","resolution":{"observed_at":"2026-07-13T02:46:48.494487Z","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-07-13T02:46:48.494487Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.09474","last_updated":"2026-07-10T14:46:01Z","snapshot_observed_at":"2026-08-13T06:39:40.698494Z","submitted_at":"2026-07-10T14:46:01Z","title":"ProofCouncil: An LLM Agent for Solving Open Mathematical Problems","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-07-13T02:46:48.494487Z"},"links":{"citing_paper":"/paper/2607.09474"},"observation_digest":"sha256:d29b4b207b414588e1eabadfd0f02b124a8856674d1f12e5b02ec26766d05d43","observation_id":"545518e2-c732-41a2-a7b0-8b4c92d584a6","resolution":{"observed_at":"2026-07-13T02:46:48.494487Z","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-07-13T02:46:48.494487Z","title":"/mnt/data/<name>","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.09474","last_updated":"2026-07-10T14:46:01Z","snapshot_observed_at":"2026-08-13T06:39:40.698494Z","submitted_at":"2026-07-10T14:46:01Z","title":"ProofCouncil: An LLM Agent for Solving Open Mathematical Problems","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-07-13T02:46:48.494487Z"},"links":{"citing_paper":"/paper/2607.09474"},"observation_digest":"sha256:c68e2869b7cecaeebc951f447559f99a98cdb764d72649c231293c4101a07503","observation_id":"666c2bf7-f7e4-49e7-b576-54eb9c1b2e51","resolution":{"observed_at":"2026-07-13T02:46:48.494487Z","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-07-13T02:46:48.494487Z","title":"thinking summary","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.09474","last_updated":"2026-07-10T14:46:01Z","snapshot_observed_at":"2026-08-13T06:39:40.698494Z","submitted_at":"2026-07-10T14:46:01Z","title":"ProofCouncil: An LLM Agent for Solving Open Mathematical Problems","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-07-13T02:46:48.494487Z"},"links":{"citing_paper":"/paper/2607.09474"},"observation_digest":"sha256:efbf46e912a5d2a6d287a9acef58785ab772fc2c9a10c14323bad0189b818975","observation_id":"cee6e3ee-5612-4b23-bf75-040fed5db97d","resolution":{"observed_at":"2026-07-13T02:46:48.494487Z","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-07-13T02:46:48.494487Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.09474","last_updated":"2026-07-10T14:46:01Z","snapshot_observed_at":"2026-08-13T06:39:40.698494Z","submitted_at":"2026-07-10T14:46:01Z","title":"ProofCouncil: An LLM Agent for Solving Open Mathematical Problems","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-07-13T02:46:48.494487Z"},"links":{"citing_paper":"/paper/2607.09474"},"observation_digest":"sha256:55e4dc1053aa744a34ebc7d0084f6a3fa5609a439b91c7913c9616bac32d771b","observation_id":"fd9f82f5-bed8-4bf7-b56f-c1f0d2ed712a","resolution":{"observed_at":"2026-07-13T02:46:48.494487Z","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-07-13T02:46:48.494487Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.09474","last_updated":"2026-07-10T14:46:01Z","snapshot_observed_at":"2026-08-13T06:39:40.698494Z","submitted_at":"2026-07-10T14:46:01Z","title":"ProofCouncil: An LLM Agent for Solving Open Mathematical Problems","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-07-13T02:46:48.494487Z"},"links":{"citing_paper":"/paper/2607.09474"},"observation_digest":"sha256:f8481d0370cd54eeda2991f5d34c81f3e0f578b468d037b9ea975613a38d03f9","observation_id":"63bac370-15ca-40fd-b00d-138010e43973","resolution":{"observed_at":"2026-07-13T02:46:48.494487Z","resolver_source":null,"status":"parse_uncertain"},"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-07-13T02:46:48.494487Z","title":"/mnt/data/<name>","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.09474","last_updated":"2026-07-10T14:46:01Z","snapshot_observed_at":"2026-08-13T06:39:40.698494Z","submitted_at":"2026-07-10T14:46:01Z","title":"ProofCouncil: An LLM Agent for Solving Open Mathematical Problems","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-07-13T02:46:48.494487Z"},"links":{"citing_paper":"/paper/2607.09474"},"observation_digest":"sha256:af55052f0439cd6dae71702e6b672b0420b2bf6d53493b04a0a6aa4fad26ff64","observation_id":"162444cf-4c63-4de3-97f3-4b7871a163a6","resolution":{"observed_at":"2026-07-13T02:46:48.494487Z","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-07-13T02:46:48.494487Z","title":"thinking summary","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.09474","last_updated":"2026-07-10T14:46:01Z","snapshot_observed_at":"2026-08-13T06:39:40.698494Z","submitted_at":"2026-07-10T14:46:01Z","title":"ProofCouncil: An LLM Agent for Solving Open Mathematical Problems","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-07-13T02:46:48.494487Z"},"links":{"citing_paper":"/paper/2607.09474"},"observation_digest":"sha256:f594dac3ca031e176166bed6d8e118b71dffafdc2d1f8eaacb9ef1a347ec0c57","observation_id":"f5bbca04-fd57-4394-80a4-8e8baa4dbd56","resolution":{"observed_at":"2026-07-13T02:46:48.494487Z","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-07-13T02:46:48.494487Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.09474","last_updated":"2026-07-10T14:46:01Z","snapshot_observed_at":"2026-08-13T06:39:40.698494Z","submitted_at":"2026-07-10T14:46:01Z","title":"ProofCouncil: An LLM Agent for Solving Open Mathematical Problems","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-07-13T02:46:48.494487Z"},"links":{"citing_paper":"/paper/2607.09474"},"observation_digest":"sha256:f75f8a6ecfae372d85fa33b9a60c3550bd701bb03ebfdf49182ea7060b3d1af3","observation_id":"8785bbfc-5ab0-435c-98d8-17cfb59410ed","resolution":{"observed_at":"2026-07-13T02:46:48.494487Z","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-07-13T02:46:48.494487Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.09474","last_updated":"2026-07-10T14:46:01Z","snapshot_observed_at":"2026-08-13T06:39:40.698494Z","submitted_at":"2026-07-10T14:46:01Z","title":"ProofCouncil: An LLM Agent for Solving Open Mathematical Problems","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-07-13T02:46:48.494487Z"},"links":{"citing_paper":"/paper/2607.09474"},"observation_digest":"sha256:68943e318bb8d13a5b4540b81f3961b9bdd78b3daf8f929e57472574f4eb337e","observation_id":"d0931304-9551-446e-a538-abdb079ab8f7","resolution":{"observed_at":"2026-07-13T02:46:48.494487Z","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-07-13T02:46:48.494487Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.09474","last_updated":"2026-07-10T14:46:01Z","snapshot_observed_at":"2026-08-13T06:39:40.698494Z","submitted_at":"2026-07-10T14:46:01Z","title":"ProofCouncil: An LLM Agent for Solving Open Mathematical Problems","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-07-13T02:46:48.494487Z"},"links":{"citing_paper":"/paper/2607.09474"},"observation_digest":"sha256:004b152b4daf5b1bdee28a474ab973be74869aa24edc3e564421326d1e653bc6","observation_id":"cd85daa9-8cbd-4544-a553-1b972e17c453","resolution":{"observed_at":"2026-07-13T02:46:48.494487Z","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-07-13T02:46:48.494487Z","title":"Be terse and precise","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.09474","last_updated":"2026-07-10T14:46:01Z","snapshot_observed_at":"2026-08-13T06:39:40.698494Z","submitted_at":"2026-07-10T14:46:01Z","title":"ProofCouncil: An LLM Agent for Solving Open Mathematical Problems","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-07-13T02:46:48.494487Z"},"links":{"citing_paper":"/paper/2607.09474"},"observation_digest":"sha256:f74cb25b8ae0a7818abf587e62752b8d47b1f0466e631a54b2bf1359d18f8b29","observation_id":"653f9d13-3f0b-45f2-b531-8c9ded054233","resolution":{"observed_at":"2026-07-13T02:46:48.494487Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.09474","last_updated":"2026-07-10T14:46:01Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-13T06:39:40.698494Z","submitted_at":"2026-07-10T14:46:01Z","title":"ProofCouncil: An LLM Agent for Solving Open Mathematical Problems"},"reference_resolution":{"displayed":12,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":1,"unresolved":11,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":12},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"thesis":"As of 15 August 2026, this Paper Citation Record lists 12 of 12 outbound references and 1 inbound Pith citation observation for arXiv:2607.09474."}