Paper Citation Record · LEDGER

LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean

As of 8 August 2026, this Paper Citation Record lists 48 of 48 outbound references and 0 inbound Pith citation observations for arXiv:2607.28459.

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

pith.paper-citation-record.v1
2607.28459 v1

Coverage vector

measured 48 of 48 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-07-31T06:44:32.740702Z

measured 48 of 48 standing notices

One-hop event checks from named stored sources.

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

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

48 of 48 outbound references displayed

verified exact13
verified fuzzy0
unresolved35
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 1b55f77d-6dc2-4613-9ba7-441d4a2a4127 · outbound

This paper cites Abdulaziz and F.

LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean Abdulaziz and F

Reference 1

Resolution: verified exact; doi, observed 2026-07-31T06:46:22.537505Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T10:38:15.032996+00:00.

Observation 575fc308-dadd-4497-9025-2fb22ef6df43 · outbound

This paper cites Alekhnovich.

LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean Alekhnovich

Reference 2

Resolution: verified exact; doi, observed 2026-07-31T06:46:22.433425Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T10:38:15.086486+00:00.

Observation ea934eaa-d442-4474-b4eb-ae3ef1712be2 · outbound

This paper cites Barrett, A.

LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean Barrett, A

Reference 3

Resolution: unresolved; no resolver link, observed 2026-07-31T06:44:32.629511Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation beb4cb0d-0f48-431a-aeb3-6646cd740b47 · outbound

This paper cites Barrett, L.

LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean Barrett, L

Reference 4

Resolution: unresolved; no resolver link, observed 2026-07-31T06:44:32.632747Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 840f091b-2cbd-4e28-b12d-1b97568d1a71 · outbound

This paper cites Biere, T.

LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean Biere, T

Reference 5

Resolution: unresolved; no resolver link, observed 2026-07-31T06:44:32.635546Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c59830a9-6718-4d09-a2ee-90dc3dc11156 · outbound

This paper cites Bogaerts, S.

LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean Bogaerts, S

Reference 6

Resolution: unresolved; no resolver link, observed 2026-07-31T06:44:32.638281Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 31cb9b20-3038-491b-bcb0-584cb2fb35ee · outbound

This paper cites B \"o ving, S.

LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean B \"o ving, S

Reference 7

Resolution: unresolved; no resolver link, observed 2026-07-31T06:44:32.641246Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 166ff1cf-253d-44c7-8e47-29a3cd8a63c1 · outbound

This paper cites an unresolved cited work.

LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean Unresolved cited work

Reference 8

Resolution: verified exact; doi, observed 2026-07-31T06:46:22.314271Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T10:38:15.254718+00:00.

Observation a5f0c149-cad8-4334-8161-225f2e230e0e · outbound

This paper cites Carlier, C.

LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean Carlier, C

Reference 9

Resolution: verified exact; doi, observed 2026-07-31T06:46:22.187561Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T10:38:15.300058+00:00.

Observation f7402c6a-8985-4cd8-89e1-f90b160e5e9d · outbound

This paper cites Lean4Lean: Verifying a Typechecker for Lean, in Lean.

LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean Lean4Lean: Verifying a Typechecker for Lean, in Lean

Reference 10

Resolution: unresolved; no resolver link, observed 2026-07-31T06:44:32.648951Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ba2a807e-7e6f-4209-8b3f-4c47efac9c3f · outbound

This paper cites an unresolved cited work.

LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean Unresolved cited work

Reference 11

Resolution: unresolved; no resolver link, observed 2026-07-31T06:44:32.651929Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 69bd98ce-bca1-492d-ba88-4be43324d6c8 · outbound

This paper cites an unresolved cited work.

LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean Unresolved cited work

Reference 12

Resolution: verified exact; doi, observed 2026-07-31T06:46:22.084946Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T10:38:15.340804+00:00.

Observation f2abb1c6-a187-4d7d-8e89-f2921ba85dd5 · outbound

This paper cites Cohen, P.

LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean Cohen, P

Reference 13

Resolution: unresolved; no resolver link, observed 2026-07-31T06:44:32.656600Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 56d6c4d0-fd82-4239-a528-a19d627e6ea1 · outbound

This paper cites an unresolved cited work.

LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean Unresolved cited work

Reference 14

Resolution: unresolved; no resolver link, observed 2026-07-31T06:44:32.658993Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 197262b0-63ac-480d-9796-2c226fe99a89 · outbound

This paper cites Cruz-Filipe , M.

LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean Cruz-Filipe , M

Reference 15

Resolution: unresolved; no resolver link, observed 2026-07-31T06:44:32.661314Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation eee1a7f5-62c0-4770-9c71-2ebd746ac751 · outbound

This paper cites Cruz-Filipe , J.

LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean Cruz-Filipe , J

Reference 16

Resolution: verified exact; doi, observed 2026-07-31T06:46:21.980002Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T10:38:15.488894+00:00.

Observation b94167c9-0968-4dc2-a026-95bc2e4e7e46 · outbound

This paper cites de Moura and S.

LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean de Moura and S

Reference 17

Resolution: unresolved; no resolver link, observed 2026-07-31T06:44:32.666241Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fea1eb28-5484-487e-8f2d-75a45da95ad2 · outbound

This paper cites an unresolved cited work.

LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean Unresolved cited work

Reference 18

Resolution: unresolved; no resolver link, observed 2026-07-31T06:44:32.668564Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3f6c684b-a1ce-40c5-9e98-105cfbe4b161 · outbound

This paper cites Formally Verified Transformation of Non-binary Constraints into Binary Constraints.

LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean Formally Verified Transformation of Non-binary Constraints into Binary Constraints

Reference 19

Resolution: unresolved; no resolver link, observed 2026-07-31T06:44:32.671058Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7acb62ec-ae24-450b-ba76-9a50e4e59015 · outbound

This paper cites Elffers and J.

LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean Elffers and J

Reference 20

Resolution: verified exact; doi, observed 2026-07-31T06:46:21.769107Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T10:38:15.613634+00:00.

Observation 9f878238-a52b-4b9d-98c3-4f1c9b3cbad7 · outbound

This paper cites Flippo, K.

LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean Flippo, K

Reference 21

Resolution: unresolved; no resolver link, observed 2026-07-31T06:44:32.676356Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b788c5de-0401-40a2-86b0-49ff01e745a8 · outbound

This paper cites an unresolved cited work.

LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean Unresolved cited work

Reference 22

Resolution: verified exact; doi, observed 2026-07-31T06:46:21.662141Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T10:38:15.681947+00:00.

Observation ba183927-9441-4d19-8587-1764e705368e · outbound

This paper cites Gocht and J.

LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean Gocht and J

Reference 23

Resolution: verified exact; doi, observed 2026-07-31T06:46:21.577187Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T10:38:15.736911+00:00.

Observation 89a4086b-9023-4a23-b2fd-0b232d960813 · outbound

This paper cites Gocht, C.

LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean Gocht, C

Reference 24

Resolution: verified exact; doi, observed 2026-07-31T06:46:21.442460Z

Source-reported events for the cited work

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

Observation 2d95246f-e441-4d26-9ad3-2578063bb1f8 · outbound

This paper cites Gocht, C.

LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean Gocht, C

Reference 25

Resolution: verified exact; doi, observed 2026-07-31T06:46:21.278276Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T10:38:15.798274+00:00.

Observation 73ca8219-a922-4385-b8f6-941ddb4de30b · outbound

This paper cites an unresolved cited work.

LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean Unresolved cited work

Reference 26

Resolution: unresolved; no resolver link, observed 2026-07-31T06:44:32.688291Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1a0ed38b-7437-4676-911e-b8644cceddc7 · outbound

This paper cites an unresolved cited work.

LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean Unresolved cited work

Reference 27

Resolution: unresolved; no resolver link, observed 2026-07-31T06:44:32.690731Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ff3b9576-b170-4732-a547-2df8579602fb · outbound

This paper cites an unresolved cited work.

LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean Unresolved cited work

Reference 28

Resolution: unresolved; no resolver link, observed 2026-07-31T06:44:32.693213Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bcb78290-bdc0-49cb-87c7-15b312a51fa0 · outbound

This paper cites an unresolved cited work.

LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean Unresolved cited work

Reference 29

Resolution: unresolved; no resolver link, observed 2026-07-31T06:44:32.695764Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fccc0369-c696-4c6e-a332-0cfe67129022 · outbound

This paper cites an unresolved cited work.

LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean Unresolved cited work

Reference 30

Resolution: unresolved; no resolver link, observed 2026-07-31T06:44:32.698311Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation daab7dd2-f4bd-47f3-99d8-5f9e94fb5eb4 · outbound

This paper cites Mohamed, T.

LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean Mohamed, T

Reference 31

Resolution: unresolved; no resolver link, observed 2026-07-31T06:44:32.700520Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f2ab4c5f-72d2-4e26-a803-c7f25343fff2 · outbound

This paper cites Nethercote, P.

LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean Nethercote, P

Reference 32

Resolution: unresolved; no resolver link, observed 2026-07-31T06:44:32.703078Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 17dffbf0-9af7-4db6-b48e-9f563b705d41 · outbound

This paper cites Nipkow, L.

LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean Nipkow, L

Reference 33

Resolution: unresolved; no resolver link, observed 2026-07-31T06:44:32.705282Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5fab98a2-212d-4a5b-a73e-7cf41e8d33d2 · outbound

This paper cites Rossi, P.

LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean Rossi, P

Reference 34

Resolution: unresolved; no resolver link, observed 2026-07-31T06:44:32.707556Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c22d76bf-ad3a-4f73-980d-5f7d8012022a · outbound

This paper cites Roussel and V.

LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean Roussel and V

Reference 35

Resolution: unresolved; no resolver link, observed 2026-07-31T06:44:32.709950Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c3e9e81b-0116-4e5c-9b75-99d12d234407 · outbound

This paper cites Schulte, G.

LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean Schulte, G

Reference 36

Resolution: unresolved; no resolver link, observed 2026-07-31T06:44:32.712246Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cfa30717-70ac-4924-bda0-dd9ad5e17d48 · outbound

This paper cites an unresolved cited work.

LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean Unresolved cited work

Reference 37

Resolution: verified exact; doi, observed 2026-07-31T06:46:21.070376Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T10:38:16.145007+00:00.

Observation f4032158-fc09-40c0-a29b-ec1176330931 · outbound

This paper cites Subercaseaux, W.

LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean Subercaseaux, W

Reference 38

Resolution: unresolved; no resolver link, observed 2026-07-31T06:44:32.717032Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7c74646f-3cf8-4392-abc3-328070fdb85b · outbound

This paper cites an unresolved cited work.

LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean Unresolved cited work

Reference 39

Resolution: unresolved; no resolver link, observed 2026-07-31T06:44:32.719322Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 20aa6f27-f4c3-493c-bc90-cd25ecbcbb63 · outbound

This paper cites an unresolved cited work.

LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean Unresolved cited work

Reference 40

Resolution: unresolved; no resolver link, observed 2026-07-31T06:44:32.721697Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a2dce3fc-6e4f-47cc-baf4-49567c8bf8dc · outbound

This paper cites Colibrics: A Formally Verified Constraint Programming Engine.

LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean Colibrics: A Formally Verified Constraint Programming Engine

Reference 41

Resolution: unresolved; no resolver link, observed 2026-07-31T06:44:32.724053Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bca8b5f5-20b3-45c7-8773-c4e83c866baa · outbound

This paper cites The Lean Language Reference.

LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean The Lean Language Reference

Reference 42

Resolution: unresolved; no resolver link, observed 2026-07-31T06:44:32.726613Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 290e9184-c36d-4f2e-a902-311e5cced3e3 · outbound

This paper cites The lean mathematical library.

LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean The lean mathematical library

Reference 43

Resolution: unresolved; no resolver link, observed 2026-07-31T06:44:32.729046Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 71977a3f-b131-455a-a710-14a9dbbd0fab · outbound

This paper cites The Rocq Prover.

LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean The Rocq Prover

Reference 44

Resolution: unresolved; no resolver link, observed 2026-07-31T06:44:32.731390Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3726442c-0cc9-447b-adc0-3d8f4873604d · outbound

This paper cites an unresolved cited work.

LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean Unresolved cited work

Reference 45

Resolution: unresolved; no resolver link, observed 2026-07-31T06:44:32.733637Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1da889af-9811-4c27-b9bb-6cb7737b3eac · outbound

This paper cites van Doorn , P.

LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean van Doorn , P

Reference 46

Resolution: unresolved; no resolver link, observed 2026-07-31T06:44:32.735929Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 07f62f21-1889-4778-849e-72a008ea39db · outbound

This paper cites Vanroose, I.

LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean Vanroose, I

Reference 47

Resolution: verified exact; doi, observed 2026-07-31T06:46:20.794199Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T10:38:16.253693+00:00.

Observation 0213bc8b-84a9-4303-a234-e994f9ccee46 · outbound

This paper cites Wetzler, M.

LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean Wetzler, M

Reference 48

Resolution: unresolved; no resolver link, observed 2026-07-31T06:44:32.740702Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.