Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-16T11:51:40.055133Z
Paper Citation Record · LEDGER
Proof Scores: A Survey (full version)
As of 18 August 2026, this Paper Citation Record lists 100 of 182 outbound references and 0 inbound Pith citation observations for arXiv:2504.14561.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-18T06:34:40.430872+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
100 of 182 outbound references displayed
- verified exact40
- verified fuzzy0
- unresolved58
- parse uncertain0
- malformed identifier2
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 9dec025e-2301-47a6-a5ee-7858990f3bbe · outbound
This paper cites an unresolved cited work.
Proof Scores: A Survey (full version) Unresolved cited work
Reference 1
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T11:51:39.733618Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8f5cc07f-55d7-487c-8581-ae89e5b93fb0 · outbound
This paper cites Butler, Stefan Hallers tede, Thai Son Hoang, Farhad Mehta, and Laurent Voisin.
Proof Scores: A Survey (full version) Butler, Stefan Hallers tede, Thai Son Hoang, Farhad Mehta, and Laurent Voisin
Reference 2
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T11:51:39.737898Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9a7e4596-7ca8-499b-82e2-7391a8fd89e4 · outbound
This paper cites an unresolved cited work.
Proof Scores: A Survey (full version) Unresolved cited work
Reference 4
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T11:51:39.744874Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c28c3002-faf6-49a1-993e-53340fb10042 · outbound
This paper cites Schmitt, and Mattias Ulbrich (Eds.).
Proof Scores: A Survey (full version) Schmitt, and Mattias Ulbrich (Eds.)
Reference 5
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T11:51:39.748148Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d2360b83-c3bb-4e01-9b55-95cbd30f64db · outbound
This paper cites an unresolved cited work.
Proof Scores: A Survey (full version) Unresolved cited work
Reference 6
- Resolution
- verified exact
- doi, observed 2026-08-16T11:53:31.898592Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 96289a6c-db54-42af-bcf9-06099a129869 · outbound
This paper cites an unresolved cited work.
Proof Scores: A Survey (full version) Unresolved cited work
Reference 7
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T11:51:39.755081Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8b4f8365-464d-4251-bb6a-a64e85c0bac1 · outbound
This paper cites an unresolved cited work.
Proof Scores: A Survey (full version) Unresolved cited work
Reference 8
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T11:51:39.758229Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 3b40f64c-e400-4c3c-9d45-75c29bec778c · outbound
This paper cites an unresolved cited work.
Proof Scores: A Survey (full version) Unresolved cited work
Reference 9
- Resolution
- verified exact
- doi, observed 2026-08-16T11:53:31.886446Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation dfed4279-29a8-4c4e-8b82-07b906343b61 · outbound
This paper cites Mosses, Donald Sannella, and Andrzej Tarlecki.
Proof Scores: A Survey (full version) Mosses, Donald Sannella, and Andrzej Tarlecki
Reference 10
- Resolution
- verified exact
- doi, observed 2026-08-16T11:53:31.814962Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 4cb080a1-b01f-49ae-b8bf-20bcd91712f6 · outbound
This paper cites Ayers, Mateja Jamnik, and William T.
Proof Scores: A Survey (full version) Ayers, Mateja Jamnik, and William T
Reference 11
- Resolution
- verified exact
- doi, observed 2026-08-16T11:53:31.804122Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 3e26441d-561b-4703-8475-7cdd19d9fe22 · outbound
This paper cites an unresolved cited work.
Proof Scores: A Survey (full version) Unresolved cited work
Reference 12
- Resolution
- verified exact
- doi, observed 2026-08-16T11:53:31.740766Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 9d7705ef-50d4-47f9-b2e3-e3cf98036a1a · outbound
This paper cites an unresolved cited work.
Proof Scores: A Survey (full version) Unresolved cited work
Reference 13
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T11:51:39.773835Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 52a1293b-156f-46b3-b9d3-417e65ca409e · outbound
This paper cites an unresolved cited work.
Proof Scores: A Survey (full version) Unresolved cited work
Reference 14
- Resolution
- malformed identifier
- no resolver link, observed 2026-08-16T11:51:39.776881Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e7ac6536-7ea1-42b4-8a97-80ab0f2667a0 · outbound
This paper cites Bergstra, Jan Heering, and Paul Klint.
Proof Scores: A Survey (full version) Bergstra, Jan Heering, and Paul Klint
Reference 15
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T11:51:39.779883Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5cb52c27-3b29-4362-bbce-13e41c9d6109 · outbound
This paper cites an unresolved cited work.
Proof Scores: A Survey (full version) Unresolved cited work
Reference 16
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T11:51:39.782844Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation bdfa3188-04fa-4bc7-9a2c-1758126ff0c7 · outbound
This paper cites an unresolved cited work.
Proof Scores: A Survey (full version) Unresolved cited work
Reference 17
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T11:51:39.785841Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation cea50878-cb7e-4320-8c6c-e73ffbee80f0 · outbound
This paper cites an unresolved cited work.
Proof Scores: A Survey (full version) Unresolved cited work
Reference 18
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T11:51:39.788942Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b39d5920-a31c-45df-9def-f990565c1318 · outbound
This paper cites an unresolved cited work.
Proof Scores: A Survey (full version) Unresolved cited work
Reference 19
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T11:51:39.791883Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 925eb8f2-4c9a-4077-ba9e-9e553e95a5e4 · outbound
This paper cites an unresolved cited work.
Proof Scores: A Survey (full version) Unresolved cited work
Reference 20
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T11:51:39.794676Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7405e13e-df38-4d98-834d-1f3522797470 · outbound
This paper cites an unresolved cited work.
Proof Scores: A Survey (full version) Unresolved cited work
Reference 21
- Resolution
- verified exact
- doi, observed 2026-08-16T11:53:31.646957Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation c3549041-f208-45f4-9979-85b60136cfda · outbound
This paper cites Burstall and Joseph A.
Proof Scores: A Survey (full version) Burstall and Joseph A
Reference 22
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T11:51:39.800877Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0e16bbf9-991b-435a-abb7-9c7d9be74376 · outbound
This paper cites Burstall and Joseph A.
Proof Scores: A Survey (full version) Burstall and Joseph A
Reference 23
- Resolution
- verified exact
- doi, observed 2026-08-16T11:53:31.635624Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 9c7506ad-d62b-419c-b862-3faa92d6f80a · outbound
This paper cites Burstall, David B.
Proof Scores: A Survey (full version) Burstall, David B
Reference 24
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T11:51:39.806794Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 83f768ac-c052-444a-b37d-af0aaf2f2fc0 · outbound
This paper cites Towards Large Language Model Aided Program Refinement.
Proof Scores: A Survey (full version) Towards Large Language Model Aided Program Refinement
Reference 25
- Resolution
- verified exact
- local_arxiv, observed 2026-08-16T11:53:31.537646Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 457322ef-b68d-4808-a69a-95e22b272a8f · outbound
This paper cites Lean4Lean: Verifying a Typechecker for Lean, in Lean.
Proof Scores: A Survey (full version) Lean4Lean: Verifying a Typechecker for Lean, in Lean
Reference 27
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T11:51:39.816388Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c69c06c3-4d9d-44d2-a6b7-9afb7825bc77 · outbound
This paper cites Brown, and Josef Urban.
Proof Scores: A Survey (full version) Brown, and Josef Urban
Reference 28
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T11:51:39.819706Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d1701aea-0c14-4c66-b74e-832cccb67dcb · outbound
This paper cites an unresolved cited work.
Proof Scores: A Survey (full version) Unresolved cited work
Reference 29
- Resolution
- verified exact
- doi, observed 2026-08-16T11:53:31.468615Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation f35e670e-5756-4e01-a66c-9f59a6b2bec8 · outbound
This paper cites Clarke, Orna Grumberg, and Doron A.
Proof Scores: A Survey (full version) Clarke, Orna Grumberg, and Doron A
Reference 30
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T11:51:39.827212Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation cf220d03-2289-44c4-8d62-e7cd902b139e · outbound
This paper cites an unresolved cited work.
Proof Scores: A Survey (full version) Unresolved cited work
Reference 31
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T11:51:39.830191Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation edf34545-e42f-4767-9811-0b973ecbf639 · outbound
This paper cites an unresolved cited work.
Proof Scores: A Survey (full version) Unresolved cited work
Reference 32
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T11:51:39.833372Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2881f59f-4011-4a1a-bd5f-0abcc1ef77ac · outbound
This paper cites an unresolved cited work.
Proof Scores: A Survey (full version) Unresolved cited work
Reference 33
- Resolution
- verified exact
- doi, observed 2026-08-16T11:53:31.458344Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation a850ed66-108d-41bd-9894-7a6f0d426f84 · outbound
This paper cites an unresolved cited work.
Proof Scores: A Survey (full version) Unresolved cited work
Reference 34
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T11:51:39.839584Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f0a48b2b-829f-4279-9b38-7a0c9b1b7ff4 · outbound
This paper cites an unresolved cited work.
Proof Scores: A Survey (full version) Unresolved cited work
Reference 35
- Resolution
- verified exact
- doi, observed 2026-08-16T11:53:31.448337Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation ef00ce81-caa3-498c-9cce-74507660f988 · outbound
This paper cites an unresolved cited work.
Proof Scores: A Survey (full version) Unresolved cited work
Reference 36
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T11:51:39.845750Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f99fef81-9fdf-4a8b-b296-e4e1798c3a47 · outbound
This paper cites Rushby, Natarajan Shankar, Maria Sorea, and Ashish Tiwari.
Proof Scores: A Survey (full version) Rushby, Natarajan Shankar, Maria Sorea, and Ashish Tiwari
Reference 37
- Resolution
- verified exact
- doi, observed 2026-08-16T11:53:31.398411Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation fe8aaa75-ba1b-4413-8353-e4209b95f155 · outbound
This paper cites an unresolved cited work.
Proof Scores: A Survey (full version) Unresolved cited work
Reference 38
- Resolution
- verified exact
- doi, observed 2026-08-16T11:53:31.332475Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 165fdffa-abea-4cb1-8379-b3c875d4eb7b · outbound
This paper cites an unresolved cited work.
Proof Scores: A Survey (full version) Unresolved cited work
Reference 39
- Resolution
- verified exact
- doi, observed 2026-08-16T11:53:31.321813Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 46460e71-0412-4ae3-98c9-26e5bd733821 · outbound
This paper cites an unresolved cited work.
Proof Scores: A Survey (full version) Unresolved cited work
Reference 40
- Resolution
- malformed identifier
- doi_truncated, observed 2026-08-16T11:53:31.311659Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 88f4d58f-204d-4934-b4e4-f75905de3680 · outbound
This paper cites an unresolved cited work.
Proof Scores: A Survey (full version) Unresolved cited work
Reference 41
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T11:51:39.861229Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 03aec090-da69-4538-9652-1d6bfac3ce8f · outbound
This paper cites an unresolved cited work.
Proof Scores: A Survey (full version) Unresolved cited work
Reference 42
- Resolution
- verified exact
- doi, observed 2026-08-16T11:53:31.222607Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 7f87df1e-7b20-4266-beea-56c42e1681b7 · outbound
This paper cites an unresolved cited work.
Proof Scores: A Survey (full version) Unresolved cited work
Reference 44
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T11:51:39.870448Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 41188c41-e6f1-4dff-9538-f0d1e778b8c1 · outbound
This paper cites an unresolved cited work.
Proof Scores: A Survey (full version) Unresolved cited work
Reference 45
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T11:51:39.873543Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 348e6c67-704f-4468-9433-0b87a2a4f292 · outbound
This paper cites an unresolved cited work.
Proof Scores: A Survey (full version) Unresolved cited work
Reference 46
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T11:51:39.876565Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c8a49d5b-7b85-451d-86b4-2c8bbd47267f · outbound
This paper cites an unresolved cited work.
Proof Scores: A Survey (full version) Unresolved cited work
Reference 47
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T11:51:39.879744Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 90a68fb7-796c-4ab0-aa07-e2ab826dda88 · outbound
This paper cites an unresolved cited work.
Proof Scores: A Survey (full version) Unresolved cited work
Reference 48
- Resolution
- verified exact
- doi, observed 2026-08-16T11:53:31.154445Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation f8ad0d45-f889-4ab4-befe-58896b7777bb · outbound
This paper cites an unresolved cited work.
Proof Scores: A Survey (full version) Unresolved cited work
Reference 49
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T11:51:39.885832Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1ef3b93e-a2ba-40cd-91cd-f372f26243a1 · outbound
This paper cites an unresolved cited work.
Proof Scores: A Survey (full version) Unresolved cited work
Reference 50
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T11:51:39.889415Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4089c0cd-1304-4007-8698-e19bf211cc7a · outbound
This paper cites an unresolved cited work.
Proof Scores: A Survey (full version) Unresolved cited work
Reference 51
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T11:51:39.892350Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation fad0f63c-5883-49c7-8efd-fc8d179ea996 · outbound
This paper cites an unresolved cited work.
Proof Scores: A Survey (full version) Unresolved cited work
Reference 52
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T11:51:39.895483Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1321a70c-913d-4cc7-abe4-79be1d4bd2c0 · outbound
This paper cites an unresolved cited work.
Proof Scores: A Survey (full version) Unresolved cited work
Reference 53
- Resolution
- verified exact
- doi, observed 2026-08-16T11:51:41.000335Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation e3f9c8ec-2bc0-4f5a-83d9-af34248be918 · outbound
This paper cites an unresolved cited work.
Proof Scores: A Survey (full version) Unresolved cited work
Reference 54
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T11:51:39.901617Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation dba6c834-69a1-4322-8ada-ba9b4a965e31 · outbound
This paper cites an unresolved cited work.
Proof Scores: A Survey (full version) Unresolved cited work
Reference 55
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T11:51:39.904367Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f13dd2ee-2b7e-4b76-9133-c418737d1067 · outbound
This paper cites an unresolved cited work.
Proof Scores: A Survey (full version) Unresolved cited work
Reference 56
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T11:51:39.907330Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5d87d1cb-f595-4ef4-bc45-c328002ed0fc · outbound
This paper cites Goguen, Jean-Pierre Joua nnaud, and José Meseguer.
Proof Scores: A Survey (full version) Goguen, Jean-Pierre Joua nnaud, and José Meseguer
Reference 57
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T11:51:39.910096Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 66db0b55-9707-4027-a405-511b2a35bd4e · outbound
This paper cites Nakagawa, and Tetsuo Tamai (Eds.).
Proof Scores: A Survey (full version) Nakagawa, and Tetsuo Tamai (Eds.)
Reference 58
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T11:51:39.913352Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 69eb8d74-b621-4658-b923-0f0cf4b74890 · outbound
This paper cites an unresolved cited work.
Proof Scores: A Survey (full version) Unresolved cited work
Reference 59
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T11:51:39.916301Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f9b3ac54-4b3f-4914-b593-baa45983fd61 · outbound
This paper cites an unresolved cited work.
Proof Scores: A Survey (full version) Unresolved cited work
Reference 60
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T11:51:39.919288Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8cdc49bc-70af-4b7d-85a8-45ac1126f990 · outbound
This paper cites an unresolved cited work.
Proof Scores: A Survey (full version) Unresolved cited work
Reference 61
- Resolution
- verified exact
- doi, observed 2026-08-16T11:51:40.991359Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 77622a0d-4b69-4249-bc4d-3e5d8a32946e · outbound
This paper cites an unresolved cited work.
Proof Scores: A Survey (full version) Unresolved cited work
Reference 62
- Resolution
- verified exact
- doi, observed 2026-08-16T11:51:40.982016Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation c3d37583-babc-4b66-987b-3c12ab9f61fb · outbound
This paper cites an unresolved cited work.
Proof Scores: A Survey (full version) Unresolved cited work
Reference 63
- Resolution
- verified exact
- doi, observed 2026-08-16T11:51:40.973985Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 4505f85e-9783-46cc-a126-98ecaa2a0b35 · outbound
This paper cites Garland and John V.
Proof Scores: A Survey (full version) Garland and John V
Reference 64
- Resolution
- verified exact
- doi, observed 2026-08-16T11:51:40.966128Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 7251d341-1ef7-4322-af5f-6be73c89183a · outbound
This paper cites an unresolved cited work.
Proof Scores: A Survey (full version) Unresolved cited work
Reference 65
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T11:51:39.934889Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c952139d-bc8d-406e-b746-f489bb625c3d · outbound
This paper cites an unresolved cited work.
Proof Scores: A Survey (full version) Unresolved cited work
Reference 66
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T11:51:39.938702Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5b6a3015-93cf-4d57-b41e-e950abd16c28 · outbound
This paper cites an unresolved cited work.
Proof Scores: A Survey (full version) Unresolved cited work
Reference 67
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T11:51:39.941461Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 377a7717-70b2-43d3-8858-ced1ee9e4be0 · outbound
This paper cites an unresolved cited work.
Proof Scores: A Survey (full version) Unresolved cited work
Reference 68
- Resolution
- verified exact
- doi, observed 2026-08-16T11:51:40.956719Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 9ffb0ede-0129-4679-82f7-76a47234751a · outbound
This paper cites an unresolved cited work.
Proof Scores: A Survey (full version) Unresolved cited work
Reference 69
- Resolution
- verified exact
- doi, observed 2026-08-16T11:51:40.947468Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation e2287e3d-82d7-45a7-b148-e91e18817e26 · outbound
This paper cites an unresolved cited work.
Proof Scores: A Survey (full version) Unresolved cited work
Reference 70
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T11:51:39.950618Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7315d1f1-b790-4d82-924a-b67175a68f61 · outbound
This paper cites Theorem Proving and Algebra.
Proof Scores: A Survey (full version) Theorem Proving and Algebra
Reference 71
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T11:51:39.953726Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c1a0d8c8-ce27-46aa-a594-9e81711e0167 · outbound
This paper cites Goguen and Rod M.
Proof Scores: A Survey (full version) Goguen and Rod M
Reference 72
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T11:51:39.957193Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8a88437c-3cac-4e8b-827b-5efb484b3cd1 · outbound
This paper cites Goguen, Claude Kirchner, Hélène Kirchner, Ar istide Mégrelis, José Meseguer, and Timothy C.
Proof Scores: A Survey (full version) Goguen, Claude Kirchner, Hélène Kirchner, Ar istide Mégrelis, José Meseguer, and Timothy C
Reference 73
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T11:51:39.960384Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b394d713-5795-4c36-b4a2-1a6d3296d71a · outbound
This paper cites an unresolved cited work.
Proof Scores: A Survey (full version) Unresolved cited work
Reference 74
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T11:51:39.963782Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a50a038e-0644-44de-a777-913a4d020434 · outbound
This paper cites Goguen and Grant Malcolm.
Proof Scores: A Survey (full version) Goguen and Grant Malcolm
Reference 75
- Resolution
- verified exact
- doi, observed 2026-08-16T11:51:40.932722Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 05b6bed0-f0b3-46b2-9226-3efef9dc9561 · outbound
This paper cites Goguen and José Meseguer.
Proof Scores: A Survey (full version) Goguen and José Meseguer
Reference 76
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T11:51:39.970043Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8c4602fb-804e-4e1f-87d1-0fc7ef652ef6 · outbound
This paper cites Goguen, Timothy Winkler, José Meseguer, Koki chi Futatsugi, and Jean-Pierre Jouannaud.
Proof Scores: A Survey (full version) Goguen, Timothy Winkler, José Meseguer, Koki chi Futatsugi, and Jean-Pierre Jouannaud
Reference 77
- Resolution
- verified exact
- doi, observed 2026-08-16T11:51:40.917906Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 93cf906a-cd43-4814-a05a-621a2b948b28 · outbound
This paper cites an unresolved cited work.
Proof Scores: A Survey (full version) Unresolved cited work
Reference 78
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T11:51:39.976188Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 90481374-dc1d-4158-ad43-3e3b3ed6f9ba · outbound
This paper cites an unresolved cited work.
Proof Scores: A Survey (full version) Unresolved cited work
Reference 79
- Resolution
- verified exact
- doi, observed 2026-08-16T11:51:40.908831Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 123e6a38-edb5-4197-822e-478e446f9b08 · outbound
This paper cites Guttag, James J.
Proof Scores: A Survey (full version) Guttag, James J
Reference 80
- Resolution
- verified exact
- doi, observed 2026-08-16T11:51:40.900474Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation f507c0e7-3d3f-4fb2-b082-e17aba1bfc0b · outbound
This paper cites an unresolved cited work.
Proof Scores: A Survey (full version) Unresolved cited work
Reference 81
- Resolution
- verified exact
- doi, observed 2026-08-16T11:51:40.891277Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 57593e60-4d0f-4c06-90c1-0f048a88b01c · outbound
This paper cites an unresolved cited work.
Proof Scores: A Survey (full version) Unresolved cited work
Reference 82
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T11:51:39.988711Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a39c0e72-113d-45f2-92c7-3ea16adce736 · outbound
This paper cites an unresolved cited work.
Proof Scores: A Survey (full version) Unresolved cited work
Reference 83
- Resolution
- verified exact
- doi, observed 2026-08-16T11:51:40.876005Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 79ebaf94-04d9-461e-9876-af1d9def9e3f · outbound
This paper cites an unresolved cited work.
Proof Scores: A Survey (full version) Unresolved cited work
Reference 84
- Resolution
- verified exact
- doi, observed 2026-08-16T11:51:40.865906Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation daaf4b1d-9037-4b5e-8a5c-682f0844ae1b · outbound
This paper cites an unresolved cited work.
Proof Scores: A Survey (full version) Unresolved cited work
Reference 85
- Resolution
- verified exact
- doi, observed 2026-08-16T11:51:40.857130Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation c8373f7d-addb-47c9-a38f-61b3faa53705 · outbound
This paper cites an unresolved cited work.
Proof Scores: A Survey (full version) Unresolved cited work
Reference 86
- Resolution
- verified exact
- doi, observed 2026-08-16T11:51:40.848042Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 58a96032-42c5-4c7a-ae44-8a917bcf4863 · outbound
This paper cites Haselwarter, Exequiel Rivas, Antoine Van Mu ylder, Théo Winterhalter, Carmine Abate, Nikolaj Sidorenco, Catalin Hritcu, Kenji Maillard, and Bas Spitters.
Proof Scores: A Survey (full version) Haselwarter, Exequiel Rivas, Antoine Van Mu ylder, Théo Winterhalter, Carmine Abate, Nikolaj Sidorenco, Catalin Hritcu, Kenji Maillard, and Bas Spitters
Reference 87
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T11:51:40.004435Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 78cc611e-db06-48c5-9ec4-fcfe7133edc3 · outbound
This paper cites an unresolved cited work.
Proof Scores: A Survey (full version) Unresolved cited work
Reference 88
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T11:51:40.008186Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 62c22670-60d6-4868-95f1-5549198c2391 · outbound
This paper cites an unresolved cited work.
Proof Scores: A Survey (full version) Unresolved cited work
Reference 89
- Resolution
- verified exact
- doi, observed 2026-08-16T11:51:40.832467Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 5afe882f-47ff-40b9-bdaf-9eb01795c5f9 · outbound
This paper cites an unresolved cited work.
Proof Scores: A Survey (full version) Unresolved cited work
Reference 90
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T11:51:40.014853Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1bc3eabc-54e7-45b0-b8f8-e867a9d2e001 · outbound
This paper cites an unresolved cited work.
Proof Scores: A Survey (full version) Unresolved cited work
Reference 91
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T11:51:40.017813Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 69253cc2-ac8c-4882-aa84-62d7dd276464 · outbound
This paper cites an unresolved cited work.
Proof Scores: A Survey (full version) Unresolved cited work
Reference 92
- Resolution
- verified exact
- doi, observed 2026-08-16T11:51:40.822407Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 72284a1b-63f3-484f-a0ad-93150dc65e87 · outbound
This paper cites an unresolved cited work.
Proof Scores: A Survey (full version) Unresolved cited work
Reference 93
- Resolution
- verified exact
- doi, observed 2026-08-16T11:51:40.812970Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation a55d05c9-45aa-4c2e-98bb-50c6ae94277c · outbound
This paper cites an unresolved cited work.
Proof Scores: A Survey (full version) Unresolved cited work
Reference 94
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T11:51:40.026888Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6084a967-bd87-4a4b-8f11-fb380227e87c · outbound
This paper cites Finding Inductive Loop Invariants using Large Language Models.
Proof Scores: A Survey (full version) Finding Inductive Loop Invariants using Large Language Models
Reference 95
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T11:51:40.029868Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation bea892e2-49f5-42f6-b72a-61b78d00e2b1 · outbound
This paper cites an unresolved cited work.
Proof Scores: A Survey (full version) Unresolved cited work
Reference 96
- Resolution
- verified exact
- doi, observed 2026-08-16T11:51:40.788544Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 95fddcaa-a585-4011-b08f-410b40a28243 · outbound
This paper cites an unresolved cited work.
Proof Scores: A Survey (full version) Unresolved cited work
Reference 97
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T11:51:40.036289Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 09cd7a58-9d77-4c52-8a74-da3508c75006 · outbound
This paper cites an unresolved cited work.
Proof Scores: A Survey (full version) Unresolved cited work
Reference 98
- Resolution
- verified exact
- doi, observed 2026-08-16T11:51:40.779939Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 2949dad8-840a-47af-8531-97d2e529d6e0 · outbound
This paper cites an unresolved cited work.
Proof Scores: A Survey (full version) Unresolved cited work
Reference 99
- Resolution
- verified exact
- doi, observed 2026-08-16T11:51:40.771509Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation b1925ff7-cc9a-450e-a338-624245698345 · outbound
This paper cites an unresolved cited work.
Proof Scores: A Survey (full version) Unresolved cited work
Reference 100
- Resolution
- verified exact
- doi, observed 2026-08-16T11:51:40.761703Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation e921f2b5-3b7b-4ea3-b71c-ac32f8a5adb2 · outbound
This paper cites an unresolved cited work.
Proof Scores: A Survey (full version) Unresolved cited work
Reference 101
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T11:51:40.048875Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation addd6f33-1919-46b7-b33f-fdcd8094001a · outbound
This paper cites an unresolved cited work.
Proof Scores: A Survey (full version) Unresolved cited work
Reference 102
- Resolution
- verified exact
- doi, observed 2026-08-16T11:51:40.745351Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 8cb00ae0-3c05-4de2-9eee-ee9426de316d · outbound
This paper cites an unresolved cited work.
Proof Scores: A Survey (full version) Unresolved cited work
Reference 103
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T11:51:40.055133Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Pith citing papers
No inbound Pith citation observations are available.