{"as_of":"2026-08-08T18:34:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:8cc408ea5fad1f43309799cb22257ad4e68e4868b94392f817539296ff957e01","coverage":[{"denominator":48,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":48,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-31T06:44:32.740702Z","state":"measured"},{"denominator":48,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":48,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2607.28459/citation-record","integrity":"/paper/2607.28459/integrity","json":"/paper/2607.28459/citation-record.json","paper":"/paper/2607.28459"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1609/aaai.v37i12.26714","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Abdulaziz and F","venue":"Proceedings of the AAAI Conference on Artificial Intelligence","work_id":"513a8144-d5b2-49be-a7f2-dfee9eb75281","year":2023},"citing_paper":{"arxiv_id":"2607.28459","last_updated":"2026-07-30T16:21:58Z","snapshot_observed_at":"2026-08-06T09:17:39.308515Z","submitted_at":"2026-07-30T16:21:58Z","title":"LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-07-31T06:44:32.621685Z"},"links":{"citing_paper":"/paper/2607.28459"},"observation_digest":"sha256:cf8b77ff255af0945e4b013806c41ebab34b49a6dbe7ce66c994fd4e042b0ea1","observation_id":"1b55f77d-6dc2-4613-9ba7-441d4a2a4127","resolution":{"observed_at":"2026-07-31T06:46:22.537505Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T10:38:15.032996+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T10:38:15.032996+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-08T10:38:15.032996+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/s0304-3975(03)00395-5","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Alekhnovich","venue":"Theoretical Computer Science","work_id":"df056c71-a58e-41d4-a49f-71bbdaaf418a","year":2004},"citing_paper":{"arxiv_id":"2607.28459","last_updated":"2026-07-30T16:21:58Z","snapshot_observed_at":"2026-08-06T09:17:39.308515Z","submitted_at":"2026-07-30T16:21:58Z","title":"LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-07-31T06:44:32.624926Z"},"links":{"citing_paper":"/paper/2607.28459"},"observation_digest":"sha256:c291d0e80d49270d3f3ab39e4cd9433c6309e922fada80e1e9fb36ac323698ce","observation_id":"575fc308-dadd-4497-9025-2fb22ef6df43","resolution":{"observed_at":"2026-07-31T06:46:22.433425Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T10:38:15.086486+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T10:38:15.086486+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-08T10:38:15.086486+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-31T06:44:32.629511Z","title":"Barrett, A","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2607.28459","last_updated":"2026-07-30T16:21:58Z","snapshot_observed_at":"2026-08-06T09:17:39.308515Z","submitted_at":"2026-07-30T16:21:58Z","title":"LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-07-31T06:44:32.629511Z"},"links":{"citing_paper":"/paper/2607.28459"},"observation_digest":"sha256:9645802ab0ecd1d2457c828e77e5dcb4c569422e1b8bf94b5a95d33b5782d42e","observation_id":"ea934eaa-d442-4474-b4eb-ae3ef1712be2","resolution":{"observed_at":"2026-07-31T06:44:32.629511Z","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-07-31T06:44:32.632747Z","title":"Barrett, L","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2607.28459","last_updated":"2026-07-30T16:21:58Z","snapshot_observed_at":"2026-08-06T09:17:39.308515Z","submitted_at":"2026-07-30T16:21:58Z","title":"LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-07-31T06:44:32.632747Z"},"links":{"citing_paper":"/paper/2607.28459"},"observation_digest":"sha256:a6aa61032e1c6dca67062979e0b42a7d783d7b470af54b110501c8ed9deb395a","observation_id":"beb4cb0d-0f48-431a-aeb3-6646cd740b47","resolution":{"observed_at":"2026-07-31T06:44:32.632747Z","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-07-31T06:44:32.635546Z","title":"Biere, T","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.28459","last_updated":"2026-07-30T16:21:58Z","snapshot_observed_at":"2026-08-06T09:17:39.308515Z","submitted_at":"2026-07-30T16:21:58Z","title":"LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-07-31T06:44:32.635546Z"},"links":{"citing_paper":"/paper/2607.28459"},"observation_digest":"sha256:dc02b370da95adcfac392685076a9647de9d08df2e10a546a09b52c090868d7f","observation_id":"840f091b-2cbd-4e28-b12d-1b97568d1a71","resolution":{"observed_at":"2026-07-31T06:44:32.635546Z","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-07-31T06:44:32.638281Z","title":"Bogaerts, S","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.28459","last_updated":"2026-07-30T16:21:58Z","snapshot_observed_at":"2026-08-06T09:17:39.308515Z","submitted_at":"2026-07-30T16:21:58Z","title":"LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-07-31T06:44:32.638281Z"},"links":{"citing_paper":"/paper/2607.28459"},"observation_digest":"sha256:bd34609e071b5ba15038be5d542233c5ececc7cb1cfd2f22d3eb9a10d730594d","observation_id":"c59830a9-6718-4d09-a2ee-90dc3dc11156","resolution":{"observed_at":"2026-07-31T06:44:32.638281Z","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-07-31T06:44:32.641246Z","title":"B \\\"o ving, S","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.28459","last_updated":"2026-07-30T16:21:58Z","snapshot_observed_at":"2026-08-06T09:17:39.308515Z","submitted_at":"2026-07-30T16:21:58Z","title":"LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-07-31T06:44:32.641246Z"},"links":{"citing_paper":"/paper/2607.28459"},"observation_digest":"sha256:2b215dd1efb17d9485f013731702a84e374e5878aceffaff2a0dfebff894ba26","observation_id":"31cb9b20-3038-491b-bcb0-584cb2fb35ee","resolution":{"observed_at":"2026-07-31T06:44:32.641246Z","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":"10.1007/978-3-030-99524-9_25","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Lecture notes in computer science","work_id":"19d4faee-8623-4b1d-8e6c-0ff846b7f236","year":2022},"citing_paper":{"arxiv_id":"2607.28459","last_updated":"2026-07-30T16:21:58Z","snapshot_observed_at":"2026-08-06T09:17:39.308515Z","submitted_at":"2026-07-30T16:21:58Z","title":"LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-07-31T06:44:32.643599Z"},"links":{"citing_paper":"/paper/2607.28459"},"observation_digest":"sha256:3d2970a925ed1a054546f2a93b7ca70c4a5ade46eaaa10bd99fcc1df8009c288","observation_id":"166ff1cf-253d-44c7-8e47-29a3cd8a63c1","resolution":{"observed_at":"2026-07-31T06:46:22.314271Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T10:38:15.254718+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T10:38:15.254718+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-08T10:38:15.254718+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-32759-9_12","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Carlier, C","venue":"Lecture notes in computer science","work_id":"455ec9e2-ca44-4c36-8d2a-d5e38693680b","year":2012},"citing_paper":{"arxiv_id":"2607.28459","last_updated":"2026-07-30T16:21:58Z","snapshot_observed_at":"2026-08-06T09:17:39.308515Z","submitted_at":"2026-07-30T16:21:58Z","title":"LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-07-31T06:44:32.646241Z"},"links":{"citing_paper":"/paper/2607.28459"},"observation_digest":"sha256:65bead1224dc339dd15ee45d00c718e4b2d0cd11575f78d666b461c0d80aa27b","observation_id":"a5f0c149-cad8-4334-8161-225f2e230e0e","resolution":{"observed_at":"2026-07-31T06:46:22.187561Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T10:38:15.300058+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T10:38:15.300058+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-08T10:38:15.300058+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2403.14064","last_updated":"2025-09-14T11:58:14Z","snapshot_observed_at":"2026-07-06T17:48:03.807374Z","submitted_at":"2024-03-21T01:22:52Z","title":"Lean4Lean: Verifying a Typechecker for Lean, in Lean","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2403.14064","snapshot_observed_at":"2026-07-31T06:44:32.648951Z","title":"Carneiro","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.28459","last_updated":"2026-07-30T16:21:58Z","snapshot_observed_at":"2026-08-06T09:17:39.308515Z","submitted_at":"2026-07-30T16:21:58Z","title":"LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-07-31T06:44:32.648951Z"},"links":{"cited_paper":"/paper/2403.14064","citing_paper":"/paper/2607.28459"},"observation_digest":"sha256:6e43891c2a924d95d466e10b94b1564f694259def3f25e947f8e9f1de0534e8c","observation_id":"f7402c6a-8985-4cd8-89e1-f90b160e5e9d","resolution":{"observed_at":"2026-07-31T06:44:32.648951Z","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-07-31T06:44:32.651929Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.28459","last_updated":"2026-07-30T16:21:58Z","snapshot_observed_at":"2026-08-06T09:17:39.308515Z","submitted_at":"2026-07-30T16:21:58Z","title":"LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-07-31T06:44:32.651929Z"},"links":{"citing_paper":"/paper/2607.28459"},"observation_digest":"sha256:efe85dc536f4d539fd5641e74a0faaae25f47da39c20192a171fcbc5acefebd4","observation_id":"ba2a807e-7e6f-4209-8b3f-4c47efac9c3f","resolution":{"observed_at":"2026-07-31T06:44:32.651929Z","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":"10.34727/2023/isbn.978-3-85448-060-0_22","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"reposiTUm (TU Wien)","work_id":"3ed40f24-bc87-4323-8f67-2765c968d24d","year":2023},"citing_paper":{"arxiv_id":"2607.28459","last_updated":"2026-07-30T16:21:58Z","snapshot_observed_at":"2026-08-06T09:17:39.308515Z","submitted_at":"2026-07-30T16:21:58Z","title":"LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-07-31T06:44:32.654158Z"},"links":{"citing_paper":"/paper/2607.28459"},"observation_digest":"sha256:648008a1ba90dd38268d1310cb01d42ce662b5a75bd3a9e7f1396b71b8bd0aa6","observation_id":"69bd98ce-bca1-492d-ba88-4be43324d6c8","resolution":{"observed_at":"2026-07-31T06:46:22.084946Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T10:38:15.340804+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T10:38:15.340804+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-08T10:38:15.340804+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-31T06:44:32.656600Z","title":"Cohen, P","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2607.28459","last_updated":"2026-07-30T16:21:58Z","snapshot_observed_at":"2026-08-06T09:17:39.308515Z","submitted_at":"2026-07-30T16:21:58Z","title":"LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-07-31T06:44:32.656600Z"},"links":{"citing_paper":"/paper/2607.28459"},"observation_digest":"sha256:4362b4b9afe9151a58ed933709ec54898152c99db951a08ef64acf3e692a3c84","observation_id":"f2abb1c6-a187-4d7d-8e89-f2921ba85dd5","resolution":{"observed_at":"2026-07-31T06:44:32.656600Z","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-07-31T06:44:32.658993Z","title":null,"venue":null,"work_id":null,"year":1987},"citing_paper":{"arxiv_id":"2607.28459","last_updated":"2026-07-30T16:21:58Z","snapshot_observed_at":"2026-08-06T09:17:39.308515Z","submitted_at":"2026-07-30T16:21:58Z","title":"LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-07-31T06:44:32.658993Z"},"links":{"citing_paper":"/paper/2607.28459"},"observation_digest":"sha256:bc9a59cbb17253bd56327f88f41a28ae8f8848a0fb7eb3284ccaabf2297d948b","observation_id":"56d6c4d0-fd82-4239-a528-a19d627e6ea1","resolution":{"observed_at":"2026-07-31T06:44:32.658993Z","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-07-31T06:44:32.661314Z","title":"Cruz-Filipe , M","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.28459","last_updated":"2026-07-30T16:21:58Z","snapshot_observed_at":"2026-08-06T09:17:39.308515Z","submitted_at":"2026-07-30T16:21:58Z","title":"LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-07-31T06:44:32.661314Z"},"links":{"citing_paper":"/paper/2607.28459"},"observation_digest":"sha256:b2057272bd5dbe05c2d8caa0bbcd9d285107e75bc8ecc45fa300a3c2e9d0a4b5","observation_id":"197262b0-63ac-480d-9796-2c226fe99a89","resolution":{"observed_at":"2026-07-31T06:44:32.661314Z","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":"10.1007/s10817-018-9490-4","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Cruz-Filipe , J","venue":"Journal of Automated Reasoning","work_id":"43327ba0-0f39-4ee1-9889-20277519b3ff","year":2019},"citing_paper":{"arxiv_id":"2607.28459","last_updated":"2026-07-30T16:21:58Z","snapshot_observed_at":"2026-08-06T09:17:39.308515Z","submitted_at":"2026-07-30T16:21:58Z","title":"LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-07-31T06:44:32.663822Z"},"links":{"citing_paper":"/paper/2607.28459"},"observation_digest":"sha256:d98a762cc1ad5fc366192d264c7aafb0d35a6740c4e728e1a4cf04639f889198","observation_id":"eee1a7f5-62c0-4770-9c71-2ebd746ac751","resolution":{"observed_at":"2026-07-31T06:46:21.980002Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T10:38:15.488894+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T10:38:15.488894+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-08T10:38:15.488894+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-31T06:44:32.666241Z","title":"de Moura and S","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.28459","last_updated":"2026-07-30T16:21:58Z","snapshot_observed_at":"2026-08-06T09:17:39.308515Z","submitted_at":"2026-07-30T16:21:58Z","title":"LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-07-31T06:44:32.666241Z"},"links":{"citing_paper":"/paper/2607.28459"},"observation_digest":"sha256:0b476e518d5ef0c4f47215b582ba5932901cbdd8beba85104ceb5f48c87b84e7","observation_id":"b94167c9-0968-4dc2-a026-95bc2e4e7e46","resolution":{"observed_at":"2026-07-31T06:44:32.666241Z","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-07-31T06:44:32.668564Z","title":null,"venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2607.28459","last_updated":"2026-07-30T16:21:58Z","snapshot_observed_at":"2026-08-06T09:17:39.308515Z","submitted_at":"2026-07-30T16:21:58Z","title":"LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-07-31T06:44:32.668564Z"},"links":{"citing_paper":"/paper/2607.28459"},"observation_digest":"sha256:da1691efe2d0c769abec7c9b9637e1469c3b22022554a7d713383a0da141072c","observation_id":"fea1eb28-5484-487e-8f2d-75a45da95ad2","resolution":{"observed_at":"2026-07-31T06:44:32.668564Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2009.00583","last_updated":"2020-09-01T17:15:06Z","snapshot_observed_at":"2026-08-07T09:30:17.722400Z","submitted_at":"2020-09-01T17:15:06Z","title":"Formally Verified Transformation of Non-binary Constraints into Binary Constraints","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2009.00583","snapshot_observed_at":"2026-07-31T06:44:32.671058Z","title":null,"venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2607.28459","last_updated":"2026-07-30T16:21:58Z","snapshot_observed_at":"2026-08-06T09:17:39.308515Z","submitted_at":"2026-07-30T16:21:58Z","title":"LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-07-31T06:44:32.671058Z"},"links":{"cited_paper":"/paper/2009.00583","citing_paper":"/paper/2607.28459"},"observation_digest":"sha256:5bfa24c5098ed1edef178b09fc07c7d5fcab7d6cc7107eb959364aa3459e6890","observation_id":"3f6c684b-a1ce-40c5-9e98-105cfbe4b161","resolution":{"observed_at":"2026-07-31T06:44:32.671058Z","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":"10.24963/ijcai.2018/180","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Elffers and J","venue":null,"work_id":"00cfea27-3098-4fa1-b54c-430176906b1a","year":2018},"citing_paper":{"arxiv_id":"2607.28459","last_updated":"2026-07-30T16:21:58Z","snapshot_observed_at":"2026-08-06T09:17:39.308515Z","submitted_at":"2026-07-30T16:21:58Z","title":"LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-07-31T06:44:32.673868Z"},"links":{"citing_paper":"/paper/2607.28459"},"observation_digest":"sha256:31999643a148d71fbe09d54c5712ae567db408fd1b164a84b52bb6e22edda9a1","observation_id":"7acb62ec-ae24-450b-ba76-9a50e4e59015","resolution":{"observed_at":"2026-07-31T06:46:21.769107Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T10:38:15.613634+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T10:38:15.613634+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-08T10:38:15.613634+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-31T06:44:32.676356Z","title":"Flippo, K","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.28459","last_updated":"2026-07-30T16:21:58Z","snapshot_observed_at":"2026-08-06T09:17:39.308515Z","submitted_at":"2026-07-30T16:21:58Z","title":"LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-07-31T06:44:32.676356Z"},"links":{"citing_paper":"/paper/2607.28459"},"observation_digest":"sha256:44a0751a46d1465ed9cf44914e1b32413ac8b6a6ac4bd4dfb02f183028258a1c","observation_id":"9f878238-a52b-4b9d-98c3-4f1c9b3cbad7","resolution":{"observed_at":"2026-07-31T06:44:32.676356Z","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":"10.1016/s1574-6526(06)80014-3","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Foundations of artificial intelligence","work_id":"aeee848f-98bf-4e52-b130-d63fc517cd53","year":2006},"citing_paper":{"arxiv_id":"2607.28459","last_updated":"2026-07-30T16:21:58Z","snapshot_observed_at":"2026-08-06T09:17:39.308515Z","submitted_at":"2026-07-30T16:21:58Z","title":"LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-07-31T06:44:32.678784Z"},"links":{"citing_paper":"/paper/2607.28459"},"observation_digest":"sha256:a56cfe850e72a108683ce6442e03b40943a72543341a691c151ea91438022319","observation_id":"b788c5de-0401-40a2-86b0-49ff01e745a8","resolution":{"observed_at":"2026-07-31T06:46:21.662141Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T10:38:15.681947+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T10:38:15.681947+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-08T10:38:15.681947+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1609/aaai.v35i5.16494","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Gocht and J","venue":"Proceedings of the AAAI Conference on Artificial Intelligence","work_id":"6261a4d0-3836-4624-a45a-1c292d9e0fce","year":2021},"citing_paper":{"arxiv_id":"2607.28459","last_updated":"2026-07-30T16:21:58Z","snapshot_observed_at":"2026-08-06T09:17:39.308515Z","submitted_at":"2026-07-30T16:21:58Z","title":"LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-07-31T06:44:32.681176Z"},"links":{"citing_paper":"/paper/2607.28459"},"observation_digest":"sha256:054765a59b1582dc5b78915959d5d428a9a5c135c78d34359928d5ac1a8f11c5","observation_id":"ba183927-9441-4d19-8587-1764e705368e","resolution":{"observed_at":"2026-07-31T06:46:21.577187Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T10:38:15.736911+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T10:38:15.736911+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-08T10:38:15.736911+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4230/lipics.cp.2022.25","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Gocht, C","venue":"DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)","work_id":"6fe683cc-eb3f-46a9-9269-8c77fa422d6b","year":2022},"citing_paper":{"arxiv_id":"2607.28459","last_updated":"2026-07-30T16:21:58Z","snapshot_observed_at":"2026-08-06T09:17:39.308515Z","submitted_at":"2026-07-30T16:21:58Z","title":"LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-07-31T06:44:32.683565Z"},"links":{"citing_paper":"/paper/2607.28459"},"observation_digest":"sha256:3ebd69af11b194cc5ad34337c0a1b51db775a4031314dda3465e85d1d2347860","observation_id":"89a4086b-9023-4a23-b2fd-0b232d960813","resolution":{"observed_at":"2026-07-31T06:46:21.442460Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-02T12:38:12.929193+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-02T12:38:12.929193+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1609/aaai.v38i8.28642","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Gocht, C","venue":"Proceedings of the AAAI Conference on Artificial Intelligence","work_id":"5648d1bc-04c5-471a-bf14-8a9a024900f2","year":2024},"citing_paper":{"arxiv_id":"2607.28459","last_updated":"2026-07-30T16:21:58Z","snapshot_observed_at":"2026-08-06T09:17:39.308515Z","submitted_at":"2026-07-30T16:21:58Z","title":"LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-07-31T06:44:32.685926Z"},"links":{"citing_paper":"/paper/2607.28459"},"observation_digest":"sha256:7b43be87665407eeca5ef25c902c04961528530a5aaf8e62d16cff725994f091","observation_id":"2d95246f-e441-4d26-9ad3-2578063bb1f8","resolution":{"observed_at":"2026-07-31T06:46:21.278276Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T10:38:15.798274+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T10:38:15.798274+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-08T10:38:15.798274+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-31T06:44:32.688291Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.28459","last_updated":"2026-07-30T16:21:58Z","snapshot_observed_at":"2026-08-06T09:17:39.308515Z","submitted_at":"2026-07-30T16:21:58Z","title":"LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-07-31T06:44:32.688291Z"},"links":{"citing_paper":"/paper/2607.28459"},"observation_digest":"sha256:0263fb18c831bf58173c879beab52a5118c410df0898af3250556139cf9ddf76","observation_id":"73ca8219-a922-4385-b8f6-941ddb4de30b","resolution":{"observed_at":"2026-07-31T06:44:32.688291Z","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-07-31T06:44:32.690731Z","title":null,"venue":null,"work_id":null,"year":1985},"citing_paper":{"arxiv_id":"2607.28459","last_updated":"2026-07-30T16:21:58Z","snapshot_observed_at":"2026-08-06T09:17:39.308515Z","submitted_at":"2026-07-30T16:21:58Z","title":"LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean","version":1},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-07-31T06:44:32.690731Z"},"links":{"citing_paper":"/paper/2607.28459"},"observation_digest":"sha256:3311c39cd3cfdb037b3b362ab55224771a1dc511f808a0846a6190c9fc0277fa","observation_id":"1a0ed38b-7437-4676-911e-b8644cceddc7","resolution":{"observed_at":"2026-07-31T06:44:32.690731Z","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-07-31T06:44:32.693213Z","title":null,"venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2607.28459","last_updated":"2026-07-30T16:21:58Z","snapshot_observed_at":"2026-08-06T09:17:39.308515Z","submitted_at":"2026-07-30T16:21:58Z","title":"LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean","version":1},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-07-31T06:44:32.693213Z"},"links":{"citing_paper":"/paper/2607.28459"},"observation_digest":"sha256:614343619107475ce94997b85110422ae9aed633c3d1e7df50f6e52ab14b0f21","observation_id":"ff3b9576-b170-4732-a547-2df8579602fb","resolution":{"observed_at":"2026-07-31T06:44:32.693213Z","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-07-31T06:44:32.695764Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.28459","last_updated":"2026-07-30T16:21:58Z","snapshot_observed_at":"2026-08-06T09:17:39.308515Z","submitted_at":"2026-07-30T16:21:58Z","title":"LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-07-31T06:44:32.695764Z"},"links":{"citing_paper":"/paper/2607.28459"},"observation_digest":"sha256:2ca8e6a1ce1d33a4b26cbe8c8e680bd20213019a024340aec14947764be6ceab","observation_id":"bcb78290-bdc0-49cb-87c7-15b312a51fa0","resolution":{"observed_at":"2026-07-31T06:44:32.695764Z","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-07-31T06:44:32.698311Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.28459","last_updated":"2026-07-30T16:21:58Z","snapshot_observed_at":"2026-08-06T09:17:39.308515Z","submitted_at":"2026-07-30T16:21:58Z","title":"LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-07-31T06:44:32.698311Z"},"links":{"citing_paper":"/paper/2607.28459"},"observation_digest":"sha256:6a64e6203121e4dab26e73f2cb057ba7864579638a211927daeebaba4cb7d456","observation_id":"fccc0369-c696-4c6e-a332-0cfe67129022","resolution":{"observed_at":"2026-07-31T06:44:32.698311Z","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-07-31T06:44:32.700520Z","title":"Mohamed, T","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.28459","last_updated":"2026-07-30T16:21:58Z","snapshot_observed_at":"2026-08-06T09:17:39.308515Z","submitted_at":"2026-07-30T16:21:58Z","title":"LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean","version":1},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-07-31T06:44:32.700520Z"},"links":{"citing_paper":"/paper/2607.28459"},"observation_digest":"sha256:4e854945087c3ea28d4bc3b01c8c42f07ae7f60b4ebbb660b7aab2a53c87155d","observation_id":"daab7dd2-f4bd-47f3-99d8-5f9e94fb5eb4","resolution":{"observed_at":"2026-07-31T06:44:32.700520Z","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-07-31T06:44:32.703078Z","title":"Nethercote, P","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2607.28459","last_updated":"2026-07-30T16:21:58Z","snapshot_observed_at":"2026-08-06T09:17:39.308515Z","submitted_at":"2026-07-30T16:21:58Z","title":"LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean","version":1},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-07-31T06:44:32.703078Z"},"links":{"citing_paper":"/paper/2607.28459"},"observation_digest":"sha256:b0f4509ecbb95f2b26e50d89b4e94f3410e4055cea48bb1494952bb3889b7a80","observation_id":"f2ab4c5f-72d2-4e26-a803-c7f25343fff2","resolution":{"observed_at":"2026-07-31T06:44:32.703078Z","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-07-31T06:44:32.705282Z","title":"Nipkow, L","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2607.28459","last_updated":"2026-07-30T16:21:58Z","snapshot_observed_at":"2026-08-06T09:17:39.308515Z","submitted_at":"2026-07-30T16:21:58Z","title":"LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean","version":1},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-07-31T06:44:32.705282Z"},"links":{"citing_paper":"/paper/2607.28459"},"observation_digest":"sha256:3f15e9a8f188e51a1c22e3e7f78ab0221e242443462004b8c3ac951090d9bd4e","observation_id":"17dffbf0-9af7-4db6-b48e-9f563b705d41","resolution":{"observed_at":"2026-07-31T06:44:32.705282Z","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-07-31T06:44:32.707556Z","title":"Rossi, P","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2607.28459","last_updated":"2026-07-30T16:21:58Z","snapshot_observed_at":"2026-08-06T09:17:39.308515Z","submitted_at":"2026-07-30T16:21:58Z","title":"LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean","version":1},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-07-31T06:44:32.707556Z"},"links":{"citing_paper":"/paper/2607.28459"},"observation_digest":"sha256:6860f4cd09874481f7467d4aac5ab26ee3d5cb078a27d5037e047976f26dbd06","observation_id":"5fab98a2-212d-4a5b-a73e-7cf41e8d33d2","resolution":{"observed_at":"2026-07-31T06:44:32.707556Z","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-07-31T06:44:32.709950Z","title":"Roussel and V","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2607.28459","last_updated":"2026-07-30T16:21:58Z","snapshot_observed_at":"2026-08-06T09:17:39.308515Z","submitted_at":"2026-07-30T16:21:58Z","title":"LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean","version":1},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-07-31T06:44:32.709950Z"},"links":{"citing_paper":"/paper/2607.28459"},"observation_digest":"sha256:82ce0f62095600d8d772d7ff2bf9ef8092850fc6084252cc45a867cca30833ba","observation_id":"c22d76bf-ad3a-4f73-980d-5f7d8012022a","resolution":{"observed_at":"2026-07-31T06:44:32.709950Z","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-07-31T06:44:32.712246Z","title":"Schulte, G","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.28459","last_updated":"2026-07-30T16:21:58Z","snapshot_observed_at":"2026-08-06T09:17:39.308515Z","submitted_at":"2026-07-30T16:21:58Z","title":"LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean","version":1},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-07-31T06:44:32.712246Z"},"links":{"citing_paper":"/paper/2607.28459"},"observation_digest":"sha256:83c06b58f030906917c778903ad4203de50e22379c3350a920676ae66545e9df","observation_id":"c3e9e81b-0116-4e5c-9b75-99d12d234407","resolution":{"observed_at":"2026-07-31T06:44:32.712246Z","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":"10.1145/2841316","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":null,"work_id":"9436d742-ec3c-4e73-823b-601770f075ea","year":2016},"citing_paper":{"arxiv_id":"2607.28459","last_updated":"2026-07-30T16:21:58Z","snapshot_observed_at":"2026-08-06T09:17:39.308515Z","submitted_at":"2026-07-30T16:21:58Z","title":"LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean","version":1},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-07-31T06:44:32.714598Z"},"links":{"citing_paper":"/paper/2607.28459"},"observation_digest":"sha256:3428f9012232ac29b84566fa6e96daed9f2333c6b2ddd322bbd45ab031e855aa","observation_id":"cfa30717-70ac-4924-bda0-dd9ad5e17d48","resolution":{"observed_at":"2026-07-31T06:46:21.070376Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T10:38:16.145007+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T10:38:16.145007+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-08T10:38:16.145007+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-31T06:44:32.717032Z","title":"Subercaseaux, W","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.28459","last_updated":"2026-07-30T16:21:58Z","snapshot_observed_at":"2026-08-06T09:17:39.308515Z","submitted_at":"2026-07-30T16:21:58Z","title":"LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean","version":1},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-07-31T06:44:32.717032Z"},"links":{"citing_paper":"/paper/2607.28459"},"observation_digest":"sha256:6457398559df2f0cfd4ce1ed3f216094ab1d010c2423ac0a3f7d4a79863170b8","observation_id":"f4032158-fc09-40c0-a29b-ec1176330931","resolution":{"observed_at":"2026-07-31T06:44:32.717032Z","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-07-31T06:44:32.719322Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.28459","last_updated":"2026-07-30T16:21:58Z","snapshot_observed_at":"2026-08-06T09:17:39.308515Z","submitted_at":"2026-07-30T16:21:58Z","title":"LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean","version":1},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-07-31T06:44:32.719322Z"},"links":{"citing_paper":"/paper/2607.28459"},"observation_digest":"sha256:4a5fb33323bead110136dab3efc89b7fda2b660c41836778a85bbe815887d7de","observation_id":"7c74646f-3cf8-4392-abc3-328070fdb85b","resolution":{"observed_at":"2026-07-31T06:44:32.719322Z","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-07-31T06:44:32.721697Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.28459","last_updated":"2026-07-30T16:21:58Z","snapshot_observed_at":"2026-08-06T09:17:39.308515Z","submitted_at":"2026-07-30T16:21:58Z","title":"LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean","version":1},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-07-31T06:44:32.721697Z"},"links":{"citing_paper":"/paper/2607.28459"},"observation_digest":"sha256:70f5ba7d3fe575a72fa6b3fb35008e6e7183e0d39abe2d3a4fbddcd5d37920ec","observation_id":"20aa6f27-f4c3-493c-bc90-cd25ecbcbb63","resolution":{"observed_at":"2026-07-31T06:44:32.721697Z","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-07-31T06:44:32.724053Z","title":"Colibrics: A Formally Verified Constraint Programming Engine","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.28459","last_updated":"2026-07-30T16:21:58Z","snapshot_observed_at":"2026-08-06T09:17:39.308515Z","submitted_at":"2026-07-30T16:21:58Z","title":"LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean","version":1},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-07-31T06:44:32.724053Z"},"links":{"citing_paper":"/paper/2607.28459"},"observation_digest":"sha256:c3850d6f7f35ec9cfb49530e627b116f08a2e78ae2e8f9edb5fbb5789de27f1f","observation_id":"a2dce3fc-6e4f-47cc-baf4-49567c8bf8dc","resolution":{"observed_at":"2026-07-31T06:44:32.724053Z","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-07-31T06:44:32.726613Z","title":"The Lean Language Reference","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.28459","last_updated":"2026-07-30T16:21:58Z","snapshot_observed_at":"2026-08-06T09:17:39.308515Z","submitted_at":"2026-07-30T16:21:58Z","title":"LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean","version":1},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-07-31T06:44:32.726613Z"},"links":{"citing_paper":"/paper/2607.28459"},"observation_digest":"sha256:d3ea5cc99d66deaf921275054f26c26171f9db9a4409c68bed9fe9579e5fdf65","observation_id":"bca8b5f5-20b3-45c7-8773-c4e83c866baa","resolution":{"observed_at":"2026-07-31T06:44:32.726613Z","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-07-31T06:44:32.729046Z","title":"The lean mathematical library","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.28459","last_updated":"2026-07-30T16:21:58Z","snapshot_observed_at":"2026-08-06T09:17:39.308515Z","submitted_at":"2026-07-30T16:21:58Z","title":"LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean","version":1},"reference_index":43,"source":"arxiv_source","source_observed_at":"2026-07-31T06:44:32.729046Z"},"links":{"citing_paper":"/paper/2607.28459"},"observation_digest":"sha256:4dcdaaef4094e19c111331eb399dcd5ed1474e3e2d3aca8fb77a217d1a73e44c","observation_id":"290e9184-c36d-4f2e-a902-311e5cced3e3","resolution":{"observed_at":"2026-07-31T06:44:32.729046Z","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-07-31T06:44:32.731390Z","title":"The Rocq Prover","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.28459","last_updated":"2026-07-30T16:21:58Z","snapshot_observed_at":"2026-08-06T09:17:39.308515Z","submitted_at":"2026-07-30T16:21:58Z","title":"LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean","version":1},"reference_index":44,"source":"arxiv_source","source_observed_at":"2026-07-31T06:44:32.731390Z"},"links":{"citing_paper":"/paper/2607.28459"},"observation_digest":"sha256:e16d5690e9713dfbcc8b77919519be312e69f18d08ad44af481ff5c235f0d3a0","observation_id":"71977a3f-b131-455a-a710-14a9dbbd0fab","resolution":{"observed_at":"2026-07-31T06:44:32.731390Z","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-07-31T06:44:32.733637Z","title":null,"venue":null,"work_id":null,"year":1993},"citing_paper":{"arxiv_id":"2607.28459","last_updated":"2026-07-30T16:21:58Z","snapshot_observed_at":"2026-08-06T09:17:39.308515Z","submitted_at":"2026-07-30T16:21:58Z","title":"LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean","version":1},"reference_index":45,"source":"arxiv_source","source_observed_at":"2026-07-31T06:44:32.733637Z"},"links":{"citing_paper":"/paper/2607.28459"},"observation_digest":"sha256:9538640061807c9ed8ef8a497c3e783ebce472e07bb5cd0bb7cdd149034ac330","observation_id":"3726442c-0cc9-447b-adc0-3d8f4873604d","resolution":{"observed_at":"2026-07-31T06:44:32.733637Z","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-07-31T06:44:32.735929Z","title":"van Doorn , P","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.28459","last_updated":"2026-07-30T16:21:58Z","snapshot_observed_at":"2026-08-06T09:17:39.308515Z","submitted_at":"2026-07-30T16:21:58Z","title":"LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean","version":1},"reference_index":46,"source":"arxiv_source","source_observed_at":"2026-07-31T06:44:32.735929Z"},"links":{"citing_paper":"/paper/2607.28459"},"observation_digest":"sha256:55a6b9762ea07a27b64758fa338f80bc080049448c90f765442571954eb5d754","observation_id":"1da889af-9811-4c27-b9bb-6cb7737b3eac","resolution":{"observed_at":"2026-07-31T06:44:32.735929Z","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":"10.4230/lipics.cp.2024.29","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Vanroose, I","venue":"DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)","work_id":"24253ca8-cb33-4a04-9c6e-a5b79e580e54","year":2024},"citing_paper":{"arxiv_id":"2607.28459","last_updated":"2026-07-30T16:21:58Z","snapshot_observed_at":"2026-08-06T09:17:39.308515Z","submitted_at":"2026-07-30T16:21:58Z","title":"LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean","version":1},"reference_index":47,"source":"arxiv_source","source_observed_at":"2026-07-31T06:44:32.738346Z"},"links":{"citing_paper":"/paper/2607.28459"},"observation_digest":"sha256:b4e673a201dd3080d704e247cb268b8f09ee433bccfca9725444f91224c27b53","observation_id":"07f62f21-1889-4778-849e-72a008ea39db","resolution":{"observed_at":"2026-07-31T06:46:20.794199Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T10:38:16.253693+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T10:38:16.253693+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-08T10:38:16.253693+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-31T06:44:32.740702Z","title":"Wetzler, M","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2607.28459","last_updated":"2026-07-30T16:21:58Z","snapshot_observed_at":"2026-08-06T09:17:39.308515Z","submitted_at":"2026-07-30T16:21:58Z","title":"LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean","version":1},"reference_index":48,"source":"arxiv_source","source_observed_at":"2026-07-31T06:44:32.740702Z"},"links":{"citing_paper":"/paper/2607.28459"},"observation_digest":"sha256:a95f6b87344edabdf6b56fb3812fb3a5aee7e2e3ea6ba665af4307e5368be440","observation_id":"0213bc8b-84a9-4303-a234-e994f9ccee46","resolution":{"observed_at":"2026-07-31T06:44:32.740702Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.28459","last_updated":"2026-07-30T16:21:58Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-06T09:17:39.308515Z","submitted_at":"2026-07-30T16:21:58Z","title":"LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean"},"reference_resolution":{"displayed":48,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":35,"verified_exact":13,"verified_fuzzy":0},"total_outbound_references":48},"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-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"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."}