{"as_of":"2026-08-19T02:35:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:eb3fe0d20b4569ab1a5345eed847d5c822b71d20ec09f74afe1ae5eb31d082f7","coverage":[{"denominator":182,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":100,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-16T11:51:40.055133Z","state":"measured"},{"denominator":100,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":100,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-18T06:34:40.430872+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/2504.14561/citation-record","integrity":"/paper/2504.14561/integrity","json":"/paper/2504.14561/citation-record.json","paper":"/paper/2504.14561"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:51:39.733618Z","title":null,"venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.733618Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:52823d5f47433ab7addbf689cf9515e62b62aea7b180da40762c5b3e48720741","observation_id":"9dec025e-2301-47a6-a5ee-7858990f3bbe","resolution":{"observed_at":"2026-08-16T11:51:39.733618Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:51:39.737898Z","title":"Butler, Stefan Hallers tede, Thai Son Hoang, Farhad Mehta, and Laurent Voisin","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.737898Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:d184e29ba919d6a37d27f59f1c73ea4c7c628122c01732d324fd48d9d3b39240","observation_id":"8f5cc07f-55d7-487c-8581-ae89e5b93fb0","resolution":{"observed_at":"2026-08-16T11:51:39.737898Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:51:39.744874Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.744874Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:bbbe38f6b35f785a9da820c3eb452650a6ac9e712e8e3913c4f5b88873481123","observation_id":"9a7e4596-7ca8-499b-82e2-7391a8fd89e4","resolution":{"observed_at":"2026-08-16T11:51:39.744874Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:51:39.748148Z","title":"Schmitt, and Mattias Ulbrich (Eds.)","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.748148Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:f00f06de1f184736956de189615ea0030d1880322f373e9c855f2ddfb472f837","observation_id":"c28c3002-faf6-49a1-993e-53340fb10042","resolution":{"observed_at":"2026-08-16T11:51:39.748148Z","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-031-37709-9_9","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-17T11:03:46.409680Z","title":null,"venue":"Lecture notes in computer science","work_id":"0d53664f-567c-47f9-9b16-53c3b1941577","year":2023},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.751720Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:0d365559788d0a6e39faa06c8bb3a9af42a18141be066f79ccd0e2a39d60d5f7","observation_id":"d2360b83-c3bb-4e01-9b55-95cbd30f64db","resolution":{"observed_at":"2026-08-16T11:53:31.898592Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-16T11:51:39.755081Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.755081Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:84de90f8d49a0b4e939ddf841dc39b57bccc0a2a9f89104e17f81406dae44d0d","observation_id":"96289a6c-db54-42af-bcf9-06099a129869","resolution":{"observed_at":"2026-08-16T11:51:39.755081Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:51:39.758229Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.758229Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:32aae91b34ffa79edf49296bd9cc3e11758530e23f315eb722f3cea5acbd8e5d","observation_id":"8b4f8365-464d-4251-bb6a-a64e85c0bac1","resolution":{"observed_at":"2026-08-16T11:51:39.758229Z","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.1587/transinf.e95.d.1342","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:53:31.822369Z","title":null,"venue":null,"work_id":"8ef5cf8d-5fb8-47ce-9c69-fbc4defd0eca","year":2012},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.761320Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:98a3291fc7391077ad2ea1c1d339ad7fad001bc07388ef54375636ce833f26c6","observation_id":"3b40f64c-e400-4c3c-9d45-75c29bec778c","resolution":{"observed_at":"2026-08-16T11:53:31.886446Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/s0304-3975(01)00368-1","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:53:31.810870Z","title":"Mosses, Donald Sannella, and Andrzej Tarlecki","venue":null,"work_id":"6e02eebd-0351-43fb-af85-0f6841c0e089","year":2002},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.764728Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:3a8cf0bacec23be9019c332f61cc8f1cca3f8bffc9ab0d0166fd38f952147ab6","observation_id":"dfed4279-29a8-4c4e-8b82-07b906343b61","resolution":{"observed_at":"2026-08-16T11:53:31.814962Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4230/lipics.itp.2021.4","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:53:31.797588Z","title":"Ayers, Mateja Jamnik, and William T","venue":null,"work_id":"39a08502-0263-4e84-baca-461b3013c16a","year":2021},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.767697Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:d29d7e8176f2d8b7f8756f528f327df7c27fda65df633044188c60acf8f26a12","observation_id":"4cb080a1-b01f-49ae-b8bf-20bcd91712f6","resolution":{"observed_at":"2026-08-16T11:53:31.804122Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.scico.2014.02.006","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:53:31.677707Z","title":null,"venue":null,"work_id":"ef7a31c5-4974-4796-9796-c0201ae7d998","year":2015},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.770825Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:0d5e7d47d2cc5d31cadbd75ee4adfc95f54dddc1a7691e37234418ef7aa6b822","observation_id":"3e26441d-561b-4703-8475-7cdd19d9fe22","resolution":{"observed_at":"2026-08-16T11:53:31.740766Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-16T11:51:39.773835Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.773835Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:739d795e5b546b401079e853384c6dbc449044aa176e3d1bd35a0016bf65cc01","observation_id":"9d7705ef-50d4-47f9-b2e3-e3cf98036a1a","resolution":{"observed_at":"2026-08-16T11:51:39.773835Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:51:39.776881Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.776881Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:be7608532d8e84c2d8e4f015cf8f557b5491aaabb6dd854eab38e29ecbf8b3a1","observation_id":"52a1293b-156f-46b3-b9d3-417e65ca409e","resolution":{"observed_at":"2026-08-16T11:51:39.776881Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:51:39.779883Z","title":"Bergstra, Jan Heering, and Paul Klint","venue":null,"work_id":null,"year":1990},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.779883Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:12947fccacd198cbc77671aa933b70fa0754ae08786fa4e38666731364b922eb","observation_id":"e7ac6536-7ea1-42b4-8a97-80ab0f2667a0","resolution":{"observed_at":"2026-08-16T11:51:39.779883Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:51:39.782844Z","title":null,"venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.782844Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:2ddd7ed1732542e58b05d035f4f6549b497bd10a14ad1c327f7f56f652605137","observation_id":"5cb52c27-3b29-4362-bbce-13e41c9d6109","resolution":{"observed_at":"2026-08-16T11:51:39.782844Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:51:39.785841Z","title":null,"venue":null,"work_id":null,"year":1935},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.785841Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:6635550c5e7f9d7cd0482c76d5cc9c58a8d88084582ff9a7c0cbb0062c4863c3","observation_id":"bdfa3188-04fa-4bc7-9a2c-1758126ff0c7","resolution":{"observed_at":"2026-08-16T11:51:39.785841Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:51:39.788942Z","title":null,"venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.788942Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:1de1b4838754f17387f808ca19930e93de7ace480d9d50fff25114e4e008d1d6","observation_id":"cea50878-cb7e-4320-8c6c-e73ffbee80f0","resolution":{"observed_at":"2026-08-16T11:51:39.788942Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:51:39.791883Z","title":null,"venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.791883Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:2f38de2e6ac7a464178bd8b939a402efb97b1f29e4569ec27c76e7bc9334ef5f","observation_id":"b39d5920-a31c-45df-9def-f990565c1318","resolution":{"observed_at":"2026-08-16T11:51:39.791883Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:51:39.794676Z","title":null,"venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.794676Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:f2b6a5fceb5e0c95603b1dbcb7f89c6dff0e04483ce1881866ebd96ada481885","observation_id":"925eb8f2-4c9a-4077-ba9e-9e553e95a5e4","resolution":{"observed_at":"2026-08-16T11:51:39.794676Z","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/s11042-023-15780-5","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:53:31.642353Z","title":null,"venue":null,"work_id":"4635fc93-ac78-4391-b9d8-238f19314be1","year":2024},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.797761Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:281db0271f09a8d96da65d287d72184e4b0048bdb134a4898cae7ac9233d041c","observation_id":"7405e13e-df38-4d98-834d-1f3522797470","resolution":{"observed_at":"2026-08-16T11:53:31.646957Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-16T11:51:39.800877Z","title":"Burstall and Joseph A","venue":null,"work_id":null,"year":1977},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.800877Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:4e4022861c2bc37db8632048f3f115e2a7eb0bc1e8f470ac31b4b3d5a3bbde45","observation_id":"c3549041-f208-45f4-9979-85b60136cfda","resolution":{"observed_at":"2026-08-16T11:51:39.800877Z","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/3-540-10007-5_41","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-17T11:03:46.409680Z","title":"Burstall and Joseph A","venue":"Lecture notes in computer science","work_id":"154d845f-0fc0-4688-9b0d-81dd77e04a1c","year":1979},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.803728Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:4b0dd4aee88ba6d099105e114ab29fc6251a163cc3c1cc2d53906d594b3c472a","observation_id":"0e16bbf9-991b-435a-abb7-9c7d9be74376","resolution":{"observed_at":"2026-08-16T11:53:31.635624Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-16T11:51:39.806794Z","title":"Burstall, David B","venue":null,"work_id":null,"year":1980},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.806794Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:35155180fe0afd702430a7445cb26a459f2d858d8322167c6342d329b9336a96","observation_id":"9c7506ad-d62b-419c-b862-3faa92d6f80a","resolution":{"observed_at":"2026-08-16T11:51:39.806794Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2406.18616","last_updated":"2024-06-26T04:29:27Z","snapshot_observed_at":"2026-08-16T13:39:33.943672Z","submitted_at":"2024-06-26T04:29:27Z","title":"Towards Large Language Model Aided Program Refinement","version":1},"cited_work":{"arxiv_id":"2406.18616","doi":"10.48550/arxiv.2406.18616","metadata_source":"pith","pith_arxiv_id":"2406.18616","snapshot_observed_at":"2026-08-16T12:16:17.039197Z","title":"Towards Large Language Model Aided Program Refinement","venue":"cs.SE","work_id":"11e4b9b6-12c6-4cb9-a868-dbbf731eb1c0","year":2024},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.809714Z"},"links":{"cited_paper":"/paper/2406.18616","citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:746f79cd2c260b2f121ec27f731de3ea2659ef8d0e7753a905103ff026633619","observation_id":"83f768ac-c052-444a-b37d-af0aaf2f2fc0","resolution":{"observed_at":"2026-08-16T11:53:31.537646Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-16T14:07:50.374691Z","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-08-16T11:51:39.816388Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.816388Z"},"links":{"cited_paper":"/paper/2403.14064","citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:3cb7652d3e9876aa1a04e8cfe6d451fa28843bbae31313690d698ea4fdd3f1d2","observation_id":"457322ef-b68d-4808-a69a-95e22b272a8f","resolution":{"observed_at":"2026-08-16T11:51:39.816388Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:51:39.819706Z","title":"Brown, and Josef Urban","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.819706Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:1190ba886236420deebc1393c875b397bf8aa1fd5d373e3567b90b8344077379","observation_id":"c69c06c3-4d9d-44d2-a6b7-9afb7825bc77","resolution":{"observed_at":"2026-08-16T11:51:39.819706Z","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-55089-9_4","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-17T11:03:46.409680Z","title":null,"venue":"Lecture notes in computer science","work_id":"201f99b6-cb09-4f3e-ab06-2173ab4360f0","year":2019},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.824037Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:c6d6c620729783dca0606edd55ff5054f89254af3b5b819467e6d931c3cfd63a","observation_id":"d1701aea-0c14-4c66-b74e-832cccb67dcb","resolution":{"observed_at":"2026-08-16T11:53:31.468615Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-16T11:51:39.827212Z","title":"Clarke, Orna Grumberg, and Doron A","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.827212Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:236b8d8638bf4410379e2d90b6d1fa760ed470b48f4e6ed9c67a9a5716885135","observation_id":"f35e670e-5756-4e01-a66c-9f59a6b2bec8","resolution":{"observed_at":"2026-08-16T11:51:39.827212Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:51:39.830191Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.830191Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:83e2d8fcf1adc18bc756f3ab61b868cf000ce65ba883dd6bd42fdcf32aaecbdc","observation_id":"cf220d03-2289-44c4-8d62-e7cd902b139e","resolution":{"observed_at":"2026-08-16T11:51:39.830191Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:51:39.833372Z","title":null,"venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.833372Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:b82ca78be2c2dbd9c12ace18268a277865090bd9077587004eb5f648887b3d25","observation_id":"edf34545-e42f-4767-9811-0b973ecbf639","resolution":{"observed_at":"2026-08-16T11:51:39.833372Z","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.3217/jucs-012-11-1618","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:53:31.454760Z","title":null,"venue":null,"work_id":"3f5f003b-4076-46a3-93b2-2ad8b2f457a2","year":2006},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.836249Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:c33ab4413334db1c092ed198f79be41e262b5efb653ed5f156d5c80b3a86932c","observation_id":"2881f59f-4011-4a1a-bd5f-0abcc1ef77ac","resolution":{"observed_at":"2026-08-16T11:53:31.458344Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-16T11:51:39.839584Z","title":null,"venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.839584Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:c5f0ad5fcd6c141e6309ad9ae3175f9945fafb7937f76b980d331f8ef01f22d6","observation_id":"a850ed66-108d-41bd-9894-7a6f0d426f84","resolution":{"observed_at":"2026-08-16T11:51:39.839584Z","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/j.tcs.2013.11.008","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:53:31.443624Z","title":null,"venue":null,"work_id":"1ad54a7d-6788-479f-8388-24141c98d619","year":2014},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.842645Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:a4d4291e23fbdfc0ce5ae461283b57c00acea4c200699320a24bbeb21800b56a","observation_id":"f0a48b2b-829f-4279-9b38-7a0c9b1b7ff4","resolution":{"observed_at":"2026-08-16T11:53:31.448337Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-16T11:51:39.845750Z","title":null,"venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.845750Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:3f4be14213a04b1e5b87c9d100a1deb33683b3f8d1daab50021547a48a202ef6","observation_id":"ef00ce81-caa3-498c-9cce-74507660f988","resolution":{"observed_at":"2026-08-16T11:51:39.845750Z","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-540-27813-9_45","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-17T11:03:46.409680Z","title":"Rushby, Natarajan Shankar, Maria Sorea, and Ashish Tiwari","venue":"Lecture notes in computer science","work_id":"e0803228-32da-4c9e-b5d0-93e1b1728bd7","year":2004},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.848691Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:1224860fee595215848991417e46c70f37cb74fc39c10adae249bf494992d38e","observation_id":"f99fef81-9fdf-4a8b-b296-e4e1798c3a47","resolution":{"observed_at":"2026-08-16T11:53:31.398411Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.tcs.2011.04.008","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:53:31.328423Z","title":null,"venue":null,"work_id":"045a4dd7-a9fc-4e30-bc5b-15422fcf5637","year":2011},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.851761Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:8b4d06ae2311a757eb85672b8aab5bb00e6a7cecc9214df901fda9ee49bf3665","observation_id":"fe8aaa75-ba1b-4413-8353-e4209b95f155","resolution":{"observed_at":"2026-08-16T11:53:31.332475Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.jlamp.2014.03.001","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:53:31.318765Z","title":null,"venue":null,"work_id":"a37b6afd-e379-4f7d-98c1-587401efffd5","year":2014},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.854858Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:dffd4b6f34bec3dfb3ff150efa75d100149e19c4c29dc678c60c77b6583ae8c9","observation_id":"165fdffa-abea-4cb1-8379-b3c875d4eb7b","resolution":{"observed_at":"2026-08-16T11:53:31.321813Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1142/3831","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:53:31.306435Z","title":null,"venue":null,"work_id":"86d710f7-2173-4833-b134-0dc5b93a4384","year":1998},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.858240Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:797dfe15e682db1112135efad73f4727a494cddb1b7e1abac12be823bf470b15","observation_id":"46460e71-0412-4ae3-98c9-26e5bd733821","resolution":{"observed_at":"2026-08-16T11:53:31.311659Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-16T11:51:39.861229Z","title":null,"venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.861229Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:78d713a08c682d0e4e7b16316f5f56a1fe02640dbe1a5d3798dcbaa5920b6e95","observation_id":"88f4d58f-204d-4934-b4e4-f75905de3680","resolution":{"observed_at":"2026-08-16T11:51:39.861229Z","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/s0304-3975(01)00361-9","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:53:31.169086Z","title":null,"venue":null,"work_id":"c3cfad48-60ed-4793-89f6-0c4fbb431580","year":2002},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.864524Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:bf214c7c33706001cb0a62fae9d9e2c3cf6be89135bc36ad9aa4611e3304f90a","observation_id":"03aec090-da69-4538-9652-1d6bfac3ce8f","resolution":{"observed_at":"2026-08-16T11:53:31.222607Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-16T11:51:39.870448Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.870448Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:816b384a1d2651aafc29c38386268c539a1e5fe4ef17df4e81cbc3b660a79389","observation_id":"7f87df1e-7b20-4266-beea-56c42e1681b7","resolution":{"observed_at":"2026-08-16T11:51:39.870448Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:51:39.873543Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.873543Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:91122bc2aececd91b5f630d7f1e24d235fe75f4802ec0a696ca3ca7ce13e6749","observation_id":"41188c41-e6f1-4dff-9538-f0d1e778b8c1","resolution":{"observed_at":"2026-08-16T11:51:39.873543Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:51:39.876565Z","title":null,"venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.876565Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:e7428ce0b2468cf6de774869bcd458ab40a469ea55c8453aae1612d98dc1b7be","observation_id":"348e6c67-704f-4468-9433-0b87a2a4f292","resolution":{"observed_at":"2026-08-16T11:51:39.876565Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:51:39.879744Z","title":null,"venue":null,"work_id":null,"year":1983},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.879744Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:50ee5e6d8458b3883735b3c3f4d3e7ab949c420a788a94d1cf17f4173bcb548f","observation_id":"c8a49d5b-7b85-451d-86b4-2c8bbd47267f","resolution":{"observed_at":"2026-08-16T11:51:39.879744Z","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/s1571-0661(05)82534-4","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:53:31.136292Z","title":null,"venue":null,"work_id":"0a8c617c-0cb1-4521-b6fc-92ee74bd89b5","year":2002},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.882648Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:26fbd0eba285874e65ef4c0e3d71122dac85f7b99526b10c7ebb5fdb38e6a2e8","observation_id":"90a68fb7-796c-4ab0-aa07-e2ab826dda88","resolution":{"observed_at":"2026-08-16T11:53:31.154445Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-16T11:51:39.885832Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.885832Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:e64e330a80b3bca7a3e83a47b295c6caf62918dbfb1c87cc1ef45230ae264103","observation_id":"f8ad0d45-f889-4ab4-befe-58896b7777bb","resolution":{"observed_at":"2026-08-16T11:51:39.885832Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:51:39.889415Z","title":null,"venue":null,"work_id":null,"year":1979},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.889415Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:fff1c22fb8dff98965cd383d3bb14274ee1e9521976842481730d2e4480662f4","observation_id":"1ef3b93e-a2ba-40cd-91cd-f372f26243a1","resolution":{"observed_at":"2026-08-16T11:51:39.889415Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:51:39.892350Z","title":null,"venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.892350Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:b0cdd3b6eecf66e6e76a7b639859d1e0e82a0537ec26329b22146c28148abd3d","observation_id":"4089c0cd-1304-4007-8698-e19bf211cc7a","resolution":{"observed_at":"2026-08-16T11:51:39.892350Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:51:39.895483Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.895483Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:a8268d2decb2df81b8c4ff6cfa51e04a7c025199215a997af370eef9b8723e1e","observation_id":"fad0f63c-5883-49c7-8efd-fc8d179ea996","resolution":{"observed_at":"2026-08-16T11:51:39.895483Z","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-319-15545-6_13","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-17T11:03:46.409680Z","title":null,"venue":"Lecture notes in computer science","work_id":"3e70758b-06e6-44f4-9234-6a93df248dcb","year":2015},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.898500Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:f51a6f81e0f94f4ec478f298b3ac08f2537729924b8788504bcbd9908bb34b11","observation_id":"1321a70c-913d-4cc7-abe4-79be1d4bd2c0","resolution":{"observed_at":"2026-08-16T11:51:41.000335Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-16T11:51:39.901617Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.901617Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:cb7827cb5a403aba27cdd12b36e1b88b7764d6f2455a0d027b0ce701bda68cbb","observation_id":"e3f9c8ec-2bc0-4f5a-83d9-af34248be918","resolution":{"observed_at":"2026-08-16T11:51:39.901617Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:51:39.904367Z","title":null,"venue":null,"work_id":null,"year":1998},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.904367Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:89567152d25df65ee0430cf7a66ab8b2074423645c8a98a584ff431be9d5f3ee","observation_id":"dba6c834-69a1-4322-8ada-ba9b4a965e31","resolution":{"observed_at":"2026-08-16T11:51:39.904367Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:51:39.907330Z","title":null,"venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.907330Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:1c873dbe7302d363d88faf1a763898964538b19f24b97ab4b2fabc7e738165fd","observation_id":"f13dd2ee-2b7e-4b76-9133-c418737d1067","resolution":{"observed_at":"2026-08-16T11:51:39.907330Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:51:39.910096Z","title":"Goguen, Jean-Pierre Joua nnaud, and José Meseguer","venue":null,"work_id":null,"year":1985},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.910096Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:6e65fe1559316f414227f62a255330388a56cc14da2504e604a0e5810d273c98","observation_id":"5d87d1cb-f595-4ef4-bc45-c328002ed0fc","resolution":{"observed_at":"2026-08-16T11:51:39.910096Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:51:39.913352Z","title":"Nakagawa, and Tetsuo Tamai (Eds.)","venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.913352Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:a28ad62433bd93c8a07e667ef5cc19f2b5e5210a429e27e089d122288de22570","observation_id":"66db0b55-9707-4027-a405-511b2a35bd4e","resolution":{"observed_at":"2026-08-16T11:51:39.913352Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:51:39.916301Z","title":null,"venue":null,"work_id":null,"year":1980},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.916301Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:cb6040ccef0709973e2741b30c84f1f745b5d309f030f3be89b93016e6d90080","observation_id":"69eb8d74-b621-4658-b923-0f0cf4b74890","resolution":{"observed_at":"2026-08-16T11:51:39.916301Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:51:39.919288Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.919288Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:57f77c6ecc6a52930b83ef70859f3499b85f3810ff183ade860d116657f3f6f3","observation_id":"f9b3ac54-4b3f-4914-b593-baa45983fd61","resolution":{"observed_at":"2026-08-16T11:51:39.919288Z","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.3217/jucs-018-16-2204","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:51:40.988047Z","title":null,"venue":null,"work_id":"041c7e2a-c14a-4b18-b9b1-d887cc9e9e1d","year":2012},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.922059Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:2cb2547a71fddcd2c5d940a0421b4f17a210aa685607c8e5416254cf799f2f0c","observation_id":"8cdc49bc-70af-4b7d-85a8-45ac1126f990","resolution":{"observed_at":"2026-08-16T11:51:40.991359Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-40206-7_26","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-17T11:03:46.409680Z","title":null,"venue":"Lecture notes in computer science","work_id":"1b6f0e9d-cf66-4125-b777-a77165a300a5","year":2013},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.924857Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:1d5e7b5b5b4e1974ab6c8895a519e9e672394e5ccfc5cc61a2b16b0254bc8d9d","observation_id":"77622a0d-4b69-4249-bc4d-3e5d8a32946e","resolution":{"observed_at":"2026-08-16T11:51:40.982016Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4204/eptcs.393.8","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:51:40.971543Z","title":null,"venue":null,"work_id":"13f4f078-c6a2-47c0-9ed1-5ef3dd835afd","year":2023},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.927772Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:e0bdb616d0513d96a5b5255525d891e22980cfec796d98b040e8f0be4fb6add9","observation_id":"c3d37583-babc-4b66-987b-3c12ab9f61fb","resolution":{"observed_at":"2026-08-16T11:51:40.973985Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/3-540-51081-8_105","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-17T11:03:46.409680Z","title":"Garland and John V","venue":"Lecture notes in computer science","work_id":"06a0707c-b2b6-4b57-b8d8-ab6e9dc0c6e8","year":1989},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.932019Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:4ec6742db158e1c26900b30926a45dfd31006bd70c56b0d4e97138c4d6399019","observation_id":"4505f85e-9783-46cc-a126-98ecaa2a0b35","resolution":{"observed_at":"2026-08-16T11:51:40.966128Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-16T11:51:39.934889Z","title":null,"venue":null,"work_id":null,"year":1985},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.934889Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:a0edbce4a66c0addfa53fa0654d118b241745fcc8cd57e89137327b9d2ab6034","observation_id":"7251d341-1ef7-4322-af5f-6be73c89183a","resolution":{"observed_at":"2026-08-16T11:51:39.934889Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:51:39.938702Z","title":null,"venue":null,"work_id":null,"year":1968},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.938702Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:00cf5ba4b3b0a02dcaf76cc6d3eab8d4a7e7c413900abc88ffdb44ad651f0812","observation_id":"c952139d-bc8d-406e-b746-f489bb625c3d","resolution":{"observed_at":"2026-08-16T11:51:39.938702Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:51:39.941461Z","title":null,"venue":null,"work_id":null,"year":1984},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.941461Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:c329100af3c8f069a0fcfead8483e6fe988c9cfb7abc5802286a02668261145c","observation_id":"5b6a3015-93cf-4d57-b41e-e950abd16c28","resolution":{"observed_at":"2026-08-16T11:51:39.941461Z","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/3-540-53162-9_27","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-17T11:03:46.409680Z","title":null,"venue":"Lecture notes in computer science","work_id":"cd29782f-1977-4d85-a99c-ba41b6fa7fb6","year":1990},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.944314Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:0700fc109ab1eb3c582fb096d10498d855def10c12ec3b43efab1d15d19e5b18","observation_id":"377a7717-70b2-43d3-8858-ced1ee9e4be0","resolution":{"observed_at":"2026-08-16T11:51:40.956719Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1142/9789812794499_0004","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:51:40.944274Z","title":null,"venue":null,"work_id":"368df93a-6f0e-4ac5-8842-c4e6ad7b671a","year":1993},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.947475Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:9ed3c042b02b08287ae8722c820b46368140303e5f505b021d512a3817ba4d13","observation_id":"9ffb0ede-0129-4679-82f7-76a47234751a","resolution":{"observed_at":"2026-08-16T11:51:40.947468Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-16T11:51:39.950618Z","title":null,"venue":null,"work_id":null,"year":1997},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.950618Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:791af036c1d96a2a8a8bf57385b5ec7b337a0cd178fc0df932d2f833a4b8600e","observation_id":"e2287e3d-82d7-45a7-b148-e91e18817e26","resolution":{"observed_at":"2026-08-16T11:51:39.950618Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2101.02690","last_updated":"2021-01-16T22:29:37Z","snapshot_observed_at":"2026-08-18T08:39:48.081698Z","submitted_at":"2021-01-07T18:52:08Z","title":"Theorem Proving and Algebra","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2101.02690","snapshot_observed_at":"2026-08-16T11:51:39.953726Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.953726Z"},"links":{"cited_paper":"/paper/2101.02690","citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:c46fd41cab09740838fa147e74074add0670d0a8b4102b53eeebfc097a795f87","observation_id":"7315d1f1-b790-4d82-924a-b67175a68f61","resolution":{"observed_at":"2026-08-16T11:51:39.953726Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:51:39.957193Z","title":"Goguen and Rod M","venue":null,"work_id":null,"year":1992},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":72,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.957193Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:f0f294481ae7f6997f03797392f833bad1afaebbbbf047b7f0c803d987e2d33e","observation_id":"c1a0d8c8-ce27-46aa-a594-9e81711e0167","resolution":{"observed_at":"2026-08-16T11:51:39.957193Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:51:39.960384Z","title":"Goguen, Claude Kirchner, Hélène Kirchner, Ar istide Mégrelis, José Meseguer, and Timothy C","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":73,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.960384Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:2ec89fe1e88e08fee95ae198015fd75ce7fc824ca81cfe47e0d231d7eebb40b1","observation_id":"8a88437c-3cac-4e8b-827b-5efb484b3cd1","resolution":{"observed_at":"2026-08-16T11:51:39.960384Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:51:39.963782Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":74,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.963782Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:6a607ea5fb265d046d23b02a0da9dc484b4ac354cd25bd4e0fc8308309ae4114","observation_id":"b394d713-5795-4c36-b4a2-1a6d3296d71a","resolution":{"observed_at":"2026-08-16T11:51:39.963782Z","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/s0304-3975(99)00275-3","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:51:40.929493Z","title":"Goguen and Grant Malcolm","venue":null,"work_id":"065e9ae8-9b8a-4bc2-b3e6-a054ecab471f","year":2000},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":75,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.966977Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:0336c059ffd3c893a5bea2cf19b697fce420fb116e2d1c9600b4b2de3681af58","observation_id":"a50a038e-0644-44de-a777-913a4d020434","resolution":{"observed_at":"2026-08-16T11:51:40.932722Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-16T11:51:39.970043Z","title":"Goguen and José Meseguer","venue":null,"work_id":null,"year":1992},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":76,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.970043Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:7727312d7bf1eb45245030ad5eb6ec5c7e2c1c60c065ca9e63ccbbd4ec34ce9b","observation_id":"05b6bed0-f0b3-46b2-9226-3efef9dc9561","resolution":{"observed_at":"2026-08-16T11:51:39.970043Z","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-1-4757-6541-0_1","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-17T11:03:46.409680Z","title":"Goguen, Timothy Winkler, José Meseguer, Koki chi Futatsugi, and Jean-Pierre Jouannaud","venue":"Advances in formal methods","work_id":"e49835a5-2ef6-4660-8a1b-fad8fe39ca00","year":1999},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":77,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.973265Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:68a8f467a56abbef642dae7162c8040126daf8e81231c428f8f6c8c02523c2a6","observation_id":"8c4602fb-804e-4e1f-87d1-0fc7ef652ef6","resolution":{"observed_at":"2026-08-16T11:51:40.917906Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-16T11:51:39.976188Z","title":null,"venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":78,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.976188Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:30860d3fe286f9d8f2c5b04b296fc4cd9142bf2300c34e2e71293fbde7df1192","observation_id":"93cf906a-cd43-4814-a05a-621a2b948b28","resolution":{"observed_at":"2026-08-16T11:51:39.976188Z","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/j.tcs.2020.09.024","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:51:40.906128Z","title":null,"venue":null,"work_id":"d2f9be3d-61ea-4671-a9ec-81052b48b0da","year":2020},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":79,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.979163Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:ae79c8303aefe4e17033e8c80ae79d1a0cb6e9cd1afb98d39ea409d267066a3b","observation_id":"90481374-dc1d-4158-ad43-3e3b3ed6f9ba","resolution":{"observed_at":"2026-08-16T11:51:40.908831Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-1-4612-2704-5","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-17T11:03:46.409680Z","title":"Guttag, James J","venue":null,"work_id":"d3b25a68-10c8-4f03-9389-ef04f7d25975","year":1993},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":80,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.982330Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:d59454e4846b5a9bb3bba7e5014f291fead77ce4d1068dce1320d418daac1c48","observation_id":"123e6a38-edb5-4197-822e-478e446f9b08","resolution":{"observed_at":"2026-08-16T11:51:40.900474Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/apsec.2017.75","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:51:40.888022Z","title":null,"venue":null,"work_id":"2a801ce8-e691-4255-86f4-77efc6136c23","year":2017},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":81,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.985506Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:ccfc3dc3cbb01a594a68680a63b73a5c155cfe2dc9b62968c6c7824486cb6a55","observation_id":"f507c0e7-3d3f-4fb2-b082-e17aba1bfc0b","resolution":{"observed_at":"2026-08-16T11:51:40.891277Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-16T11:51:39.988711Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":82,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.988711Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:1cf4c18145b0fa0f2eceaef9fd4be54bfc3aa224c5d89e451d6c8b43a3f562b3","observation_id":"57593e60-4d0f-4c06-90c1-0f048a88b01c","resolution":{"observed_at":"2026-08-16T11:51:39.988711Z","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.4204/eptcs.359.16","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:51:40.872659Z","title":null,"venue":null,"work_id":"2a31c7e4-6d93-4a64-aba3-f3c63539dd67","year":2022},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":83,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.991750Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:42dd0d9b9af9f1521a96aa75fbd5604528f96f57b4f6069d4f0d91a0d7031ad8","observation_id":"a39c0e72-113d-45f2-92c7-3ea16adce736","resolution":{"observed_at":"2026-08-16T11:51:40.876005Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4204/eptcs.393.13","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:51:40.862618Z","title":null,"venue":null,"work_id":"f2883b8f-a97c-4a98-b5fb-b307d35a33b9","year":2023},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":84,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.994940Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:6c31c3abf1e211fef5964fd05a6bc7b43fd48b95a5ac1db3ac7644d3f78f64c0","observation_id":"79ebaf94-04d9-461e-9876-af1d9def9e3f","resolution":{"observed_at":"2026-08-16T11:51:40.865906Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/bfb0031814","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-18T11:03:46.223893Z","title":null,"venue":"Lecture notes in computer science","work_id":"1d248338-ff0f-4e9e-ba0b-f26bec98aedf","year":1996},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":85,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.997920Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:bd1a8be38f28ed128bd0616c5e6d9a88c6378e223d43514f833fd5d4ed8a415b","observation_id":"daaf4b1d-9037-4b5e-8a5c-682f0844ae1b","resolution":{"observed_at":"2026-08-16T11:51:40.857130Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1023/a:1008712907154","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:51:40.845463Z","title":null,"venue":null,"work_id":"ef9cd146-d2e8-4104-adfc-97ab73b5647e","year":2000},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":86,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:40.000920Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:417f14b5191dbf4a01b2267fea9da421286fab9d31c2604ef41cea4ad27b9c04","observation_id":"c8373f7d-addb-47c9-a38f-61b3faa53705","resolution":{"observed_at":"2026-08-16T11:51:40.848042Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-16T11:51:40.004435Z","title":"Haselwarter, Exequiel Rivas, Antoine Van Mu ylder, Théo Winterhalter, Carmine Abate, Nikolaj Sidorenco, Catalin Hritcu, Kenji Maillard, and Bas Spitters","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":87,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:40.004435Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:b76c68b11c35856e08434bcfcaa342890bce10b90f0a70f0a5709b9397a32d93","observation_id":"58a96032-42c5-4c7a-ae44-8a917bcf4863","resolution":{"observed_at":"2026-08-16T11:51:40.004435Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:51:40.008186Z","title":null,"venue":null,"work_id":null,"year":1969},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":88,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:40.008186Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:8d91ada2ec0a20c07aecd1010f07a5086379316687b007923430de46ae1bec96","observation_id":"78cc611e-db06-48c5-9ec4-fcfe7133edc3","resolution":{"observed_at":"2026-08-16T11:51:40.008186Z","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/0004-3702(85)90074-8","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:51:40.829316Z","title":null,"venue":null,"work_id":"32931f4c-fe37-4cd3-a5a3-41fe02d6df25","year":1985},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":89,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:40.011339Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:d9385171d32ac98de60b558363b5352bc6ee4f8abce0c0cbd8b2f6102f396d87","observation_id":"62c22670-60d6-4868-95f1-5549198c2391","resolution":{"observed_at":"2026-08-16T11:51:40.832467Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-16T11:51:40.014853Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":90,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:40.014853Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:c307e954dd5e82ad95134508a29affc3bb749f2d46c4e229873049a9259ce370","observation_id":"5afe882f-47ff-40b9-bdaf-9eb01795c5f9","resolution":{"observed_at":"2026-08-16T11:51:40.014853Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:51:40.017813Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":91,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:40.017813Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:e13eaf80045826816d05780a9b215b859162d23a911c7721a5d94ff8aac6687d","observation_id":"1bc3eabc-54e7-45b0-b8f8-e867a9d2e001","resolution":{"observed_at":"2026-08-16T11:51:40.017813Z","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/11542384_16","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-17T11:03:46.409680Z","title":null,"venue":"Lecture notes in computer science","work_id":"fc175e2e-59a6-437b-9b64-c205a96aeacc","year":2006},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":92,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:40.020815Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:fa20f4d66c6ff32a3ed404b6e2e996507366fbeb9b437bd251f6756a9ecbb926","observation_id":"69253cc2-ac8c-4882-aa84-62d7dd276464","resolution":{"observed_at":"2026-08-16T11:51:40.822407Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3622827","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:51:40.809782Z","title":null,"venue":null,"work_id":"4fecf8ba-59f2-4372-bc2c-89124933275b","year":2023},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":93,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:40.023926Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:9977f6ec27c6ce41ca7da35afae4b13869b91491158bf8c601de4a8641460c33","observation_id":"72284a1b-63f3-484f-a0ad-93150dc65e87","resolution":{"observed_at":"2026-08-16T11:51:40.812970Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-16T11:51:40.026888Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":94,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:40.026888Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:e6b9db8e14fb23b9cef1930aec957e6c2a1809e52bdf78bb361e314dcb7e50a0","observation_id":"a55d05c9-45aa-4c2e-98bb-50c6ae94277c","resolution":{"observed_at":"2026-08-16T11:51:40.026888Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2311.07948","last_updated":"2023-11-14T06:58:09Z","snapshot_observed_at":"2026-08-16T14:43:32.571028Z","submitted_at":"2023-11-14T06:58:09Z","title":"Finding Inductive Loop Invariants using Large Language Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2311.07948","snapshot_observed_at":"2026-08-16T11:51:40.029868Z","title":"Lahiri, Akash Lal, Aseem Rastogi, Subhajit Roy, and Rahul Sharma","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":95,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:40.029868Z"},"links":{"cited_paper":"/paper/2311.07948","citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:14aade61398958d72bf014ce8e19ead39de00680ae071c7f58d8a1dabf422de1","observation_id":"6084a967-bd87-4a4b-8f11-fb380227e87c","resolution":{"observed_at":"2026-08-16T11:51:40.029868Z","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.5555/555902","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:51:40.785628Z","title":null,"venue":null,"work_id":"046b0382-96fc-439f-a61f-40b251b328fb","year":2000},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":96,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:40.033220Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:2d881fae15c29512d1f92ec0744d3d8d03ae5aab8dbfc5a8b0bfeb696c1d1237","observation_id":"bea892e2-49f5-42f6-b72a-61b78d00e2b1","resolution":{"observed_at":"2026-08-16T11:51:40.788544Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-16T11:51:40.036289Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":97,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:40.036289Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:ec63f0850d70157c20419b6c9fcbde06c9bf7c02d5d077b0a75ccc04a302ddd5","observation_id":"95fddcaa-a585-4011-b08f-410b40a28243","resolution":{"observed_at":"2026-08-16T11:51:40.036289Z","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-540-73210-5_21","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-17T11:03:46.409680Z","title":null,"venue":"Lecture notes in computer science","work_id":"7ebfa3c6-1d5a-4e39-adf0-bc9462f385a3","year":2007},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":98,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:40.039667Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:f2e92b2bdaeb8872c9eb84c9e759e8a28d4327d36417309a8112d8f42f6fcd5e","observation_id":"09cd7a58-9d77-4c52-8a74-da3508c75006","resolution":{"observed_at":"2026-08-16T11:51:40.779939Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1142/s0218194007003124","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:51:40.767964Z","title":null,"venue":null,"work_id":"2466f244-ebd1-4f92-866f-a5b9b883ac85","year":2007},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":99,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:40.042764Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:c1db5d0539e829aed4f1883f8024487bb27b3cf9bbe16a39815baf8fd3ede633","observation_id":"2949dad8-840a-47af-8531-97d2e529d6e0","resolution":{"observed_at":"2026-08-16T11:51:40.771509Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1587/transinf.e93.d.974","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:51:40.757891Z","title":null,"venue":null,"work_id":"abad73ed-4689-4b0a-8016-5b6e0b097056","year":2010},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":100,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:40.045646Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:440d80facd416c635c53a637e4f2f452b1d20840c78931c69d6c1dd072478997","observation_id":"b1925ff7-cc9a-450e-a338-624245698345","resolution":{"observed_at":"2026-08-16T11:51:40.761703Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-16T11:51:40.048875Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":101,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:40.048875Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:ec57f74fdca92968c3f4d27c4359260d1e5e15e5c9c1390dfd2f6b2e5236f089","observation_id":"e921f2b5-3b7b-4ea3-b71c-ac32f8a5adb2","resolution":{"observed_at":"2026-08-16T11:51:40.048875Z","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-319-98938-9_16","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-17T11:03:46.409680Z","title":null,"venue":"Lecture notes in computer science","work_id":"1751d4bd-03eb-4972-8c62-2127536c3e16","year":2018},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":102,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:40.052064Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:40aa85dc7e71de81c882b82ed06392d9d5ad79e456b260d8880fd8a8d97ef235","observation_id":"addd6f33-1919-46b7-b33f-fdcd8094001a","resolution":{"observed_at":"2026-08-16T11:51:40.745351Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-16T11:51:40.055133Z","title":null,"venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":103,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:40.055133Z"},"links":{"citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:90db4aa2f396b2f6a2cefd8be2b78be433b426418b06eb72df8ec1d9965508a7","observation_id":"8cb00ae0-3c05-4de2-9eee-ee9426de316d","resolution":{"observed_at":"2026-08-16T11:51:40.055133Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-17T23:39:24.930622Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)"},"reference_resolution":{"displayed":100,"state_counts":{"malformed_identifier":2,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":58,"verified_exact":40,"verified_fuzzy":0},"total_outbound_references":182},"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-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"thesis":"As of 19 August 2026, this Paper Citation Record lists 100 of 182 outbound references and 0 inbound Pith citation observations for arXiv:2504.14561."}