{"as_of":"2026-08-09T18:12:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:2b3404d6cd8ca0960d79543de58a63679425fa06dab31137deff18a8bb7d6364","coverage":[{"denominator":15,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":15,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-05T10:33:02.889127Z","state":"measured"},{"denominator":18,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":18,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-09T06:31:02.800959+00:00","state":"measured"},{"denominator":3,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":3,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-02T19:18:47.014206Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-07-04T20:20:07.349276Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2509.04007","last_updated":"2025-09-04T08:38:42Z","snapshot_observed_at":"2026-08-08T00:50:24.904448Z","submitted_at":"2025-09-04T08:38:42Z","title":"AutoPBO: LLM-powered Optimization for Local Search PBO Solvers","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2509.04007","snapshot_observed_at":"2026-08-02T19:18:47.014206Z","title":"Autopbo: Llm- powered optimization for local search pbo solvers,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2603.02792","last_updated":"2026-07-19T10:36:17Z","snapshot_observed_at":"2026-08-07T11:23:35.985164Z","submitted_at":"2026-03-03T09:27:52Z","title":"From Heuristic Selection to Automated Algorithm Design: LLMs Benefit from Strong Priors","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-02T19:18:47.014206Z"},"links":{"cited_paper":"/paper/2509.04007","citing_paper":"/paper/2603.02792"},"observation_digest":"sha256:0ae2af86dc82b1343ecc36aec4873ee3023b657565860c57176d4fd3b6a14f0b","observation_id":"77878530-7a94-4efc-ac97-549fe4213a47","resolution":{"observed_at":"2026-08-02T19:18:47.014206Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2509.04007","last_updated":"2025-09-04T08:38:42Z","snapshot_observed_at":"2026-08-08T00:50:24.904448Z","submitted_at":"2025-09-04T08:38:42Z","title":"AutoPBO: LLM-powered Optimization for Local Search PBO Solvers","version":1},"cited_work":{"arxiv_id":"2509.04007","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2509.04007","snapshot_observed_at":"2026-07-04T20:20:07.349276Z","title":"AutoPBO: LLM-powered optimization for local search PBO solvers,","venue":null,"work_id":"3c7cf774-fa80-42bd-8b51-9b6c23c99b06","year":2025},"citing_paper":{"arxiv_id":"2606.25832","last_updated":"2026-06-25T05:38:04Z","snapshot_observed_at":"2026-08-09T11:58:00.809851Z","submitted_at":"2026-06-24T13:48:06Z","title":"MiniOpt: Reasoning to Model and Solve General Optimization Problems with Limited Resources","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-06-25T20:19:30.720291Z"},"links":{"cited_paper":"/paper/2509.04007","citing_paper":"/paper/2606.25832"},"observation_digest":"sha256:82679290c44666a758760212a1805895ac07342ac96193229d954d4ef90704f3","observation_id":"746f22ff-1d0c-47a1-a3af-32b1bb925aed","resolution":{"observed_at":"2026-07-04T20:20:07.350986Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2509.04007","last_updated":"2025-09-04T08:38:42Z","snapshot_observed_at":"2026-08-08T00:50:24.904448Z","submitted_at":"2025-09-04T08:38:42Z","title":"AutoPBO: LLM-powered Optimization for Local Search PBO Solvers","version":1},"cited_work":{"arxiv_id":"2509.04007","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2509.04007","snapshot_observed_at":"2026-07-04T20:20:07.349276Z","title":"AutoPBO: LLM-powered optimization for local search PBO solvers,","venue":null,"work_id":"3c7cf774-fa80-42bd-8b51-9b6c23c99b06","year":2025},"citing_paper":{"arxiv_id":"2606.25832","last_updated":"2026-06-25T05:38:04Z","snapshot_observed_at":"2026-08-09T11:58:00.809851Z","submitted_at":"2026-06-24T13:48:06Z","title":"MiniOpt: Reasoning to Model and Solve General Optimization Problems with Limited Resources","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-06-26T05:18:55.074710Z"},"links":{"cited_paper":"/paper/2509.04007","citing_paper":"/paper/2606.25832"},"observation_digest":"sha256:8b0d48a31ad1756a136dde7098c09c8140e85ccd3c3699efe9077653d8dce912","observation_id":"c9afde87-74f1-4c5b-9951-48d821306cc9","resolution":{"observed_at":"2026-07-04T13:19:50.778563Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2509.04007/citation-record","integrity":"/paper/2509.04007/integrity","json":"/paper/2509.04007/citation-record.json","paper":"/paper/2509.04007"},"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-05T10:33:03.071401Z","title":"In 29th International Conference on Principles and Practice of Constraint Programming (CP 2023), 12–1","venue":null,"work_id":"0dbc77db-dc6e-42b7-ba85-e0a91693a6ab","year":2023},"citing_paper":{"arxiv_id":"2509.04007","last_updated":"2025-09-04T08:38:42Z","snapshot_observed_at":"2026-08-08T00:50:24.904448Z","submitted_at":"2025-09-04T08:38:42Z","title":"AutoPBO: LLM-powered Optimization for Local Search PBO Solvers","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-05T10:33:02.848960Z"},"links":{"citing_paper":"/paper/2509.04007"},"observation_digest":"sha256:fc33a5fb5f92d8b885051057cf46e584295db1e667967d061a14437b9e5a516e","observation_id":"2f417f3c-6c44-4942-bd18-96921ab62929","resolution":{"observed_at":"2026-08-05T10:33:03.075211Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-05T10:33:03.059883Z","title":"In In Proceedings of SAT 2024, volume 305, 8:1–8:18","venue":null,"work_id":"9a8bbf9f-c748-426b-88f3-d17b850e26c4","year":2024},"citing_paper":{"arxiv_id":"2509.04007","last_updated":"2025-09-04T08:38:42Z","snapshot_observed_at":"2026-08-08T00:50:24.904448Z","submitted_at":"2025-09-04T08:38:42Z","title":"AutoPBO: LLM-powered Optimization for Local Search PBO Solvers","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-05T10:33:02.852789Z"},"links":{"citing_paper":"/paper/2509.04007"},"observation_digest":"sha256:693ecbe1829819b0a7fbfd806f016138eb3d20074956687b1375b7ffdee26cef","observation_id":"167bcb39-5357-4145-8192-c30aa899f303","resolution":{"observed_at":"2026-08-05T10:33:03.063655Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-05T10:33:03.048483Z","title":"In Proceedings of AAAI 2021 , 3750–","venue":null,"work_id":"ebfe130c-6f71-4e49-bd10-7cc639b995f6","year":2021},"citing_paper":{"arxiv_id":"2509.04007","last_updated":"2025-09-04T08:38:42Z","snapshot_observed_at":"2026-08-08T00:50:24.904448Z","submitted_at":"2025-09-04T08:38:42Z","title":"AutoPBO: LLM-powered Optimization for Local Search PBO Solvers","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-05T10:33:02.856517Z"},"links":{"citing_paper":"/paper/2509.04007"},"observation_digest":"sha256:0336a0b07efc943de2fd5a06543663246f5f5d6c0a8c90178bd8c80442b2b1de","observation_id":"954b00cb-a528-47a5-a082-2be2658123dc","resolution":{"observed_at":"2026-08-05T10:33:03.052351Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-05T10:33:03.013290Z","title":"In ECAI 2023, 1124–1131","venue":null,"work_id":"ba35ed71-a226-4582-bd03-e7befc138271","year":2023},"citing_paper":{"arxiv_id":"2509.04007","last_updated":"2025-09-04T08:38:42Z","snapshot_observed_at":"2026-08-08T00:50:24.904448Z","submitted_at":"2025-09-04T08:38:42Z","title":"AutoPBO: LLM-powered Optimization for Local Search PBO Solvers","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-05T10:33:02.867308Z"},"links":{"citing_paper":"/paper/2509.04007"},"observation_digest":"sha256:7f4645cab59a94bff714512b3207eb2869195b56aed578a6b6b62c3d7c27fb81","observation_id":"20c63157-c065-4fe0-b1bd-45ad07374968","resolution":{"observed_at":"2026-08-05T10:33:03.017074Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2301.12251","last_updated":"2023-06-29T09:03:32Z","snapshot_observed_at":"2026-08-09T08:08:37.102500Z","submitted_at":"2023-01-28T17:03:56Z","title":"DeciLS-PBO: an Effective Local Search Method for Pseudo-Boolean Optimization","version":2},"cited_work":{"arxiv_id":"2301.12251","doi":null,"metadata_source":"pith","pith_arxiv_id":"2301.12251","snapshot_observed_at":"2026-08-05T10:33:02.936173Z","title":"DeciLS-PBO: an Effective Local Search Method for Pseudo-Boolean Optimization","venue":"cs.AI","work_id":"80d40888-9042-475b-98e8-c738a7b67457","year":2023},"citing_paper":{"arxiv_id":"2509.04007","last_updated":"2025-09-04T08:38:42Z","snapshot_observed_at":"2026-08-08T00:50:24.904448Z","submitted_at":"2025-09-04T08:38:42Z","title":"AutoPBO: LLM-powered Optimization for Local Search PBO Solvers","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-05T10:33:02.870482Z"},"links":{"cited_paper":"/paper/2301.12251","citing_paper":"/paper/2509.04007"},"observation_digest":"sha256:c23c3e35c94b856dd8f56432d7c24751f546b6d3b6391919a13d49ecb7c7f3b2","observation_id":"c03a45c3-86f2-4757-b388-a8c07dbf6010","resolution":{"observed_at":"2026-08-05T10:33:02.942367Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-05T10:33:03.000372Z","title":"In Theory and Applications of Satisfiability Testing–SAT 2021: 24th Inter- national Conference, Barcelona, Spain, July 5-9, 2021, Pro- ceedings 24, 332–348","venue":null,"work_id":"74fca261-48f3-4feb-9ff4-450755244811","year":2021},"citing_paper":{"arxiv_id":"2509.04007","last_updated":"2025-09-04T08:38:42Z","snapshot_observed_at":"2026-08-08T00:50:24.904448Z","submitted_at":"2025-09-04T08:38:42Z","title":"AutoPBO: LLM-powered Optimization for Local Search PBO Solvers","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-05T10:33:02.874245Z"},"links":{"citing_paper":"/paper/2509.04007"},"observation_digest":"sha256:55390a64ef9518c3eb6560a54b6f5604913e1997696325d4d7df29832f960f59","observation_id":"730a3e22-88e3-44fe-a295-a8b2900469aa","resolution":{"observed_at":"2026-08-05T10:33:03.005438Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"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-05T10:33:02.885010Z","title":"arXiv preprint arXiv:2507.22876","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2509.04007","last_updated":"2025-09-04T08:38:42Z","snapshot_observed_at":"2026-08-08T00:50:24.904448Z","submitted_at":"2025-09-04T08:38:42Z","title":"AutoPBO: LLM-powered Optimization for Local Search PBO Solvers","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-05T10:33:02.885010Z"},"links":{"cited_paper":"/paper/2507.22876","citing_paper":"/paper/2509.04007"},"observation_digest":"sha256:958f30fd714329d2107e7b7f6d3336a8a8cf5592a10cb2ba74823e42a9295200","observation_id":"6bda0d4a-f7fe-41ae-9d04-483dad803ad7","resolution":{"observed_at":"2026-08-05T10:33:02.885010Z","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-05T10:33:02.977292Z","title":"In 2011 IEEE Com- puter Society Annual Symposium on VLSI, 120–125","venue":null,"work_id":"693d04b0-edd1-4209-aa0b-d8cdb853d358","year":2011},"citing_paper":{"arxiv_id":"2509.04007","last_updated":"2025-09-04T08:38:42Z","snapshot_observed_at":"2026-08-08T00:50:24.904448Z","submitted_at":"2025-09-04T08:38:42Z","title":"AutoPBO: LLM-powered Optimization for Local Search PBO Solvers","version":1},"reference_index":2011,"source":"pdf_text","source_observed_at":"2026-08-05T10:33:02.889127Z"},"links":{"citing_paper":"/paper/2509.04007"},"observation_digest":"sha256:3e86431b9724711df2042db5cfccccd1a363d45fd21023d885ffd56dfbf521a6","observation_id":"c8e66e14-8f4a-4f3d-b31b-732d7097133c","resolution":{"observed_at":"2026-08-05T10:33:02.981063Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-05T10:33:03.036711Z","title":"In Lang, J., ed., Proceedings of IJCAI 2018, 1291–1299","venue":null,"work_id":"9a0fa218-18b8-41fb-9e05-3518fe7052f9","year":2018},"citing_paper":{"arxiv_id":"2509.04007","last_updated":"2025-09-04T08:38:42Z","snapshot_observed_at":"2026-08-08T00:50:24.904448Z","submitted_at":"2025-09-04T08:38:42Z","title":"AutoPBO: LLM-powered Optimization for Local Search PBO Solvers","version":1},"reference_index":2018,"source":"pdf_text","source_observed_at":"2026-08-05T10:33:02.860006Z"},"links":{"citing_paper":"/paper/2509.04007"},"observation_digest":"sha256:1d28de3437e9da3d572382fca87f4358c03e2f132444d5d182ec743fa666e7fb","observation_id":"abea0ef5-b5dd-4911-87ba-927b4d9e7621","resolution":{"observed_at":"2026-08-05T10:33:03.040749Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-05T10:33:03.024895Z","title":"In Proceedings of AAAI 2020, 1495–1503","venue":null,"work_id":"5c0e3a68-782d-4e9b-bbc1-14f4dbc9718a","year":2020},"citing_paper":{"arxiv_id":"2509.04007","last_updated":"2025-09-04T08:38:42Z","snapshot_observed_at":"2026-08-08T00:50:24.904448Z","submitted_at":"2025-09-04T08:38:42Z","title":"AutoPBO: LLM-powered Optimization for Local Search PBO Solvers","version":1},"reference_index":2020,"source":"pdf_text","source_observed_at":"2026-08-05T10:33:02.863336Z"},"links":{"citing_paper":"/paper/2509.04007"},"observation_digest":"sha256:b753ee703505e91df8060aa444c68932314ec5eb8a109e2992ebad9e3b66e851","observation_id":"50ea755a-9467-47d6-9f9d-59b2d733ac93","resolution":{"observed_at":"2026-08-05T10:33:03.028530Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2112.08872","last_updated":"2021-12-16T13:34:32Z","snapshot_observed_at":"2026-08-03T16:35:34.381058Z","submitted_at":"2021-12-16T13:34:32Z","title":"The SCIP Optimization Suite 8.0","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2112.08872","snapshot_observed_at":"2026-08-05T10:33:02.837555Z","title":"arXiv preprint arXiv:2112.08872","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2509.04007","last_updated":"2025-09-04T08:38:42Z","snapshot_observed_at":"2026-08-08T00:50:24.904448Z","submitted_at":"2025-09-04T08:38:42Z","title":"AutoPBO: LLM-powered Optimization for Local Search PBO Solvers","version":1},"reference_index":2021,"source":"pdf_text","source_observed_at":"2026-08-05T10:33:02.837555Z"},"links":{"cited_paper":"/paper/2112.08872","citing_paper":"/paper/2509.04007"},"observation_digest":"sha256:6b6b059a85fe48aabae64647cff94e48ad157b120821cb536009755cbb0fb381","observation_id":"56310703-3c03-41fd-a70d-2d37cb3762e3","resolution":{"observed_at":"2026-08-05T10:33:02.837555Z","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-05T10:33:02.989034Z","title":"In Proceedings of SAT 2022, 13:1–13:18","venue":null,"work_id":"e6e512f7-2b08-455c-ab75-9d799b2fe25a","year":2022},"citing_paper":{"arxiv_id":"2509.04007","last_updated":"2025-09-04T08:38:42Z","snapshot_observed_at":"2026-08-08T00:50:24.904448Z","submitted_at":"2025-09-04T08:38:42Z","title":"AutoPBO: LLM-powered Optimization for Local Search PBO Solvers","version":1},"reference_index":2022,"source":"pdf_text","source_observed_at":"2026-08-05T10:33:02.881552Z"},"links":{"citing_paper":"/paper/2509.04007"},"observation_digest":"sha256:ea091503846384056482fef1b1409f34165121cb5484802f74416b37879a6032","observation_id":"1c0ec9a0-02e1-42c7-b3bf-6994d36970a4","resolution":{"observed_at":"2026-08-05T10:33:02.992794Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-05T10:33:03.082843Z","title":"In Proceedings of AAAI 2023 , volume 37, 3915–3923","venue":null,"work_id":"32669a9f-0acf-4757-9593-8a0119313a83","year":2023},"citing_paper":{"arxiv_id":"2509.04007","last_updated":"2025-09-04T08:38:42Z","snapshot_observed_at":"2026-08-08T00:50:24.904448Z","submitted_at":"2025-09-04T08:38:42Z","title":"AutoPBO: LLM-powered Optimization for Local Search PBO Solvers","version":1},"reference_index":2023,"source":"pdf_text","source_observed_at":"2026-08-05T10:33:02.845385Z"},"links":{"citing_paper":"/paper/2509.04007"},"observation_digest":"sha256:2de6879c9cf249d5eedfc7a9869bbd557ea46a6676bffdd1749a431b547b3315","observation_id":"30a0a1cb-a1d1-4c18-9e1d-f5200f12c795","resolution":{"observed_at":"2026-08-05T10:33:03.086691Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2407.21729","last_updated":"2024-07-31T16:30:04Z","snapshot_observed_at":"2026-07-06T18:55:07.177656Z","submitted_at":"2024-07-31T16:30:04Z","title":"ParLS-PBO: A Parallel Local Search Solver for Pseudo Boolean Optimization","version":1},"cited_work":{"arxiv_id":"2407.21729","doi":null,"metadata_source":"pith","pith_arxiv_id":"2407.21729","snapshot_observed_at":"2026-08-05T10:33:02.953542Z","title":"ParLS-PBO: A Parallel Local Search Solver for Pseudo Boolean Optimization","venue":"cs.AI","work_id":"cffff23d-da4b-4cd1-ac5d-0d03426e2aa5","year":2024},"citing_paper":{"arxiv_id":"2509.04007","last_updated":"2025-09-04T08:38:42Z","snapshot_observed_at":"2026-08-08T00:50:24.904448Z","submitted_at":"2025-09-04T08:38:42Z","title":"AutoPBO: LLM-powered Optimization for Local Search PBO Solvers","version":1},"reference_index":2024,"source":"pdf_text","source_observed_at":"2026-08-05T10:33:02.841553Z"},"links":{"cited_paper":"/paper/2407.21729","citing_paper":"/paper/2509.04007"},"observation_digest":"sha256:7da5f9d8f4f5397ff2cf2da83969d7bdc1cc27fcd56fb094220ca052acb4883a","observation_id":"e5fb07a0-7e7e-4033-b622-1aa5ce7ed26c","resolution":{"observed_at":"2026-08-05T10:33:02.957738Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2506.13131","last_updated":"2025-06-16T06:37:18Z","snapshot_observed_at":"2026-08-07T04:21:43.190472Z","submitted_at":"2025-06-16T06:37:18Z","title":"AlphaEvolve: A coding agent for scientific and algorithmic discovery","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2506.13131","snapshot_observed_at":"2026-08-05T10:33:02.877616Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2509.04007","last_updated":"2025-09-04T08:38:42Z","snapshot_observed_at":"2026-08-08T00:50:24.904448Z","submitted_at":"2025-09-04T08:38:42Z","title":"AutoPBO: LLM-powered Optimization for Local Search PBO Solvers","version":1},"reference_index":2025,"source":"pdf_text","source_observed_at":"2026-08-05T10:33:02.877616Z"},"links":{"cited_paper":"/paper/2506.13131","citing_paper":"/paper/2509.04007"},"observation_digest":"sha256:6d40e68372a10af59d1d5b5a66321c708d8ede03d7be60853be9b2ae23356ba1","observation_id":"13109639-e87b-4b07-b260-d74f8664246a","resolution":{"observed_at":"2026-08-05T10:33:02.877616Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2509.04007","last_updated":"2025-09-04T08:38:42Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-08T00:50:24.904448Z","submitted_at":"2025-09-04T08:38:42Z","title":"AutoPBO: LLM-powered Optimization for Local Search PBO Solvers"},"reference_resolution":{"displayed":15,"state_counts":{"malformed_identifier":0,"metadata_mismatch":2,"parse_uncertain":0,"unresolved":3,"verified_exact":0,"verified_fuzzy":10},"total_outbound_references":15},"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-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"thesis":"As of 9 August 2026, this Paper Citation Record lists 15 of 15 outbound references and 3 inbound Pith citation observations for arXiv:2509.04007."}