{"as_of":"2026-08-06T03:02:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:112d5dbf57825806527584804ea533d4546701f5bb6fa1dfab603c034ca7d0d5","coverage":[{"denominator":72,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":72,"source":"paper_references, paper_reference_links","source_observed_at":"2026-06-25T20:51:33.256476Z","state":"measured"},{"denominator":72,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":72,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-05T06:32:48.257954+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/2606.25561/citation-record","integrity":"/paper/2606.25561/integrity","json":"/paper/2606.25561/citation-record.json","paper":"/paper/2606.25561"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.18653/v1/2021.acl-short.53","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":null,"work_id":"487e680d-e0cd-40c1-bc69-c3d5efcbcf86","year":2021},"citing_paper":{"arxiv_id":"2606.25561","last_updated":"2026-06-24T08:37:38Z","snapshot_observed_at":"2026-08-02T18:51:27.426890Z","submitted_at":"2026-06-24T08:37:38Z","title":"CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-06-25T20:51:33.256476Z"},"links":{"citing_paper":"/paper/2606.25561"},"observation_digest":"sha256:cda865cf406dbf62f37c75b4bd0a7f6872168ec6cc83310b7e1831e05be0ed9f","observation_id":"5aaffc08-d2e7-47ba-bb90-e319a1dbe075","resolution":{"observed_at":"2026-06-25T20:58:21.218871Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-25T20:51:33.256476Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2606.25561","last_updated":"2026-06-24T08:37:38Z","snapshot_observed_at":"2026-08-02T18:51:27.426890Z","submitted_at":"2026-06-24T08:37:38Z","title":"CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-06-25T20:51:33.256476Z"},"links":{"citing_paper":"/paper/2606.25561"},"observation_digest":"sha256:2a4b39c0549c38b51e1da46a69aafff1a162d526defd2b79fdfd624746cf6c37","observation_id":"14655963-2b5a-4da6-999a-d154afb81c52","resolution":{"observed_at":"2026-06-25T20:51:33.256476Z","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-06-25T20:51:33.256476Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2606.25561","last_updated":"2026-06-24T08:37:38Z","snapshot_observed_at":"2026-08-02T18:51:27.426890Z","submitted_at":"2026-06-24T08:37:38Z","title":"CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-06-25T20:51:33.256476Z"},"links":{"citing_paper":"/paper/2606.25561"},"observation_digest":"sha256:818fbf30995c1d51943e527123c65ec857891e98c389128cfd503da49600e205","observation_id":"c66d7224-84b8-459c-b15e-91f15a8b481c","resolution":{"observed_at":"2026-06-25T20:51:33.256476Z","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/11513988_27","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Lecture notes in computer science","work_id":"d5ba2aca-f83f-4bd2-9207-936973bb35d2","year":2005},"citing_paper":{"arxiv_id":"2606.25561","last_updated":"2026-06-24T08:37:38Z","snapshot_observed_at":"2026-08-02T18:51:27.426890Z","submitted_at":"2026-06-24T08:37:38Z","title":"CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-06-25T20:51:33.256476Z"},"links":{"citing_paper":"/paper/2606.25561"},"observation_digest":"sha256:05e739ece17ca07651597970f3831976fc4b2fe4e06da916b58f866a2a5355b9","observation_id":"d76e234b-6c97-4819-9ea3-cd99e8e09e1e","resolution":{"observed_at":"2026-06-25T20:58:21.215464Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s00165-012-0269-9","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Formal Aspects of Computing","work_id":"e74560f3-97a5-48d1-9aa8-525d1e5516fc","year":2014},"citing_paper":{"arxiv_id":"2606.25561","last_updated":"2026-06-24T08:37:38Z","snapshot_observed_at":"2026-08-02T18:51:27.426890Z","submitted_at":"2026-06-24T08:37:38Z","title":"CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-06-25T20:51:33.256476Z"},"links":{"citing_paper":"/paper/2606.25561"},"observation_digest":"sha256:09fdcb218a5c722a7ae9c007fd6a3ffce8a8e4e0f02d77073c02a5fb66d9b769","observation_id":"a836d77a-c1ba-4a19-937b-d960353d43be","resolution":{"observed_at":"2026-06-25T20:58:21.213819Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-25T20:51:33.256476Z","title":"Ayers, Dragomir Radev, and Jeremy Avigad","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.25561","last_updated":"2026-06-24T08:37:38Z","snapshot_observed_at":"2026-08-02T18:51:27.426890Z","submitted_at":"2026-06-24T08:37:38Z","title":"CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-06-25T20:51:33.256476Z"},"links":{"citing_paper":"/paper/2606.25561"},"observation_digest":"sha256:64222dfae403e0f769e5734d591fe76d05ccf4bdde11e2bf8f4c3314c8ffd5b0","observation_id":"4d83e361-4976-45d0-92eb-b14b12132867","resolution":{"observed_at":"2026-06-25T20:51:33.256476Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2302.12433","last_updated":"2023-02-24T03:28:46Z","snapshot_observed_at":"2026-07-06T14:55:19.727805Z","submitted_at":"2023-02-24T03:28:46Z","title":"ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics","version":1},"cited_work":{"arxiv_id":"2302.12433","doi":"10.48550/arxiv.2302.12433","metadata_source":"arxiv_reference","pith_arxiv_id":"2302.12433","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Proofnet: Autoformalizing and formally proving undergraduate-level mathematics","venue":"arXiv (Cornell University)","work_id":"d5be73f4-5f56-4254-94ca-01e3bba69c3c","year":2023},"citing_paper":{"arxiv_id":"2606.25561","last_updated":"2026-06-24T08:37:38Z","snapshot_observed_at":"2026-08-02T18:51:27.426890Z","submitted_at":"2026-06-24T08:37:38Z","title":"CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-06-25T20:51:33.256476Z"},"links":{"cited_paper":"/paper/2302.12433","citing_paper":"/paper/2606.25561"},"observation_digest":"sha256:2a3e80ebec2426b15ebdf0af3f8231698d522b7de5d8631f5a07923a7b99b8c8","observation_id":"331fab86-ec80-48bc-b885-ae368e598045","resolution":{"observed_at":"2026-06-25T20:58:21.177384Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-07-12T04:49:09.745563+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-12T04:49:09.745563+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"0001.2021","doi":"10.1109/sp40001.2021","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"ARBITRAR: user-guided API misuse detection","venue":null,"work_id":"970e1fc0-4dcb-4491-a54d-d28fc97089f2","year":2021},"citing_paper":{"arxiv_id":"2606.25561","last_updated":"2026-06-24T08:37:38Z","snapshot_observed_at":"2026-08-02T18:51:27.426890Z","submitted_at":"2026-06-24T08:37:38Z","title":"CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-06-25T20:51:33.256476Z"},"links":{"citing_paper":"/paper/2606.25561"},"observation_digest":"sha256:8295208cb15de7de05c3f89bc948c57ba5fdd27ebd903b991567232af4fce8c3","observation_id":"8870ba75-b363-4e71-9a9e-3312df0cef4d","resolution":{"observed_at":"2026-06-25T20:58:21.190618Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-22792-9_5","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In CRYPTO (LNCS, Vol","venue":"Lecture notes in computer science","work_id":"c7a61318-d9a5-4da8-80be-0adb74d85496","year":2011},"citing_paper":{"arxiv_id":"2606.25561","last_updated":"2026-06-24T08:37:38Z","snapshot_observed_at":"2026-08-02T18:51:27.426890Z","submitted_at":"2026-06-24T08:37:38Z","title":"CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-06-25T20:51:33.256476Z"},"links":{"citing_paper":"/paper/2606.25561"},"observation_digest":"sha256:3cb11e38bec534f861ca7a2224c5d12994f04a7b150f058711da47739c39138a","observation_id":"f70c77b7-115d-4326-a316-d5f15e15f1e8","resolution":{"observed_at":"2026-06-25T20:58:21.199994Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"3734.324384","doi":"10.1145/3243734.3243846","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Basin, Jannik Dreier, Lucca Hirschi, Sasa Radomirovic, Ralf Sasse, and Vincent Stettler","venue":null,"work_id":"e0badd6f-f00c-4b6d-8789-8a873e502374","year":2018},"citing_paper":{"arxiv_id":"2606.25561","last_updated":"2026-06-24T08:37:38Z","snapshot_observed_at":"2026-08-02T18:51:27.426890Z","submitted_at":"2026-06-24T08:37:38Z","title":"CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-06-25T20:51:33.256476Z"},"links":{"citing_paper":"/paper/2606.25561"},"observation_digest":"sha256:9612420efd0f509211d355c4ffbaff92ddc982f03559dc91df37a8ba23e401c0","observation_id":"93233e11-711f-4034-b580-13237d2b9766","resolution":{"observed_at":"2026-06-25T20:58:21.180443Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-25T20:51:33.256476Z","title":null,"venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2606.25561","last_updated":"2026-06-24T08:37:38Z","snapshot_observed_at":"2026-08-02T18:51:27.426890Z","submitted_at":"2026-06-24T08:37:38Z","title":"CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-06-25T20:51:33.256476Z"},"links":{"citing_paper":"/paper/2606.25561"},"observation_digest":"sha256:41f0cefffaf9168555ee3e1c7420db69c0e9c85a1c467fee61f3029c41f233a4","observation_id":"a3937866-3680-45d4-ba3f-930babd64ecc","resolution":{"observed_at":"2026-06-25T20:51:33.256476Z","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":"2001.930138","doi":"10.1109/csfw.2001.930138","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":null,"work_id":"c2a0a1a7-65e5-4a73-986c-7476b6cafa4b","year":2001},"citing_paper":{"arxiv_id":"2606.25561","last_updated":"2026-06-24T08:37:38Z","snapshot_observed_at":"2026-08-02T18:51:27.426890Z","submitted_at":"2026-06-24T08:37:38Z","title":"CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-06-25T20:51:33.256476Z"},"links":{"citing_paper":"/paper/2606.25561"},"observation_digest":"sha256:eae617d7b2e1154c872bddc0ee8aa44e11c7a566dc3790c6b96557aa4dd0ff18","observation_id":"118212cf-3133-42e0-9025-a207206a49d9","resolution":{"observed_at":"2026-06-25T20:58:21.192170Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-07-13T16:49:34.297869+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-13T16:49:34.297869+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/sp.2006.1","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":null,"work_id":"33aba33a-9294-4a1a-953f-2311c854cb8f","year":2006},"citing_paper":{"arxiv_id":"2606.25561","last_updated":"2026-06-24T08:37:38Z","snapshot_observed_at":"2026-08-02T18:51:27.426890Z","submitted_at":"2026-06-24T08:37:38Z","title":"CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-06-25T20:51:33.256476Z"},"links":{"citing_paper":"/paper/2606.25561"},"observation_digest":"sha256:25e523e2fd20535ff9b0c2a4a9735ecd550db55c34f5cbb4d27e3aaeafd30bbc","observation_id":"272a1c77-9bdf-4ad4-92c4-aea262e32fcc","resolution":{"observed_at":"2026-06-25T20:58:21.153598Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-25T20:51:33.256476Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2606.25561","last_updated":"2026-06-24T08:37:38Z","snapshot_observed_at":"2026-08-02T18:51:27.426890Z","submitted_at":"2026-06-24T08:37:38Z","title":"CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-06-25T20:51:33.256476Z"},"links":{"citing_paper":"/paper/2606.25561"},"observation_digest":"sha256:19ceaf15f462075992748dd05fb90ba55400d127ed6a92b9cecc1c1bcaa73279","observation_id":"1e117e45-6cb6-4ff4-9f46-7d7eb8badfed","resolution":{"observed_at":"2026-06-25T20:51:33.256476Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2303.12712","last_updated":"2023-04-13T20:41:31Z","snapshot_observed_at":"2026-08-03T04:49:15.195814Z","submitted_at":"2023-03-22T16:51:28Z","title":"Sparks of Artificial General Intelligence: Early experiments with GPT-4","version":5},"cited_work":{"arxiv_id":"2303.12712","doi":"10.48550/arxiv.2303.12712","metadata_source":"pith","pith_arxiv_id":"2303.12712","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Sparks of Artificial General Intelligence: Early experiments with GPT-4","venue":"cs.CL","work_id":"a23cfe92-7f7c-424b-98d4-b386a83002fb","year":2023},"citing_paper":{"arxiv_id":"2606.25561","last_updated":"2026-06-24T08:37:38Z","snapshot_observed_at":"2026-08-02T18:51:27.426890Z","submitted_at":"2026-06-24T08:37:38Z","title":"CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-06-25T20:51:33.256476Z"},"links":{"cited_paper":"/paper/2303.12712","citing_paper":"/paper/2606.25561"},"observation_digest":"sha256:7968fa372b2fe9abf7f075b54596752233ca01e69e1e8b6d44bcd9359c6301c9","observation_id":"d52f2f35-9cff-4279-aa02-cad60d187635","resolution":{"observed_at":"2026-06-25T20:58:21.189407Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2107.03374","last_updated":"2021-07-14T17:16:02Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2021-07-07T17:41:24Z","title":"Evaluating Large Language Models Trained on Code","version":2},"cited_work":{"arxiv_id":"2107.03374","doi":"10.48550/arxiv.2107.03374","metadata_source":"pith","pith_arxiv_id":"2107.03374","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Evaluating Large Language Models Trained on Code","venue":"cs.LG","work_id":"042493e9-b26f-4b4e-bbde-382072ca9b08","year":2021},"citing_paper":{"arxiv_id":"2606.25561","last_updated":"2026-06-24T08:37:38Z","snapshot_observed_at":"2026-08-02T18:51:27.426890Z","submitted_at":"2026-06-24T08:37:38Z","title":"CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-06-25T20:51:33.256476Z"},"links":{"cited_paper":"/paper/2107.03374","citing_paper":"/paper/2606.25561"},"observation_digest":"sha256:38d4036b0d8c8d7ac6c940ad9313e8b57327f8a4846a57a1ea089f6f1a106d44","observation_id":"643254b1-d566-45f9-acf4-dcaccb1d2e04","resolution":{"observed_at":"2026-07-04T20:00:08.520404Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-01T08:08:23.404839+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-01T08:08:23.404839+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.18653/v1/2023.emnlp-main.985","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":null,"work_id":"17344dca-af37-4613-aff0-323e651b49d3","year":2023},"citing_paper":{"arxiv_id":"2606.25561","last_updated":"2026-06-24T08:37:38Z","snapshot_observed_at":"2026-08-02T18:51:27.426890Z","submitted_at":"2026-06-24T08:37:38Z","title":"CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-06-25T20:51:33.256476Z"},"links":{"citing_paper":"/paper/2606.25561"},"observation_digest":"sha256:ed01f36db4a3150c9aeb52f53f9dac64fcdc558ff7f69fa56daf6d195aaa9312","observation_id":"79a9c36b-c1ba-4193-845a-4fdcc9345db1","resolution":{"observed_at":"2026-06-25T20:58:21.205264Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-25T20:51:33.256476Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2606.25561","last_updated":"2026-06-24T08:37:38Z","snapshot_observed_at":"2026-08-02T18:51:27.426890Z","submitted_at":"2026-06-24T08:37:38Z","title":"CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-06-25T20:51:33.256476Z"},"links":{"citing_paper":"/paper/2606.25561"},"observation_digest":"sha256:0ab8c234f28c69ff1cf5e7b62c0e2f2ce69c691a44178d96a5fc126110bb6b50","observation_id":"660ed88b-6271-4bc2-a36d-e559148956e4","resolution":{"observed_at":"2026-06-25T20:51:33.256476Z","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-06-25T20:51:33.256476Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2606.25561","last_updated":"2026-06-24T08:37:38Z","snapshot_observed_at":"2026-08-02T18:51:27.426890Z","submitted_at":"2026-06-24T08:37:38Z","title":"CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-06-25T20:51:33.256476Z"},"links":{"citing_paper":"/paper/2606.25561"},"observation_digest":"sha256:0e36ce20fb1df4ea6aeadeac1b2ff9a5d041bb154d0058467dc38bdd2f7bfe9e","observation_id":"82c7d776-6742-43b6-ba8f-210864a438c8","resolution":{"observed_at":"2026-06-25T20:51:33.256476Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s10817-010-9187-9","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Journal of Automated Reasoning","work_id":"48649e4b-7e1c-4231-8da8-bd30992f0ad0","year":2011},"citing_paper":{"arxiv_id":"2606.25561","last_updated":"2026-06-24T08:37:38Z","snapshot_observed_at":"2026-08-02T18:51:27.426890Z","submitted_at":"2026-06-24T08:37:38Z","title":"CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-06-25T20:51:33.256476Z"},"links":{"citing_paper":"/paper/2606.25561"},"observation_digest":"sha256:cc066e0ff3adec697b6dd8372e2cdb57e333a6df76ac421c1227457a5baf5fb5","observation_id":"89ee5693-58c6-436a-9add-f24bc77ca7be","resolution":{"observed_at":"2026-06-25T20:58:21.201752Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-37703-7_18","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Davis, M.H.A., Norman, A.R","venue":"Lecture notes in computer science","work_id":"594801d8-8082-4d3a-95ec-ef4c72256231","year":2023},"citing_paper":{"arxiv_id":"2606.25561","last_updated":"2026-06-24T08:37:38Z","snapshot_observed_at":"2026-08-02T18:51:27.426890Z","submitted_at":"2026-06-24T08:37:38Z","title":"CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-06-25T20:51:33.256476Z"},"links":{"citing_paper":"/paper/2606.25561"},"observation_digest":"sha256:5b490dbfcc9edd7bb799243b3cbefdd82134fcd72ba1b457ba32cfda2f7d0cb3","observation_id":"3399af32-70fb-4cd5-bd51-60150bd27ac3","resolution":{"observed_at":"2026-06-25T20:58:21.203461Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-05-20T14:52:33.678471+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-20T14:52:33.678471+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-540-70545-1_38","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Lecture notes in computer science","work_id":"43ec5f00-fd9c-432f-ac25-195876bfe80b","year":2008},"citing_paper":{"arxiv_id":"2606.25561","last_updated":"2026-06-24T08:37:38Z","snapshot_observed_at":"2026-08-02T18:51:27.426890Z","submitted_at":"2026-06-24T08:37:38Z","title":"CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-06-25T20:51:33.256476Z"},"links":{"citing_paper":"/paper/2606.25561"},"observation_digest":"sha256:680aca92f7582212e02268e5ce0e59cda43c26eea0ade5397fe263d61bc1c4f3","observation_id":"5627af77-2bf1-4976-a56d-c90778a63a25","resolution":{"observed_at":"2026-06-25T20:58:21.183169Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.17487/rfc5246","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"The Transport Layer Security (TLS) Protocol Version 1.2","venue":null,"work_id":"b0310039-1649-4961-a6a9-549a35f48d92","year":2008},"citing_paper":{"arxiv_id":"2606.25561","last_updated":"2026-06-24T08:37:38Z","snapshot_observed_at":"2026-08-02T18:51:27.426890Z","submitted_at":"2026-06-24T08:37:38Z","title":"CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-06-25T20:51:33.256476Z"},"links":{"citing_paper":"/paper/2606.25561"},"observation_digest":"sha256:7c0782e86f1e825e68035b88ce0b8dc3d861518a8ed860668c7f56a11fc29df6","observation_id":"285fd465-1b63-4359-919d-17f6acda25f2","resolution":{"observed_at":"2026-06-25T20:58:21.217272Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-01T03:25:19.804243Z","title":"Bayesian Segmentation of Atrium Wall Using Globally-Optimal Graph Cuts on 3D Meshes","venue":null,"work_id":"475c3083-390a-4af7-8574-036552bff47f","year":2013},"citing_paper":{"arxiv_id":"2606.25561","last_updated":"2026-06-24T08:37:38Z","snapshot_observed_at":"2026-08-02T18:51:27.426890Z","submitted_at":"2026-06-24T08:37:38Z","title":"CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-06-25T20:51:33.256476Z"},"links":{"citing_paper":"/paper/2606.25561"},"observation_digest":"sha256:bcef473d23162701946826d806382fc8f1ecf61fec22096d73355a67e81ee2a2","observation_id":"a8f158e1-66b1-46cc-9180-656385426e8e","resolution":{"observed_at":"2026-06-25T20:58:21.186900Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-25T20:51:33.256476Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.25561","last_updated":"2026-06-24T08:37:38Z","snapshot_observed_at":"2026-08-02T18:51:27.426890Z","submitted_at":"2026-06-24T08:37:38Z","title":"CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-06-25T20:51:33.256476Z"},"links":{"citing_paper":"/paper/2606.25561"},"observation_digest":"sha256:5585805f5449d49ff845bd7eb386c367be2edf5b635d75ce9258fc026e687746","observation_id":"51ebd000-0f0b-43f0-a26b-d0c87c890a4c","resolution":{"observed_at":"2026-06-25T20:51:33.256476Z","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-06-25T20:51:33.256476Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.25561","last_updated":"2026-06-24T08:37:38Z","snapshot_observed_at":"2026-08-02T18:51:27.426890Z","submitted_at":"2026-06-24T08:37:38Z","title":"CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-06-25T20:51:33.256476Z"},"links":{"citing_paper":"/paper/2606.25561"},"observation_digest":"sha256:61530424408d1b008e26b192e984af09dadb9d55277ce1634d7f9a8b0a5ac3b3","observation_id":"c408d849-597e-4568-9fc2-9232a35c7818","resolution":{"observed_at":"2026-06-25T20:51:33.256476Z","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-06-25T20:51:33.256476Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.25561","last_updated":"2026-06-24T08:37:38Z","snapshot_observed_at":"2026-08-02T18:51:27.426890Z","submitted_at":"2026-06-24T08:37:38Z","title":"CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-06-25T20:51:33.256476Z"},"links":{"citing_paper":"/paper/2606.25561"},"observation_digest":"sha256:ff395da273d6c40853a54c5c31f1270ad1656ea6c1f5dc06351b87caa37c091c","observation_id":"f6aeaf22-1e86-4ff2-ad5f-887b7553ed21","resolution":{"observed_at":"2026-06-25T20:51:33.256476Z","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-06-25T20:51:33.256476Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.25561","last_updated":"2026-06-24T08:37:38Z","snapshot_observed_at":"2026-08-02T18:51:27.426890Z","submitted_at":"2026-06-24T08:37:38Z","title":"CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-06-25T20:51:33.256476Z"},"links":{"citing_paper":"/paper/2606.25561"},"observation_digest":"sha256:759817f09757bb371d3e79af2de0d8459b1f6ab857e4c99ccfaa6d9f8e7b585f","observation_id":"a833a222-579b-420a-9668-7c69cad737f4","resolution":{"observed_at":"2026-06-25T20:51:33.256476Z","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-06-25T20:51:33.256476Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.25561","last_updated":"2026-06-24T08:37:38Z","snapshot_observed_at":"2026-08-02T18:51:27.426890Z","submitted_at":"2026-06-24T08:37:38Z","title":"CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-06-25T20:51:33.256476Z"},"links":{"citing_paper":"/paper/2606.25561"},"observation_digest":"sha256:5587b26953517c3ea299dc61191ffbe73df7d17ee8d50211af06896aa3ec108b","observation_id":"921b154c-236d-4893-bb1c-0b51bcea066e","resolution":{"observed_at":"2026-06-25T20:51:33.256476Z","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.18653/v1/2020.findings-emnlp.139","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-01T00:45:11.450695Z","title":"CodeBERT: A pre-trained model for programming and natural languages","venue":"Findings of the Association for Computational Linguistics: EMNLP 2020","work_id":"87bb2915-abd6-4c5e-bc05-f9c7a96435b9","year":2020},"citing_paper":{"arxiv_id":"2606.25561","last_updated":"2026-06-24T08:37:38Z","snapshot_observed_at":"2026-08-02T18:51:27.426890Z","submitted_at":"2026-06-24T08:37:38Z","title":"CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-06-25T20:51:33.256476Z"},"links":{"citing_paper":"/paper/2606.25561"},"observation_digest":"sha256:8ae639ce729fcb2ad7bea01d58431560719fc5b2d920b8e541b8acadd6a529c0","observation_id":"3c60c67b-fe2a-47eb-9740-b04bb58f388c","resolution":{"observed_at":"2026-06-25T20:58:21.149043Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-07-12T16:19:40.851233+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-12T16:19:40.851233+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-25T20:51:33.256476Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2606.25561","last_updated":"2026-06-24T08:37:38Z","snapshot_observed_at":"2026-08-02T18:51:27.426890Z","submitted_at":"2026-06-24T08:37:38Z","title":"CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-06-25T20:51:33.256476Z"},"links":{"citing_paper":"/paper/2606.25561"},"observation_digest":"sha256:983bcb5ac73f3893972b48ed0504f1100aa3249d01fbab5ac73ff129df879408","observation_id":"c877de5a-01cb-40f1-8427-634510983ad5","resolution":{"observed_at":"2026-06-25T20:51:33.256476Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3428269","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Proceedings of the ACM on Programming Languages","work_id":"d49814c2-e39b-4a55-8756-c9ee79c9155f","year":2020},"citing_paper":{"arxiv_id":"2606.25561","last_updated":"2026-06-24T08:37:38Z","snapshot_observed_at":"2026-08-02T18:51:27.426890Z","submitted_at":"2026-06-24T08:37:38Z","title":"CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-06-25T20:51:33.256476Z"},"links":{"citing_paper":"/paper/2606.25561"},"observation_digest":"sha256:026a17017cfea8122b984a6900c7f7ae2e9c46231076f6b3dad42176f131db1b","observation_id":"7507c78e-6da5-43f7-a8d1-d909c253a8d6","resolution":{"observed_at":"2026-06-25T20:58:21.163862Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2406.12793","last_updated":"2024-07-30T03:58:11Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2024-06-18T16:58:21Z","title":"ChatGLM: A Family of Large Language Models from GLM-130B to GLM-4 All Tools","version":2},"cited_work":{"arxiv_id":"2406.12793","doi":"10.48550/arxiv.2406.12793","metadata_source":"pith","pith_arxiv_id":"2406.12793","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"ChatGLM: A Family of Large Language Models from GLM-130B to GLM-4 All Tools","venue":"cs.CL","work_id":"de9ce5af-0d8d-4b94-9793-64968d9bc06d","year":2024},"citing_paper":{"arxiv_id":"2606.25561","last_updated":"2026-06-24T08:37:38Z","snapshot_observed_at":"2026-08-02T18:51:27.426890Z","submitted_at":"2026-06-24T08:37:38Z","title":"CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-06-25T20:51:33.256476Z"},"links":{"cited_paper":"/paper/2406.12793","citing_paper":"/paper/2606.25561"},"observation_digest":"sha256:67165e3b0f3a9527ea5bfb35849528083b6c8bbd22f7f3ead4365ecda15540a1","observation_id":"e7c9c61f-8831-4863-9625-fce66958990e","resolution":{"observed_at":"2026-06-25T20:58:21.166897Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2501.12948","last_updated":"2026-01-04T03:57:36Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2025-01-22T15:19:35Z","title":"DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning","version":2},"cited_work":{"arxiv_id":"2501.12948","doi":"10.1016/j.artmed.2024.103001","metadata_source":"pith","pith_arxiv_id":"2501.12948","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning","venue":"cs.CL","work_id":"e6b75ad5-2877-4168-97c8-710407094d20","year":2025},"citing_paper":{"arxiv_id":"2606.25561","last_updated":"2026-06-24T08:37:38Z","snapshot_observed_at":"2026-08-02T18:51:27.426890Z","submitted_at":"2026-06-24T08:37:38Z","title":"CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-06-25T20:51:33.256476Z"},"links":{"cited_paper":"/paper/2501.12948","citing_paper":"/paper/2606.25561"},"observation_digest":"sha256:359c8349238e5bd1cf052c18dbab21c7a16a1e66df8bb19e6b1e15ee50080416","observation_id":"20a3dadb-cc36-4f62-9b81-2c9986209647","resolution":{"observed_at":"2026-06-25T20:58:21.151660Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.18653/v1/p19-1444","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Towards Complex Text-to- SQL in Cross-Domain Database with Intermediate Representation","venue":null,"work_id":"397f2739-eae9-426d-a2f9-3b67f3162cde","year":2019},"citing_paper":{"arxiv_id":"2606.25561","last_updated":"2026-06-24T08:37:38Z","snapshot_observed_at":"2026-08-02T18:51:27.426890Z","submitted_at":"2026-06-24T08:37:38Z","title":"CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-06-25T20:51:33.256476Z"},"links":{"citing_paper":"/paper/2606.25561"},"observation_digest":"sha256:9ef847c98caf212a2e6faab16d6d00cae27a45918501b6b9370cee946e66d0b6","observation_id":"9afd186c-525f-4273-a2e8-6e2ce8571b2b","resolution":{"observed_at":"2026-06-25T20:58:21.207557Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.17487/rfc6749","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Available at:https://datatracker.ietf.org/doc/html/ rfc6749","venue":null,"work_id":"d944c6e3-1dc3-4792-8296-49d9a2d39960","year":2012},"citing_paper":{"arxiv_id":"2606.25561","last_updated":"2026-06-24T08:37:38Z","snapshot_observed_at":"2026-08-02T18:51:27.426890Z","submitted_at":"2026-06-24T08:37:38Z","title":"CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-06-25T20:51:33.256476Z"},"links":{"citing_paper":"/paper/2606.25561"},"observation_digest":"sha256:b3692a342180b913a8a82c8ee26889e76b5788792bf9071d29fbe71432cfe80a","observation_id":"ab87c3ed-d50c-4e3e-9d05-a53914538a61","resolution":{"observed_at":"2026-06-25T20:58:21.193817Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-01T14:08:12.646192+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-01T14:08:12.646192+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-25T20:51:33.256476Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2606.25561","last_updated":"2026-06-24T08:37:38Z","snapshot_observed_at":"2026-08-02T18:51:27.426890Z","submitted_at":"2026-06-24T08:37:38Z","title":"CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-06-25T20:51:33.256476Z"},"links":{"citing_paper":"/paper/2606.25561"},"observation_digest":"sha256:019a06a0a1a2ab47acfaffb210d0bbac56b32f74889a4f321806f7d23dff87a1","observation_id":"6181fc2d-584c-4322-8882-ee8438e43f9f","resolution":{"observed_at":"2026-06-25T20:51:33.256476Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2410.21276","last_updated":"2024-10-25T17:43:01Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2024-10-25T17:43:01Z","title":"GPT-4o System Card","version":1},"cited_work":{"arxiv_id":"2410.21276","doi":"10.1177/15248380231178756","metadata_source":"pith","pith_arxiv_id":"2410.21276","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"GPT-4o System Card","venue":"cs.CL","work_id":"f37bf1c7-4964-4e56-9762-d20da8d9009f","year":2024},"citing_paper":{"arxiv_id":"2606.25561","last_updated":"2026-06-24T08:37:38Z","snapshot_observed_at":"2026-08-02T18:51:27.426890Z","submitted_at":"2026-06-24T08:37:38Z","title":"CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-06-25T20:51:33.256476Z"},"links":{"cited_paper":"/paper/2410.21276","citing_paper":"/paper/2606.25561"},"observation_digest":"sha256:1357a8d88a1552d2eec62a00b2634111ffb5d084f95abadf8cb7a66140942801","observation_id":"25f2cf78-f8a7-40b4-bc42-b4626bb836cf","resolution":{"observed_at":"2026-06-25T20:58:21.158996Z","resolver_source":"local_arxiv","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-65277-","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-25T20:58:21.177948Z","title":null,"venue":null,"work_id":"d0a91bc9-d439-4ade-8ddb-35573c06b9ef","year":2020},"citing_paper":{"arxiv_id":"2606.25561","last_updated":"2026-06-24T08:37:38Z","snapshot_observed_at":"2026-08-02T18:51:27.426890Z","submitted_at":"2026-06-24T08:37:38Z","title":"CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-06-25T20:51:33.256476Z"},"links":{"citing_paper":"/paper/2606.25561"},"observation_digest":"sha256:611668dc264635935274080c43109fc29296ee45d47e2bea2d7a96239a2021c9","observation_id":"ec3e9237-765b-4b49-acbb-6e72e44949a0","resolution":{"observed_at":"2026-06-25T20:58:21.179034Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-25T20:51:33.256476Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2606.25561","last_updated":"2026-06-24T08:37:38Z","snapshot_observed_at":"2026-08-02T18:51:27.426890Z","submitted_at":"2026-06-24T08:37:38Z","title":"CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-06-25T20:51:33.256476Z"},"links":{"citing_paper":"/paper/2606.25561"},"observation_digest":"sha256:58f5309ea6a9369d80673bd7f7e720bcfa7f837d45e00c435a3426b33ee64262","observation_id":"b54da693-ad85-42eb-8d99-8867ee5271ef","resolution":{"observed_at":"2026-06-25T20:51:33.256476Z","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":"4904.379300","doi":"10.1145/3774904.3793001","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-11T11:50:26.030339Z","title":null,"venue":null,"work_id":"346728e1-c56d-4c77-9a42-b19e6cda8c82","year":2026},"citing_paper":{"arxiv_id":"2606.25561","last_updated":"2026-06-24T08:37:38Z","snapshot_observed_at":"2026-08-02T18:51:27.426890Z","submitted_at":"2026-06-24T08:37:38Z","title":"CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-06-25T20:51:33.256476Z"},"links":{"citing_paper":"/paper/2606.25561"},"observation_digest":"sha256:6786713a0da33d2b0a684d28eb054ec6dced76c4bbe0ae4cd37b994e8252afa6","observation_id":"7344760d-801b-4759-a064-fd7bfbddc948","resolution":{"observed_at":"2026-06-25T20:58:21.128397Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2203.07814","last_updated":"2022-02-08T23:16:31Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2022-02-08T23:16:31Z","title":"Competition-Level Code Generation with AlphaCode","version":1},"cited_work":{"arxiv_id":"2203.07814","doi":"10.48550/arxiv.2203.07814","metadata_source":"pith","pith_arxiv_id":"2203.07814","snapshot_observed_at":"2026-07-10T06:15:00.866473Z","title":"Competition-Level Code Generation with AlphaCode","venue":"cs.PL","work_id":"00d9ab4d-e694-4677-8132-332873a8f9a7","year":2022},"citing_paper":{"arxiv_id":"2606.25561","last_updated":"2026-06-24T08:37:38Z","snapshot_observed_at":"2026-08-02T18:51:27.426890Z","submitted_at":"2026-06-24T08:37:38Z","title":"CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-06-25T20:51:33.256476Z"},"links":{"cited_paper":"/paper/2203.07814","citing_paper":"/paper/2606.25561"},"observation_digest":"sha256:496bec4ad17ebbbe476ffdff199d06d28017faffcebd4fc7e22c5cc2717fc6e1","observation_id":"bfc1729c-5f9e-4c8e-b685-c9a2dca31e4f","resolution":{"observed_at":"2026-06-25T20:58:21.166727Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-07-09T08:48:34.328608+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-09T08:48:34.328608+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-65630-9_15","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: CA V (2024)","venue":"Lecture notes in computer science","work_id":"d182f69e-1603-4ef5-b447-7d23b239d2ac","year":2024},"citing_paper":{"arxiv_id":"2606.25561","last_updated":"2026-06-24T08:37:38Z","snapshot_observed_at":"2026-08-02T18:51:27.426890Z","submitted_at":"2026-06-24T08:37:38Z","title":"CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-06-25T20:51:33.256476Z"},"links":{"citing_paper":"/paper/2606.25561"},"observation_digest":"sha256:a1fb981b02ff502eb15ff71c02f2047e0ca46643c09f883a870e53f0cff90c04","observation_id":"8569a94c-968e-4208-93f7-8b31b252009e","resolution":{"observed_at":"2026-06-25T20:58:21.192244Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-05-20T09:22:23.69461+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-20T09:22:23.69461+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-59618-7_2","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Lecture notes in computer science","work_id":"a9066771-2993-491c-b2b4-dba62a2b8bf4","year":2020},"citing_paper":{"arxiv_id":"2606.25561","last_updated":"2026-06-24T08:37:38Z","snapshot_observed_at":"2026-08-02T18:51:27.426890Z","submitted_at":"2026-06-24T08:37:38Z","title":"CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-06-25T20:51:33.256476Z"},"links":{"citing_paper":"/paper/2606.25561"},"observation_digest":"sha256:2bafa64e135d61897355fbe2be2428a074dbf936fafbb5faffce5333076de79f","observation_id":"1f137175-db4e-429c-adfc-388a0b8c3114","resolution":{"observed_at":"2026-06-25T20:58:21.184838Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-25T20:51:33.256476Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2606.25561","last_updated":"2026-06-24T08:37:38Z","snapshot_observed_at":"2026-08-02T18:51:27.426890Z","submitted_at":"2026-06-24T08:37:38Z","title":"CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-06-25T20:51:33.256476Z"},"links":{"citing_paper":"/paper/2606.25561"},"observation_digest":"sha256:57c8ee0d529681b7ffc8a6bf62de14a910e567c9a7285c3bba68f366c25f9155","observation_id":"7c1f4367-1b00-4712-a099-f7803964e2df","resolution":{"observed_at":"2026-06-25T20:51:33.256476Z","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.1162/tacl_a_00638","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-11T03:27:45.037248Z","title":"Liu, Kevin Lin, John Hewitt, Ashwin Paranjape, Michele Bevilacqua, Fabio Petroni, and Percy Liang","venue":"Transactions of the Association for Computational Linguistics","work_id":"9c9c91f9-a321-4e33-8897-d66f6ad0f659","year":2024},"citing_paper":{"arxiv_id":"2606.25561","last_updated":"2026-06-24T08:37:38Z","snapshot_observed_at":"2026-08-02T18:51:27.426890Z","submitted_at":"2026-06-24T08:37:38Z","title":"CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-06-25T20:51:33.256476Z"},"links":{"citing_paper":"/paper/2606.25561"},"observation_digest":"sha256:1d65f7d158a3d7f74ce95927a95fa33a9f74b76c46d1dd6a9fee9318e37f4c4f","observation_id":"e5163587-38df-4a07-8646-070d82ea2203","resolution":{"observed_at":"2026-06-25T20:58:21.210110Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-07-11T01:49:34.34815+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-11T01:49:34.34815+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/0020-0190(95)00144-2","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Information Processing Letters","work_id":"407a7ab5-b511-46ca-9f80-8421bd6625c2","year":1995},"citing_paper":{"arxiv_id":"2606.25561","last_updated":"2026-06-24T08:37:38Z","snapshot_observed_at":"2026-08-02T18:51:27.426890Z","submitted_at":"2026-06-24T08:37:38Z","title":"CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-06-25T20:51:33.256476Z"},"links":{"citing_paper":"/paper/2606.25561"},"observation_digest":"sha256:e2e072dfdfbd2a9063d6a3f669e492574260321bb5f220ed18aa160654681c4a","observation_id":"e7050f91-8337-4729-be84-22eceaa7f9ac","resolution":{"observed_at":"2026-06-25T20:58:21.195543Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2024.337156","doi":"10.1109/tdsc.2024.3371569","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"IEEE Transactions on Dependable and Secure Computing","work_id":"78558d57-a5e3-4da3-beff-6ef0bb4ae256","year":2024},"citing_paper":{"arxiv_id":"2606.25561","last_updated":"2026-06-24T08:37:38Z","snapshot_observed_at":"2026-08-02T18:51:27.426890Z","submitted_at":"2026-06-24T08:37:38Z","title":"CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-06-25T20:51:33.256476Z"},"links":{"citing_paper":"/paper/2606.25561"},"observation_digest":"sha256:9c16e9eb08fc5f104864c8c644c0f77c6bc6651ed3b5bed10c6e2281ed03adb1","observation_id":"1554e54d-02d2-4eef-a89e-056f64fb6201","resolution":{"observed_at":"2026-06-25T20:58:21.162258Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2022.316286","doi":"10.1109/access.2022.3162866","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"IEEE Transactions on Computational Social Sys- tems10(3), 1039–1056 (2023) https://doi.or g/10.1109/TCSS.2022.3162869","venue":"IEEE Access","work_id":"8f494491-e2dd-4dca-a1c2-f54b89f8c2a2","year":2023},"citing_paper":{"arxiv_id":"2606.25561","last_updated":"2026-06-24T08:37:38Z","snapshot_observed_at":"2026-08-02T18:51:27.426890Z","submitted_at":"2026-06-24T08:37:38Z","title":"CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-06-25T20:51:33.256476Z"},"links":{"citing_paper":"/paper/2606.25561"},"observation_digest":"sha256:3061952e9bbeeb43cfceeddd27b4576b188ddf5dc6f7450feab503bbeb0c9bee","observation_id":"34381b76-9bd0-4b64-9a45-1236b645bb0d","resolution":{"observed_at":"2026-06-25T20:58:21.194816Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"5347.2025","doi":"10.1109/icse55347.2025","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"2025.IRFuzzer: Specialized Fuzzing for LLVM Backend Code Generation","venue":null,"work_id":"c383b7e9-bd1e-4268-b134-a4e43d7560a3","year":2025},"citing_paper":{"arxiv_id":"2606.25561","last_updated":"2026-06-24T08:37:38Z","snapshot_observed_at":"2026-08-02T18:51:27.426890Z","submitted_at":"2026-06-24T08:37:38Z","title":"CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-06-25T20:51:33.256476Z"},"links":{"citing_paper":"/paper/2606.25561"},"observation_digest":"sha256:71a978006f541e7e7ef6ac3a52a006a380f73a937e568d5beea24e62495cb08d","observation_id":"26628d8e-cf16-4732-bbfd-8575ea210ed8","resolution":{"observed_at":"2026-06-25T20:58:21.197477Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-25T20:51:33.256476Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.25561","last_updated":"2026-06-24T08:37:38Z","snapshot_observed_at":"2026-08-02T18:51:27.426890Z","submitted_at":"2026-06-24T08:37:38Z","title":"CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-06-25T20:51:33.256476Z"},"links":{"citing_paper":"/paper/2606.25561"},"observation_digest":"sha256:d2553579ff48e112e2e7a03d76ac6c6298c149a2737679a1a4df4c52bfcb38b4","observation_id":"e11b19db-c31d-4f46-92c5-3d81cd13ac6a","resolution":{"observed_at":"2026-06-25T20:51:33.256476Z","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":"9657.359659","doi":"10.1145/359657.359659","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Needham and Michael D","venue":"Communications of the ACM","work_id":"37b991e6-662d-4600-a61e-0f5aee1879e1","year":1978},"citing_paper":{"arxiv_id":"2606.25561","last_updated":"2026-06-24T08:37:38Z","snapshot_observed_at":"2026-08-02T18:51:27.426890Z","submitted_at":"2026-06-24T08:37:38Z","title":"CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-06-25T20:51:33.256476Z"},"links":{"citing_paper":"/paper/2606.25561"},"observation_digest":"sha256:3f3ff49afb8fcb9af90fe9a8e03556b6dcce9d12b12af0af0889a8ce1b4fe68a","observation_id":"68479948-1b52-4c94-ab60-85d5e8645bc8","resolution":{"observed_at":"2026-06-25T20:58:21.200102Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-25T20:51:33.256476Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2606.25561","last_updated":"2026-06-24T08:37:38Z","snapshot_observed_at":"2026-08-02T18:51:27.426890Z","submitted_at":"2026-06-24T08:37:38Z","title":"CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-06-25T20:51:33.256476Z"},"links":{"citing_paper":"/paper/2606.25561"},"observation_digest":"sha256:c40b0e50c4f2658a4fe5078169f96561cc6522d0271bbc2fa80a453b173f9a26","observation_id":"28211191-49c9-420f-9485-4f90fb35e9ec","resolution":{"observed_at":"2026-06-25T20:51:33.256476Z","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-06-25T20:51:33.256476Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.25561","last_updated":"2026-06-24T08:37:38Z","snapshot_observed_at":"2026-08-02T18:51:27.426890Z","submitted_at":"2026-06-24T08:37:38Z","title":"CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-06-25T20:51:33.256476Z"},"links":{"citing_paper":"/paper/2606.25561"},"observation_digest":"sha256:3448a66d3259e3ddaeee466ec4b16c21468ad8300e1c91919c6f1f09f1a2e01c","observation_id":"43b6b1f7-67ef-4071-ad3d-f9f034a0f081","resolution":{"observed_at":"2026-06-25T20:51:33.256476Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2009.03393","last_updated":"2020-09-07T19:50:10Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2020-09-07T19:50:10Z","title":"Generative Language Modeling for Automated Theorem Proving","version":1},"cited_work":{"arxiv_id":"2009.03393","doi":"10.48550/arxiv.2009.03393","metadata_source":"pith","pith_arxiv_id":"2009.03393","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Generative Language Modeling for Automated Theorem Proving","venue":"cs.LG","work_id":"73e4b095-67c3-4dfa-bd2f-ac77de3e125f","year":2020},"citing_paper":{"arxiv_id":"2606.25561","last_updated":"2026-06-24T08:37:38Z","snapshot_observed_at":"2026-08-02T18:51:27.426890Z","submitted_at":"2026-06-24T08:37:38Z","title":"CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-06-25T20:51:33.256476Z"},"links":{"cited_paper":"/paper/2009.03393","citing_paper":"/paper/2606.25561"},"observation_digest":"sha256:ac56f68025a79dc42d01661ef604b62b1f756ca89a3f2ce0881166ad1eca2d89","observation_id":"c46ddf65-f048-4f24-bd3e-422d73009643","resolution":{"observed_at":"2026-07-04T20:00:08.523259Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-05-25T06:24:06.618072+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-25T06:24:06.618072+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-25T20:51:33.256476Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2606.25561","last_updated":"2026-06-24T08:37:38Z","snapshot_observed_at":"2026-08-02T18:51:27.426890Z","submitted_at":"2026-06-24T08:37:38Z","title":"CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-06-25T20:51:33.256476Z"},"links":{"citing_paper":"/paper/2606.25561"},"observation_digest":"sha256:c0f18f9236884502e7dba73428a163c6beca20cadb709af2054d932ad0a468a0","observation_id":"22aa2e30-d510-4a2a-81c8-aebfe2c8dac0","resolution":{"observed_at":"2026-06-25T20:51:33.256476Z","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.18653/v1/d19-1410","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T01:56:41.012481Z","title":"Sentence- BERT : Sentence Embeddings using S iamese BERT -Networks","venue":"Proceedings of the 2019 Conference on Empirical Methods in Natural Language Processing and the 9th International Joint Conference on Natural Language Processing (EMNLP-IJCNLP)","work_id":"cf07889b-1f35-4d81-9514-4ad3ed223c57","year":2019},"citing_paper":{"arxiv_id":"2606.25561","last_updated":"2026-06-24T08:37:38Z","snapshot_observed_at":"2026-08-02T18:51:27.426890Z","submitted_at":"2026-06-24T08:37:38Z","title":"CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-06-25T20:51:33.256476Z"},"links":{"citing_paper":"/paper/2606.25561"},"observation_digest":"sha256:11e05a4b19f569d588061032cb233da2939a32c2e03c0c987a17b6020fa4e73e","observation_id":"659fbcb4-d63b-4a5b-8452-82733d22b4fe","resolution":{"observed_at":"2026-06-25T20:58:21.202092Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-07-20T15:23:54.681257+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-20T15:23:54.681257+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1503.09060","last_updated":"2015-03-28T00:38:33Z","snapshot_observed_at":"2026-08-04T06:13:48.156556Z","submitted_at":"2015-03-28T00:38:33Z","title":"A Tutorial Introduction to the Lambda Calculus","version":1},"cited_work":{"arxiv_id":"1503.09060","doi":null,"metadata_source":"pith","pith_arxiv_id":"1503.09060","snapshot_observed_at":"2026-07-04T20:00:08.516603Z","title":"A Tutorial Introduction to the Lambda Calculus","venue":"cs.LO","work_id":"6db546c7-1453-47ad-b120-ffc5979344d6","year":2015},"citing_paper":{"arxiv_id":"2606.25561","last_updated":"2026-06-24T08:37:38Z","snapshot_observed_at":"2026-08-02T18:51:27.426890Z","submitted_at":"2026-06-24T08:37:38Z","title":"CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-06-25T20:51:33.256476Z"},"links":{"cited_paper":"/paper/1503.09060","citing_paper":"/paper/2606.25561"},"observation_digest":"sha256:80d85b41b7a78d5140f4b706852ef84d868ee1a7725caaf79aaccebd39ea702c","observation_id":"5183a604-ed3e-487f-a880-5052fbb80fcf","resolution":{"observed_at":"2026-07-04T20:00:08.517869Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2507.06261","last_updated":"2025-12-19T14:25:46Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2025-07-07T17:36:04Z","title":"Gemini 2.5: Pushing the Frontier with Advanced Reasoning, Multimodality, Long Context, and Next Generation Agentic Capabilities","version":6},"cited_work":{"arxiv_id":"2507.06261","doi":"10.48550/arxiv.2503.19","metadata_source":"pith","pith_arxiv_id":"2507.06261","snapshot_observed_at":"2026-07-11T03:17:51.364436Z","title":"Gemini 2.5: Pushing the Frontier with Advanced Reasoning, Multimodality, Long Context, and Next Generation Agentic Capabilities","venue":"cs.CL","work_id":"008df105-2fdd-45d8-857a-8e35868aecb6","year":2025},"citing_paper":{"arxiv_id":"2606.25561","last_updated":"2026-06-24T08:37:38Z","snapshot_observed_at":"2026-08-02T18:51:27.426890Z","submitted_at":"2026-06-24T08:37:38Z","title":"CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-06-25T20:51:33.256476Z"},"links":{"cited_paper":"/paper/2507.06261","citing_paper":"/paper/2606.25561"},"observation_digest":"sha256:4cf1981401027aa7dbb51ee1584204f38719d8fc5f3aca67b85fce74a1f8d712","observation_id":"339a5524-289a-45f0-af3b-0d2a2a525e57","resolution":{"observed_at":"2026-06-25T20:58:21.157460Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.18653/v1/2023.acl-long.706","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"DT-Solver:AutomatedTheoremProvingwithDynamic-TreeSampling Guided by Proof-level Value Function","venue":null,"work_id":"e87ce2d8-75dc-4338-bf69-722e5256a0dd","year":2023},"citing_paper":{"arxiv_id":"2606.25561","last_updated":"2026-06-24T08:37:38Z","snapshot_observed_at":"2026-08-02T18:51:27.426890Z","submitted_at":"2026-06-24T08:37:38Z","title":"CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-06-25T20:51:33.256476Z"},"links":{"citing_paper":"/paper/2606.25561"},"observation_digest":"sha256:eee74c3962ababfa8b278063f4204aab2b736fa70ef33b0a3b5a6d318f14ea64","observation_id":"7bb90cd7-aa13-4aad-9d72-d7227307c043","resolution":{"observed_at":"2026-06-25T20:58:21.188060Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-07-14T11:49:49.046093+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-14T11:49:49.046093+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-25T20:51:33.256476Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2606.25561","last_updated":"2026-06-24T08:37:38Z","snapshot_observed_at":"2026-08-02T18:51:27.426890Z","submitted_at":"2026-06-24T08:37:38Z","title":"CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes","version":1},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-06-25T20:51:33.256476Z"},"links":{"citing_paper":"/paper/2606.25561"},"observation_digest":"sha256:a01d54abec24991d120a859259c8b92f4e3d4599c06b21ac1051db34d5d01658","observation_id":"b9a43223-8f3e-4f0a-bdbe-b888f3746a67","resolution":{"observed_at":"2026-06-25T20:51:33.256476Z","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-06-25T20:51:33.256476Z","title":"Chi, Quoc V","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2606.25561","last_updated":"2026-06-24T08:37:38Z","snapshot_observed_at":"2026-08-02T18:51:27.426890Z","submitted_at":"2026-06-24T08:37:38Z","title":"CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes","version":1},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-06-25T20:51:33.256476Z"},"links":{"citing_paper":"/paper/2606.25561"},"observation_digest":"sha256:03c8737b719a6d0afe98e3f4e9be05237b81290a1f338fe3fd49a0e8f4e19a9a","observation_id":"3302d4c0-ddfc-459c-9800-d5c319137946","resolution":{"observed_at":"2026-06-25T20:51:33.256476Z","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-06-25T20:51:33.256476Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.25561","last_updated":"2026-06-24T08:37:38Z","snapshot_observed_at":"2026-08-02T18:51:27.426890Z","submitted_at":"2026-06-24T08:37:38Z","title":"CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes","version":1},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-06-25T20:51:33.256476Z"},"links":{"citing_paper":"/paper/2606.25561"},"observation_digest":"sha256:4d7ee52d87ab141c38544ced923709931723e652ec9581592540848e92682581","observation_id":"74633d9f-7778-4894-a8e5-a9d762e44874","resolution":{"observed_at":"2026-06-25T20:51:33.256476Z","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-06-25T20:51:33.256476Z","title":"Swope, Alex Gu, et al","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2606.25561","last_updated":"2026-06-24T08:37:38Z","snapshot_observed_at":"2026-08-02T18:51:27.426890Z","submitted_at":"2026-06-24T08:37:38Z","title":"CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes","version":1},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-06-25T20:51:33.256476Z"},"links":{"citing_paper":"/paper/2606.25561"},"observation_digest":"sha256:db48d68dac64939580a1e859b9d9a146de510a81977d51fde02403f5a5d868fc","observation_id":"83545c3b-bbfa-4566-ac36-90e02d37f19a","resolution":{"observed_at":"2026-06-25T20:51:33.256476Z","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-06-25T20:51:33.256476Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2606.25561","last_updated":"2026-06-24T08:37:38Z","snapshot_observed_at":"2026-08-02T18:51:27.426890Z","submitted_at":"2026-06-24T08:37:38Z","title":"CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes","version":1},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-06-25T20:51:33.256476Z"},"links":{"citing_paper":"/paper/2606.25561"},"observation_digest":"sha256:9cef9eaac4152e6740ffd982554e0034bd6bbf576dfa99b480cc6d8230fd55ce","observation_id":"ea387ec1-7bff-464c-b5ab-f5b31fba7f84","resolution":{"observed_at":"2026-06-25T20:51:33.256476Z","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.17487/rfc4252","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":null,"work_id":"74df1c41-2aca-44eb-848d-75332fbeb2cb","year":2006},"citing_paper":{"arxiv_id":"2606.25561","last_updated":"2026-06-24T08:37:38Z","snapshot_observed_at":"2026-08-02T18:51:27.426890Z","submitted_at":"2026-06-24T08:37:38Z","title":"CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes","version":1},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-06-25T20:51:33.256476Z"},"links":{"citing_paper":"/paper/2606.25561"},"observation_digest":"sha256:bfc078266f081c3c49ffa548c4b16c54bb20a130446d1dbaa18d96ef991b7f2d","observation_id":"1a135d44-58a3-4c65-8581-3d0face615b2","resolution":{"observed_at":"2026-06-25T20:58:21.172750Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"4904.379225","doi":"10.1145/3774904.3792254","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":null,"work_id":"306ba0c9-c290-4cbf-93cb-17f87d806216","year":2026},"citing_paper":{"arxiv_id":"2606.25561","last_updated":"2026-06-24T08:37:38Z","snapshot_observed_at":"2026-08-02T18:51:27.426890Z","submitted_at":"2026-06-24T08:37:38Z","title":"CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes","version":1},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-06-25T20:51:33.256476Z"},"links":{"citing_paper":"/paper/2606.25561"},"observation_digest":"sha256:5a7e4ea6873d204acbb96ab8c77da62c6a15b5027587be5820099f2b1bf2801f","observation_id":"8c8e90e5-1224-4214-95d8-8eacaab2adce","resolution":{"observed_at":"2026-06-25T20:58:21.186092Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"1643.361635","doi":"10.1145/3611643.3616350","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"An extensive study on adversarial attack against pre-trained models of code","venue":null,"work_id":"258585f9-e43c-4689-80f9-4429431b7f2c","year":2023},"citing_paper":{"arxiv_id":"2606.25561","last_updated":"2026-06-24T08:37:38Z","snapshot_observed_at":"2026-08-02T18:51:27.426890Z","submitted_at":"2026-06-24T08:37:38Z","title":"CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes","version":1},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-06-25T20:51:33.256476Z"},"links":{"citing_paper":"/paper/2606.25561"},"observation_digest":"sha256:f5c9ad02718ff5386b8f7a1502b88803657b0a01b9bc81ac657587aab6ec949c","observation_id":"eb49d492-9bf8-436a-9a3c-811d19a75334","resolution":{"observed_at":"2026-06-25T20:58:21.205214Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-09T14:16:16.764150Z","title":"In: Proc","venue":null,"work_id":"452f975d-5e1f-47e0-967f-db1ed9da0d80","year":2025},"citing_paper":{"arxiv_id":"2606.25561","last_updated":"2026-06-24T08:37:38Z","snapshot_observed_at":"2026-08-02T18:51:27.426890Z","submitted_at":"2026-06-24T08:37:38Z","title":"CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes","version":1},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-06-25T20:51:33.256476Z"},"links":{"citing_paper":"/paper/2606.25561"},"observation_digest":"sha256:ba8185b79c4f81719c65d50cc22ed10056e83efcdc6ccae33ff94769f3cedd0e","observation_id":"7de62301-2879-41e6-aa8b-2b527bc6670d","resolution":{"observed_at":"2026-06-25T20:58:21.212076Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-25T20:51:33.256476Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.25561","last_updated":"2026-06-24T08:37:38Z","snapshot_observed_at":"2026-08-02T18:51:27.426890Z","submitted_at":"2026-06-24T08:37:38Z","title":"CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes","version":1},"reference_index":72,"source":"pdf_text","source_observed_at":"2026-06-25T20:51:33.256476Z"},"links":{"citing_paper":"/paper/2606.25561"},"observation_digest":"sha256:0bc845c1ce4e9685a302b7d9c9c66095daaefe07a08e4d085f12b23438f337df","observation_id":"5a1391e7-66c5-4cf0-ad40-7e78c017dee4","resolution":{"observed_at":"2026-06-25T20:51:33.256476Z","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-06-25T20:51:33.256476Z","title":"Xing, Hao Zhang, Joseph E","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2606.25561","last_updated":"2026-06-24T08:37:38Z","snapshot_observed_at":"2026-08-02T18:51:27.426890Z","submitted_at":"2026-06-24T08:37:38Z","title":"CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes","version":1},"reference_index":73,"source":"pdf_text","source_observed_at":"2026-06-25T20:51:33.256476Z"},"links":{"citing_paper":"/paper/2606.25561"},"observation_digest":"sha256:100d3d8b8a44ae188668bdc4daff0c8f739a70a6a442584ec0d750c3a0889553","observation_id":"ecfca908-33a6-417d-9b00-8fc834a52dcb","resolution":{"observed_at":"2026-06-25T20:51:33.256476Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2406.11931","last_updated":"2024-06-17T13:51:35Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2024-06-17T13:51:35Z","title":"DeepSeek-Coder-V2: Breaking the Barrier of Closed-Source Models in Code Intelligence","version":1},"cited_work":{"arxiv_id":"2406.11931","doi":"10.48550/arxiv.2406.11931","metadata_source":"pith","pith_arxiv_id":"2406.11931","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"DeepSeek-Coder-V2: Breaking the Barrier of Closed-Source Models in Code Intelligence","venue":"cs.SE","work_id":"713a39be-8c4e-4ee3-8671-11cf9379262f","year":2024},"citing_paper":{"arxiv_id":"2606.25561","last_updated":"2026-06-24T08:37:38Z","snapshot_observed_at":"2026-08-02T18:51:27.426890Z","submitted_at":"2026-06-24T08:37:38Z","title":"CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes","version":1},"reference_index":74,"source":"pdf_text","source_observed_at":"2026-06-25T20:51:33.256476Z"},"links":{"cited_paper":"/paper/2406.11931","citing_paper":"/paper/2606.25561"},"observation_digest":"sha256:c28785ba2e1308049ea4807ec3bb09dc71d0c3e8f9e1be0ef0d70407da766cfa","observation_id":"222d1b2f-217e-4ee1-b028-1a1b72ff6080","resolution":{"observed_at":"2026-06-25T20:58:21.198030Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2606.25561","last_updated":"2026-06-24T08:37:38Z","latest_version":1,"primary_category":"cs.CR","snapshot_observed_at":"2026-08-02T18:51:27.426890Z","submitted_at":"2026-06-24T08:37:38Z","title":"CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes"},"reference_resolution":{"displayed":72,"state_counts":{"malformed_identifier":4,"metadata_mismatch":6,"parse_uncertain":0,"unresolved":27,"verified_exact":35,"verified_fuzzy":0},"total_outbound_references":72},"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-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"thesis":"As of 6 August 2026, this Paper Citation Record lists 72 of 72 outbound references and 0 inbound Pith citation observations for arXiv:2606.25561."}