Paper Citation Record · LEDGER

IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus

As of 15 August 2026, this Paper Citation Record lists 67 of 67 outbound references and 1 inbound Pith citation observation for arXiv:2606.18098.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2606.18098 v1

Coverage vector

measured 67 of 67 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-06-27T01:14:04.350160Z

measured 68 of 68 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-15T06:32:42.880941+00:00

measured 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-14T10:48:39.776717Z

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: pith, observed 2026-08-14T10:48:40.888211Z

Reference resolution

67 of 67 outbound references displayed

verified exact13
verified fuzzy0
unresolved53
parse uncertain0
malformed identifier0
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 95e629d9-3bb9-4914-b47c-39ab9d298c91 · outbound

This paper cites an unresolved cited work.

IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus Unresolved cited work

Reference 1

Resolution: unresolved; no resolver link, observed 2026-06-27T01:14:04.350160Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fa634693-7f72-416c-b5f0-dd27801c643e · outbound

This paper cites an unresolved cited work.

IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus Unresolved cited work

Reference 2

Resolution: unresolved; no resolver link, observed 2026-06-27T01:14:04.350160Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9878a563-b389-44b4-ad33-e674d55a466d · outbound

This paper cites Verification of Bitcoin Script in Agda using Weakest Preconditions for Access Control.

IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus Verification of Bitcoin Script in Agda using Weakest Preconditions for Access Control

Reference 3

Resolution: verified exact; arxiv_id, observed 2026-07-03T20:38:55.792767Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation ce0ef93a-58ad-441a-8eb4-fed78418753e · outbound

This paper cites an unresolved cited work.

IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus Unresolved cited work

Reference 4

Resolution: unresolved; no resolver link, observed 2026-06-27T01:14:04.350160Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c34c2a09-e287-4857-917e-ddd00abb6dd2 · outbound

This paper cites an unresolved cited work.

IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus Unresolved cited work

Reference 5

Resolution: unresolved; no resolver link, observed 2026-06-27T01:14:04.350160Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 52bf9df6-64cd-469a-8ee3-5b0e9d72c1dc · outbound

This paper cites 2024.Model Context Protocol (MCP).

IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus 2024.Model Context Protocol (MCP)

Reference 6

Resolution: unresolved; no resolver link, observed 2026-06-27T01:14:04.350160Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1eb7fc5b-b4cd-4d3d-adf3-cee922b486dc · outbound

This paper cites an unresolved cited work.

IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus Unresolved cited work

Reference 7

Resolution: unresolved; no resolver link, observed 2026-06-27T01:14:04.350160Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3d3132ee-341f-4393-b7a7-adac8db2a162 · outbound

This paper cites an unresolved cited work.

IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus Unresolved cited work

Reference 8

Resolution: unresolved; no resolver link, observed 2026-06-27T01:14:04.350160Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 11908429-b413-45a6-9c47-bbc9c2456c14 · outbound

This paper cites an unresolved cited work.

IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus Unresolved cited work

Reference 9

Resolution: verified exact; arxiv_id, observed 2026-07-03T20:38:55.788026Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 3ca90ac4-7e1e-4175-a5db-7d1503df8a36 · outbound

This paper cites an unresolved cited work.

IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus Unresolved cited work

Reference 10

Resolution: unresolved; no resolver link, observed 2026-06-27T01:14:04.350160Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0fcdea36-3d83-4504-9a9c-ad7359201e41 · outbound

This paper cites an unresolved cited work.

IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus Unresolved cited work

Reference 11

Resolution: unresolved; no resolver link, observed 2026-06-27T01:14:04.350160Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0b808932-4775-4569-a151-be2e7733bfa6 · outbound

This paper cites an unresolved cited work.

IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus Unresolved cited work

Reference 12

Resolution: unresolved; no resolver link, observed 2026-06-27T01:14:04.350160Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 10a9469a-7507-4ac8-abf5-27d8a2f48376 · outbound

This paper cites an unresolved cited work.

IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus Unresolved cited work

Reference 13

Resolution: unresolved; no resolver link, observed 2026-06-27T01:14:04.350160Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9c5daa50-e892-4ddb-8640-c3fbaa56b0d6 · outbound

This paper cites an unresolved cited work.

IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus Unresolved cited work

Reference 14

Resolution: unresolved; no resolver link, observed 2026-06-27T01:14:04.350160Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1e4f09da-c2a2-482c-b33c-7219bb84ad2e · outbound

This paper cites an unresolved cited work.

IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus Unresolved cited work

Reference 15

Resolution: unresolved; no resolver link, observed 2026-06-27T01:14:04.350160Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 81456ae8-8c4d-4656-9f4f-a7c138b44f8e · outbound

This paper cites an unresolved cited work.

IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus Unresolved cited work

Reference 16

Resolution: unresolved; no resolver link, observed 2026-06-27T01:14:04.350160Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 27945ffd-293f-42af-96a4-7e383db9c45a · outbound

This paper cites an unresolved cited work.

IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus Unresolved cited work

Reference 17

Resolution: unresolved; no resolver link, observed 2026-06-27T01:14:04.350160Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a2c4dd9d-8fb3-4f6a-b7e1-8f99383ed370 · outbound

This paper cites an unresolved cited work.

IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus Unresolved cited work

Reference 18

Resolution: unresolved; no resolver link, observed 2026-06-27T01:14:04.350160Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c10b8de7-573e-487a-aa4f-a1d01e1cfb38 · outbound

This paper cites an unresolved cited work.

IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus Unresolved cited work

Reference 19

Resolution: unresolved; no resolver link, observed 2026-06-27T01:14:04.350160Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d496de7d-54bc-4549-9de1-4859a12f4669 · outbound

This paper cites an unresolved cited work.

IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus Unresolved cited work

Reference 20

Resolution: unresolved; no resolver link, observed 2026-06-27T01:14:04.350160Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fb6f4d64-6664-4abc-a81b-88f38501681c · outbound

This paper cites Latentmoe: Toward optimal accuracy per flop and parameter in mixture of experts.

IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus Latentmoe: Toward optimal accuracy per flop and parameter in mixture of experts

Reference 21

Resolution: verified exact; arxiv_id, observed 2026-07-03T20:38:55.788176Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 63cdf656-3ec6-4cc0-a717-746efa889f85 · outbound

This paper cites an unresolved cited work.

IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus Unresolved cited work

Reference 22

Resolution: unresolved; no resolver link, observed 2026-06-27T01:14:04.350160Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0d44cf33-24b8-4e27-82a6-d2bf020d88c4 · outbound

This paper cites an unresolved cited work.

IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus Unresolved cited work

Reference 23

Resolution: unresolved; no resolver link, observed 2026-06-27T01:14:04.350160Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2ef876e9-ce67-43e5-829b-37db59fd2435 · outbound

This paper cites an unresolved cited work.

IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus Unresolved cited work

Reference 24

Resolution: unresolved; no resolver link, observed 2026-06-27T01:14:04.350160Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 08fa4506-ef23-4b14-af1b-cd3037baa8c9 · outbound

This paper cites Better & Faster Large Language Models via Multi-token Prediction.

IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus Better & Faster Large Language Models via Multi-token Prediction

Reference 25

Resolution: verified exact; local_arxiv, observed 2026-07-03T20:38:55.775748Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 81605333-6c66-412f-bf48-d2b023f5208c · outbound

This paper cites an unresolved cited work.

IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus Unresolved cited work

Reference 26

Resolution: unresolved; no resolver link, observed 2026-06-27T01:14:04.350160Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2d58e56f-0f86-43cd-bd3f-6e0cdc759612 · outbound

This paper cites an unresolved cited work.

IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus Unresolved cited work

Reference 27

Resolution: unresolved; no resolver link, observed 2026-06-27T01:14:04.350160Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d2810b95-19aa-4c60-a5e2-04bc07dc2fa6 · outbound

This paper cites an unresolved cited work.

IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus Unresolved cited work

Reference 28

Resolution: unresolved; no resolver link, observed 2026-06-27T01:14:04.350160Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9b62311a-90e6-41aa-83ae-b1307180f00d · outbound

This paper cites an unresolved cited work.

IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus Unresolved cited work

Reference 29

Resolution: unresolved; no resolver link, observed 2026-06-27T01:14:04.350160Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a962a95c-d461-404e-baf3-b2b61c750786 · outbound

This paper cites an unresolved cited work.

IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus Unresolved cited work

Reference 30

Resolution: unresolved; no resolver link, observed 2026-06-27T01:14:04.350160Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bc8e2434-f10e-4568-85d2-604b3c84aad3 · outbound

This paper cites an unresolved cited work.

IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus Unresolved cited work

Reference 31

Resolution: unresolved; no resolver link, observed 2026-06-27T01:14:04.350160Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 307cc278-692c-420a-92b1-2dce53406bcd · outbound

This paper cites an unresolved cited work.

IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus Unresolved cited work

Reference 32

Resolution: unresolved; no resolver link, observed 2026-06-27T01:14:04.350160Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 542ea6cc-960f-47c7-9db0-adef44d89788 · outbound

This paper cites Jiang, Wenda Li, Jesse Michael Han, and Yuhuai Wu.

IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus Jiang, Wenda Li, Jesse Michael Han, and Yuhuai Wu

Reference 33

Resolution: unresolved; no resolver link, observed 2026-06-27T01:14:04.350160Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c530bb18-6684-4224-8293-9494d33166a9 · outbound

This paper cites an unresolved cited work.

IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus Unresolved cited work

Reference 34

Resolution: unresolved; no resolver link, observed 2026-06-27T01:14:04.350160Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8022ccb7-3820-4636-8136-ce75019ce66a · outbound

This paper cites an unresolved cited work.

IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus Unresolved cited work

Reference 35

Resolution: unresolved; no resolver link, observed 2026-06-27T01:14:04.350160Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c0aa748c-bbc1-4b10-8b23-43cb856575d6 · outbound

This paper cites an unresolved cited work.

IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus Unresolved cited work

Reference 36

Resolution: unresolved; no resolver link, observed 2026-06-27T01:14:04.350160Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 959cd4fe-d3ad-4931-b7fb-64d68181ff65 · outbound

This paper cites Assembly of Experts: Linear-time construction of the Chimera LLM variants with emergent and adaptable behaviors.

IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus Assembly of Experts: Linear-time construction of the Chimera LLM variants with emergent and adaptable behaviors

Reference 37

Resolution: metadata mismatch; arxiv_id, observed 2026-07-03T20:38:55.795889Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation a1493e07-16ca-49a8-b491-3253b20428c6 · outbound

This paper cites an unresolved cited work.

IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus Unresolved cited work

Reference 38

Resolution: unresolved; no resolver link, observed 2026-06-27T01:14:04.350160Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dc2a14d0-dc50-43cf-b087-9a005ef57615 · outbound

This paper cites an unresolved cited work.

IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus Unresolved cited work

Reference 39

Resolution: unresolved; no resolver link, observed 2026-06-27T01:14:04.350160Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6f7b5dd4-314e-4b34-9657-cdd435fb15f6 · outbound

This paper cites an unresolved cited work.

IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus Unresolved cited work

Reference 40

Resolution: unresolved; no resolver link, observed 2026-06-27T01:14:04.350160Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 73016a93-25ef-4512-863a-7775d9a78092 · outbound

This paper cites IsarStep: a Benchmark for High-level Mathematical Reasoning.

IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus IsarStep: a Benchmark for High-level Mathematical Reasoning

Reference 41

Resolution: verified exact; arxiv_id, observed 2026-07-03T20:38:55.793201Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 6245faa5-3cce-48ea-8629-0dea3309fa10 · outbound

This paper cites FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving.

IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving

Reference 42

Resolution: verified exact; arxiv_id, observed 2026-07-03T20:38:55.780120Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 92448171-61a5-4c80-a78e-d8828c62a9e6 · outbound

This paper cites PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation.

IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation

Reference 43

Resolution: verified exact; arxiv_id, observed 2026-07-03T20:38:55.776840Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 562e18ba-f7f2-4aa0-9e59-dc21396f30c6 · outbound

This paper cites an unresolved cited work.

IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus Unresolved cited work

Reference 44

Resolution: unresolved; no resolver link, observed 2026-06-27T01:14:04.350160Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 82565bc0-dfa3-4a0e-a877-2ee8617a9fe9 · outbound

This paper cites an unresolved cited work.

IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus Unresolved cited work

Reference 45

Resolution: unresolved; no resolver link, observed 2026-06-27T01:14:04.350160Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 95a5ddde-4076-4b65-b3e7-aab9470bc7e5 · outbound

This paper cites an unresolved cited work.

IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus Unresolved cited work

Reference 46

Resolution: unresolved; no resolver link, observed 2026-06-27T01:14:04.350160Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ae1dd6a3-f753-4174-98ba-3c9a2880d221 · outbound

This paper cites an unresolved cited work.

IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus Unresolved cited work

Reference 47

Resolution: unresolved; no resolver link, observed 2026-06-27T01:14:04.350160Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b0b83409-1744-4a47-87ab-1774f56dd467 · outbound

This paper cites 2002.Isabelle/HOL: A Proof Assistant for Higher-Order Logic.

IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus 2002.Isabelle/HOL: A Proof Assistant for Higher-Order Logic

Reference 48

Resolution: unresolved; no resolver link, observed 2026-06-27T01:14:04.350160Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6df7889e-4d83-4c22-8258-775056d932e4 · outbound

This paper cites an unresolved cited work.

IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus Unresolved cited work

Reference 49

Resolution: unresolved; no resolver link, observed 2026-06-27T01:14:04.350160Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 94023c4f-5e11-47cc-9f39-195e365c02ee · outbound

This paper cites an unresolved cited work.

IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus Unresolved cited work

Reference 50

Resolution: unresolved; no resolver link, observed 2026-06-27T01:14:04.350160Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bb83cb21-4de5-4392-8b1d-9ae59f99c50a · outbound

This paper cites an unresolved cited work.

IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus Unresolved cited work

Reference 51

Resolution: unresolved; no resolver link, observed 2026-06-27T01:14:04.350160Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 98f5f69e-4ef0-4a89-b25b-7fcfbc788d42 · outbound

This paper cites an unresolved cited work.

IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus Unresolved cited work

Reference 52

Resolution: unresolved; no resolver link, observed 2026-06-27T01:14:04.350160Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7a4c5b31-14f0-4208-b9dd-add98bf570c3 · outbound

This paper cites Formalizing Automated Market Makers in the Lean 4 Theorem Prover.

IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus Formalizing Automated Market Makers in the Lean 4 Theorem Prover

Reference 53

Resolution: verified exact; arxiv_id, observed 2026-07-03T20:38:55.790661Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 1f9cfc67-0d99-4691-a3c3-c8e5a126c7e4 · outbound

This paper cites Sentence-BERT: Sentence Embeddings using Siamese BERT-Networks.

IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus Sentence-BERT: Sentence Embeddings using Siamese BERT-Networks

Reference 54

Resolution: verified exact; local_arxiv, observed 2026-07-03T20:38:55.782562Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation a9f672dc-7247-46a0-b583-e03e98a8c6d0 · outbound

This paper cites an unresolved cited work.

IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus Unresolved cited work

Reference 55

Resolution: unresolved; no resolver link, observed 2026-06-27T01:14:04.350160Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ef9d5fd2-bc6f-4836-b54b-ab813db14300 · outbound

This paper cites Modelling Bitcoin in Agda.

IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus Modelling Bitcoin in Agda

Reference 56

Resolution: verified exact; local_arxiv, observed 2026-07-03T20:38:55.774172Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 612a85c2-8fca-49e1-a56f-0b7325b0a206 · outbound

This paper cites an unresolved cited work.

IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus Unresolved cited work

Reference 57

Resolution: unresolved; no resolver link, observed 2026-06-27T01:14:04.350160Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7fd414f0-4350-4a72-8f5f-4cdac09fae40 · outbound

This paper cites High-fidelity treatment for object movement in time-dependent Monte Carlo transport simulations.

IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus High-fidelity treatment for object movement in time-dependent Monte Carlo transport simulations

Reference 58

Resolution: verified exact; arxiv_id, observed 2026-07-03T20:38:55.773194Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 85bd8380-07b3-4241-9a65-293c29c696d8 · outbound

This paper cites an unresolved cited work.

IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus Unresolved cited work

Reference 59

Resolution: unresolved; no resolver link, observed 2026-06-27T01:14:04.350160Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9b6e5c50-c284-4997-b113-83e9def0d6a4 · outbound

This paper cites an unresolved cited work.

IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus Unresolved cited work

Reference 60

Resolution: unresolved; no resolver link, observed 2026-06-27T01:14:04.350160Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9a5dc427-43d3-40e6-b9ba-82488abc698e · outbound

This paper cites an unresolved cited work.

IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus Unresolved cited work

Reference 61

Resolution: unresolved; no resolver link, observed 2026-06-27T01:14:04.350160Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 37be89b3-700b-4ef8-95d9-16beca363e81 · outbound

This paper cites LEGO-Prover: Neural Theorem Proving with Growing Libraries.

IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus LEGO-Prover: Neural Theorem Proving with Growing Libraries

Reference 62

Resolution: verified exact; arxiv_id, observed 2026-07-03T20:38:55.790303Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 22b33372-8113-4dd6-86af-f315e24ca107 · outbound

This paper cites an unresolved cited work.

IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus Unresolved cited work

Reference 63

Resolution: unresolved; no resolver link, observed 2026-06-27T01:14:04.350160Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a0ef6e04-e3e2-4bd8-896b-cb504058f745 · outbound

This paper cites DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data.

IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data

Reference 64

Resolution: verified exact; arxiv_id, observed 2026-07-03T20:38:55.795308Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 8871effb-0e31-4094-bfa6-5d53ae4770cc · outbound

This paper cites an unresolved cited work.

IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus Unresolved cited work

Reference 65

Resolution: unresolved; no resolver link, observed 2026-06-27T01:14:04.350160Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a95eb960-4f76-4004-bb51-906fb7611bb5 · outbound

This paper cites an unresolved cited work.

IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus Unresolved cited work

Reference 66

Resolution: unresolved; no resolver link, observed 2026-06-27T01:14:04.350160Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1d37b3d2-184d-497f-ac86-3241d1983c9a · outbound

This paper cites an unresolved cited work.

IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus Unresolved cited work

Reference 67

Resolution: unresolved; no resolver link, observed 2026-06-27T01:14:04.350160Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation b6b1ffb8-36c8-4cbe-af88-6e677db7e055 · inbound

CAPRI: Contract-Aware Proof Repair for Isabelle cites this paper.

CAPRI: Contract-Aware Proof Repair for Isabelle IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus

Reference 5

Resolution: metadata mismatch; local_arxiv, observed 2026-08-14T10:48:40.894479Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.