{"as_of":"2026-08-22T20:41:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:b682a6c8251f8318b714fc403a82a7467373d539f10ef85728cc1460b8b64908","coverage":[{"denominator":53,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":53,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-15T17:25:06.308148Z","state":"measured"},{"denominator":53,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":53,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-22T06:32:14.747728+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2608.13077/citation-record","integrity":"/paper/2608.13077/integrity","json":"/paper/2608.13077/citation-record.json","paper":"/paper/2608.13077"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T17:25:07.445371Z","title":null,"venue":null,"work_id":"c3046f42-9fd5-43b7-b01a-8bcdcf270cb9","year":null},"citing_paper":{"arxiv_id":"2608.13077","last_updated":"2026-08-13T10:45:18Z","snapshot_observed_at":"2026-08-21T05:28:13.715768Z","submitted_at":"2026-08-13T10:45:18Z","title":"How Powerful are LLMs in Generating Formal Program Specifications?","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-15T17:25:06.026370Z"},"links":{"citing_paper":"/paper/2608.13077"},"observation_digest":"sha256:bf01d0043c3a86b6ccd5a830d4716c7469abd43ee1c83de750db824836befb5b","observation_id":"e7704b3b-c574-4e6a-8ecd-ed0901f8153c","resolution":{"observed_at":"2026-08-15T17:25:07.451103Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T17:25:07.426430Z","title":null,"venue":null,"work_id":"f87b0116-0a92-4981-bfd8-07521657f75b","year":2015},"citing_paper":{"arxiv_id":"2608.13077","last_updated":"2026-08-13T10:45:18Z","snapshot_observed_at":"2026-08-21T05:28:13.715768Z","submitted_at":"2026-08-13T10:45:18Z","title":"How Powerful are LLMs in Generating Formal Program Specifications?","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-15T17:25:06.034246Z"},"links":{"citing_paper":"/paper/2608.13077"},"observation_digest":"sha256:416bc727b6c54f3f05099fcb43d23be8c84ae2780824a53e29dcd06cb5c39389","observation_id":"41728336-c682-4916-9797-6f5d194524c9","resolution":{"observed_at":"2026-08-15T17:25:07.432061Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T17:25:07.408689Z","title":"1994 , publisher=","venue":null,"work_id":"7c9e8459-6f24-435a-941e-831ed517af52","year":1994},"citing_paper":{"arxiv_id":"2608.13077","last_updated":"2026-08-13T10:45:18Z","snapshot_observed_at":"2026-08-21T05:28:13.715768Z","submitted_at":"2026-08-13T10:45:18Z","title":"How Powerful are LLMs in Generating Formal Program Specifications?","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-15T17:25:06.039959Z"},"links":{"citing_paper":"/paper/2608.13077"},"observation_digest":"sha256:2a46520e7ece57ef194dcb43d7a4680ec6f5b70fee4e75056371ba10d8cd4cef","observation_id":"de948bb1-1d43-4f9c-8160-366d3d96719a","resolution":{"observed_at":"2026-08-15T17:25:07.414530Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T17:25:07.391692Z","title":null,"venue":null,"work_id":"63b8804d-7391-4b39-abe3-a805a0fc49ad","year":null},"citing_paper":{"arxiv_id":"2608.13077","last_updated":"2026-08-13T10:45:18Z","snapshot_observed_at":"2026-08-21T05:28:13.715768Z","submitted_at":"2026-08-13T10:45:18Z","title":"How Powerful are LLMs in Generating Formal Program Specifications?","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-15T17:25:06.045113Z"},"links":{"citing_paper":"/paper/2608.13077"},"observation_digest":"sha256:f1a4aa62912b816b10f490aef310dd71bf136c39202c0e608ebbae2832cfeae8","observation_id":"4a9277dc-5baf-403d-ae62-07d4c3d1313c","resolution":{"observed_at":"2026-08-15T17:25:07.397390Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T17:25:07.374869Z","title":null,"venue":null,"work_id":"b1cba7ce-1db3-43ae-a543-091f894f73d5","year":null},"citing_paper":{"arxiv_id":"2608.13077","last_updated":"2026-08-13T10:45:18Z","snapshot_observed_at":"2026-08-21T05:28:13.715768Z","submitted_at":"2026-08-13T10:45:18Z","title":"How Powerful are LLMs in Generating Formal Program Specifications?","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-15T17:25:06.051912Z"},"links":{"citing_paper":"/paper/2608.13077"},"observation_digest":"sha256:98e79468a26d767b6a9a29d11b7c49e1095d419f493eacad49ce419aabd9e9bc","observation_id":"2504cb03-262f-452c-adc5-b2808eac35f5","resolution":{"observed_at":"2026-08-15T17:25:07.380555Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2107.03374","last_updated":"2021-07-14T17:16:02Z","snapshot_observed_at":"2026-08-20T20:50:23.483838Z","submitted_at":"2021-07-07T17:41:24Z","title":"Evaluating Large Language Models Trained on Code","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2107.03374","snapshot_observed_at":"2026-08-15T17:25:06.058548Z","title":"arXiv preprint arXiv:2107.03374 , year=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.13077","last_updated":"2026-08-13T10:45:18Z","snapshot_observed_at":"2026-08-21T05:28:13.715768Z","submitted_at":"2026-08-13T10:45:18Z","title":"How Powerful are LLMs in Generating Formal Program Specifications?","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-15T17:25:06.058548Z"},"links":{"cited_paper":"/paper/2107.03374","citing_paper":"/paper/2608.13077"},"observation_digest":"sha256:dd70e2e9fe41cea7e459a444597858fdad5452da5c79f8618a4b239ecd413e2d","observation_id":"bbe70209-71f7-4eab-890e-fa87f4c03ba1","resolution":{"observed_at":"2026-08-15T17:25:06.058548Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T17:25:07.354386Z","title":"International Conference on Machine Learning , pages=","venue":null,"work_id":"67e750fc-74ef-4bca-a97b-545303c67ee3","year":2019},"citing_paper":{"arxiv_id":"2608.13077","last_updated":"2026-08-13T10:45:18Z","snapshot_observed_at":"2026-08-21T05:28:13.715768Z","submitted_at":"2026-08-13T10:45:18Z","title":"How Powerful are LLMs in Generating Formal Program Specifications?","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-15T17:25:06.064464Z"},"links":{"citing_paper":"/paper/2608.13077"},"observation_digest":"sha256:966999b8b9507ab2934d964ee98c319f748814891ce4ff0061ff1ad8a60ba74c","observation_id":"a436195e-e2cb-4cc9-b5af-ce1c4fc8aff0","resolution":{"observed_at":"2026-08-15T17:25:07.362348Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T17:25:07.337395Z","title":null,"venue":null,"work_id":"f3da7807-6bf2-4ebb-b79e-8b60767e267f","year":null},"citing_paper":{"arxiv_id":"2608.13077","last_updated":"2026-08-13T10:45:18Z","snapshot_observed_at":"2026-08-21T05:28:13.715768Z","submitted_at":"2026-08-13T10:45:18Z","title":"How Powerful are LLMs in Generating Formal Program Specifications?","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-15T17:25:06.071250Z"},"links":{"citing_paper":"/paper/2608.13077"},"observation_digest":"sha256:8469981bd039b190dbeb138abd15324d2760a9930c2a407f13189d45f31c0d39","observation_id":"cd70644b-3187-49f3-92af-170ad07185b9","resolution":{"observed_at":"2026-08-15T17:25:07.342556Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T17:25:07.319212Z","title":"Enhancing transformation from natural language to signal temporal logic using","venue":null,"work_id":"b9cc56a1-4baa-44b8-b519-815b504eacec","year":null},"citing_paper":{"arxiv_id":"2608.13077","last_updated":"2026-08-13T10:45:18Z","snapshot_observed_at":"2026-08-21T05:28:13.715768Z","submitted_at":"2026-08-13T10:45:18Z","title":"How Powerful are LLMs in Generating Formal Program Specifications?","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-15T17:25:06.076837Z"},"links":{"citing_paper":"/paper/2608.13077"},"observation_digest":"sha256:bef5bf736e6630b2f84aca096a1f23402c96a9853b5fd04d7dccb37d71e2f93a","observation_id":"beb7c976-2748-498f-9ded-5517a80d0574","resolution":{"observed_at":"2026-08-15T17:25:07.325120Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T17:25:07.299327Z","title":"International Conference on Computer Aided Verification , pages=","venue":null,"work_id":"25ff3d58-4d45-4a7a-9211-412769814e8f","year":2023},"citing_paper":{"arxiv_id":"2608.13077","last_updated":"2026-08-13T10:45:18Z","snapshot_observed_at":"2026-08-21T05:28:13.715768Z","submitted_at":"2026-08-13T10:45:18Z","title":"How Powerful are LLMs in Generating Formal Program Specifications?","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-15T17:25:06.083580Z"},"links":{"citing_paper":"/paper/2608.13077"},"observation_digest":"sha256:2c5e08946e84a4c8e98c634a3ba6dd76ca4ed1e97a19eab1c82e7fc3753e9f9a","observation_id":"be2ede88-3463-42ac-9c7d-40b83be55145","resolution":{"observed_at":"2026-08-15T17:25:07.305382Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T17:25:07.281539Z","title":null,"venue":null,"work_id":"6ca3fdbe-6803-4085-ab87-4ed5b2627d21","year":2024},"citing_paper":{"arxiv_id":"2608.13077","last_updated":"2026-08-13T10:45:18Z","snapshot_observed_at":"2026-08-21T05:28:13.715768Z","submitted_at":"2026-08-13T10:45:18Z","title":"How Powerful are LLMs in Generating Formal Program Specifications?","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-15T17:25:06.089088Z"},"links":{"citing_paper":"/paper/2608.13077"},"observation_digest":"sha256:3facf291ce896499b3a749046cad4045892cccfbd73141fbfe893e02152134d7","observation_id":"00ce8a01-4319-475b-8a65-94f4cc3e5451","resolution":{"observed_at":"2026-08-15T17:25:07.287335Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T17:25:07.262651Z","title":null,"venue":null,"work_id":"30cd06c9-d8a2-4852-bd58-22ddf20cdf65","year":null},"citing_paper":{"arxiv_id":"2608.13077","last_updated":"2026-08-13T10:45:18Z","snapshot_observed_at":"2026-08-21T05:28:13.715768Z","submitted_at":"2026-08-13T10:45:18Z","title":"How Powerful are LLMs in Generating Formal Program Specifications?","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-15T17:25:06.094161Z"},"links":{"citing_paper":"/paper/2608.13077"},"observation_digest":"sha256:7dbd97e261ad45832d467b1ee846840edc42258f30db4c7d188f383259fc828e","observation_id":"4db0d85a-65a8-401a-86a8-918c961bd353","resolution":{"observed_at":"2026-08-15T17:25:07.268782Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T17:25:07.242511Z","title":"Generating correctness proofs with neural networks , booktitle =","venue":null,"work_id":"d79403fd-6073-49ac-8bfd-4c5ae9b5c3eb","year":null},"citing_paper":{"arxiv_id":"2608.13077","last_updated":"2026-08-13T10:45:18Z","snapshot_observed_at":"2026-08-21T05:28:13.715768Z","submitted_at":"2026-08-13T10:45:18Z","title":"How Powerful are LLMs in Generating Formal Program Specifications?","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-15T17:25:06.100202Z"},"links":{"citing_paper":"/paper/2608.13077"},"observation_digest":"sha256:04a6791da7b773346f86a689383bf680d5faf177c33ef9867900374b7b3262c6","observation_id":"fcedd61e-9a45-4d50-a733-de19c242d7db","resolution":{"observed_at":"2026-08-15T17:25:07.248553Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T17:25:07.224414Z","title":"Rabe and Talia Ringer and Yuriy Brun , editor =","venue":null,"work_id":"e107c6dd-cb6e-4a62-89ea-56d670c714f5","year":null},"citing_paper":{"arxiv_id":"2608.13077","last_updated":"2026-08-13T10:45:18Z","snapshot_observed_at":"2026-08-21T05:28:13.715768Z","submitted_at":"2026-08-13T10:45:18Z","title":"How Powerful are LLMs in Generating Formal Program Specifications?","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-15T17:25:06.105038Z"},"links":{"citing_paper":"/paper/2608.13077"},"observation_digest":"sha256:2ec09e297cf2fbeeb3e82bb5039dcc649464ac58d68e0a9cfdc2fa9ff02f4b0e","observation_id":"d70964cd-a7ca-4f43-83ea-648f024efaf2","resolution":{"observed_at":"2026-08-15T17:25:07.231140Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T17:25:07.207124Z","title":"LeanDojo: Theorem Proving with Retrieval-Augmented Language Models , volume =","venue":null,"work_id":"c1915de5-dcd7-480a-8a1c-f279bc1dc97f","year":null},"citing_paper":{"arxiv_id":"2608.13077","last_updated":"2026-08-13T10:45:18Z","snapshot_observed_at":"2026-08-21T05:28:13.715768Z","submitted_at":"2026-08-13T10:45:18Z","title":"How Powerful are LLMs in Generating Formal Program Specifications?","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-15T17:25:06.110665Z"},"links":{"citing_paper":"/paper/2608.13077"},"observation_digest":"sha256:7511e4ed444c2f45b42f26e0378cb05f2c422eb9c7227b4c055adb6fd5b47691","observation_id":"7c0055f5-d40f-417a-a564-d5eebfabec9a","resolution":{"observed_at":"2026-08-15T17:25:07.212390Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T17:25:07.185344Z","title":"Barrett and Nina Narodytska , title =","venue":null,"work_id":"55c6d249-00ec-47e3-b5d6-a2d960df4e2f","year":null},"citing_paper":{"arxiv_id":"2608.13077","last_updated":"2026-08-13T10:45:18Z","snapshot_observed_at":"2026-08-21T05:28:13.715768Z","submitted_at":"2026-08-13T10:45:18Z","title":"How Powerful are LLMs in Generating Formal Program Specifications?","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-15T17:25:06.115576Z"},"links":{"citing_paper":"/paper/2608.13077"},"observation_digest":"sha256:0024d43a754db395da992f2cb5d4fb1e3adcac508dd4bb1a1c54b16c551392d4","observation_id":"30f68c05-926e-46af-9305-048710a3f22a","resolution":{"observed_at":"2026-08-15T17:25:07.192312Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T17:25:07.163959Z","title":"2024 , url=","venue":null,"work_id":"5da87896-ce5f-4e26-b31d-aca2916999c4","year":2024},"citing_paper":{"arxiv_id":"2608.13077","last_updated":"2026-08-13T10:45:18Z","snapshot_observed_at":"2026-08-21T05:28:13.715768Z","submitted_at":"2026-08-13T10:45:18Z","title":"How Powerful are LLMs in Generating Formal Program Specifications?","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-15T17:25:06.120568Z"},"links":{"citing_paper":"/paper/2608.13077"},"observation_digest":"sha256:36caa5cefa670931840d4447b058a4ab6df6aedc5b581059281a559d9cb0aee8","observation_id":"95b262eb-5b87-41e9-b549-3df7ae006e80","resolution":{"observed_at":"2026-08-15T17:25:07.170141Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.14333","last_updated":"2024-05-23T09:03:42Z","snapshot_observed_at":"2026-08-16T13:50:18.721796Z","submitted_at":"2024-05-23T09:03:42Z","title":"DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.14333","snapshot_observed_at":"2026-08-15T17:25:06.126335Z","title":"arXiv preprint arXiv:2405.14333 , year=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.13077","last_updated":"2026-08-13T10:45:18Z","snapshot_observed_at":"2026-08-21T05:28:13.715768Z","submitted_at":"2026-08-13T10:45:18Z","title":"How Powerful are LLMs in Generating Formal Program Specifications?","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-15T17:25:06.126335Z"},"links":{"cited_paper":"/paper/2405.14333","citing_paper":"/paper/2608.13077"},"observation_digest":"sha256:58de5f9d70b78405e9214035c651eee4920e2186231fdaf4e3a44d9aaeaf7190","observation_id":"38ccb3e5-1e40-4b4d-af3a-da5f55cf0906","resolution":{"observed_at":"2026-08-15T17:25:06.126335Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T17:25:07.142125Z","title":"International Conference on Learning Representations , pages=","venue":null,"work_id":"3e87ed4b-0cab-4bbf-9d02-1815dc1b1154","year":null},"citing_paper":{"arxiv_id":"2608.13077","last_updated":"2026-08-13T10:45:18Z","snapshot_observed_at":"2026-08-21T05:28:13.715768Z","submitted_at":"2026-08-13T10:45:18Z","title":"How Powerful are LLMs in Generating Formal Program Specifications?","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-15T17:25:06.131554Z"},"links":{"citing_paper":"/paper/2608.13077"},"observation_digest":"sha256:d312dfe9ba7c2ac4dc3cf17273426f466833bee90f518a2afcd372fc394d0714","observation_id":"4f437004-10cc-4a21-9ad6-e1e23a917061","resolution":{"observed_at":"2026-08-15T17:25:07.147526Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2504.21801","last_updated":"2025-07-18T08:20:23Z","snapshot_observed_at":"2026-08-02T11:46:58.603316Z","submitted_at":"2025-04-30T16:57:48Z","title":"DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2504.21801","snapshot_observed_at":"2026-08-15T17:25:06.136328Z","title":"arXiv preprint arXiv:2504.21801 , year=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.13077","last_updated":"2026-08-13T10:45:18Z","snapshot_observed_at":"2026-08-21T05:28:13.715768Z","submitted_at":"2026-08-13T10:45:18Z","title":"How Powerful are LLMs in Generating Formal Program Specifications?","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-15T17:25:06.136328Z"},"links":{"cited_paper":"/paper/2504.21801","citing_paper":"/paper/2608.13077"},"observation_digest":"sha256:1a89dca38aacc22d39474b68912aaaaadcead337c8e7da520b64bc69e29179aa","observation_id":"6a9f4a48-0576-4b97-b4d8-f4ff9e897469","resolution":{"observed_at":"2026-08-15T17:25:06.136328Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T17:25:07.124503Z","title":null,"venue":null,"work_id":"e8df5904-876c-41f5-b2d4-26d93896d326","year":null},"citing_paper":{"arxiv_id":"2608.13077","last_updated":"2026-08-13T10:45:18Z","snapshot_observed_at":"2026-08-21T05:28:13.715768Z","submitted_at":"2026-08-13T10:45:18Z","title":"How Powerful are LLMs in Generating Formal Program Specifications?","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-15T17:25:06.141515Z"},"links":{"citing_paper":"/paper/2608.13077"},"observation_digest":"sha256:79b83d552ed2f201033087f3987c6bf0e01e327799d6e8c692023458d761c2ac","observation_id":"9f2ca052-64ab-4b5d-a0fd-9dd8031f5fc8","resolution":{"observed_at":"2026-08-15T17:25:07.129661Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T17:25:07.107279Z","title":null,"venue":null,"work_id":"ee8a0754-637f-40e2-b6b2-b202c4ac59bc","year":null},"citing_paper":{"arxiv_id":"2608.13077","last_updated":"2026-08-13T10:45:18Z","snapshot_observed_at":"2026-08-21T05:28:13.715768Z","submitted_at":"2026-08-13T10:45:18Z","title":"How Powerful are LLMs in Generating Formal Program Specifications?","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-15T17:25:06.147397Z"},"links":{"citing_paper":"/paper/2608.13077"},"observation_digest":"sha256:e3a268ad1bd0539d17d99830773d65f56fedc406b652f40a6bbe37f118448b84","observation_id":"ed9ef659-170a-4f0d-87e2-1235ae24dd9f","resolution":{"observed_at":"2026-08-15T17:25:07.112923Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T17:25:06.153014Z","title":"Nature , volume=","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.13077","last_updated":"2026-08-13T10:45:18Z","snapshot_observed_at":"2026-08-21T05:28:13.715768Z","submitted_at":"2026-08-13T10:45:18Z","title":"How Powerful are LLMs in Generating Formal Program Specifications?","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-15T17:25:06.153014Z"},"links":{"citing_paper":"/paper/2608.13077"},"observation_digest":"sha256:2706b36d45c9bb76dce972ad9ae67c174d6cc467604d3243139548700de43039","observation_id":"e98b98ed-2d1d-4a9a-8e24-680797622ee9","resolution":{"observed_at":"2026-08-15T17:25:06.153014Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T17:25:07.078417Z","title":"APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning , volume =","venue":null,"work_id":"fad767fc-162e-43ff-98ce-1c7c93f6ed9f","year":null},"citing_paper":{"arxiv_id":"2608.13077","last_updated":"2026-08-13T10:45:18Z","snapshot_observed_at":"2026-08-21T05:28:13.715768Z","submitted_at":"2026-08-13T10:45:18Z","title":"How Powerful are LLMs in Generating Formal Program Specifications?","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-15T17:25:06.158714Z"},"links":{"citing_paper":"/paper/2608.13077"},"observation_digest":"sha256:e3eddfbb3564815187d5d533b144c455d369d412dec1e0c67b002a85a1e7fbd1","observation_id":"c5a377f1-6e84-47d6-9459-718e20f48cb5","resolution":{"observed_at":"2026-08-15T17:25:07.084140Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T17:25:07.060256Z","title":null,"venue":null,"work_id":"cc04b353-8e0f-4824-af67-11a5c643f42e","year":null},"citing_paper":{"arxiv_id":"2608.13077","last_updated":"2026-08-13T10:45:18Z","snapshot_observed_at":"2026-08-21T05:28:13.715768Z","submitted_at":"2026-08-13T10:45:18Z","title":"How Powerful are LLMs in Generating Formal Program Specifications?","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-15T17:25:06.164283Z"},"links":{"citing_paper":"/paper/2608.13077"},"observation_digest":"sha256:217dfda24f9be8b31cf2fd5859a0094aedb4bd62a3440f2f4551afec25f9f025","observation_id":"a10b8431-a50e-40ad-ad5f-1bc32465dc34","resolution":{"observed_at":"2026-08-15T17:25:07.065998Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T17:25:07.041502Z","title":"Barrett , title =","venue":null,"work_id":"b20da876-4d56-4d26-9e97-7ebfd5410c57","year":null},"citing_paper":{"arxiv_id":"2608.13077","last_updated":"2026-08-13T10:45:18Z","snapshot_observed_at":"2026-08-21T05:28:13.715768Z","submitted_at":"2026-08-13T10:45:18Z","title":"How Powerful are LLMs in Generating Formal Program Specifications?","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-15T17:25:06.170016Z"},"links":{"citing_paper":"/paper/2608.13077"},"observation_digest":"sha256:5795a869f2be9370a481dcb595a9fb28813b501c111737cfbeae472a13c70b98","observation_id":"3fc16504-980c-4609-8efe-653110cd5560","resolution":{"observed_at":"2026-08-15T17:25:07.047550Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T17:25:07.023122Z","title":null,"venue":null,"work_id":"93ed1e89-0ee6-425b-a1ce-5153ed4e6828","year":null},"citing_paper":{"arxiv_id":"2608.13077","last_updated":"2026-08-13T10:45:18Z","snapshot_observed_at":"2026-08-21T05:28:13.715768Z","submitted_at":"2026-08-13T10:45:18Z","title":"How Powerful are LLMs in Generating Formal Program Specifications?","version":1},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-15T17:25:06.175083Z"},"links":{"citing_paper":"/paper/2608.13077"},"observation_digest":"sha256:e283aa91ec16165b855dbdc629dc3eb1b30ea80875ce752fad19dfd6f3c22eb4","observation_id":"4f7ce481-5014-4876-8f75-f2bf044a454d","resolution":{"observed_at":"2026-08-15T17:25:07.028668Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.05714","last_updated":"2025-02-08T22:54:58Z","snapshot_observed_at":"2026-08-20T15:00:31.215213Z","submitted_at":"2025-02-08T22:54:58Z","title":"Proving the Coding Interview: A Benchmark for Formally Verified Code Generation","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.05714","snapshot_observed_at":"2026-08-15T17:25:06.180267Z","title":"arXiv preprint arXiv:2502.05714 , year=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.13077","last_updated":"2026-08-13T10:45:18Z","snapshot_observed_at":"2026-08-21T05:28:13.715768Z","submitted_at":"2026-08-13T10:45:18Z","title":"How Powerful are LLMs in Generating Formal Program Specifications?","version":1},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-15T17:25:06.180267Z"},"links":{"cited_paper":"/paper/2502.05714","citing_paper":"/paper/2608.13077"},"observation_digest":"sha256:100dc61dbb83b1ed4aa18e4e2d693fc2c3196e99e7eb31625e3f5ccabd971c39","observation_id":"8abcf65e-8b01-464c-9dab-de13c1358734","resolution":{"observed_at":"2026-08-15T17:25:06.180267Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T17:25:07.004033Z","title":null,"venue":null,"work_id":"76859fbd-8ed6-41ff-be7a-4e32083fe3a0","year":null},"citing_paper":{"arxiv_id":"2608.13077","last_updated":"2026-08-13T10:45:18Z","snapshot_observed_at":"2026-08-21T05:28:13.715768Z","submitted_at":"2026-08-13T10:45:18Z","title":"How Powerful are LLMs in Generating Formal Program Specifications?","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-15T17:25:06.186182Z"},"links":{"citing_paper":"/paper/2608.13077"},"observation_digest":"sha256:2e8b43f6b51a1749169564f8e13e1df3a46c775e39c54eecaeef69be113801f1","observation_id":"ac750f65-2637-4b77-9d02-4feb853f1f6c","resolution":{"observed_at":"2026-08-15T17:25:07.009645Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T17:25:06.191108Z","title":"Ernst and Jeff H","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.13077","last_updated":"2026-08-13T10:45:18Z","snapshot_observed_at":"2026-08-21T05:28:13.715768Z","submitted_at":"2026-08-13T10:45:18Z","title":"How Powerful are LLMs in Generating Formal Program Specifications?","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-15T17:25:06.191108Z"},"links":{"citing_paper":"/paper/2608.13077"},"observation_digest":"sha256:b5b0b8599ab3f7a0178069a3075e9b7e35d81951478ee9e61042434904f6e8bb","observation_id":"3c178565-a2e2-4667-ab87-a4e60101e170","resolution":{"observed_at":"2026-08-15T17:25:06.191108Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T17:25:06.974199Z","title":"Enchanting Program Specification Synthesis by Large Language Models Using Static Analysis and Program Verification , booktitle =","venue":null,"work_id":"bfaf0b47-0665-4242-b6bb-a9d14baba2b8","year":null},"citing_paper":{"arxiv_id":"2608.13077","last_updated":"2026-08-13T10:45:18Z","snapshot_observed_at":"2026-08-21T05:28:13.715768Z","submitted_at":"2026-08-13T10:45:18Z","title":"How Powerful are LLMs in Generating Formal Program Specifications?","version":1},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-15T17:25:06.196163Z"},"links":{"citing_paper":"/paper/2608.13077"},"observation_digest":"sha256:f5508ca0992fa9d8028595b02c2b814266305ba12f44a57e7e61b95c62154679","observation_id":"8059373e-13f8-47be-9fd3-b89ab9118f34","resolution":{"observed_at":"2026-08-15T17:25:06.980435Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T17:25:06.955991Z","title":null,"venue":null,"work_id":"7a0ec61d-3609-47e5-b26b-eea12774898b","year":null},"citing_paper":{"arxiv_id":"2608.13077","last_updated":"2026-08-13T10:45:18Z","snapshot_observed_at":"2026-08-21T05:28:13.715768Z","submitted_at":"2026-08-13T10:45:18Z","title":"How Powerful are LLMs in Generating Formal Program Specifications?","version":1},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-15T17:25:06.200841Z"},"links":{"citing_paper":"/paper/2608.13077"},"observation_digest":"sha256:56af9ac57203fd1691ef6635aa82b608858861013498fc651439668b91b786e8","observation_id":"7fc3d856-0eb2-4696-8e10-a6bb9d0d99b1","resolution":{"observed_at":"2026-08-15T17:25:06.961144Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T17:25:06.205600Z","title":"arXiv preprint arXiv:2506.09550 , year=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.13077","last_updated":"2026-08-13T10:45:18Z","snapshot_observed_at":"2026-08-21T05:28:13.715768Z","submitted_at":"2026-08-13T10:45:18Z","title":"How Powerful are LLMs in Generating Formal Program Specifications?","version":1},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-15T17:25:06.205600Z"},"links":{"citing_paper":"/paper/2608.13077"},"observation_digest":"sha256:9eae24a2c9a0a4fb882bbf6116f1b9ed2a94404767f459b86bf47f963897c674","observation_id":"4a7d64cd-2575-4aa2-8a4f-993c8562f0da","resolution":{"observed_at":"2026-08-15T17:25:06.205600Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2512.15816","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T17:25:06.516344Z","title":"arXiv preprint arXiv:2512.15816 , year=","venue":null,"work_id":"bada1b66-9389-4fc5-89f6-fa4161a4a071","year":null},"citing_paper":{"arxiv_id":"2608.13077","last_updated":"2026-08-13T10:45:18Z","snapshot_observed_at":"2026-08-21T05:28:13.715768Z","submitted_at":"2026-08-13T10:45:18Z","title":"How Powerful are LLMs in Generating Formal Program Specifications?","version":1},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-15T17:25:06.211215Z"},"links":{"citing_paper":"/paper/2608.13077"},"observation_digest":"sha256:82ce33a1745537cdfdfae79d0cbe89a933d53ab7d0115b6f11d605409b5628ef","observation_id":"f1e9ac21-8fdb-4923-8dd5-59e0bd029fc7","resolution":{"observed_at":"2026-08-15T17:25:06.525298Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T17:25:06.937518Z","title":null,"venue":null,"work_id":"a3069e54-e566-477f-a011-9c18b698e1c5","year":null},"citing_paper":{"arxiv_id":"2608.13077","last_updated":"2026-08-13T10:45:18Z","snapshot_observed_at":"2026-08-21T05:28:13.715768Z","submitted_at":"2026-08-13T10:45:18Z","title":"How Powerful are LLMs in Generating Formal Program Specifications?","version":1},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-15T17:25:06.216690Z"},"links":{"citing_paper":"/paper/2608.13077"},"observation_digest":"sha256:1fe565dc1e3828c618ebd507100a11fc3f46ab30b885cdb29c24c50d99b0bce8","observation_id":"f5eee0fb-1996-4d4c-ae46-2d00057814d3","resolution":{"observed_at":"2026-08-15T17:25:06.943392Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2311.07948","last_updated":"2023-11-14T06:58:09Z","snapshot_observed_at":"2026-08-16T14:43:32.571028Z","submitted_at":"2023-11-14T06:58:09Z","title":"Finding Inductive Loop Invariants using Large Language Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2311.07948","snapshot_observed_at":"2026-08-15T17:25:06.222543Z","title":"arXiv preprint arXiv:2311.07948 , year=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.13077","last_updated":"2026-08-13T10:45:18Z","snapshot_observed_at":"2026-08-21T05:28:13.715768Z","submitted_at":"2026-08-13T10:45:18Z","title":"How Powerful are LLMs in Generating Formal Program Specifications?","version":1},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-08-15T17:25:06.222543Z"},"links":{"cited_paper":"/paper/2311.07948","citing_paper":"/paper/2608.13077"},"observation_digest":"sha256:5ba413c3828187d52693bdade5e29778850450735804a7099686cdc498605484","observation_id":"ae781666-30d9-4db9-9b5b-8f4e72196251","resolution":{"observed_at":"2026-08-15T17:25:06.222543Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T17:25:06.920327Z","title":null,"venue":null,"work_id":"364e85ea-cf4f-4f3c-b72b-3a1ff83e6043","year":null},"citing_paper":{"arxiv_id":"2608.13077","last_updated":"2026-08-13T10:45:18Z","snapshot_observed_at":"2026-08-21T05:28:13.715768Z","submitted_at":"2026-08-13T10:45:18Z","title":"How Powerful are LLMs in Generating Formal Program Specifications?","version":1},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-08-15T17:25:06.227522Z"},"links":{"citing_paper":"/paper/2608.13077"},"observation_digest":"sha256:49cf2050e57730aabee243754300ada89636b3aca4dc736780582e143ede82d5","observation_id":"922e13ec-1f83-496d-bbb5-0c79cee8292d","resolution":{"observed_at":"2026-08-15T17:25:06.925842Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T17:25:06.903734Z","title":null,"venue":null,"work_id":"b362af90-81a0-4dc8-9cdc-18ad7605398d","year":2024},"citing_paper":{"arxiv_id":"2608.13077","last_updated":"2026-08-13T10:45:18Z","snapshot_observed_at":"2026-08-21T05:28:13.715768Z","submitted_at":"2026-08-13T10:45:18Z","title":"How Powerful are LLMs in Generating Formal Program Specifications?","version":1},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-08-15T17:25:06.232185Z"},"links":{"citing_paper":"/paper/2608.13077"},"observation_digest":"sha256:91151c97c367c74b612f36f00e7fd5746b432db4ba3d314b2b98d7524753c212","observation_id":"784f3a01-6e99-4758-b258-b67ab4c859ff","resolution":{"observed_at":"2026-08-15T17:25:06.908741Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T17:25:06.236824Z","title":"From Informal to Formal -- Incorporating and Evaluating LLM s on Natural Language Requirements to Verifiable Formal Proofs","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.13077","last_updated":"2026-08-13T10:45:18Z","snapshot_observed_at":"2026-08-21T05:28:13.715768Z","submitted_at":"2026-08-13T10:45:18Z","title":"How Powerful are LLMs in Generating Formal Program Specifications?","version":1},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-08-15T17:25:06.236824Z"},"links":{"citing_paper":"/paper/2608.13077"},"observation_digest":"sha256:5ceba7438fea068d365573fa9e9fbe800fc44823bf274183022681d96bb6f316","observation_id":"f3ee8b57-1d5b-425f-b29c-3b92f8cdfb7c","resolution":{"observed_at":"2026-08-15T17:25:06.236824Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T17:25:06.885481Z","title":"Use property-based testing to bridge","venue":null,"work_id":"81b09c12-f0a8-4ea9-bed8-36d922254df5","year":null},"citing_paper":{"arxiv_id":"2608.13077","last_updated":"2026-08-13T10:45:18Z","snapshot_observed_at":"2026-08-21T05:28:13.715768Z","submitted_at":"2026-08-13T10:45:18Z","title":"How Powerful are LLMs in Generating Formal Program Specifications?","version":1},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-08-15T17:25:06.242426Z"},"links":{"citing_paper":"/paper/2608.13077"},"observation_digest":"sha256:514c4179e60e42077be977e1218db64babc3bb9fa4aba0e14812671376d2c2fe","observation_id":"7fc48015-a185-4cd2-95ff-d7978132f23b","resolution":{"observed_at":"2026-08-15T17:25:06.892053Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T17:25:06.248535Z","title":"arXiv preprint arXiv:2510.09907 , year=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.13077","last_updated":"2026-08-13T10:45:18Z","snapshot_observed_at":"2026-08-21T05:28:13.715768Z","submitted_at":"2026-08-13T10:45:18Z","title":"How Powerful are LLMs in Generating Formal Program Specifications?","version":1},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-08-15T17:25:06.248535Z"},"links":{"citing_paper":"/paper/2608.13077"},"observation_digest":"sha256:7ef70b775e66c3d41837c83f40d84cb2c5f66b1bdb9bc37d4c388081f7638f6f","observation_id":"3531cdbd-5653-4ffc-a9ab-1e1caf0f5572","resolution":{"observed_at":"2026-08-15T17:25:06.248535Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T17:25:06.867668Z","title":"Validating Formal Specifications with","venue":null,"work_id":"62dfd0b7-e168-4021-b61a-3b2668fafdd7","year":null},"citing_paper":{"arxiv_id":"2608.13077","last_updated":"2026-08-13T10:45:18Z","snapshot_observed_at":"2026-08-21T05:28:13.715768Z","submitted_at":"2026-08-13T10:45:18Z","title":"How Powerful are LLMs in Generating Formal Program Specifications?","version":1},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-08-15T17:25:06.253565Z"},"links":{"citing_paper":"/paper/2608.13077"},"observation_digest":"sha256:bb9e7158a7942d7addc684ea843f17a0c8fd6c1f12078e697b9eeff4cb6bf176","observation_id":"47972e2b-6af3-4721-8465-fc7a82f09f43","resolution":{"observed_at":"2026-08-15T17:25:06.873996Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T17:25:06.849729Z","title":null,"venue":null,"work_id":"6ae928f4-b4a0-43e5-b465-7067e5891009","year":null},"citing_paper":{"arxiv_id":"2608.13077","last_updated":"2026-08-13T10:45:18Z","snapshot_observed_at":"2026-08-21T05:28:13.715768Z","submitted_at":"2026-08-13T10:45:18Z","title":"How Powerful are LLMs in Generating Formal Program Specifications?","version":1},"reference_index":43,"source":"arxiv_source","source_observed_at":"2026-08-15T17:25:06.258526Z"},"links":{"citing_paper":"/paper/2608.13077"},"observation_digest":"sha256:0d7f5310e33a682bec6bda1d57e7ca0f97b0a9ea83dd10a617bc2256fe30e586","observation_id":"92683ad7-27d6-4b3b-a9a3-08ece3e7c751","resolution":{"observed_at":"2026-08-15T17:25:06.855560Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T17:25:06.831560Z","title":"Proceedings of the ACM on Software Engineering , volume=","venue":null,"work_id":"402b4ea0-fb79-49cc-a8d4-b42032ff7e99","year":2024},"citing_paper":{"arxiv_id":"2608.13077","last_updated":"2026-08-13T10:45:18Z","snapshot_observed_at":"2026-08-21T05:28:13.715768Z","submitted_at":"2026-08-13T10:45:18Z","title":"How Powerful are LLMs in Generating Formal Program Specifications?","version":1},"reference_index":44,"source":"arxiv_source","source_observed_at":"2026-08-15T17:25:06.263414Z"},"links":{"citing_paper":"/paper/2608.13077"},"observation_digest":"sha256:55d7e97967aa3d73757ebb687023f113851057e346ba7f26664bb69b9236c0bc","observation_id":"10e76ea8-d2b9-4b02-baf2-f3154130e203","resolution":{"observed_at":"2026-08-15T17:25:06.837644Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T17:25:06.814282Z","title":"2018 , publisher=","venue":null,"work_id":"325653b0-07f5-4f0f-8905-56b4d05f5f1f","year":2018},"citing_paper":{"arxiv_id":"2608.13077","last_updated":"2026-08-13T10:45:18Z","snapshot_observed_at":"2026-08-21T05:28:13.715768Z","submitted_at":"2026-08-13T10:45:18Z","title":"How Powerful are LLMs in Generating Formal Program Specifications?","version":1},"reference_index":45,"source":"arxiv_source","source_observed_at":"2026-08-15T17:25:06.268858Z"},"links":{"citing_paper":"/paper/2608.13077"},"observation_digest":"sha256:cdc3d430d6c846d5e8c0793462262d0766e985acf3d74734dd9d4f4fb945038b","observation_id":"b113c754-122b-4223-8c8c-b0defc2f30e2","resolution":{"observed_at":"2026-08-15T17:25:06.819570Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T17:25:06.796888Z","title":"2024 , publisher=","venue":null,"work_id":"b2b2c33a-1f06-4e24-a3da-1e0a8f63543f","year":2024},"citing_paper":{"arxiv_id":"2608.13077","last_updated":"2026-08-13T10:45:18Z","snapshot_observed_at":"2026-08-21T05:28:13.715768Z","submitted_at":"2026-08-13T10:45:18Z","title":"How Powerful are LLMs in Generating Formal Program Specifications?","version":1},"reference_index":46,"source":"arxiv_source","source_observed_at":"2026-08-15T17:25:06.273548Z"},"links":{"citing_paper":"/paper/2608.13077"},"observation_digest":"sha256:609589fbccac2c3a907e0a25338ca4a0330b26835957daaa7ce053166a7f7129","observation_id":"3af9f741-1106-429b-a027-42d2985a00fc","resolution":{"observed_at":"2026-08-15T17:25:06.802865Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T17:25:06.780433Z","title":null,"venue":null,"work_id":"5a4a036c-3fc0-42b8-bf47-a99438f065e7","year":null},"citing_paper":{"arxiv_id":"2608.13077","last_updated":"2026-08-13T10:45:18Z","snapshot_observed_at":"2026-08-21T05:28:13.715768Z","submitted_at":"2026-08-13T10:45:18Z","title":"How Powerful are LLMs in Generating Formal Program Specifications?","version":1},"reference_index":47,"source":"arxiv_source","source_observed_at":"2026-08-15T17:25:06.278907Z"},"links":{"citing_paper":"/paper/2608.13077"},"observation_digest":"sha256:30a0380fc8a521e143b4db601d05f2132671696cdb24c4e6ef835ad262afc47a","observation_id":"01871369-d8e6-4d7d-8259-18db4f0e8d0c","resolution":{"observed_at":"2026-08-15T17:25:06.785663Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T17:25:06.763512Z","title":"The Fourteenth International Conference on Learning Representations , year=","venue":null,"work_id":"944f6701-a1a5-47f4-a0f4-3641559e160f","year":null},"citing_paper":{"arxiv_id":"2608.13077","last_updated":"2026-08-13T10:45:18Z","snapshot_observed_at":"2026-08-21T05:28:13.715768Z","submitted_at":"2026-08-13T10:45:18Z","title":"How Powerful are LLMs in Generating Formal Program Specifications?","version":1},"reference_index":48,"source":"arxiv_source","source_observed_at":"2026-08-15T17:25:06.283924Z"},"links":{"citing_paper":"/paper/2608.13077"},"observation_digest":"sha256:13bba379235ac20f42172a3c341524f018ce9d66cced8f246e2d9aedd5ccc317","observation_id":"24ad16bf-5e33-4ee8-a794-cc6202d21f40","resolution":{"observed_at":"2026-08-15T17:25:06.768864Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T17:25:06.743652Z","title":"The Fourteenth International Conference on Learning Representations , year=","venue":null,"work_id":"2778066c-829e-43d5-8db3-d81bec650ef0","year":null},"citing_paper":{"arxiv_id":"2608.13077","last_updated":"2026-08-13T10:45:18Z","snapshot_observed_at":"2026-08-21T05:28:13.715768Z","submitted_at":"2026-08-13T10:45:18Z","title":"How Powerful are LLMs in Generating Formal Program Specifications?","version":1},"reference_index":49,"source":"arxiv_source","source_observed_at":"2026-08-15T17:25:06.288769Z"},"links":{"citing_paper":"/paper/2608.13077"},"observation_digest":"sha256:303cf971b8f83939505882322b9479e2cf8ff68a73856cc21314afd91cf9f9ef","observation_id":"dc330276-e080-4f54-9a73-1c34e6cde5c0","resolution":{"observed_at":"2026-08-15T17:25:06.749031Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T17:25:06.726657Z","title":"2026 , url=","venue":null,"work_id":"b9203a93-71a7-41ec-b4e6-b0df05fbbf43","year":2026},"citing_paper":{"arxiv_id":"2608.13077","last_updated":"2026-08-13T10:45:18Z","snapshot_observed_at":"2026-08-21T05:28:13.715768Z","submitted_at":"2026-08-13T10:45:18Z","title":"How Powerful are LLMs in Generating Formal Program Specifications?","version":1},"reference_index":50,"source":"arxiv_source","source_observed_at":"2026-08-15T17:25:06.293563Z"},"links":{"citing_paper":"/paper/2608.13077"},"observation_digest":"sha256:80952a8cc3a1a6a2460ec77d4116cf8d5b8911e592c41dbeb7ce93c7e508d5f6","observation_id":"1e31eb39-918b-429b-a5b3-a444667e4395","resolution":{"observed_at":"2026-08-15T17:25:06.732046Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T17:25:06.706805Z","title":"International Conference on Interactive Theorem Proving , pages=","venue":null,"work_id":"2a42a074-c0ac-4d1f-a026-4f4e6c5148da","year":2015},"citing_paper":{"arxiv_id":"2608.13077","last_updated":"2026-08-13T10:45:18Z","snapshot_observed_at":"2026-08-21T05:28:13.715768Z","submitted_at":"2026-08-13T10:45:18Z","title":"How Powerful are LLMs in Generating Formal Program Specifications?","version":1},"reference_index":51,"source":"arxiv_source","source_observed_at":"2026-08-15T17:25:06.298147Z"},"links":{"citing_paper":"/paper/2608.13077"},"observation_digest":"sha256:8a324179c688e1270ee9851b828787da82cdac8072c82e5abeddc257b2f3b830","observation_id":"5f559a4f-fda1-463e-b94a-2d45fe559ce6","resolution":{"observed_at":"2026-08-15T17:25:06.712848Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T17:25:06.689335Z","title":"Mutation analysis for","venue":null,"work_id":"9ed260c4-aa78-4bd6-ac0b-a183d7fe3156","year":2019},"citing_paper":{"arxiv_id":"2608.13077","last_updated":"2026-08-13T10:45:18Z","snapshot_observed_at":"2026-08-21T05:28:13.715768Z","submitted_at":"2026-08-13T10:45:18Z","title":"How Powerful are LLMs in Generating Formal Program Specifications?","version":1},"reference_index":52,"source":"arxiv_source","source_observed_at":"2026-08-15T17:25:06.303245Z"},"links":{"citing_paper":"/paper/2608.13077"},"observation_digest":"sha256:f5c2c8d5de34a912aaf43620f67110763f1bf7516ef3c337db8ff033318bd22c","observation_id":"79de4c84-2bec-4822-b0ce-f7145da48829","resolution":{"observed_at":"2026-08-15T17:25:06.694830Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T17:25:06.671364Z","title":"MutantChick: Type-Preserving Mutation Analysis for","venue":null,"work_id":"ec440560-55fe-44e0-89b9-dd6db55275db","year":null},"citing_paper":{"arxiv_id":"2608.13077","last_updated":"2026-08-13T10:45:18Z","snapshot_observed_at":"2026-08-21T05:28:13.715768Z","submitted_at":"2026-08-13T10:45:18Z","title":"How Powerful are LLMs in Generating Formal Program Specifications?","version":1},"reference_index":53,"source":"arxiv_source","source_observed_at":"2026-08-15T17:25:06.308148Z"},"links":{"citing_paper":"/paper/2608.13077"},"observation_digest":"sha256:66a4384082422f5e26e1c47cfe99462be1d8414d15094173d66360e3848d6404","observation_id":"6f2d8b94-33bd-44d9-8dde-01cf349d693b","resolution":{"observed_at":"2026-08-15T17:25:06.677592Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2608.13077","last_updated":"2026-08-13T10:45:18Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-21T05:28:13.715768Z","submitted_at":"2026-08-13T10:45:18Z","title":"How Powerful are LLMs in Generating Formal Program Specifications?"},"reference_resolution":{"displayed":53,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":28,"verified_exact":1,"verified_fuzzy":24},"total_outbound_references":53},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"thesis":"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."}