Paper Citation Record · LEDGER

Vero: Can AI Agents Build Formally Verified Software Repositories?

As of 14 August 2026, this Paper Citation Record lists 48 of 48 outbound references and 0 inbound Pith citation observations for arXiv:2608.13522.

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

pith.paper-citation-record.v1
2608.13522 v1

Coverage vector

measured 48 of 48 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-14T05:11:01.486804Z

measured 48 of 48 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-14T06:32:32.682623+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

48 of 48 outbound references displayed

verified exact2
verified fuzzy22
unresolved24
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 275e85e4-a185-414f-9f9d-7cdca009c3e2 · outbound

This paper cites Agent skills.

Vero: Can AI Agents Build Formally Verified Software Repositories? Agent skills

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T05:11:02.421906Z

Source-reported events for the cited work

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

Observation 31624a55-2d5e-478a-ba55-9c502576a160 · outbound

This paper cites Program Synthesis with Large Language Models.

Vero: Can AI Agents Build Formally Verified Software Repositories? Program Synthesis with Large Language Models

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-14T05:11:01.299046Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 80a90a3a-9db1-4429-8ec2-fa9f0f0738c1 · outbound

This paper cites PhD thesis, Inria, 1997.

Vero: Can AI Agents Build Formally Verified Software Repositories? PhD thesis, Inria, 1997

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T05:11:02.410636Z

Source-reported events for the cited work

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

Observation 96ff787f-574a-4f52-8c57-dd9aa91207f2 · outbound

This paper cites A benchmark for vericoding: formally verified program synthesis.arXiv preprint arXiv:2509.22908, 2025.

Vero: Can AI Agents Build Formally Verified Software Repositories? A benchmark for vericoding: formally verified program synthesis.arXiv preprint arXiv:2509.22908, 2025

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-14T05:11:01.307313Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9f19d308-7575-473e-961e-c6b04b5734d1 · outbound

This paper cites Evaluating Large Language Models Trained on Code.

Vero: Can AI Agents Build Formally Verified Software Repositories? Evaluating Large Language Models Trained on Code

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-14T05:11:01.311279Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 813be550-2ed7-4291-899b-7888c925e291 · outbound

This paper cites The Lean theorem prover (system description).

Vero: Can AI Agents Build Formally Verified Software Repositories? The Lean theorem prover (system description)

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T05:11:02.398288Z

Source-reported events for the cited work

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

Observation 706e0e91-d8ff-4728-a7d6-bde848b9ef23 · outbound

This paper cites Verifythis- bench: Generating code, specifications, and proofs all at once.arXiv preprint arXiv:2505.19271, 2025.

Vero: Can AI Agents Build Formally Verified Software Repositories? Verifythis- bench: Generating code, specifications, and proofs all at once.arXiv preprint arXiv:2505.19271, 2025

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-14T05:11:01.319532Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a308fcb9-490a-4986-bae3-307e7ee548f5 · outbound

This paper cites Proving the Coding Interview: A Benchmark for Formally Verified Code Generation.

Vero: Can AI Agents Build Formally Verified Software Repositories? Proving the Coding Interview: A Benchmark for Formally Verified Code Generation

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-14T05:11:01.323314Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 543377e4-81ea-4c5d-9891-fe7c855e52cf · outbound

This paper cites Sloan, and Adam Chlipala.

Vero: Can AI Agents Build Formally Verified Software Repositories? Sloan, and Adam Chlipala

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T05:11:02.386306Z

Source-reported events for the cited work

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

Observation 5cd3a6bc-0553-4a0f-842f-ef5576685f02 · outbound

This paper cites Certified Program Synthesis with a Multi-Modal Verifier.

Vero: Can AI Agents Build Formally Verified Software Repositories? Certified Program Synthesis with a Multi-Modal Verifier

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-14T05:11:01.331234Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a765ec26-2950-47af-a7fb-e79b1105e631 · outbound

This paper cites CertiKOS: An extensible architecture for building certified concurrent OS kernels.

Vero: Can AI Agents Build Formally Verified Software Repositories? CertiKOS: An extensible architecture for building certified concurrent OS kernels

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T05:11:02.375092Z

Source-reported events for the cited work

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

Observation 30d85ca8-dc9f-4e39-8c53-036d6dcdcd22 · outbound

This paper cites Lorch, Bryan Parno, Michael L.

Vero: Can AI Agents Build Formally Verified Software Repositories? Lorch, Bryan Parno, Michael L

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T05:11:02.363166Z

Source-reported events for the cited work

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

Observation 3bb55b22-c57f-4b9b-82cf-c84c3d249e12 · outbound

This paper cites Measuring coding challenge competence with APPS.

Vero: Can AI Agents Build Formally Verified Software Repositories? Measuring coding challenge competence with APPS

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T05:11:02.350692Z

Source-reported events for the cited work

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

Observation 3f6b831e-c190-44a1-955a-27e96234ef78 · outbound

This paper cites LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Code.

Vero: Can AI Agents Build Formally Verified Software Repositories? LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Code

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-14T05:11:01.346577Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 62fb1da6-dedf-4b20-a561-13d5319856f1 · outbound

This paper cites SWE-bench: Can language models resolve real-world GitHub issues? InInternational Conference on Learning Representations (ICLR), 2024.

Vero: Can AI Agents Build Formally Verified Software Repositories? SWE-bench: Can language models resolve real-world GitHub issues? InInternational Conference on Learning Representations (ICLR), 2024

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T05:11:02.339555Z

Source-reported events for the cited work

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

Observation 92074364-6f9b-4b96-a7ff-223ece11440e · outbound

This paper cites seL4: Formal verification of an OS kernel.

Vero: Can AI Agents Build Formally Verified Software Repositories? seL4: Formal verification of an OS kernel

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T05:11:02.328423Z

Source-reported events for the cited work

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

Observation d755a24d-9494-4b37-99a0-1ea8b6d443ec · outbound

This paper cites LeanAgent: Lifelong Learning for Formal Theorem Proving.

Vero: Can AI Agents Build Formally Verified Software Repositories? LeanAgent: Lifelong Learning for Formal Theorem Proving

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-14T05:11:01.359174Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 80c8ea5f-67bc-4fdc-8daf-aa8b62251c98 · outbound

This paper cites Verus: Verifying rust programs using linear ghost types.Proceedings of the ACM on Programming Languages, 2023.

Vero: Can AI Agents Build Formally Verified Software Repositories? Verus: Verifying rust programs using linear ghost types.Proceedings of the ACM on Programming Languages, 2023

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T05:11:02.316278Z

Source-reported events for the cited work

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

Observation cf7c9819-f799-4a46-83d1-759ceb527f40 · outbound

This paper cites Dafny: An automatic program verifier for functional correctness.

Vero: Can AI Agents Build Formally Verified Software Repositories? Dafny: An automatic program verifier for functional correctness

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T05:11:02.302318Z

Source-reported events for the cited work

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

Observation a99012e3-3620-4f0c-83d0-122167a4ede8 · outbound

This paper cites miniCodeProps: a Minimal Benchmark for Proving Code Properties.

Vero: Can AI Agents Build Formally Verified Software Repositories? miniCodeProps: a Minimal Benchmark for Proving Code Properties

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-14T05:11:01.371264Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7bada6c5-1032-425c-bddb-0e4bfd42b18e · outbound

This paper cites DafnyBench: A benchmark for formal software verification.Transactions on Machine Learning Research, 2025.

Vero: Can AI Agents Build Formally Verified Software Repositories? DafnyBench: A benchmark for formal software verification.Transactions on Machine Learning Research, 2025

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T05:11:02.289806Z

Source-reported events for the cited work

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

Observation 5973f7c4-f51e-44f1-9d97-56e65961cc5e · outbound

This paper cites The Lean mathematical library.

Vero: Can AI Agents Build Formally Verified Software Repositories? The Lean mathematical library

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T05:11:02.276976Z

Source-reported events for the cited work

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

Observation 5ecd46ac-d7c9-42f9-9e9b-48dbc6436431 · outbound

This paper cites HACLxN: Verified generic SIMD crypto (for all your favourite platforms).

Vero: Can AI Agents Build Formally Verified Software Repositories? HACLxN: Verified generic SIMD crypto (for all your favourite platforms)

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T05:11:02.265307Z

Source-reported events for the cited work

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

Observation 7abc2521-c741-4440-8bed-2c0c63224193 · outbound

This paper cites Can large language models verify system software? a case study using FSCQ as a benchmark.

Vero: Can AI Agents Build Formally Verified Software Repositories? Can large language models verify system software? a case study using FSCQ as a benchmark

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T05:11:02.252971Z

Source-reported events for the cited work

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

Observation c333ace1-0b5e-4bf0-a515-edede4afe1a7 · outbound

This paper cites s2n-bignum-bench: A practical benchmark for evaluating low-level code reasoning of LLMs.

Vero: Can AI Agents Build Formally Verified Software Repositories? s2n-bignum-bench: A practical benchmark for evaluating low-level code reasoning of LLMs

Reference 25

Resolution: verified exact; local_arxiv, observed 2026-08-14T05:11:01.847917Z

Source-reported events for the cited work

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

Observation 059edb98-87a4-49bf-9074-8f772e40f8ad · outbound

This paper cites Quantifying contamination in evaluating code generation capabilities of language models.

Vero: Can AI Agents Build Formally Verified Software Repositories? Quantifying contamination in evaluating code generation capabilities of language models

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-14T05:11:01.395856Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 841468dc-89b6-45f2-95a2-6ff3786895e2 · outbound

This paper cites Clover: Closed-loop verifiable code generation.

Vero: Can AI Agents Build Formally Verified Software Repositories? Clover: Closed-loop verifiable code generation

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T05:11:02.234634Z

Source-reported events for the cited work

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

Observation 0d2be53d-e9c0-4213-a8f7-daf0c9984a42 · outbound

This paper cites Clever: A curated benchmark for formally verified code generation.arXiv preprint arXiv:2505.13938, 2025.

Vero: Can AI Agents Build Formally Verified Software Repositories? Clever: A curated benchmark for formally verified code generation.arXiv preprint arXiv:2505.13938, 2025

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-14T05:11:01.403492Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 989cef46-db36-4eb5-a27f-1f782b28a47b · outbound

This paper cites Rango: Adaptive retrieval-augmented proving for automated software verification.

Vero: Can AI Agents Build Formally Verified Software Repositories? Rango: Adaptive retrieval-augmented proving for automated software verification

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T05:11:02.223573Z

Source-reported events for the cited work

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

Observation 5de29f7d-dd70-4655-a3ee-14e56339d350 · outbound

This paper cites Ape-bench i: Towards file-level automated proof engineering of formal math libraries.arXiv preprint arXiv:2504.19110, 2025.

Vero: Can AI Agents Build Formally Verified Software Repositories? Ape-bench i: Towards file-level automated proof engineering of formal math libraries.arXiv preprint arXiv:2504.19110, 2025

Reference 30

Resolution: verified exact; raw_fallback, observed 2026-08-14T05:11:01.782776Z

Source-reported events for the cited work

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

Observation 492d9ba2-4c95-4c1a-8543-e08aa2bbd836 · outbound

This paper cites Verisoftbench: Repository-scale formal verification benchmarks for lean.arXiv preprint arXiv:2602.18307, 2026.

Vero: Can AI Agents Build Formally Verified Software Repositories? Verisoftbench: Repository-scale formal verification benchmarks for lean.arXiv preprint arXiv:2602.18307, 2026

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-14T05:11:01.414867Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 767cb3ed-9a7c-4548-86ec-9c2554ad1675 · outbound

This paper cites Autoverus: Auto- mated proof generation for rust code.Proceedings of the ACM on Programming Languages, 9(OOPSLA2):3454–3482, 2025.

Vero: Can AI Agents Build Formally Verified Software Repositories? Autoverus: Auto- mated proof generation for rust code.Proceedings of the ACM on Programming Languages, 9(OOPSLA2):3454–3482, 2025

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T05:11:02.212370Z

Source-reported events for the cited work

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

Observation 1810284d-2eea-45b7-a2b1-b656c6d0c643 · outbound

This paper cites VeruSAGE: A Study of Agent-Based Verification for Rust Systems.

Vero: Can AI Agents Build Formally Verified Software Repositories? VeruSAGE: A Study of Agent-Based Verification for Rust Systems

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-14T05:11:01.422403Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 481e7c69-258b-4c90-bc78-1f97fdf092ef · outbound

This paper cites SWE-agent: Agent-Computer Interfaces Enable Automated Software Engineering.

Vero: Can AI Agents Build Formally Verified Software Repositories? SWE-agent: Agent-Computer Interfaces Enable Automated Software Engineering

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-14T05:11:01.426349Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5f6cad89-95bd-42fd-b497-b24f4c5b0e4b · outbound

This paper cites LeanDojo: Theorem proving with retrieval-augmented language models.

Vero: Can AI Agents Build Formally Verified Software Repositories? LeanDojo: Theorem proving with retrieval-augmented language models

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T05:11:02.200064Z

Source-reported events for the cited work

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

Observation 737c7552-f022-4fe3-9482-87fc1395851c · outbound

This paper cites Verina: Benchmarking verifiable code generation.arXiv preprint arXiv:2505.23135, 2025.

Vero: Can AI Agents Build Formally Verified Software Repositories? Verina: Benchmarking verifiable code generation.arXiv preprint arXiv:2505.23135, 2025

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-14T05:11:01.435899Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3f966e1e-4460-4e3c-888f-71c8077030e7 · outbound

This paper cites VeriEquivBench: An Equivalence Score for Ground-Truth-Free Evaluation of Formally Verifiable Code.

Vero: Can AI Agents Build Formally Verified Software Repositories? VeriEquivBench: An Equivalence Score for Ground-Truth-Free Evaluation of Formally Verifiable Code

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-14T05:11:01.440212Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 32488a48-c167-4da1-8484-a9101d8a2a4f · outbound

This paper cites AlgoVeri: An Aligned Benchmark for Verified Code Generation on Classical Algorithms.

Vero: Can AI Agents Build Formally Verified Software Repositories? AlgoVeri: An Aligned Benchmark for Verified Code Generation on Classical Algorithms

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-14T05:11:01.444016Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ddcba3fb-a88e-4f09-ad22-6e5d40b420dc · outbound

This paper cites cp” = code-and-proof, “po.

Vero: Can AI Agents Build Formally Verified Software Repositories? cp” = code-and-proof, “po

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T05:11:02.186181Z

Source-reported events for the cited work

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

Observation df3a4314-02d8-4d1c-a976-be93505d2938 · outbound

This paper cites an unresolved cited work.

Vero: Can AI Agents Build Formally Verified Software Repositories? Unresolved cited work

Reference 40

Resolution: unresolved; raw_fallback, observed 2026-08-14T05:11:02.174027Z

Source-reported events for the cited work

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

Observation 186499e6-4e3f-4340-8183-dc359e61719a · outbound

This paper cites Those seven included spec_deposit_preserves_valid, the contract’s principal inductive invariant.

Vero: Can AI Agents Build Formally Verified Software Repositories? Those seven included spec_deposit_preserves_valid, the contract’s principal inductive invariant

Reference 41

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T05:11:02.162505Z

Source-reported events for the cited work

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

Observation 2552b3ee-d428-4a69-a37f-868e15ad0303 · outbound

This paper cites an unresolved cited work.

Vero: Can AI Agents Build Formally Verified Software Repositories? Unresolved cited work

Reference 42

Resolution: unresolved; raw_fallback, observed 2026-08-14T05:11:02.150533Z

Source-reported events for the cited work

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

Observation ce9691c4-6185-4e67-8ebb-80edfa4604e3 · outbound

This paper cites It has moved into a named helper.

Vero: Can AI Agents Build Formally Verified Software Repositories? It has moved into a named helper

Reference 43

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T05:11:02.137734Z

Source-reported events for the cited work

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

Observation df21c087-9b26-41bf-b414-2beb3d2ab3eb · outbound

This paper cites an unresolved cited work.

Vero: Can AI Agents Build Formally Verified Software Repositories? Unresolved cited work

Reference 44

Resolution: unresolved; raw_fallback, observed 2026-08-14T05:11:02.124215Z

Source-reported events for the cited work

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

Observation f90feb21-2951-400e-9251-0cc4919c59e7 · outbound

This paper cites an unresolved cited work.

Vero: Can AI Agents Build Formally Verified Software Repositories? Unresolved cited work

Reference 45

Resolution: unresolved; raw_fallback, observed 2026-08-14T05:11:02.110156Z

Source-reported events for the cited work

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

Observation 29bc3aed-6756-40d7-be87-a431bd2fa312 · outbound

This paper cites an unresolved cited work.

Vero: Can AI Agents Build Formally Verified Software Repositories? Unresolved cited work

Reference 46

Resolution: unresolved; raw_fallback, observed 2026-08-14T05:11:02.097683Z

Source-reported events for the cited work

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

Observation 9925f445-dc16-4ede-8202-a9ffce0d1566 · outbound

This paper cites an unresolved cited work.

Vero: Can AI Agents Build Formally Verified Software Repositories? Unresolved cited work

Reference 47

Resolution: unresolved; raw_fallback, observed 2026-08-14T05:11:02.084564Z

Source-reported events for the cited work

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

Observation 7202beb0-2f63-472d-bc01-99e0d8ac5204 · outbound

This paper cites an unresolved cited work.

Vero: Can AI Agents Build Formally Verified Software Repositories? Unresolved cited work

Reference 48

Resolution: unresolved; raw_fallback, observed 2026-08-14T05:11:02.071876Z

Source-reported events for the cited work

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

Pith citing papers

No inbound Pith citation observations are available.