{"as_of":"2026-08-10T20:33:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:4cddd76bd2cdcab061175b21ccf15892f079b8d76cebf036feb2c582ad58086e","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-10T06:31:04.303077+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-10T00:22:18.999777Z","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:0ac7bb415be42b337827571937a107362ca9847332c2c72409bc178055b02094","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-10T00:22:18.999777Z","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:3b3aa881c693e205162e75399102db686c01c6d59c5ea0a36bb0d33829cf4cad","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T00:22:18.999777Z","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:e90f7ff4caa0ddfc57e677075f829d30a2fda75f799a4cef3eef1e005ca59ea2","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T00:22:18.999777Z","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:6e87342230273d667790bed5bc2ffa80b52c3a5b705ca668e4a3e0d418dfbf77","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T00:22:18.999777Z","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:ae9a6709ab333a2bfe1f13302e667ad5ca06cddb14959bf71806910965eff76a","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T00:22:18.999777Z","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:b49ea8792c86275aa7931134a5c56df990fc263296dec15f2af211dbab933a7b","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T00:22:18.999777Z","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:25ca8eb5f827d7c4ddb7435995b93ccaf04a669bdb32cd449bc36d15b23e37e2","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T00:22:18.999777Z","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:9434fe2470bb4ebade9175792f2b59db787481d60c2c498a82c2649d65f7ab5f","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T00:22:18.999777Z","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:1e5f60614fed80bbd1431c84e99d474b08305e854af50c73e9d7a632f92912ed","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T00:22:18.999777Z","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:56d2b7a81b44d8c15099d778a5e8f0ba77391893a5a6fe5e2effc788cf937172","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-10T00:22:18.999777Z","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:8abfd8238b9e773e893112393a35929ceabdd9a33083ae6b367922a3eceb7810","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T00:22:18.999777Z","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:090c0964c84dfced8667100e52910b807912b793c966a214f2c4f533e77e32f1","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T00:22:18.999777Z","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:d5511a7ab9ff234128b608f9b66b5e9078a46162172f244f006daa3000124234","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T00:22:18.999777Z","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:2d22211a29648285493d67fb7e8ec8a10a17c42698dbb1de562ee96f37615a38","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-10T00:22:18.999777Z","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:501b4fc77165e8ccecf2374f70110f6b847acbbff8575687c9b7ebc127c21069","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T00:22:18.999777Z","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:290769f492ec4f752b41cfc908b498be6bcdb6e3c6ebe55cffd34418df47c37a","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08-10T01:41:37.082880Z","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-10T00:22:18.999777Z","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:80a5049da83a7a90710b3018ec569ef47f5be47dca631fa74a6bd1a2ad4de764","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T00:22:18.999777Z","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:ec94234be346d1937cfd0e5e5651473bdbba1cabac4160a3f8d96d229981b36f","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-10T00:22:18.999777Z","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-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"thesis":"As of 10 August 2026, this Paper Citation Record lists 15 of 15 outbound references and 3 inbound Pith citation observations for arXiv:2509.04007."}