{"as_of":"2026-08-09T06:22:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:7a3844beb78a1c94dc0c79f0b5bbfa668f49dd7db1a3e37f1cd9990b5d986fed","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-02T01:00:23.406522Z","state":"measured"},{"denominator":11,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":11,"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/2607.14818/citation-record","integrity":"/paper/2607.14818/integrity","json":"/paper/2607.14818/citation-record.json","paper":"/paper/2607.14818"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T01:00:22.255066Z","title":"SCIP: Solving constraint integer programs.Mathematical Programming Computation, 1(1):1–41, 2009.doi:10.1007/s12532-008-0001-1","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2607.14818","last_updated":"2026-07-16T10:37:02Z","snapshot_observed_at":"2026-08-08T14:10:54.117891Z","submitted_at":"2026-07-16T10:37:02Z","title":"Can LLMs Build a MaxSAT Solver from Papers? The CoreForge Experience","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-02T01:00:22.255066Z"},"links":{"citing_paper":"/paper/2607.14818"},"observation_digest":"sha256:38f9cb844f607287798dc30df86a987061e1a20ef6848ace1455ddd717c6decc","observation_id":"d63e8c04-8ef7-464a-b827-f118c0c29e58","resolution":{"observed_at":"2026-08-02T01:00:22.255066Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2504.01848","last_updated":"2025-04-07T12:15:49Z","snapshot_observed_at":"2026-07-06T21:03:06.857885Z","submitted_at":"2025-04-02T15:55:24Z","title":"PaperBench: Evaluating AI's Ability to Replicate AI Research","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2504.01848","snapshot_observed_at":"2026-08-02T01:00:22.885499Z","title":"Papers were used for planning, planning was converted into implementation prompts, and the resulting code was evaluated, audited, and revised across iterations","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.14818","last_updated":"2026-07-16T10:37:02Z","snapshot_observed_at":"2026-08-08T14:10:54.117891Z","submitted_at":"2026-07-16T10:37:02Z","title":"Can LLMs Build a MaxSAT Solver from Papers? The CoreForge Experience","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-02T01:00:22.885499Z"},"links":{"cited_paper":"/paper/2504.01848","citing_paper":"/paper/2607.14818"},"observation_digest":"sha256:3aa801c28ce82d16aacb0c8214e18698493ea21a24c64d01043ba4cc9a45bd6f","observation_id":"e4180afd-16df-4f7d-8424-a0317e2d8806","resolution":{"observed_at":"2026-08-02T01:00:22.885499Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2507.22876","last_updated":"2026-06-06T04:54:11Z","snapshot_observed_at":"2026-08-06T11:18:46.669531Z","submitted_at":"2025-07-30T17:52:25Z","title":"Discovering heuristics in a complex SAT solver with large language models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2507.22876","snapshot_observed_at":"2026-08-02T01:00:22.977292Z","title":"17 Yiwen Sun, Furong Ye, Xianyin Zhang, Shiyu Huang, Bingzhen Zhang, Ke Wei, and Shaowei Cai","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.14818","last_updated":"2026-07-16T10:37:02Z","snapshot_observed_at":"2026-08-08T14:10:54.117891Z","submitted_at":"2026-07-16T10:37:02Z","title":"Can LLMs Build a MaxSAT Solver from Papers? The CoreForge Experience","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-02T01:00:22.977292Z"},"links":{"cited_paper":"/paper/2507.22876","citing_paper":"/paper/2607.14818"},"observation_digest":"sha256:a5af99a85531c98bf008b315e7bc87da1cfdfbad8b3405c7328793d9a3753f39","observation_id":"791b3f6a-6736-4a12-ae5e-3d1283cb9dbb","resolution":{"observed_at":"2026-08-02T01:00:22.977292Z","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-02T01:00:23.143081Z","title":"When these backend stages do not solve the instance, the remaining search is handled by the core-guided MaxSAT engine","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.14818","last_updated":"2026-07-16T10:37:02Z","snapshot_observed_at":"2026-08-08T14:10:54.117891Z","submitted_at":"2026-07-16T10:37:02Z","title":"Can LLMs Build a MaxSAT Solver from Papers? The CoreForge Experience","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-02T01:00:23.143081Z"},"links":{"citing_paper":"/paper/2607.14818"},"observation_digest":"sha256:647becf22e3c14ab7f05b0278737190e18d311585b66555bed7b60c364711bc1","observation_id":"ecb2ded5-9d7d-4249-8c54-c614ef9e8a34","resolution":{"observed_at":"2026-08-02T01:00:23.143081Z","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-02T01:00:23.406522Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.14818","last_updated":"2026-07-16T10:37:02Z","snapshot_observed_at":"2026-08-08T14:10:54.117891Z","submitted_at":"2026-07-16T10:37:02Z","title":"Can LLMs Build a MaxSAT Solver from Papers? The CoreForge Experience","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-02T01:00:23.406522Z"},"links":{"citing_paper":"/paper/2607.14818"},"observation_digest":"sha256:edb5970f5772f50334721b93c9bc015d1c6c2b22475d89308aa706f329510ae8","observation_id":"5b1f7a86-1add-49ba-9822-e23a58683d13","resolution":{"observed_at":"2026-08-02T01:00:23.406522Z","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-02T01:00:22.548442Z","title":"Uncovering and classifying bugs in maxsat solvers through fuzzing and delta debugging","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.14818","last_updated":"2026-07-16T10:37:02Z","snapshot_observed_at":"2026-08-08T14:10:54.117891Z","submitted_at":"2026-07-16T10:37:02Z","title":"Can LLMs Build a MaxSAT Solver from Papers? The CoreForge Experience","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-02T01:00:22.548442Z"},"links":{"citing_paper":"/paper/2607.14818"},"observation_digest":"sha256:20d4653fa1704f32cf024238a412770e0f1c406162d2071d7427673c880ff505","observation_id":"7e4005d2-052a-4c31-bcb8-ba53ccdbd4f3","resolution":{"observed_at":"2026-08-02T01:00:22.548442Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2506.02314","last_updated":"2025-06-02T23:04:12Z","snapshot_observed_at":"2026-08-07T11:24:09.913185Z","submitted_at":"2025-06-02T23:04:12Z","title":"ResearchCodeBench: Benchmarking LLMs on Implementing Novel Machine Learning Research Code","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2506.02314","snapshot_observed_at":"2026-08-02T01:00:22.372434Z","title":"Truong, Weixin Liang, Fan-Yun Sun, and Nick Haber","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.14818","last_updated":"2026-07-16T10:37:02Z","snapshot_observed_at":"2026-08-08T14:10:54.117891Z","submitted_at":"2026-07-16T10:37:02Z","title":"Can LLMs Build a MaxSAT Solver from Papers? The CoreForge Experience","version":1},"reference_index":2009,"source":"pdf_text","source_observed_at":"2026-08-02T01:00:22.372434Z"},"links":{"cited_paper":"/paper/2506.02314","citing_paper":"/paper/2607.14818"},"observation_digest":"sha256:a407275263ef410f190ade640376e0cc458540b6046538d84c3dbab5ad7a5f2d","observation_id":"15cc6769-5a69-4933-b731-70b6c788d4fb","resolution":{"observed_at":"2026-08-02T01:00:22.372434Z","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-02T01:00:22.422450Z","title":"6 Mikolás Janota and Mirek Olsák","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.14818","last_updated":"2026-07-16T10:37:02Z","snapshot_observed_at":"2026-08-08T14:10:54.117891Z","submitted_at":"2026-07-16T10:37:02Z","title":"Can LLMs Build a MaxSAT Solver from Papers? The CoreForge Experience","version":1},"reference_index":2019,"source":"pdf_text","source_observed_at":"2026-08-02T01:00:22.422450Z"},"links":{"citing_paper":"/paper/2607.14818"},"observation_digest":"sha256:4bbe6a514f9e86647794c80ea265b17a63280ce906f44c473f76a09f302f4d5c","observation_id":"e7e69853-e658-47d7-844f-ada6a5dd9485","resolution":{"observed_at":"2026-08-02T01:00:22.422450Z","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-02T01:00:23.265572Z","title":"The results should be interpreted with care because they combine runs obtained in two environments","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.14818","last_updated":"2026-07-16T10:37:02Z","snapshot_observed_at":"2026-08-08T14:10:54.117891Z","submitted_at":"2026-07-16T10:37:02Z","title":"Can LLMs Build a MaxSAT Solver from Papers? The CoreForge Experience","version":1},"reference_index":2024,"source":"pdf_text","source_observed_at":"2026-08-02T01:00:23.265572Z"},"links":{"citing_paper":"/paper/2607.14818"},"observation_digest":"sha256:a519d1751483bbed337ee510e74274eeeb766cd6ba6c52dbd27b81378ed950b0","observation_id":"08953b47-aa2c-4f4e-bc68-03f153b8c013","resolution":{"observed_at":"2026-08-02T01:00:23.265572Z","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-02T01:00:22.792840Z","title":"14 Junjie Sheng, Yanqiu Lin, Jiehao Wu, Yanhong Huang, Jianqi Shi, Min Zhang, and Xiangfeng Wang","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.14818","last_updated":"2026-07-16T10:37:02Z","snapshot_observed_at":"2026-08-08T14:10:54.117891Z","submitted_at":"2026-07-16T10:37:02Z","title":"Can LLMs Build a MaxSAT Solver from Papers? The CoreForge Experience","version":1},"reference_index":2025,"source":"pdf_text","source_observed_at":"2026-08-02T01:00:22.792840Z"},"links":{"citing_paper":"/paper/2607.14818"},"observation_digest":"sha256:ff66b60ea4175be77350aade56c23e60edd6de87a59ab36e1e06ed157e29bf4d","observation_id":"d8bc612a-653a-4cb3-9e61-1b763ffeea19","resolution":{"observed_at":"2026-08-02T01:00:22.792840Z","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.1613/jair.1.19525","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"3 Carlos Ansótegui, Maria Luisa Bonet, and Jordi Levy","venue":"Journal of Artificial Intelligence Research","work_id":"d0da2c40-25b4-4ea4-9128-95bca5a6081c","year":null},"citing_paper":{"arxiv_id":"2607.14818","last_updated":"2026-07-16T10:37:02Z","snapshot_observed_at":"2026-08-08T14:10:54.117891Z","submitted_at":"2026-07-16T10:37:02Z","title":"Can LLMs Build a MaxSAT Solver from Papers? The CoreForge Experience","version":1},"reference_index":2026,"source":"pdf_text","source_observed_at":"2026-08-02T01:00:22.302950Z"},"links":{"citing_paper":"/paper/2607.14818"},"observation_digest":"sha256:f65197cab93c75ffcc5ccfec49e47bf740a7b860befffe148bb4c2a1b4aed2b1","observation_id":"91b1b9fd-0fdc-4462-ac6a-9cd7dc64c515","resolution":{"observed_at":"2026-08-02T01:04:19.652098Z","resolver_source":"doi","status":"verified_exact"},"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":"2607.14818","last_updated":"2026-07-16T10:37:02Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-08T14:10:54.117891Z","submitted_at":"2026-07-16T10:37:02Z","title":"Can LLMs Build a MaxSAT Solver from Papers? The CoreForge Experience"},"reference_resolution":{"displayed":11,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":10,"verified_exact":1,"verified_fuzzy":0},"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-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 9 August 2026, this Paper Citation Record lists 11 of 11 outbound references and 0 inbound Pith citation observations for arXiv:2607.14818."}