Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-15T17:25:06.308148Z
Paper Citation Record · LEDGER
How Powerful are LLMs in Generating Formal Program Specifications?
As of 22 August 2026, this Paper Citation Record lists 53 of 53 outbound references and 0 inbound Pith citation observations for arXiv:2608.13077.
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-22T06:32:14.747728+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
53 of 53 outbound references displayed
- verified exact1
- verified fuzzy24
- unresolved28
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation e7704b3b-c574-4e6a-8ecd-ed0901f8153c · outbound
This paper cites an unresolved cited work.
How Powerful are LLMs in Generating Formal Program Specifications? Unresolved cited work
Reference 1
- Resolution
- unresolved
- raw_fallback, observed 2026-08-15T17:25:07.451103Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 41728336-c682-4916-9797-6f5d194524c9 · outbound
This paper cites an unresolved cited work.
How Powerful are LLMs in Generating Formal Program Specifications? Unresolved cited work
Reference 2
- Resolution
- unresolved
- raw_fallback, observed 2026-08-15T17:25:07.432061Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation de948bb1-1d43-4f9c-8160-366d3d96719a · outbound
This paper cites 1994 , publisher=.
How Powerful are LLMs in Generating Formal Program Specifications? 1994 , publisher=
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T17:25:07.414530Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 4a9277dc-5baf-403d-ae62-07d4c3d1313c · outbound
This paper cites an unresolved cited work.
How Powerful are LLMs in Generating Formal Program Specifications? Unresolved cited work
Reference 4
- Resolution
- unresolved
- raw_fallback, observed 2026-08-15T17:25:07.397390Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 2504cb03-262f-452c-adc5-b2808eac35f5 · outbound
This paper cites an unresolved cited work.
How Powerful are LLMs in Generating Formal Program Specifications? Unresolved cited work
Reference 5
- Resolution
- unresolved
- raw_fallback, observed 2026-08-15T17:25:07.380555Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation bbe70209-71f7-4eab-890e-fa87f4c03ba1 · outbound
This paper cites Evaluating Large Language Models Trained on Code.
How Powerful are LLMs in Generating Formal Program Specifications? Evaluating Large Language Models Trained on Code
Reference 6
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T17:25:06.058548Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a436195e-e2cb-4cc9-b5af-ce1c4fc8aff0 · outbound
This paper cites International Conference on Machine Learning , pages=.
How Powerful are LLMs in Generating Formal Program Specifications? International Conference on Machine Learning , pages=
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T17:25:07.362348Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation cd70644b-3187-49f3-92af-170ad07185b9 · outbound
This paper cites an unresolved cited work.
How Powerful are LLMs in Generating Formal Program Specifications? Unresolved cited work
Reference 8
- Resolution
- unresolved
- raw_fallback, observed 2026-08-15T17:25:07.342556Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation beb7c976-2748-498f-9ded-5517a80d0574 · outbound
This paper cites Enhancing transformation from natural language to signal temporal logic using.
How Powerful are LLMs in Generating Formal Program Specifications? Enhancing transformation from natural language to signal temporal logic using
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T17:25:07.325120Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation be2ede88-3463-42ac-9c7d-40b83be55145 · outbound
This paper cites International Conference on Computer Aided Verification , pages=.
How Powerful are LLMs in Generating Formal Program Specifications? International Conference on Computer Aided Verification , pages=
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T17:25:07.305382Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 00ce8a01-4319-475b-8a65-94f4cc3e5451 · outbound
This paper cites an unresolved cited work.
How Powerful are LLMs in Generating Formal Program Specifications? Unresolved cited work
Reference 11
- Resolution
- unresolved
- raw_fallback, observed 2026-08-15T17:25:07.287335Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 4db0d85a-65a8-401a-86a8-918c961bd353 · outbound
This paper cites an unresolved cited work.
How Powerful are LLMs in Generating Formal Program Specifications? Unresolved cited work
Reference 12
- Resolution
- unresolved
- raw_fallback, observed 2026-08-15T17:25:07.268782Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation fcedd61e-9a45-4d50-a733-de19c242d7db · outbound
This paper cites Generating correctness proofs with neural networks , booktitle =.
How Powerful are LLMs in Generating Formal Program Specifications? Generating correctness proofs with neural networks , booktitle =
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T17:25:07.248553Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation d70964cd-a7ca-4f43-83ea-648f024efaf2 · outbound
This paper cites Rabe and Talia Ringer and Yuriy Brun , editor =.
How Powerful are LLMs in Generating Formal Program Specifications? Rabe and Talia Ringer and Yuriy Brun , editor =
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T17:25:07.231140Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 7c0055f5-d40f-417a-a564-d5eebfabec9a · outbound
This paper cites LeanDojo: Theorem Proving with Retrieval-Augmented Language Models , volume =.
How Powerful are LLMs in Generating Formal Program Specifications? LeanDojo: Theorem Proving with Retrieval-Augmented Language Models , volume =
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T17:25:07.212390Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 30f68c05-926e-46af-9305-048710a3f22a · outbound
This paper cites Barrett and Nina Narodytska , title =.
How Powerful are LLMs in Generating Formal Program Specifications? Barrett and Nina Narodytska , title =
Reference 16
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T17:25:07.192312Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 95b262eb-5b87-41e9-b549-3df7ae006e80 · outbound
This paper cites 2024 , url=.
How Powerful are LLMs in Generating Formal Program Specifications? 2024 , url=
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T17:25:07.170141Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 38ccb3e5-1e40-4b4d-af3a-da5f55cf0906 · outbound
This paper cites DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data.
How Powerful are LLMs in Generating Formal Program Specifications? DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data
Reference 18
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T17:25:06.126335Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4f437004-10cc-4a21-9ad6-e1e23a917061 · outbound
This paper cites International Conference on Learning Representations , pages=.
How Powerful are LLMs in Generating Formal Program Specifications? International Conference on Learning Representations , pages=
Reference 19
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T17:25:07.147526Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 6a9f4a48-0576-4b97-b4d8-f4ff9e897469 · outbound
This paper cites DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition.
How Powerful are LLMs in Generating Formal Program Specifications? DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition
Reference 20
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T17:25:06.136328Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9f2ca052-64ab-4b5d-a0fd-9dd8031f5fc8 · outbound
This paper cites an unresolved cited work.
How Powerful are LLMs in Generating Formal Program Specifications? Unresolved cited work
Reference 21
- Resolution
- unresolved
- raw_fallback, observed 2026-08-15T17:25:07.129661Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation ed9ef659-170a-4f0d-87e2-1235ae24dd9f · outbound
This paper cites an unresolved cited work.
How Powerful are LLMs in Generating Formal Program Specifications? Unresolved cited work
Reference 22
- Resolution
- unresolved
- raw_fallback, observed 2026-08-15T17:25:07.112923Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation e98b98ed-2d1d-4a9a-8e24-680797622ee9 · outbound
This paper cites Nature , volume=.
How Powerful are LLMs in Generating Formal Program Specifications? Nature , volume=
Reference 23
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T17:25:06.153014Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c5a377f1-6e84-47d6-9459-718e20f48cb5 · outbound
This paper cites APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning , volume =.
How Powerful are LLMs in Generating Formal Program Specifications? APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning , volume =
Reference 24
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T17:25:07.084140Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation a10b8431-a50e-40ad-ad5f-1bc32465dc34 · outbound
This paper cites an unresolved cited work.
How Powerful are LLMs in Generating Formal Program Specifications? Unresolved cited work
Reference 25
- Resolution
- unresolved
- raw_fallback, observed 2026-08-15T17:25:07.065998Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 3fc16504-980c-4609-8efe-653110cd5560 · outbound
This paper cites Barrett , title =.
How Powerful are LLMs in Generating Formal Program Specifications? Barrett , title =
Reference 26
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T17:25:07.047550Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 4f7ce481-5014-4876-8f75-f2bf044a454d · outbound
This paper cites an unresolved cited work.
How Powerful are LLMs in Generating Formal Program Specifications? Unresolved cited work
Reference 27
- Resolution
- unresolved
- raw_fallback, observed 2026-08-15T17:25:07.028668Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 8abcf65e-8b01-464c-9dab-de13c1358734 · outbound
This paper cites Proving the Coding Interview: A Benchmark for Formally Verified Code Generation.
How Powerful are LLMs in Generating Formal Program Specifications? Proving the Coding Interview: A Benchmark for Formally Verified Code Generation
Reference 28
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T17:25:06.180267Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ac750f65-2637-4b77-9d02-4feb853f1f6c · outbound
This paper cites an unresolved cited work.
How Powerful are LLMs in Generating Formal Program Specifications? Unresolved cited work
Reference 29
- Resolution
- unresolved
- raw_fallback, observed 2026-08-15T17:25:07.009645Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 3c178565-a2e2-4667-ab87-a4e60101e170 · outbound
This paper cites Ernst and Jeff H.
How Powerful are LLMs in Generating Formal Program Specifications? Ernst and Jeff H
Reference 30
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T17:25:06.191108Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8059373e-13f8-47be-9fd3-b89ab9118f34 · outbound
This paper cites Enchanting Program Specification Synthesis by Large Language Models Using Static Analysis and Program Verification , booktitle =.
How Powerful are LLMs in Generating Formal Program Specifications? Enchanting Program Specification Synthesis by Large Language Models Using Static Analysis and Program Verification , booktitle =
Reference 31
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T17:25:06.980435Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 7fc3d856-0eb2-4696-8e10-a6bb9d0d99b1 · outbound
This paper cites an unresolved cited work.
How Powerful are LLMs in Generating Formal Program Specifications? Unresolved cited work
Reference 32
- Resolution
- unresolved
- raw_fallback, observed 2026-08-15T17:25:06.961144Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 4a7d64cd-2575-4aa2-8a4f-993c8562f0da · outbound
This paper cites arXiv preprint arXiv:2506.09550 , year=.
How Powerful are LLMs in Generating Formal Program Specifications? arXiv preprint arXiv:2506.09550 , year=
Reference 33
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T17:25:06.205600Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f1e9ac21-8fdb-4923-8dd5-59e0bd029fc7 · outbound
This paper cites arXiv preprint arXiv:2512.15816 , year=.
How Powerful are LLMs in Generating Formal Program Specifications? arXiv preprint arXiv:2512.15816 , year=
Reference 34
- Resolution
- verified exact
- raw_fallback, observed 2026-08-15T17:25:06.525298Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation f5eee0fb-1996-4d4c-ae46-2d00057814d3 · outbound
This paper cites an unresolved cited work.
How Powerful are LLMs in Generating Formal Program Specifications? Unresolved cited work
Reference 35
- Resolution
- unresolved
- raw_fallback, observed 2026-08-15T17:25:06.943392Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation ae781666-30d9-4db9-9b5b-8f4e72196251 · outbound
This paper cites Finding Inductive Loop Invariants using Large Language Models.
How Powerful are LLMs in Generating Formal Program Specifications? Finding Inductive Loop Invariants using Large Language Models
Reference 36
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T17:25:06.222543Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 922e13ec-1f83-496d-bbb5-0c79cee8292d · outbound
This paper cites an unresolved cited work.
How Powerful are LLMs in Generating Formal Program Specifications? Unresolved cited work
Reference 37
- Resolution
- unresolved
- raw_fallback, observed 2026-08-15T17:25:06.925842Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 784f3a01-6e99-4758-b258-b67ab4c859ff · outbound
This paper cites an unresolved cited work.
How Powerful are LLMs in Generating Formal Program Specifications? Unresolved cited work
Reference 38
- Resolution
- unresolved
- raw_fallback, observed 2026-08-15T17:25:06.908741Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation f3ee8b57-1d5b-425f-b29c-3b92f8cdfb7c · outbound
This paper cites From Informal to Formal -- Incorporating and Evaluating LLM s on Natural Language Requirements to Verifiable Formal Proofs.
How Powerful are LLMs in Generating Formal Program Specifications? From Informal to Formal -- Incorporating and Evaluating LLM s on Natural Language Requirements to Verifiable Formal Proofs
Reference 39
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T17:25:06.236824Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7fc48015-a185-4cd2-95ff-d7978132f23b · outbound
This paper cites Use property-based testing to bridge.
How Powerful are LLMs in Generating Formal Program Specifications? Use property-based testing to bridge
Reference 40
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T17:25:06.892053Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 3531cdbd-5653-4ffc-a9ab-1e1caf0f5572 · outbound
This paper cites arXiv preprint arXiv:2510.09907 , year=.
How Powerful are LLMs in Generating Formal Program Specifications? arXiv preprint arXiv:2510.09907 , year=
Reference 41
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T17:25:06.248535Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 47972e2b-6af3-4721-8465-fc7a82f09f43 · outbound
This paper cites Validating Formal Specifications with.
How Powerful are LLMs in Generating Formal Program Specifications? Validating Formal Specifications with
Reference 42
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T17:25:06.873996Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 92683ad7-27d6-4b3b-a9a3-08ece3e7c751 · outbound
This paper cites an unresolved cited work.
How Powerful are LLMs in Generating Formal Program Specifications? Unresolved cited work
Reference 43
- Resolution
- unresolved
- raw_fallback, observed 2026-08-15T17:25:06.855560Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 10e76ea8-d2b9-4b02-baf2-f3154130e203 · outbound
This paper cites Proceedings of the ACM on Software Engineering , volume=.
How Powerful are LLMs in Generating Formal Program Specifications? Proceedings of the ACM on Software Engineering , volume=
Reference 44
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T17:25:06.837644Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation b113c754-122b-4223-8c8c-b0defc2f30e2 · outbound
This paper cites 2018 , publisher=.
How Powerful are LLMs in Generating Formal Program Specifications? 2018 , publisher=
Reference 45
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T17:25:06.819570Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 3af9f741-1106-429b-a027-42d2985a00fc · outbound
This paper cites 2024 , publisher=.
How Powerful are LLMs in Generating Formal Program Specifications? 2024 , publisher=
Reference 46
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T17:25:06.802865Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 01871369-d8e6-4d7d-8259-18db4f0e8d0c · outbound
This paper cites an unresolved cited work.
How Powerful are LLMs in Generating Formal Program Specifications? Unresolved cited work
Reference 47
- Resolution
- unresolved
- raw_fallback, observed 2026-08-15T17:25:06.785663Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 24ad16bf-5e33-4ee8-a794-cc6202d21f40 · outbound
This paper cites The Fourteenth International Conference on Learning Representations , year=.
How Powerful are LLMs in Generating Formal Program Specifications? The Fourteenth International Conference on Learning Representations , year=
Reference 48
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T17:25:06.768864Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation dc330276-e080-4f54-9a73-1c34e6cde5c0 · outbound
This paper cites The Fourteenth International Conference on Learning Representations , year=.
How Powerful are LLMs in Generating Formal Program Specifications? The Fourteenth International Conference on Learning Representations , year=
Reference 49
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T17:25:06.749031Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 1e31eb39-918b-429b-a5b3-a444667e4395 · outbound
This paper cites 2026 , url=.
How Powerful are LLMs in Generating Formal Program Specifications? 2026 , url=
Reference 50
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T17:25:06.732046Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 5f559a4f-fda1-463e-b94a-2d45fe559ce6 · outbound
This paper cites International Conference on Interactive Theorem Proving , pages=.
How Powerful are LLMs in Generating Formal Program Specifications? International Conference on Interactive Theorem Proving , pages=
Reference 51
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T17:25:06.712848Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 79de4c84-2bec-4822-b0ce-f7145da48829 · outbound
This paper cites Mutation analysis for.
How Powerful are LLMs in Generating Formal Program Specifications? Mutation analysis for
Reference 52
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T17:25:06.694830Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 6f2d8b94-33bd-44d9-8dde-01cf349d693b · outbound
This paper cites MutantChick: Type-Preserving Mutation Analysis for.
How Powerful are LLMs in Generating Formal Program Specifications? MutantChick: Type-Preserving Mutation Analysis for
Reference 53
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T17:25:06.677592Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Pith citing papers
No inbound Pith citation observations are available.