Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-02T17:41:35.309802Z
Paper Citation Record · LEDGER
Automated Lemma Discovery in Agentic Program Verification
As of 9 August 2026, this Paper Citation Record lists 75 of 75 outbound references and 0 inbound Pith citation observations for arXiv:2603.22114.
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-09T06:31:02.800959+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
75 of 75 outbound references displayed
- verified exact0
- verified fuzzy0
- unresolved75
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 7c7eda40-48c8-485b-9721-767362f1eac6 · outbound
This paper cites an unresolved cited work.
Automated Lemma Discovery in Agentic Program Verification Unresolved cited work
Reference 1
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T17:41:35.079210Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2c70d9dd-8521-4c56-b35a-d0d61b2deaaa · outbound
This paper cites an unresolved cited work.
Automated Lemma Discovery in Agentic Program Verification Unresolved cited work
Reference 2
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T17:41:35.086872Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 3d916dbd-20df-4f4c-bf83-b87a65ee33ac · outbound
This paper cites an unresolved cited work.
Automated Lemma Discovery in Agentic Program Verification Unresolved cited work
Reference 3
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T17:41:35.090537Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f3dcf177-65e9-47ec-b836-256ce436250b · outbound
This paper cites an unresolved cited work.
Automated Lemma Discovery in Agentic Program Verification Unresolved cited work
Reference 4
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T17:41:35.093832Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1771a368-4697-45d5-ae89-e84a6e5e33e0 · outbound
This paper cites an unresolved cited work.
Automated Lemma Discovery in Agentic Program Verification Unresolved cited work
Reference 5
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T17:41:35.097054Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation eb77e29c-a609-4d1f-b411-652ca80ab14b · outbound
This paper cites an unresolved cited work.
Automated Lemma Discovery in Agentic Program Verification Unresolved cited work
Reference 6
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T17:41:35.100214Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 00bfb3c8-7355-49dc-ab53-b777236e111f · outbound
This paper cites an unresolved cited work.
Automated Lemma Discovery in Agentic Program Verification Unresolved cited work
Reference 7
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T17:41:35.103380Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c9092af8-54ab-45b9-989a-2b0e602f20f5 · outbound
This paper cites an unresolved cited work.
Automated Lemma Discovery in Agentic Program Verification Unresolved cited work
Reference 8
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T17:41:35.106332Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 39d4905d-5853-4c79-a26b-0f24693fa924 · outbound
This paper cites an unresolved cited work.
Automated Lemma Discovery in Agentic Program Verification Unresolved cited work
Reference 9
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T17:41:35.109043Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 44dfd034-906f-425e-8320-741846b25588 · outbound
This paper cites an unresolved cited work.
Automated Lemma Discovery in Agentic Program Verification Unresolved cited work
Reference 10
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T17:41:35.111802Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ed3f94e7-07da-4e72-87f6-a70cb0616873 · outbound
This paper cites an unresolved cited work.
Automated Lemma Discovery in Agentic Program Verification Unresolved cited work
Reference 11
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T17:41:35.117954Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation bc4b01c1-4aca-44fb-972b-166c8a67ac57 · outbound
This paper cites an unresolved cited work.
Automated Lemma Discovery in Agentic Program Verification Unresolved cited work
Reference 12
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T17:41:35.120878Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 3538a8e6-2c3a-4619-9b34-06372ba89449 · outbound
This paper cites an unresolved cited work.
Automated Lemma Discovery in Agentic Program Verification Unresolved cited work
Reference 13
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T17:41:35.124071Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 30efb183-f9aa-4cfc-8cb8-d9c2d539f5c8 · outbound
This paper cites an unresolved cited work.
Automated Lemma Discovery in Agentic Program Verification Unresolved cited work
Reference 14
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T17:41:35.127011Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 47c33bbb-abf4-4da5-a224-0c82479a8766 · outbound
This paper cites an unresolved cited work.
Automated Lemma Discovery in Agentic Program Verification Unresolved cited work
Reference 15
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T17:41:35.129839Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c86cbd32-0e74-4ca7-a020-0dbe7b2f90d4 · outbound
This paper cites an unresolved cited work.
Automated Lemma Discovery in Agentic Program Verification Unresolved cited work
Reference 16
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T17:41:35.132987Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 96a28ddc-47a1-42ad-8b51-83da7266c4a8 · outbound
This paper cites an unresolved cited work.
Automated Lemma Discovery in Agentic Program Verification Unresolved cited work
Reference 17
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T17:41:35.135907Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d13e9ee9-15a8-4714-9220-f3bab94372b1 · outbound
This paper cites an unresolved cited work.
Automated Lemma Discovery in Agentic Program Verification Unresolved cited work
Reference 18
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T17:41:35.139300Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 88047bd3-b72e-4dc3-b733-5b7182240660 · outbound
This paper cites an unresolved cited work.
Automated Lemma Discovery in Agentic Program Verification Unresolved cited work
Reference 19
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T17:41:35.142310Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b61254c3-679d-4ab7-8d6a-2fcd364227a1 · outbound
This paper cites an unresolved cited work.
Automated Lemma Discovery in Agentic Program Verification Unresolved cited work
Reference 20
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T17:41:35.145398Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 21269a2e-31b4-4a78-9e47-9fd6a9928492 · outbound
This paper cites an unresolved cited work.
Automated Lemma Discovery in Agentic Program Verification Unresolved cited work
Reference 21
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T17:41:35.148843Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f14ba84f-24da-466f-b599-804f061bb32b · outbound
This paper cites an unresolved cited work.
Automated Lemma Discovery in Agentic Program Verification Unresolved cited work
Reference 22
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T17:41:35.158685Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6b229888-fd35-4619-9e11-070e2f74634d · outbound
This paper cites an unresolved cited work.
Automated Lemma Discovery in Agentic Program Verification Unresolved cited work
Reference 23
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T17:41:35.161898Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 50eb626e-63d1-42e8-9a27-59a6b119e5d2 · outbound
This paper cites Rabe, Talia Ringer, and Yuriy Brun.
Automated Lemma Discovery in Agentic Program Verification Rabe, Talia Ringer, and Yuriy Brun
Reference 24
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T17:41:35.165239Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 01a603c9-8b9b-40db-96e1-8f03836b32f7 · outbound
This paper cites an unresolved cited work.
Automated Lemma Discovery in Agentic Program Verification Unresolved cited work
Reference 25
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T17:41:35.168777Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation dc0d5939-b5fd-4ff8-b0a5-1acfb0a7fa3e · outbound
This paper cites an unresolved cited work.
Automated Lemma Discovery in Agentic Program Verification Unresolved cited work
Reference 26
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T17:41:35.171593Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 85fcd1ed-d71d-4dfc-a225-d3da6d007ac3 · outbound
This paper cites an unresolved cited work.
Automated Lemma Discovery in Agentic Program Verification Unresolved cited work
Reference 27
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T17:41:35.174598Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c49546e6-a2ba-4f89-90a1-0b30b97f5e0a · outbound
This paper cites an unresolved cited work.
Automated Lemma Discovery in Agentic Program Verification Unresolved cited work
Reference 28
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T17:41:35.177746Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 27892ccf-6a00-48d6-b026-08e219574baf · outbound
This paper cites an unresolved cited work.
Automated Lemma Discovery in Agentic Program Verification Unresolved cited work
Reference 29
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T17:41:35.180530Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2d776e89-39fb-460f-b23e-5cf2a34d1365 · outbound
This paper cites an unresolved cited work.
Automated Lemma Discovery in Agentic Program Verification Unresolved cited work
Reference 30
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T17:41:35.183448Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8ad02dd7-0054-4687-8933-8d57fdd3d7e1 · outbound
This paper cites Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, and Simon Winwood.
Automated Lemma Discovery in Agentic Program Verification Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, and Simon Winwood
Reference 31
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T17:41:35.186950Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9fdc5813-db3c-48b7-ab58-4ad546f3369c · outbound
This paper cites an unresolved cited work.
Automated Lemma Discovery in Agentic Program Verification Unresolved cited work
Reference 32
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T17:41:35.189839Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 67affe20-cc8b-477f-85d1-59d57a002489 · outbound
This paper cites Verus: Verifying Rust Programs using Linear Ghost Types (extended version).
Automated Lemma Discovery in Agentic Program Verification Verus: Verifying Rust Programs using Linear Ghost Types (extended version)
Reference 33
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T17:41:35.192972Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f2776787-fbe9-4f24-9439-7e8ee64ef4e7 · outbound
This paper cites an unresolved cited work.
Automated Lemma Discovery in Agentic Program Verification Unresolved cited work
Reference 34
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T17:41:35.196258Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 655ebc65-0de5-403f-af70-75f4aa8b0c64 · outbound
This paper cites Rustan M.
Automated Lemma Discovery in Agentic Program Verification Rustan M
Reference 35
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T17:41:35.199138Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5b0fd3cb-61fc-4113-a324-699e3f16f857 · outbound
This paper cites an unresolved cited work.
Automated Lemma Discovery in Agentic Program Verification Unresolved cited work
Reference 36
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T17:41:35.202105Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 05924ede-1291-46cf-8522-d8300da9c9f7 · outbound
This paper cites an unresolved cited work.
Automated Lemma Discovery in Agentic Program Verification Unresolved cited work
Reference 37
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T17:41:35.205089Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8ac48aa7-f825-46e5-9d30-1efaddb9b480 · outbound
This paper cites an unresolved cited work.
Automated Lemma Discovery in Agentic Program Verification Unresolved cited work
Reference 38
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T17:41:35.207903Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f6bdebd1-0ffd-4d73-a9c4-0b9481564643 · outbound
This paper cites 2025.Adaptive Proof Refinement with LLM-Guided Strategy Selection.
Automated Lemma Discovery in Agentic Program Verification 2025.Adaptive Proof Refinement with LLM-Guided Strategy Selection
Reference 39
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T17:41:35.211192Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c154f615-4880-45a3-85bd-287e3f893f92 · outbound
This paper cites an unresolved cited work.
Automated Lemma Discovery in Agentic Program Verification Unresolved cited work
Reference 40
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T17:41:35.214490Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c0bb0bea-9561-406c-954a-83c275e3c652 · outbound
This paper cites an unresolved cited work.
Automated Lemma Discovery in Agentic Program Verification Unresolved cited work
Reference 41
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T17:41:35.217834Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 128a906d-6131-45aa-8c5c-8b88cd583a65 · outbound
This paper cites an unresolved cited work.
Automated Lemma Discovery in Agentic Program Verification Unresolved cited work
Reference 42
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T17:41:35.220758Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1133d5d9-058c-415d-b344-3758aa87165c · outbound
This paper cites an unresolved cited work.
Automated Lemma Discovery in Agentic Program Verification Unresolved cited work
Reference 43
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T17:41:35.223613Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d474db8b-9cfc-4ac7-b58a-b0d72b292e73 · outbound
This paper cites an unresolved cited work.
Automated Lemma Discovery in Agentic Program Verification Unresolved cited work
Reference 44
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T17:41:35.226681Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d38a6250-f837-49d2-82f0-924ffc2b078f · outbound
This paper cites an unresolved cited work.
Automated Lemma Discovery in Agentic Program Verification Unresolved cited work
Reference 45
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T17:41:35.229421Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4fed0d0c-fe24-4b79-8e57-d214afc8b769 · outbound
This paper cites an unresolved cited work.
Automated Lemma Discovery in Agentic Program Verification Unresolved cited work
Reference 46
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T17:41:35.232285Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d6ae1b9f-a8dd-41a3-90c9-cd3baecb17a0 · outbound
This paper cites an unresolved cited work.
Automated Lemma Discovery in Agentic Program Verification Unresolved cited work
Reference 47
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T17:41:35.235144Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f9135290-d6b4-4b0f-9307-d4f0bf306b15 · outbound
This paper cites an unresolved cited work.
Automated Lemma Discovery in Agentic Program Verification Unresolved cited work
Reference 48
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T17:41:35.237846Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e54d58f8-d182-4938-ad69-f56d31ac4a1e · outbound
This paper cites 2002.Isabelle/HOL: a proof assistant for higher-order logic.
Automated Lemma Discovery in Agentic Program Verification 2002.Isabelle/HOL: a proof assistant for higher-order logic
Reference 49
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T17:41:35.240786Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 86bab81c-9ed3-4eb2-8e12-7899b4414bae · outbound
This paper cites 2025.Function Calling Developer Documentation.
Automated Lemma Discovery in Agentic Program Verification 2025.Function Calling Developer Documentation
Reference 50
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T17:41:35.243659Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9e3ddbc7-5198-4dce-8baf-f473d208cc2f · outbound
This paper cites an unresolved cited work.
Automated Lemma Discovery in Agentic Program Verification Unresolved cited work
Reference 51
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T17:41:35.246573Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 154ee69a-e75b-42e1-a923-3bc666094114 · outbound
This paper cites an unresolved cited work.
Automated Lemma Discovery in Agentic Program Verification Unresolved cited work
Reference 52
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T17:41:35.249886Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b302f95e-47a2-4e12-ab27-607d976637fb · outbound
This paper cites an unresolved cited work.
Automated Lemma Discovery in Agentic Program Verification Unresolved cited work
Reference 53
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T17:41:35.252765Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation fcc95983-9ee0-4911-ae9e-fd23cbe0e28b · outbound
This paper cites an unresolved cited work.
Automated Lemma Discovery in Agentic Program Verification Unresolved cited work
Reference 54
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T17:41:35.255810Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e7391659-e7ab-4987-af5a-b812844cbec7 · outbound
This paper cites 2023.Formal verification: an essential toolkit for modern VLSI design.
Automated Lemma Discovery in Agentic Program Verification 2023.Formal verification: an essential toolkit for modern VLSI design
Reference 55
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T17:41:35.258750Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 115f1e9c-8801-4f68-9afe-2177190d565a · outbound
This paper cites an unresolved cited work.
Automated Lemma Discovery in Agentic Program Verification Unresolved cited work
Reference 56
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T17:41:35.261430Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4a9d235b-6ec8-44fb-a557-47addf74e709 · outbound
This paper cites an unresolved cited work.
Automated Lemma Discovery in Agentic Program Verification Unresolved cited work
Reference 57
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T17:41:35.264487Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9e0b8489-23e9-4a8f-8eab-609cd66d0730 · outbound
This paper cites an unresolved cited work.
Automated Lemma Discovery in Agentic Program Verification Unresolved cited work
Reference 58
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T17:41:35.267285Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d19ff3dd-220d-424a-afa8-6f80a420e8e3 · outbound
This paper cites Ferreira, Sorin Lerner, and Emily First.
Automated Lemma Discovery in Agentic Program Verification Ferreira, Sorin Lerner, and Emily First
Reference 59
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T17:41:35.270100Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 69ed2fc3-e511-4a63-9a0f-c16195ec431b · outbound
This paper cites an unresolved cited work.
Automated Lemma Discovery in Agentic Program Verification Unresolved cited work
Reference 60
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T17:41:35.272913Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation eeb80859-35f4-4000-a662-5f8923a263ca · outbound
This paper cites Agentic Verification of Software Systems.
Automated Lemma Discovery in Agentic Program Verification Agentic Verification of Software Systems
Reference 61
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T17:41:35.275681Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a452500f-f9be-4f86-a5c5-a2918c56727e · outbound
This paper cites an unresolved cited work.
Automated Lemma Discovery in Agentic Program Verification Unresolved cited work
Reference 62
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T17:41:35.278875Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a52ed682-3086-4cd0-aa2e-d3989d7c9a3c · outbound
This paper cites an unresolved cited work.
Automated Lemma Discovery in Agentic Program Verification Unresolved cited work
Reference 63
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T17:41:35.285871Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 516cf76e-08a0-468b-a60c-a309f33eb180 · outbound
This paper cites an unresolved cited work.
Automated Lemma Discovery in Agentic Program Verification Unresolved cited work
Reference 64
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T17:41:35.288905Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6070b0f2-55eb-44d8-828d-d5340363328d · outbound
This paper cites an unresolved cited work.
Automated Lemma Discovery in Agentic Program Verification Unresolved cited work
Reference 65
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T17:41:35.291708Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6b0359f0-5f7c-41dc-961f-81c2625f309a · outbound
This paper cites an unresolved cited work.
Automated Lemma Discovery in Agentic Program Verification Unresolved cited work
Reference 66
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T17:41:35.295003Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d6843a35-330d-47a9-b363-f04a2eb50b09 · outbound
This paper cites an unresolved cited work.
Automated Lemma Discovery in Agentic Program Verification Unresolved cited work
Reference 67
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T17:41:35.297964Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 82ad8dc6-10bb-45bd-b22d-610477378774 · outbound
This paper cites Lorch, Shuai Lu, Fan Yang, Ziqiao Zhou, and Shan Lu.
Automated Lemma Discovery in Agentic Program Verification Lorch, Shuai Lu, Fan Yang, Ziqiao Zhou, and Shan Lu
Reference 68
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T17:41:35.301108Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e89f2c8c-fe5a-405d-b4fa-f048e6b8200d · outbound
This paper cites an unresolved cited work.
Automated Lemma Discovery in Agentic Program Verification Unresolved cited work
Reference 69
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T17:41:35.304147Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ff0fb337-937e-4779-a943-933ac85f26ff · outbound
This paper cites an unresolved cited work.
Automated Lemma Discovery in Agentic Program Verification Unresolved cited work
Reference 70
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T17:41:35.306992Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 02e3f808-f3b6-4855-802c-50fc8764daca · outbound
This paper cites an unresolved cited work.
Automated Lemma Discovery in Agentic Program Verification Unresolved cited work
Reference 71
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T17:41:35.309802Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 69b0c54d-1e59-4cc3-90a6-45afef83a7bb · outbound
This paper cites an unresolved cited work.
Automated Lemma Discovery in Agentic Program Verification Unresolved cited work
Reference 2010
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T17:41:35.083548Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e85262da-0b80-4515-b8f8-895bf8143a10 · outbound
This paper cites InNASA Formal Methods Symposium.
Automated Lemma Discovery in Agentic Program Verification InNASA Formal Methods Symposium
Reference 2014
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T17:41:35.114969Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8df50cd1-0c09-4b64-8244-1dadfbd2d7be · outbound
This paper cites an unresolved cited work.
Automated Lemma Discovery in Agentic Program Verification Unresolved cited work
Reference 2024
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T17:41:35.152252Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 79b37a95-cd8f-401a-b229-0c52a699883c · outbound
This paper cites ACM Program.
Automated Lemma Discovery in Agentic Program Verification ACM Program
Reference 2026
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T17:41:35.282312Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Pith citing papers
No inbound Pith citation observations are available.