Paper Citation Record · LEDGER

MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku

As of 14 August 2026, this Paper Citation Record lists 33 of 33 outbound references and 1 inbound Pith citation observation for arXiv:2607.12711.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2607.12711 v2

Coverage vector

measured 33 of 33 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-02T06:25:32.782633Z

measured 34 of 34 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-14T06:32:32.682623+00:00

measured 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-06T00:11:25.934317Z

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: pith, observed 2026-08-06T00:11:28.186732Z

Reference resolution

33 of 33 outbound references displayed

verified exact0
verified fuzzy0
unresolved33
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 05ea8238-0d0a-426b-b6bc-be4fe6effef9 · outbound

This paper cites In: Biere, A., Heule, M., van Maaren, H., Walsh, T.

MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku In: Biere, A., Heule, M., van Maaren, H., Walsh, T

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-02T06:25:28.659423Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 934d3530-e1d2-4998-8520-b78f3c476878 · outbound

This paper cites (eds.): Handbook of Satisfiability, Frontiers in Artificial Intelligence and Applications, vol.

MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku (eds.): Handbook of Satisfiability, Frontiers in Artificial Intelligence and Applications, vol

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-02T06:25:28.760159Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f1f84a49-20e4-4671-b004-8ad84b2b80bd · outbound

This paper cites In: ECAI.

MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku In: ECAI

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-02T06:25:28.929632Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 98c2a7ce-79f4-4753-8aad-0e3064264c15 · outbound

This paper cites Molmo2: Open Weights and Data for Vision-Language Models with Video Understanding and Grounding.

MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku Molmo2: Open Weights and Data for Vision-Language Models with Video Understanding and Grounding

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-02T06:25:29.087642Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8b38290a-95bb-4610-b6f0-9f84bcb816ab · outbound

This paper cites CoRRabs/2511.10436(2025).

MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku CoRRabs/2511.10436(2025)

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-02T06:25:29.181100Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f4a0d176-37df-48b1-812e-56981cc51294 · outbound

This paper cites In: ICML.

MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku In: ICML

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-02T06:25:29.237621Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fa2d9ad2-29f0-4878-951d-e43fa75ceb1b · outbound

This paper cites an unresolved cited work.

MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku Unresolved cited work

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-02T06:25:29.340957Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0023bc93-bb8f-4935-8a2f-7e216fd068d6 · outbound

This paper cites In: NAACL (2025).

MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku In: NAACL (2025)

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-02T06:25:29.415364Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 74e65f6b-6205-4653-9bd2-b5f144eacba9 · outbound

This paper cites In: ICLR (2025).

MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku In: ICLR (2025)

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-02T06:25:29.525607Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 43ef65df-ab72-440e-a9c1-be9e18ca2eb1 · outbound

This paper cites an unresolved cited work.

MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku Unresolved cited work

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-02T06:25:29.603299Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f844f32d-ce06-4310-9752-f37bfff5811c · outbound

This paper cites an unresolved cited work.

MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku Unresolved cited work

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-02T06:25:29.777941Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 74c083ab-2f94-49fd-bef5-956a70caf492 · outbound

This paper cites In: IJCAI.

MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku In: IJCAI

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-02T06:25:29.913743Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f7c0a21f-725e-448a-aa91-c4310c4ca01e · outbound

This paper cites In: SAT (2018).

MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku In: SAT (2018)

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-02T06:25:30.062073Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 23ee138d-29dd-4150-b0bd-0252087b7ef3 · outbound

This paper cites an unresolved cited work.

MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku Unresolved cited work

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-02T06:25:30.195418Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6767de30-d772-49b3-ab94-51436fc9e0af · outbound

This paper cites In: IJCAR (2018).

MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku In: IJCAR (2018)

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-02T06:25:30.330493Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5f9c4873-a512-4fd0-bb47-320f367ed594 · outbound

This paper cites In: ICML (2024).

MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku In: ICML (2024)

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-02T06:25:30.514293Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 62b46bb9-b148-43bc-8518-fe12f8844707 · outbound

This paper cites In: Handbook of satisfia- bility, pp.

MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku In: Handbook of satisfia- bility, pp

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-02T06:25:30.623591Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9b874293-b347-4b75-bb15-7825967b072f · outbound

This paper cites In: ICML (2025).

MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku In: ICML (2025)

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-02T06:25:30.788068Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d466b7b7-87eb-4a86-b976-dcbaa6b31a0e · outbound

This paper cites In: International Symposium on Artificial Intelligence and Mathematics (2006).

MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku In: International Symposium on Artificial Intelligence and Mathematics (2006)

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-02T06:25:30.947324Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8da8cbce-6542-4f3e-a8c5-ece1d5c99a80 · outbound

This paper cites Frontiers Artif.

MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku Frontiers Artif

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-02T06:25:31.072951Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 406e55d0-c30a-4258-aaed-7d00d85f9a2b · outbound

This paper cites Constraints An Int.

MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku Constraints An Int

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-02T06:25:31.266707Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b3588213-a392-4841-b383-7de5d7ed029a · outbound

This paper cites an unresolved cited work.

MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku Unresolved cited work

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-02T06:25:31.431111Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b7ef8739-9cb6-4e46-8ebc-37b89cd47126 · outbound

This paper cites In: AAAI (2025).

MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku In: AAAI (2025)

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-02T06:25:31.573838Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 03873c83-b5cc-4e47-8dc9-5757da9ac61f · outbound

This paper cites PyVeritas: On Verifying Python via LLM-Based Transpilation and Bounded Model Checking for C.

MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku PyVeritas: On Verifying Python via LLM-Based Transpilation and Bounded Model Checking for C

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-02T06:25:31.700896Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation da09a490-893b-4bb0-b487-0426c5ff7d56 · outbound

This paper cites In: EMNLP (2023).

MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku In: EMNLP (2023)

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-02T06:25:31.826581Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d86e469c-7e6b-42cf-8dc2-2fa16e410355 · outbound

This paper cites (eds.): Handbook of Constraint Programming, Foundations of Artificial Intelligence, vol.

MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku (eds.): Handbook of Constraint Programming, Foundations of Artificial Intelligence, vol

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-02T06:25:32.023443Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a5496778-532c-4c9a-8f74-44dbe0e258f2 · outbound

This paper cites an unresolved cited work.

MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku Unresolved cited work

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-02T06:25:32.170433Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b9964e77-b613-4a64-b058-ff05f9674f65 · outbound

This paper cites In: NeurIPS 2025 (2025).

MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku In: NeurIPS 2025 (2025)

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-02T06:25:32.295601Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation eb927336-a92a-4f59-add3-44f3058aa802 · outbound

This paper cites an unresolved cited work.

MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku Unresolved cited work

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-02T06:25:32.454655Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d4e026c4-0050-4fec-bd5e-af01844887bc · outbound

This paper cites In: NeurIPS (2025).

MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku In: NeurIPS (2025)

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-02T06:25:32.598175Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 25361669-c8b1-4169-adbd-060e18e16706 · outbound

This paper cites Qwen3 Technical Report.

MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku Qwen3 Technical Report

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-02T06:25:32.663072Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8694cd04-8fa2-4443-9789-e3b449ffe3d1 · outbound

This paper cites IEICE transactions on fundamentals of electronics, com- munications and computer sciences (2003).

MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku IEICE transactions on fundamentals of electronics, com- munications and computer sciences (2003)

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-02T06:25:32.710064Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ebb07e11-e659-408e-82f7-962200b4bdaf · outbound

This paper cites NeurIPS (2023) 14 P.

MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku NeurIPS (2023) 14 P

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-02T06:25:32.782633Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation 3ac72aef-fd63-460c-a496-1705f3275151 · inbound

Recursive Vision Language Models for General Symbolic Reasoning cites this paper.

Recursive Vision Language Models for General Symbolic Reasoning MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku

Reference 22

Resolution: metadata mismatch; local_arxiv, observed 2026-08-06T00:11:28.272032Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.