{"as_of":"2026-08-08T07:21:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:1f4e152e269b218e47e0af08a77e638e46b0c26c3a5692ec9e9301a7504c200d","coverage":[{"denominator":9,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":9,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T11:49:48.733761Z","state":"measured"},{"denominator":9,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":9,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+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/2506.06495/citation-record","integrity":"/paper/2506.06495/integrity","json":"/paper/2506.06495/citation-record.json","paper":"/paper/2506.06495"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:49:49.070056Z","title":"Retrieved Jan","venue":null,"work_id":"ca053583-4ce9-46b4-bf77-24dbd46547bb","year":2025},"citing_paper":{"arxiv_id":"2506.06495","last_updated":"2025-06-02T05:11:49Z","snapshot_observed_at":"2026-08-07T11:42:08.076276Z","submitted_at":"2025-06-02T05:11:49Z","title":"Optimizing Optimizations: Case Study on Detecting Specific Types of Mathematical Optimization Constraints with E-Graphs in JijModeling","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-07T11:49:48.523126Z"},"links":{"citing_paper":"/paper/2506.06495"},"observation_digest":"sha256:7d9a66e37f5f08617730418b2ad9d7494f1032118d4d974055cdee70c58bbcf6","observation_id":"775cc2bb-c7a0-44af-bb6d-b87ec836a0d1","resolution":{"observed_at":"2026-08-07T11:49:49.145439Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T11:49:48.733761Z","title":"Better Together: Unifying Datalog and Equality Saturation","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.06495","last_updated":"2025-06-02T05:11:49Z","snapshot_observed_at":"2026-08-07T11:42:08.076276Z","submitted_at":"2025-06-02T05:11:49Z","title":"Optimizing Optimizations: Case Study on Detecting Specific Types of Mathematical Optimization Constraints with E-Graphs in JijModeling","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-07T11:49:48.733761Z"},"links":{"citing_paper":"/paper/2506.06495"},"observation_digest":"sha256:790a77530f9f33dd58c78e2cbbcca84c06991b41072658a52bc88fb95a2d3e4a","observation_id":"d09c43a8-7778-456b-ae23-e0078561ba5b","resolution":{"observed_at":"2026-08-07T11:49:48.733761Z","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-07T11:49:48.626039Z","title":"Higher-order abstract syntax","venue":null,"work_id":null,"year":1988},"citing_paper":{"arxiv_id":"2506.06495","last_updated":"2025-06-02T05:11:49Z","snapshot_observed_at":"2026-08-07T11:42:08.076276Z","submitted_at":"2025-06-02T05:11:49Z","title":"Optimizing Optimizations: Case Study on Detecting Specific Types of Mathematical Optimization Constraints with E-Graphs in JijModeling","version":1},"reference_index":1988,"source":"pdf_text","source_observed_at":"2026-08-07T11:49:48.626039Z"},"links":{"citing_paper":"/paper/2506.06495"},"observation_digest":"sha256:18636030643e56cc58024efedd0655411ef946405ebcd38961346d956fd17269","observation_id":"cbd59fc7-fdf1-4319-8d9e-0f406094e70d","resolution":{"observed_at":"2026-08-07T11:49:48.626039Z","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-07T11:49:48.158952Z","title":"The Locally Nameless Representation","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.06495","last_updated":"2025-06-02T05:11:49Z","snapshot_observed_at":"2026-08-07T11:42:08.076276Z","submitted_at":"2025-06-02T05:11:49Z","title":"Optimizing Optimizations: Case Study on Detecting Specific Types of Mathematical Optimization Constraints with E-Graphs in JijModeling","version":1},"reference_index":2012,"source":"pdf_text","source_observed_at":"2026-08-07T11:49:48.158952Z"},"links":{"citing_paper":"/paper/2506.06495"},"observation_digest":"sha256:d7697e432b144aeef3f897771f8757262964bd88ff5b68caa747b19bb25e767f","observation_id":"bf33666f-5f97-4cb3-8613-d6f862bbd6d4","resolution":{"observed_at":"2026-08-07T11:49:48.158952Z","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-07T11:49:48.367042Z","title":"Stephen Maher, Matthias Miltenberger, João Pedro Pedroso, Daniel Rehfeldt, Robert Schwarz, and Felipe Serrano","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2506.06495","last_updated":"2025-06-02T05:11:49Z","snapshot_observed_at":"2026-08-07T11:42:08.076276Z","submitted_at":"2025-06-02T05:11:49Z","title":"Optimizing Optimizations: Case Study on Detecting Specific Types of Mathematical Optimization Constraints with E-Graphs in JijModeling","version":1},"reference_index":2014,"source":"pdf_text","source_observed_at":"2026-08-07T11:49:48.367042Z"},"links":{"citing_paper":"/paper/2506.06495"},"observation_digest":"sha256:2fc6d0b75aa9d8a931dc282f5875e87b358cec0a2cfd12dc3da2dcdf4a50a9fe","observation_id":"f4ad1fd0-cab3-48ee-bb94-16d8fc4562e1","resolution":{"observed_at":"2026-08-07T11:49:48.367042Z","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-07T11:49:48.439234Z","title":"PySCIPOpt: Mathematical Programming in Python with the SCIP Optimization Suite","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2506.06495","last_updated":"2025-06-02T05:11:49Z","snapshot_observed_at":"2026-08-07T11:42:08.076276Z","submitted_at":"2025-06-02T05:11:49Z","title":"Optimizing Optimizations: Case Study on Detecting Specific Types of Mathematical Optimization Constraints with E-Graphs in JijModeling","version":1},"reference_index":2016,"source":"pdf_text","source_observed_at":"2026-08-07T11:49:48.439234Z"},"links":{"citing_paper":"/paper/2506.06495"},"observation_digest":"sha256:f9602aa9cfe885b7973c0deaf0b7808b2020a8477bdb0f97d3f2ad93e6f44e51","observation_id":"6a73046b-14be-48a9-bcb8-dd808b9593e6","resolution":{"observed_at":"2026-08-07T11:49:48.439234Z","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-07T11:49:48.674280Z","title":"egg: Fast and Extensible Equality Saturation","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2506.06495","last_updated":"2025-06-02T05:11:49Z","snapshot_observed_at":"2026-08-07T11:42:08.076276Z","submitted_at":"2025-06-02T05:11:49Z","title":"Optimizing Optimizations: Case Study on Detecting Specific Types of Mathematical Optimization Constraints with E-Graphs in JijModeling","version":1},"reference_index":2021,"source":"pdf_text","source_observed_at":"2026-08-07T11:49:48.674280Z"},"links":{"citing_paper":"/paper/2506.06495"},"observation_digest":"sha256:2f07563560efa8a04a8b7517a6ed04055f8f1f1042ffecc82e9d75d917b61ba9","observation_id":"5c7e6de4-f104-4241-8c79-623a7241a546","resolution":{"observed_at":"2026-08-07T11:49:48.674280Z","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-07T11:49:49.237698Z","title":"25, 2025 from https://jij-inc.github.i o/JijModeling-Tutorials/en/introduction.html","venue":null,"work_id":"4ebd4769-3db0-4159-9f1f-1a09d10c7fab","year":2025},"citing_paper":{"arxiv_id":"2506.06495","last_updated":"2025-06-02T05:11:49Z","snapshot_observed_at":"2026-08-07T11:42:08.076276Z","submitted_at":"2025-06-02T05:11:49Z","title":"Optimizing Optimizations: Case Study on Detecting Specific Types of Mathematical Optimization Constraints with E-Graphs in JijModeling","version":1},"reference_index":2023,"source":"pdf_text","source_observed_at":"2026-08-07T11:49:48.306896Z"},"links":{"citing_paper":"/paper/2506.06495"},"observation_digest":"sha256:e63e3a195366ac7ecab8beebcadbe8cc57f03cc061c4a77787bc1ecce67196d6","observation_id":"79aad5c0-b03c-4b7a-a892-69a852e0759e","resolution":{"observed_at":"2026-08-07T11:49:49.286420Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T11:49:49.350683Z","title":"Retrieved Mar","venue":null,"work_id":"e4627b7c-36a8-41ac-8fe3-e0a484b3af83","year":2025},"citing_paper":{"arxiv_id":"2506.06495","last_updated":"2025-06-02T05:11:49Z","snapshot_observed_at":"2026-08-07T11:42:08.076276Z","submitted_at":"2025-06-02T05:11:49Z","title":"Optimizing Optimizations: Case Study on Detecting Specific Types of Mathematical Optimization Constraints with E-Graphs in JijModeling","version":1},"reference_index":2024,"source":"pdf_text","source_observed_at":"2026-08-07T11:49:48.237996Z"},"links":{"citing_paper":"/paper/2506.06495"},"observation_digest":"sha256:7144388901bc03c96e8de261172c6c36ee9f0f13414df56605c2f1ddab1abdc6","observation_id":"4576c9bd-c8e8-44f5-9142-4cf1c59baa30","resolution":{"observed_at":"2026-08-07T11:49:49.442417Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2506.06495","last_updated":"2025-06-02T05:11:49Z","latest_version":1,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-07T11:42:08.076276Z","submitted_at":"2025-06-02T05:11:49Z","title":"Optimizing Optimizations: Case Study on Detecting Specific Types of Mathematical Optimization Constraints with E-Graphs in JijModeling"},"reference_resolution":{"displayed":9,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":6,"verified_exact":0,"verified_fuzzy":3},"total_outbound_references":9},"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-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 9 of 9 outbound references and 0 inbound Pith citation observations for arXiv:2506.06495."}