{"as_of":"2026-08-09T20:16:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:f8bb5c39057fccfcac6a6c21fc61cc6ebfcfcadc327685d9b74a01cf832de2be","coverage":[{"denominator":33,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":33,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-02T06:25:32.782633Z","state":"measured"},{"denominator":34,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":34,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-09T06:31:02.800959+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-06T00:11:25.934317Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"pith","source_observed_at":"2026-08-06T00:11:28.186732Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2607.12711","last_updated":"2026-07-17T12:17:09Z","snapshot_observed_at":"2026-08-05T17:49:57.690676Z","submitted_at":"2026-07-14T12:39:05Z","title":"MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku","version":2},"cited_work":{"arxiv_id":"2607.12711","doi":null,"metadata_source":"pith","pith_arxiv_id":"2607.12711","snapshot_observed_at":"2026-08-06T00:11:28.186732Z","title":"MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku","venue":"cs.AI","work_id":"76324edd-7875-4431-9c12-dad58a78a7f0","year":2026},"citing_paper":{"arxiv_id":"2608.01534","last_updated":"2026-08-02T23:01:10Z","snapshot_observed_at":"2026-08-09T11:59:32.299656Z","submitted_at":"2026-08-02T23:01:10Z","title":"Recursive Vision Language Models for General Symbolic Reasoning","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-06T00:11:25.934317Z"},"links":{"cited_paper":"/paper/2607.12711","citing_paper":"/paper/2608.01534"},"observation_digest":"sha256:d673437441c87287e50e1bf3da24442834c359aac99cb8ff4a6c81e93c517645","observation_id":"3ac72aef-fd63-460c-a496-1705f3275151","resolution":{"observed_at":"2026-08-06T00:11:28.272032Z","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"}}],"links":{"evidence":"/evidence","html":"/paper/2607.12711/citation-record","integrity":"/paper/2607.12711/integrity","json":"/paper/2607.12711/citation-record.json","paper":"/paper/2607.12711"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T06:25:28.659423Z","title":"In: Biere, A., Heule, M., van Maaren, H., Walsh, T","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.12711","last_updated":"2026-07-17T12:17:09Z","snapshot_observed_at":"2026-08-05T17:49:57.690676Z","submitted_at":"2026-07-14T12:39:05Z","title":"MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-02T06:25:28.659423Z"},"links":{"citing_paper":"/paper/2607.12711"},"observation_digest":"sha256:9d12ce6f05086a8a98434f8fa38d2243e5c9aee8686298f51d826e04e7ddc950","observation_id":"05ea8238-0d0a-426b-b6bc-be4fe6effef9","resolution":{"observed_at":"2026-08-02T06:25:28.659423Z","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-02T06:25:28.760159Z","title":"(eds.): Handbook of Satisfiability, Frontiers in Artificial Intelligence and Applications, vol","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2607.12711","last_updated":"2026-07-17T12:17:09Z","snapshot_observed_at":"2026-08-05T17:49:57.690676Z","submitted_at":"2026-07-14T12:39:05Z","title":"MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-02T06:25:28.760159Z"},"links":{"citing_paper":"/paper/2607.12711"},"observation_digest":"sha256:64fc9b1c7ebfcf487541c21ebbbab0ba38e49f2a6706762462fa0dbc4e517fe9","observation_id":"934d3530-e1d2-4998-8520-b78f3c476878","resolution":{"observed_at":"2026-08-02T06:25:28.760159Z","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-02T06:25:28.929632Z","title":"In: ECAI","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.12711","last_updated":"2026-07-17T12:17:09Z","snapshot_observed_at":"2026-08-05T17:49:57.690676Z","submitted_at":"2026-07-14T12:39:05Z","title":"MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-02T06:25:28.929632Z"},"links":{"citing_paper":"/paper/2607.12711"},"observation_digest":"sha256:dfb6b9b3eb788a9750a37ca66f9ebac673a61499964c7343114c76ba55ba6547","observation_id":"f1f84a49-20e4-4671-b004-8ad84b2b80bd","resolution":{"observed_at":"2026-08-02T06:25:28.929632Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2601.10611","last_updated":"2026-04-02T16:01:02Z","snapshot_observed_at":"2026-08-02T06:45:30.387180Z","submitted_at":"2026-01-15T17:27:44Z","title":"Molmo2: Open Weights and Data for Vision-Language Models with Video Understanding and Grounding","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2601.10611","snapshot_observed_at":"2026-08-02T06:25:29.087642Z","title":"arXiv preprint arXiv:2601.10611 (2026)","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.12711","last_updated":"2026-07-17T12:17:09Z","snapshot_observed_at":"2026-08-05T17:49:57.690676Z","submitted_at":"2026-07-14T12:39:05Z","title":"MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-02T06:25:29.087642Z"},"links":{"cited_paper":"/paper/2601.10611","citing_paper":"/paper/2607.12711"},"observation_digest":"sha256:fb47c39a5b79a4f69d604356f7d0d4996399b3bfa14112d8ecc969603af0ec14","observation_id":"98c2a7ce-79f4-4753-8aad-0e3064264c15","resolution":{"observed_at":"2026-08-02T06:25:29.087642Z","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-02T06:25:29.181100Z","title":"CoRRabs/2511.10436(2025)","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.12711","last_updated":"2026-07-17T12:17:09Z","snapshot_observed_at":"2026-08-05T17:49:57.690676Z","submitted_at":"2026-07-14T12:39:05Z","title":"MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-02T06:25:29.181100Z"},"links":{"citing_paper":"/paper/2607.12711"},"observation_digest":"sha256:fd091872a5ad390df6ed5daacfce3df3b0711f5c2b8b35d21d946375fda42ad0","observation_id":"8b38290a-95bb-4610-b6f0-9f84bcb816ab","resolution":{"observed_at":"2026-08-02T06:25:29.181100Z","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-02T06:25:29.237621Z","title":"In: ICML","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.12711","last_updated":"2026-07-17T12:17:09Z","snapshot_observed_at":"2026-08-05T17:49:57.690676Z","submitted_at":"2026-07-14T12:39:05Z","title":"MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-02T06:25:29.237621Z"},"links":{"citing_paper":"/paper/2607.12711"},"observation_digest":"sha256:e5aa6f2b8a6f205ab17197d04b79d745f9d76253e6c4483f4cb44ab96fc45df8","observation_id":"f4a0d176-37df-48b1-812e-56981cc51294","resolution":{"observed_at":"2026-08-02T06:25:29.237621Z","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-02T06:25:29.340957Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.12711","last_updated":"2026-07-17T12:17:09Z","snapshot_observed_at":"2026-08-05T17:49:57.690676Z","submitted_at":"2026-07-14T12:39:05Z","title":"MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-02T06:25:29.340957Z"},"links":{"citing_paper":"/paper/2607.12711"},"observation_digest":"sha256:c367c04290b8a03c6b17fd7cda4ff2cb275e345d48ad6e8743caa9bd6306e471","observation_id":"fa2d9ad2-29f0-4878-951d-e43fa75ceb1b","resolution":{"observed_at":"2026-08-02T06:25:29.340957Z","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-02T06:25:29.415364Z","title":"In: NAACL (2025)","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.12711","last_updated":"2026-07-17T12:17:09Z","snapshot_observed_at":"2026-08-05T17:49:57.690676Z","submitted_at":"2026-07-14T12:39:05Z","title":"MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-02T06:25:29.415364Z"},"links":{"citing_paper":"/paper/2607.12711"},"observation_digest":"sha256:7a109b61a7bd81dd637fb02f3fd8bc4fe821e62e925abfbe918fbb891f1d8628","observation_id":"0023bc93-bb8f-4935-8a2f-7e216fd068d6","resolution":{"observed_at":"2026-08-02T06:25:29.415364Z","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-02T06:25:29.525607Z","title":"In: ICLR (2025)","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.12711","last_updated":"2026-07-17T12:17:09Z","snapshot_observed_at":"2026-08-05T17:49:57.690676Z","submitted_at":"2026-07-14T12:39:05Z","title":"MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-02T06:25:29.525607Z"},"links":{"citing_paper":"/paper/2607.12711"},"observation_digest":"sha256:ee5604c3b771bf5d4b13769d631b8e32ccb240dc06074f6133bef5c4d1efb612","observation_id":"74e65f6b-6205-4653-9bd2-b5f144eacba9","resolution":{"observed_at":"2026-08-02T06:25:29.525607Z","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-02T06:25:29.603299Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.12711","last_updated":"2026-07-17T12:17:09Z","snapshot_observed_at":"2026-08-05T17:49:57.690676Z","submitted_at":"2026-07-14T12:39:05Z","title":"MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-02T06:25:29.603299Z"},"links":{"citing_paper":"/paper/2607.12711"},"observation_digest":"sha256:6512aa3c4c0d4cbc4c6d01d4394f7a2b94d0d5e0966d9e6e2a61410c92572125","observation_id":"43ef65df-ab72-440e-a9c1-be9e18ca2eb1","resolution":{"observed_at":"2026-08-02T06:25:29.603299Z","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-02T06:25:29.777941Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.12711","last_updated":"2026-07-17T12:17:09Z","snapshot_observed_at":"2026-08-05T17:49:57.690676Z","submitted_at":"2026-07-14T12:39:05Z","title":"MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-02T06:25:29.777941Z"},"links":{"citing_paper":"/paper/2607.12711"},"observation_digest":"sha256:27074bc5c2ffb02ee2a525ed0f544a973f48450f716c6fd0b50bbf3bb08f0aa7","observation_id":"f844f32d-ce06-4310-9752-f37bfff5811c","resolution":{"observed_at":"2026-08-02T06:25:29.777941Z","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-02T06:25:29.913743Z","title":"In: IJCAI","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.12711","last_updated":"2026-07-17T12:17:09Z","snapshot_observed_at":"2026-08-05T17:49:57.690676Z","submitted_at":"2026-07-14T12:39:05Z","title":"MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-02T06:25:29.913743Z"},"links":{"citing_paper":"/paper/2607.12711"},"observation_digest":"sha256:fcbd3f2ff516e1fbb2762c851a6e663b63068fc360fbbc34bdbbab95b751f496","observation_id":"74c083ab-2f94-49fd-bef5-956a70caf492","resolution":{"observed_at":"2026-08-02T06:25:29.913743Z","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-02T06:25:30.062073Z","title":"In: SAT (2018)","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.12711","last_updated":"2026-07-17T12:17:09Z","snapshot_observed_at":"2026-08-05T17:49:57.690676Z","submitted_at":"2026-07-14T12:39:05Z","title":"MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-02T06:25:30.062073Z"},"links":{"citing_paper":"/paper/2607.12711"},"observation_digest":"sha256:a4ddccd53d2d944a9c2de0b067a2453281f918b11172dda0353d7e915a6282be","observation_id":"f7c0a21f-725e-448a-aa91-c4310c4ca01e","resolution":{"observed_at":"2026-08-02T06:25:30.062073Z","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-02T06:25:30.195418Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.12711","last_updated":"2026-07-17T12:17:09Z","snapshot_observed_at":"2026-08-05T17:49:57.690676Z","submitted_at":"2026-07-14T12:39:05Z","title":"MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-02T06:25:30.195418Z"},"links":{"citing_paper":"/paper/2607.12711"},"observation_digest":"sha256:0af3c9c01ba7316114367e97c1a856f672f80c86cacdc80f5033b5d05f91f133","observation_id":"23ee138d-29dd-4150-b0bd-0252087b7ef3","resolution":{"observed_at":"2026-08-02T06:25:30.195418Z","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-02T06:25:30.330493Z","title":"In: IJCAR (2018)","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.12711","last_updated":"2026-07-17T12:17:09Z","snapshot_observed_at":"2026-08-05T17:49:57.690676Z","submitted_at":"2026-07-14T12:39:05Z","title":"MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-02T06:25:30.330493Z"},"links":{"citing_paper":"/paper/2607.12711"},"observation_digest":"sha256:31ecf346066fde66f5676fce6c702c1a36e3922c3849c8745cadeefe34daae4b","observation_id":"6767de30-d772-49b3-ab94-51436fc9e0af","resolution":{"observed_at":"2026-08-02T06:25:30.330493Z","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-02T06:25:30.514293Z","title":"In: ICML (2024)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.12711","last_updated":"2026-07-17T12:17:09Z","snapshot_observed_at":"2026-08-05T17:49:57.690676Z","submitted_at":"2026-07-14T12:39:05Z","title":"MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-02T06:25:30.514293Z"},"links":{"citing_paper":"/paper/2607.12711"},"observation_digest":"sha256:bac025a338af8d2607a874762e5766629644a2e1e0c0d861eb8e807fc870f2be","observation_id":"5f9c4873-a512-4fd0-bb47-320f367ed594","resolution":{"observed_at":"2026-08-02T06:25:30.514293Z","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-02T06:25:30.623591Z","title":"In: Handbook of satisfia- bility, pp","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2607.12711","last_updated":"2026-07-17T12:17:09Z","snapshot_observed_at":"2026-08-05T17:49:57.690676Z","submitted_at":"2026-07-14T12:39:05Z","title":"MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-02T06:25:30.623591Z"},"links":{"citing_paper":"/paper/2607.12711"},"observation_digest":"sha256:b7c077dcc5f15225668a2c1d7adfc9a0b97f974997fe6ff7e6621a6d1158c6f8","observation_id":"62b46bb9-b148-43bc-8518-fe12f8844707","resolution":{"observed_at":"2026-08-02T06:25:30.623591Z","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-02T06:25:30.788068Z","title":"In: ICML (2025)","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.12711","last_updated":"2026-07-17T12:17:09Z","snapshot_observed_at":"2026-08-05T17:49:57.690676Z","submitted_at":"2026-07-14T12:39:05Z","title":"MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-02T06:25:30.788068Z"},"links":{"citing_paper":"/paper/2607.12711"},"observation_digest":"sha256:2d6a4367e6788fbc413822f837310d293a423512441e211f15a03347073ce461","observation_id":"9b874293-b347-4b75-bb15-7825967b072f","resolution":{"observed_at":"2026-08-02T06:25:30.788068Z","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-02T06:25:30.947324Z","title":"In: International Symposium on Artificial Intelligence and Mathematics (2006)","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2607.12711","last_updated":"2026-07-17T12:17:09Z","snapshot_observed_at":"2026-08-05T17:49:57.690676Z","submitted_at":"2026-07-14T12:39:05Z","title":"MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-02T06:25:30.947324Z"},"links":{"citing_paper":"/paper/2607.12711"},"observation_digest":"sha256:2049eab2e140e0a2f9b92db486660674696865fa7a5534ea3ce780c5d685e002","observation_id":"d466b7b7-87eb-4a86-b976-dcbaa6b31a0e","resolution":{"observed_at":"2026-08-02T06:25:30.947324Z","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-02T06:25:31.072951Z","title":"Frontiers Artif","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.12711","last_updated":"2026-07-17T12:17:09Z","snapshot_observed_at":"2026-08-05T17:49:57.690676Z","submitted_at":"2026-07-14T12:39:05Z","title":"MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-02T06:25:31.072951Z"},"links":{"citing_paper":"/paper/2607.12711"},"observation_digest":"sha256:a497fb9d15a4b7e645d582adf1122d2b1609f6ecb3ae131f64edfd24c02b2555","observation_id":"8da8cbce-6542-4f3e-a8c5-ece1d5c99a80","resolution":{"observed_at":"2026-08-02T06:25:31.072951Z","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-02T06:25:31.266707Z","title":"Constraints An Int","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.12711","last_updated":"2026-07-17T12:17:09Z","snapshot_observed_at":"2026-08-05T17:49:57.690676Z","submitted_at":"2026-07-14T12:39:05Z","title":"MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-02T06:25:31.266707Z"},"links":{"citing_paper":"/paper/2607.12711"},"observation_digest":"sha256:731a0b3cca4dbc14f95cccbb91d017db7e5e4f72c3bb75c591b1921d593ffd26","observation_id":"406e55d0-c30a-4258-aaed-7d00d85f9a2b","resolution":{"observed_at":"2026-08-02T06:25:31.266707Z","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-02T06:25:31.431111Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.12711","last_updated":"2026-07-17T12:17:09Z","snapshot_observed_at":"2026-08-05T17:49:57.690676Z","submitted_at":"2026-07-14T12:39:05Z","title":"MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-02T06:25:31.431111Z"},"links":{"citing_paper":"/paper/2607.12711"},"observation_digest":"sha256:88c39b3aeb7a7a0527771234a65a9e47882783bda7901858a3496a92127bb1bf","observation_id":"b3588213-a392-4841-b383-7de5d7ed029a","resolution":{"observed_at":"2026-08-02T06:25:31.431111Z","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-02T06:25:31.573838Z","title":"In: AAAI (2025)","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.12711","last_updated":"2026-07-17T12:17:09Z","snapshot_observed_at":"2026-08-05T17:49:57.690676Z","submitted_at":"2026-07-14T12:39:05Z","title":"MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-02T06:25:31.573838Z"},"links":{"citing_paper":"/paper/2607.12711"},"observation_digest":"sha256:8898ad2867a84f4791b8297cc2075d3189da6a3b17e245e20d43c74bd37b0b76","observation_id":"b7ef8739-9cb6-4e46-8ebc-37b89cd47126","resolution":{"observed_at":"2026-08-02T06:25:31.573838Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2508.08171","last_updated":"2025-08-11T16:49:07Z","snapshot_observed_at":"2026-08-09T07:25:18.954576Z","submitted_at":"2025-08-11T16:49:07Z","title":"PyVeritas: On Verifying Python via LLM-Based Transpilation and Bounded Model Checking for C","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2508.08171","snapshot_observed_at":"2026-08-02T06:25:31.700896Z","title":"CoRRabs/2508.08171(2025)","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.12711","last_updated":"2026-07-17T12:17:09Z","snapshot_observed_at":"2026-08-05T17:49:57.690676Z","submitted_at":"2026-07-14T12:39:05Z","title":"MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-02T06:25:31.700896Z"},"links":{"cited_paper":"/paper/2508.08171","citing_paper":"/paper/2607.12711"},"observation_digest":"sha256:2de116f30166402606f0edf9c23cef514eb64c39955099b443e34d1eef94c4d2","observation_id":"03873c83-b5cc-4e47-8dc9-5757da9ac61f","resolution":{"observed_at":"2026-08-02T06:25:31.700896Z","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-02T06:25:31.826581Z","title":"In: EMNLP (2023)","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.12711","last_updated":"2026-07-17T12:17:09Z","snapshot_observed_at":"2026-08-05T17:49:57.690676Z","submitted_at":"2026-07-14T12:39:05Z","title":"MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-02T06:25:31.826581Z"},"links":{"citing_paper":"/paper/2607.12711"},"observation_digest":"sha256:d03eacdf87e640e70e6cc8d3a971c5f899bd9262f2dd584a102482a26ad11fb7","observation_id":"da09a490-893b-4bb0-b487-0426c5ff7d56","resolution":{"observed_at":"2026-08-02T06:25:31.826581Z","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-02T06:25:32.023443Z","title":"(eds.): Handbook of Constraint Programming, Foundations of Artificial Intelligence, vol","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2607.12711","last_updated":"2026-07-17T12:17:09Z","snapshot_observed_at":"2026-08-05T17:49:57.690676Z","submitted_at":"2026-07-14T12:39:05Z","title":"MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-02T06:25:32.023443Z"},"links":{"citing_paper":"/paper/2607.12711"},"observation_digest":"sha256:32635bec6ecfcb54c2a8212d20b097ab28852957151f039c433cb8737b1fae1a","observation_id":"d86e469c-7e6b-42cf-8dc2-2fa16e410355","resolution":{"observed_at":"2026-08-02T06:25:32.023443Z","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-02T06:25:32.170433Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.12711","last_updated":"2026-07-17T12:17:09Z","snapshot_observed_at":"2026-08-05T17:49:57.690676Z","submitted_at":"2026-07-14T12:39:05Z","title":"MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-02T06:25:32.170433Z"},"links":{"citing_paper":"/paper/2607.12711"},"observation_digest":"sha256:3b462a0bb1242fd4ca0c2cbb6de7c694bfe321e1dc60ad1046bbefbaaaebd852","observation_id":"a5496778-532c-4c9a-8f74-44dbe0e258f2","resolution":{"observed_at":"2026-08-02T06:25:32.170433Z","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-02T06:25:32.295601Z","title":"In: NeurIPS 2025 (2025)","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.12711","last_updated":"2026-07-17T12:17:09Z","snapshot_observed_at":"2026-08-05T17:49:57.690676Z","submitted_at":"2026-07-14T12:39:05Z","title":"MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-02T06:25:32.295601Z"},"links":{"citing_paper":"/paper/2607.12711"},"observation_digest":"sha256:cac732a1967535ddac3bcd154df6b79fe8b81feb1cd0559219e32e1c14f1d503","observation_id":"b9964e77-b613-4a64-b058-ff05f9674f65","resolution":{"observed_at":"2026-08-02T06:25:32.295601Z","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-02T06:25:32.454655Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.12711","last_updated":"2026-07-17T12:17:09Z","snapshot_observed_at":"2026-08-05T17:49:57.690676Z","submitted_at":"2026-07-14T12:39:05Z","title":"MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku","version":2},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-02T06:25:32.454655Z"},"links":{"citing_paper":"/paper/2607.12711"},"observation_digest":"sha256:ff9ebb86fd88cae98c8409cd4ff0fc20aecb86e53351c0b654f2161464beea5a","observation_id":"eb927336-a92a-4f59-add3-44f3058aa802","resolution":{"observed_at":"2026-08-02T06:25:32.454655Z","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-02T06:25:32.598175Z","title":"In: NeurIPS (2025)","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.12711","last_updated":"2026-07-17T12:17:09Z","snapshot_observed_at":"2026-08-05T17:49:57.690676Z","submitted_at":"2026-07-14T12:39:05Z","title":"MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-02T06:25:32.598175Z"},"links":{"citing_paper":"/paper/2607.12711"},"observation_digest":"sha256:de57825a5cbdc05c1971e9357b09e8552ff32dc403cd17eb0d10125e988fc83a","observation_id":"d4e026c4-0050-4fec-bd5e-af01844887bc","resolution":{"observed_at":"2026-08-02T06:25:32.598175Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2505.09388","last_updated":"2025-05-14T13:41:34Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2025-05-14T13:41:34Z","title":"Qwen3 Technical Report","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.09388","snapshot_observed_at":"2026-08-02T06:25:32.663072Z","title":"arXiv preprint arXiv:2505.09388 (2025)","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.12711","last_updated":"2026-07-17T12:17:09Z","snapshot_observed_at":"2026-08-05T17:49:57.690676Z","submitted_at":"2026-07-14T12:39:05Z","title":"MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku","version":2},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-02T06:25:32.663072Z"},"links":{"cited_paper":"/paper/2505.09388","citing_paper":"/paper/2607.12711"},"observation_digest":"sha256:d7744c9a90c0c39138a18f6c2493bf98101fbd8bb4347ed9f912aa5a55d19899","observation_id":"25361669-c8b1-4169-adbd-060e18e16706","resolution":{"observed_at":"2026-08-02T06:25:32.663072Z","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-02T06:25:32.710064Z","title":"IEICE transactions on fundamentals of electronics, com- munications and computer sciences (2003)","venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2607.12711","last_updated":"2026-07-17T12:17:09Z","snapshot_observed_at":"2026-08-05T17:49:57.690676Z","submitted_at":"2026-07-14T12:39:05Z","title":"MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku","version":2},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-02T06:25:32.710064Z"},"links":{"citing_paper":"/paper/2607.12711"},"observation_digest":"sha256:43b9e2825a42304b870bcb8fa41b1a5c418028701a084b12b6170b953e169a74","observation_id":"8694cd04-8fa2-4443-9789-e3b449ffe3d1","resolution":{"observed_at":"2026-08-02T06:25:32.710064Z","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-02T06:25:32.782633Z","title":"NeurIPS (2023) 14 P","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.12711","last_updated":"2026-07-17T12:17:09Z","snapshot_observed_at":"2026-08-05T17:49:57.690676Z","submitted_at":"2026-07-14T12:39:05Z","title":"MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku","version":2},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-02T06:25:32.782633Z"},"links":{"citing_paper":"/paper/2607.12711"},"observation_digest":"sha256:7226763f9de15d3240a263360f0a780d00c34e9fd4a3bb74251bea86fa32650f","observation_id":"ebb07e11-e659-408e-82f7-962200b4bdaf","resolution":{"observed_at":"2026-08-02T06:25:32.782633Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.12711","last_updated":"2026-07-17T12:17:09Z","latest_version":2,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-05T17:49:57.690676Z","submitted_at":"2026-07-14T12:39:05Z","title":"MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku"},"reference_resolution":{"displayed":33,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":33,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":33},"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 33 of 33 outbound references and 1 inbound Pith citation observation for arXiv:2607.12711."}