Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-06-25T20:51:33.256476Z
Paper Citation Record · LEDGER
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes
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.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-05T06:32:48.257954+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
72 of 72 outbound references displayed
- verified exact35
- verified fuzzy0
- unresolved27
- parse uncertain0
- malformed identifier4
- metadata mismatch6
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 5aaffc08-d2e7-47ba-bb90-e319a1dbe075 · outbound
This paper cites an unresolved cited work.
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes Unresolved cited work
Reference 1
- Resolution
- verified exact
- doi, observed 2026-06-25T20:58:21.218871Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 14655963-2b5a-4da6-999a-d154afb81c52 · outbound
This paper cites an unresolved cited work.
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes Unresolved cited work
Reference 2
- Resolution
- unresolved
- no resolver link, observed 2026-06-25T20:51:33.256476Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c66d7224-84b8-459c-b15e-91f15a8b481c · outbound
This paper cites an unresolved cited work.
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes Unresolved cited work
Reference 3
- Resolution
- unresolved
- no resolver link, observed 2026-06-25T20:51:33.256476Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d76e234b-6c97-4819-9ea3-cd99e8e09e1e · outbound
This paper cites an unresolved cited work.
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes Unresolved cited work
Reference 4
- Resolution
- verified exact
- doi, observed 2026-06-25T20:58:21.215464Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation a836d77a-c1ba-4a19-937b-d960353d43be · outbound
This paper cites an unresolved cited work.
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes Unresolved cited work
Reference 5
- Resolution
- verified exact
- doi, observed 2026-06-25T20:58:21.213819Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 4d83e361-4976-45d0-92eb-b14b12132867 · outbound
This paper cites Ayers, Dragomir Radev, and Jeremy Avigad.
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes Ayers, Dragomir Radev, and Jeremy Avigad
Reference 6
- Resolution
- unresolved
- no resolver link, observed 2026-06-25T20:51:33.256476Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 331fab86-ec80-48bc-b885-ae368e598045 · outbound
This paper cites ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics.
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics
Reference 7
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-06-25T20:58:21.177384Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 8870ba75-b363-4e71-9a9e-3312df0cef4d · outbound
This paper cites ARBITRAR: user-guided API misuse detection.
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes ARBITRAR: user-guided API misuse detection
Reference 8
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-06-25T20:58:21.190618Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation f70c77b7-115d-4326-a316-d5f15e15f1e8 · outbound
This paper cites In CRYPTO (LNCS, Vol.
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes In CRYPTO (LNCS, Vol
Reference 9
- Resolution
- verified exact
- doi, observed 2026-06-25T20:58:21.199994Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 93233e11-711f-4034-b580-13237d2b9766 · outbound
This paper cites Basin, Jannik Dreier, Lucca Hirschi, Sasa Radomirovic, Ralf Sasse, and Vincent Stettler.
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes Basin, Jannik Dreier, Lucca Hirschi, Sasa Radomirovic, Ralf Sasse, and Vincent Stettler
Reference 10
- Resolution
- verified exact
- arxiv_id, observed 2026-06-25T20:58:21.180443Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation a3937866-3680-45d4-ba3f-930babd64ecc · outbound
This paper cites an unresolved cited work.
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes Unresolved cited work
Reference 11
- Resolution
- unresolved
- no resolver link, observed 2026-06-25T20:51:33.256476Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 118212cf-3133-42e0-9025-a207206a49d9 · outbound
This paper cites an unresolved cited work.
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes Unresolved cited work
Reference 12
- Resolution
- verified exact
- arxiv_id, observed 2026-06-25T20:58:21.192170Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 272a1c77-9bdf-4ad4-92c4-aea262e32fcc · outbound
This paper cites an unresolved cited work.
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes Unresolved cited work
Reference 13
- Resolution
- verified exact
- doi, observed 2026-06-25T20:58:21.153598Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 1e117e45-6cb6-4ff4-9f46-7d7eb8badfed · outbound
This paper cites an unresolved cited work.
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes Unresolved cited work
Reference 14
- Resolution
- unresolved
- no resolver link, observed 2026-06-25T20:51:33.256476Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d52f2f35-9cff-4279-aa02-cad60d187635 · outbound
This paper cites Sparks of Artificial General Intelligence: Early experiments with GPT-4.
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes Sparks of Artificial General Intelligence: Early experiments with GPT-4
Reference 15
- Resolution
- verified exact
- local_arxiv, observed 2026-06-25T20:58:21.189407Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 643254b1-d566-45f9-acf4-dcaccb1d2e04 · outbound
This paper cites Evaluating Large Language Models Trained on Code.
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes Evaluating Large Language Models Trained on Code
Reference 16
- Resolution
- verified exact
- local_arxiv, observed 2026-07-04T20:00:08.520404Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 79a9c36b-c1ba-4193-845a-4fdcc9345db1 · outbound
This paper cites an unresolved cited work.
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes Unresolved cited work
Reference 17
- Resolution
- verified exact
- doi, observed 2026-06-25T20:58:21.205264Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 660ed88b-6271-4bc2-a36d-e559148956e4 · outbound
This paper cites an unresolved cited work.
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes Unresolved cited work
Reference 18
- Resolution
- unresolved
- no resolver link, observed 2026-06-25T20:51:33.256476Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 82c7d776-6742-43b6-ba8f-210864a438c8 · outbound
This paper cites an unresolved cited work.
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes Unresolved cited work
Reference 19
- Resolution
- unresolved
- no resolver link, observed 2026-06-25T20:51:33.256476Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 89ee5693-58c6-436a-9add-f24bc77ca7be · outbound
This paper cites an unresolved cited work.
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes Unresolved cited work
Reference 20
- Resolution
- verified exact
- doi, observed 2026-06-25T20:58:21.201752Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 3399af32-70fb-4cd5-bd51-60150bd27ac3 · outbound
This paper cites Davis, M.H.A., Norman, A.R.
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes Davis, M.H.A., Norman, A.R
Reference 21
- Resolution
- verified exact
- doi, observed 2026-06-25T20:58:21.203461Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 5627af77-2bf1-4976-a56d-c90778a63a25 · outbound
This paper cites an unresolved cited work.
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes Unresolved cited work
Reference 22
- Resolution
- verified exact
- doi, observed 2026-06-25T20:58:21.183169Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 285fd465-1b63-4359-919d-17f6acda25f2 · outbound
This paper cites The Transport Layer Security (TLS) Protocol Version 1.2.
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes The Transport Layer Security (TLS) Protocol Version 1.2
Reference 23
- Resolution
- verified exact
- doi, observed 2026-06-25T20:58:21.217272Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation a8f158e1-66b1-46cc-9180-656385426e8e · outbound
This paper cites Bayesian Segmentation of Atrium Wall Using Globally-Optimal Graph Cuts on 3D Meshes.
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes Bayesian Segmentation of Atrium Wall Using Globally-Optimal Graph Cuts on 3D Meshes
Reference 24
- Resolution
- malformed identifier
- doi_truncated, observed 2026-06-25T20:58:21.186900Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 51ebd000-0f0b-43f0-a26b-d0c87c890a4c · outbound
This paper cites an unresolved cited work.
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes Unresolved cited work
Reference 25
- Resolution
- unresolved
- no resolver link, observed 2026-06-25T20:51:33.256476Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c408d849-597e-4568-9fc2-9232a35c7818 · outbound
This paper cites an unresolved cited work.
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes Unresolved cited work
Reference 26
- Resolution
- unresolved
- no resolver link, observed 2026-06-25T20:51:33.256476Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f6aeaf22-1e86-4ff2-ad5f-887b7553ed21 · outbound
This paper cites an unresolved cited work.
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes Unresolved cited work
Reference 27
- Resolution
- unresolved
- no resolver link, observed 2026-06-25T20:51:33.256476Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a833a222-579b-420a-9668-7c69cad737f4 · outbound
This paper cites an unresolved cited work.
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes Unresolved cited work
Reference 28
- Resolution
- unresolved
- no resolver link, observed 2026-06-25T20:51:33.256476Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 921b154c-236d-4893-bb1c-0b51bcea066e · outbound
This paper cites an unresolved cited work.
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes Unresolved cited work
Reference 29
- Resolution
- unresolved
- no resolver link, observed 2026-06-25T20:51:33.256476Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 3c60c67b-fe2a-47eb-9740-b04bb58f388c · outbound
This paper cites CodeBERT: A pre-trained model for programming and natural languages.
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes CodeBERT: A pre-trained model for programming and natural languages
Reference 30
- Resolution
- verified exact
- doi, observed 2026-06-25T20:58:21.149043Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation c877de5a-01cb-40f1-8427-634510983ad5 · outbound
This paper cites an unresolved cited work.
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes Unresolved cited work
Reference 31
- Resolution
- unresolved
- no resolver link, observed 2026-06-25T20:51:33.256476Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7507c78e-6da5-43f7-a8d1-d909c253a8d6 · outbound
This paper cites an unresolved cited work.
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes Unresolved cited work
Reference 32
- Resolution
- verified exact
- doi, observed 2026-06-25T20:58:21.163862Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation e7c9c61f-8831-4863-9625-fce66958990e · outbound
This paper cites ChatGLM: A Family of Large Language Models from GLM-130B to GLM-4 All Tools.
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes ChatGLM: A Family of Large Language Models from GLM-130B to GLM-4 All Tools
Reference 33
- Resolution
- verified exact
- local_arxiv, observed 2026-06-25T20:58:21.166897Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 20a3dadb-cc36-4f62-9b81-2c9986209647 · outbound
This paper cites DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning.
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning
Reference 34
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-06-25T20:58:21.151660Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 9afd186c-525f-4273-a2e8-6e2ce8571b2b · outbound
This paper cites Towards Complex Text-to- SQL in Cross-Domain Database with Intermediate Representation.
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes Towards Complex Text-to- SQL in Cross-Domain Database with Intermediate Representation
Reference 35
- Resolution
- verified exact
- doi, observed 2026-06-25T20:58:21.207557Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation ab87c3ed-d50c-4e3e-9d05-a53914538a61 · outbound
This paper cites Available at:https://datatracker.ietf.org/doc/html/ rfc6749.
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes Available at:https://datatracker.ietf.org/doc/html/ rfc6749
Reference 36
- Resolution
- verified exact
- doi, observed 2026-06-25T20:58:21.193817Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 6181fc2d-584c-4322-8882-ee8438e43f9f · outbound
This paper cites an unresolved cited work.
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes Unresolved cited work
Reference 37
- Resolution
- unresolved
- no resolver link, observed 2026-06-25T20:51:33.256476Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 25f2cf78-f8a7-40b4-bc42-b4626bb836cf · outbound
This paper cites GPT-4o System Card.
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes GPT-4o System Card
Reference 38
- Resolution
- malformed identifier
- local_arxiv, observed 2026-06-25T20:58:21.158996Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation ec3e9237-765b-4b49-acbb-6e72e44949a0 · outbound
This paper cites an unresolved cited work.
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes Unresolved cited work
Reference 39
- Resolution
- malformed identifier
- doi_truncated, observed 2026-06-25T20:58:21.179034Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation b54da693-ad85-42eb-8d99-8867ee5271ef · outbound
This paper cites an unresolved cited work.
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes Unresolved cited work
Reference 40
- Resolution
- unresolved
- no resolver link, observed 2026-06-25T20:51:33.256476Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7344760d-801b-4759-a064-fd7bfbddc948 · outbound
This paper cites an unresolved cited work.
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes Unresolved cited work
Reference 41
- Resolution
- verified exact
- arxiv_id, observed 2026-06-25T20:58:21.128397Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation bfc1729c-5f9e-4c8e-b685-c9a2dca31e4f · outbound
This paper cites Competition-Level Code Generation with AlphaCode.
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes Competition-Level Code Generation with AlphaCode
Reference 42
- Resolution
- verified exact
- local_arxiv, observed 2026-06-25T20:58:21.166727Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 8569a94c-968e-4208-93f7-8b31b252009e · outbound
This paper cites In: CA V (2024).
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes In: CA V (2024)
Reference 43
- Resolution
- verified exact
- doi, observed 2026-06-25T20:58:21.192244Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 1f137175-db4e-429c-adfc-388a0b8c3114 · outbound
This paper cites an unresolved cited work.
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes Unresolved cited work
Reference 44
- Resolution
- verified exact
- doi, observed 2026-06-25T20:58:21.184838Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 7c1f4367-1b00-4712-a099-f7803964e2df · outbound
This paper cites an unresolved cited work.
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes Unresolved cited work
Reference 45
- Resolution
- unresolved
- no resolver link, observed 2026-06-25T20:51:33.256476Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e5163587-38df-4a07-8646-070d82ea2203 · outbound
This paper cites Liu, Kevin Lin, John Hewitt, Ashwin Paranjape, Michele Bevilacqua, Fabio Petroni, and Percy Liang.
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes Liu, Kevin Lin, John Hewitt, Ashwin Paranjape, Michele Bevilacqua, Fabio Petroni, and Percy Liang
Reference 46
- Resolution
- verified exact
- doi, observed 2026-06-25T20:58:21.210110Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation e7050f91-8337-4729-be84-22eceaa7f9ac · outbound
This paper cites an unresolved cited work.
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes Unresolved cited work
Reference 47
- Resolution
- verified exact
- doi, observed 2026-06-25T20:58:21.195543Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 1554e54d-02d2-4eef-a89e-056f64fb6201 · outbound
This paper cites an unresolved cited work.
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes Unresolved cited work
Reference 48
- Resolution
- verified exact
- arxiv_id, observed 2026-06-25T20:58:21.162258Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 34381b76-9bd0-4b64-9a45-1236b645bb0d · outbound
This paper cites IEEE Transactions on Computational Social Sys- tems10(3), 1039–1056 (2023) https://doi.or g/10.1109/TCSS.2022.3162869.
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes IEEE Transactions on Computational Social Sys- tems10(3), 1039–1056 (2023) https://doi.or g/10.1109/TCSS.2022.3162869
Reference 49
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-06-25T20:58:21.194816Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 26628d8e-cf16-4732-bbfd-8575ea210ed8 · outbound
This paper cites 2025.IRFuzzer: Specialized Fuzzing for LLVM Backend Code Generation.
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes 2025.IRFuzzer: Specialized Fuzzing for LLVM Backend Code Generation
Reference 51
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-06-25T20:58:21.197477Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation e11b19db-c31d-4f46-92c5-3d81cd13ac6a · outbound
This paper cites an unresolved cited work.
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes Unresolved cited work
Reference 53
- Resolution
- unresolved
- no resolver link, observed 2026-06-25T20:51:33.256476Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 68479948-1b52-4c94-ab60-85d5e8645bc8 · outbound
This paper cites Needham and Michael D.
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes Needham and Michael D
Reference 54
- Resolution
- verified exact
- arxiv_id, observed 2026-06-25T20:58:21.200102Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 28211191-49c9-420f-9485-4f90fb35e9ec · outbound
This paper cites an unresolved cited work.
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes Unresolved cited work
Reference 55
- Resolution
- unresolved
- no resolver link, observed 2026-06-25T20:51:33.256476Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 43b6b1f7-67ef-4071-ad3d-f9f034a0f081 · outbound
This paper cites an unresolved cited work.
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes Unresolved cited work
Reference 56
- Resolution
- unresolved
- no resolver link, observed 2026-06-25T20:51:33.256476Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c46ddf65-f048-4f24-bd3e-422d73009643 · outbound
This paper cites Generative Language Modeling for Automated Theorem Proving.
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes Generative Language Modeling for Automated Theorem Proving
Reference 57
- Resolution
- verified exact
- local_arxiv, observed 2026-07-04T20:00:08.523259Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 22aa2e30-d510-4a2a-81c8-aebfe2c8dac0 · outbound
This paper cites an unresolved cited work.
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes Unresolved cited work
Reference 58
- Resolution
- unresolved
- no resolver link, observed 2026-06-25T20:51:33.256476Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 659fbcb4-d63b-4a5b-8452-82733d22b4fe · outbound
This paper cites Sentence- BERT : Sentence Embeddings using S iamese BERT -Networks.
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes Sentence- BERT : Sentence Embeddings using S iamese BERT -Networks
Reference 59
- Resolution
- verified exact
- doi, observed 2026-06-25T20:58:21.202092Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 5183a604-ed3e-487f-a880-5052fbb80fcf · outbound
This paper cites A Tutorial Introduction to the Lambda Calculus.
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes A Tutorial Introduction to the Lambda Calculus
Reference 60
- Resolution
- verified exact
- local_arxiv, observed 2026-07-04T20:00:08.517869Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 339a5524-289a-45f0-af3b-0d2a2a525e57 · outbound
This paper cites Gemini 2.5: Pushing the Frontier with Advanced Reasoning, Multimodality, Long Context, and Next Generation Agentic Capabilities.
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes Gemini 2.5: Pushing the Frontier with Advanced Reasoning, Multimodality, Long Context, and Next Generation Agentic Capabilities
Reference 61
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-06-25T20:58:21.157460Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 7bb90cd7-aa13-4aad-9d72-d7227307c043 · outbound
This paper cites DT-Solver:AutomatedTheoremProvingwithDynamic-TreeSampling Guided by Proof-level Value Function.
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes DT-Solver:AutomatedTheoremProvingwithDynamic-TreeSampling Guided by Proof-level Value Function
Reference 62
- Resolution
- verified exact
- doi, observed 2026-06-25T20:58:21.188060Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation b9a43223-8f3e-4f0a-bdbe-b888f3746a67 · outbound
This paper cites an unresolved cited work.
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes Unresolved cited work
Reference 63
- Resolution
- unresolved
- no resolver link, observed 2026-06-25T20:51:33.256476Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 3302d4c0-ddfc-459c-9800-d5c319137946 · outbound
This paper cites Chi, Quoc V.
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes Chi, Quoc V
Reference 64
- Resolution
- unresolved
- no resolver link, observed 2026-06-25T20:51:33.256476Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 74633d9f-7778-4894-a8e5-a9d762e44874 · outbound
This paper cites an unresolved cited work.
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes Unresolved cited work
Reference 65
- Resolution
- unresolved
- no resolver link, observed 2026-06-25T20:51:33.256476Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 83545c3b-bbfa-4566-ac36-90e02d37f19a · outbound
This paper cites Swope, Alex Gu, et al.
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes Swope, Alex Gu, et al
Reference 66
- Resolution
- unresolved
- no resolver link, observed 2026-06-25T20:51:33.256476Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ea387ec1-7bff-464c-b5ab-f5b31fba7f84 · outbound
This paper cites an unresolved cited work.
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes Unresolved cited work
Reference 67
- Resolution
- unresolved
- no resolver link, observed 2026-06-25T20:51:33.256476Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1a135d44-58a3-4c65-8581-3d0face615b2 · outbound
This paper cites an unresolved cited work.
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes Unresolved cited work
Reference 68
- Resolution
- verified exact
- doi, observed 2026-06-25T20:58:21.172750Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 8c8e90e5-1224-4214-95d8-8eacaab2adce · outbound
This paper cites an unresolved cited work.
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes Unresolved cited work
Reference 69
- Resolution
- verified exact
- arxiv_id, observed 2026-06-25T20:58:21.186092Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation eb49d492-9bf8-436a-9a3c-811d19a75334 · outbound
This paper cites An extensive study on adversarial attack against pre-trained models of code.
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes An extensive study on adversarial attack against pre-trained models of code
Reference 70
- Resolution
- verified exact
- arxiv_id, observed 2026-06-25T20:58:21.205214Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 7de62301-2879-41e6-aa8b-2b527bc6670d · outbound
This paper cites In: Proc.
Reference 71
- Resolution
- malformed identifier
- doi_truncated, observed 2026-06-25T20:58:21.212076Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 5a1391e7-66c5-4cf0-ad40-7e78c017dee4 · outbound
This paper cites an unresolved cited work.
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes Unresolved cited work
Reference 72
- Resolution
- unresolved
- no resolver link, observed 2026-06-25T20:51:33.256476Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ecfca908-33a6-417d-9b00-8fc834a52dcb · outbound
This paper cites Xing, Hao Zhang, Joseph E.
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes Xing, Hao Zhang, Joseph E
Reference 73
- Resolution
- unresolved
- no resolver link, observed 2026-06-25T20:51:33.256476Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 222d1b2f-217e-4ee1-b028-1a1b72ff6080 · outbound
This paper cites DeepSeek-Coder-V2: Breaking the Barrier of Closed-Source Models in Code Intelligence.
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes DeepSeek-Coder-V2: Breaking the Barrier of Closed-Source Models in Code Intelligence
Reference 74
- Resolution
- verified exact
- local_arxiv, observed 2026-06-25T20:58:21.198030Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Pith citing papers
No inbound Pith citation observations are available.