Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-14T05:11:01.486804Z
Paper Citation Record · LEDGER
Vero: Can AI Agents Build Formally Verified Software Repositories?
As of 17 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.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-17T06:30:58.91139+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
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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+00:00.
Pith citing papers
No inbound Pith citation observations are available.