{"as_of":"2026-08-18T17:42:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:e50f2241464fd4b9fa288b351ce76c43b6dd6ec1736a2d6740e7be325da3cb61","coverage":[{"denominator":36,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":36,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-16T05:28:32.171959Z","state":"measured"},{"denominator":38,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":38,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-18T06:34:40.430872+00:00","state":"measured"},{"denominator":2,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":2,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T14:15:44.626686Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-07-04T04:39:34.696898Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2504.21061","last_updated":"2025-04-29T10:02:29Z","snapshot_observed_at":"2026-08-17T12:31:25.670222Z","submitted_at":"2025-04-29T10:02:29Z","title":"Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2504.21061","snapshot_observed_at":"2026-08-07T14:15:44.626686Z","title":"Seeking speci- fications: The case for neuro-symbolic specification synthesis,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2505.19443","last_updated":"2025-05-26T03:00:21Z","snapshot_observed_at":"2026-08-07T14:11:48.229560Z","submitted_at":"2025-05-26T03:00:21Z","title":"Vibe Coding vs. Agentic Coding: Fundamentals and Practical Implications of Agentic AI","version":1},"reference_index":122,"source":"pdf_text","source_observed_at":"2026-08-07T14:15:44.626686Z"},"links":{"cited_paper":"/paper/2504.21061","citing_paper":"/paper/2505.19443"},"observation_digest":"sha256:ab414e57b0fe152c7905c69ed06cc57b50675acb4820fe046b39567cfd3554ce","observation_id":"661d8837-0a9e-4a47-9ffc-7f7d6cf63249","resolution":{"observed_at":"2026-08-07T14:15:44.626686Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2504.21061","last_updated":"2025-04-29T10:02:29Z","snapshot_observed_at":"2026-08-17T12:31:25.670222Z","submitted_at":"2025-04-29T10:02:29Z","title":"Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis","version":1},"cited_work":{"arxiv_id":"2504.21061","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2504.21061","snapshot_observed_at":"2026-07-04T04:39:34.696898Z","title":"Seeking specifications: The case for neuro-symbolic specification synthesis,","venue":null,"work_id":"0d7e20a4-104a-46f2-9dc1-c02b06b08af5","year":2025},"citing_paper":{"arxiv_id":"2606.20969","last_updated":"2026-06-18T22:16:23Z","snapshot_observed_at":"2026-08-17T20:10:49.709617Z","submitted_at":"2026-06-18T22:16:23Z","title":"AutoACSL: Synthesizing ACSL Specifications by Integrating LLMs with CPG-Based Static Analysis","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-06-26T16:53:14.049390Z"},"links":{"cited_paper":"/paper/2504.21061","citing_paper":"/paper/2606.20969"},"observation_digest":"sha256:c048251589b73403f6c71932e479b259350229ced41895f953043368f221e6f5","observation_id":"7a1f7077-adcb-4b63-ba2b-7ccccedfb946","resolution":{"observed_at":"2026-07-04T04:39:34.698539Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2504.21061/citation-record","integrity":"/paper/2504.21061/integrity","json":"/paper/2504.21061/citation-record.json","paper":"/paper/2504.21061"},"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-16T05:28:33.433972Z","title":"In: International Sympo- sium on Leveraging Applications of Formal Methods","venue":null,"work_id":"6cb898ea-da95-4a8f-90e8-7fc48bc592f0","year":2022},"citing_paper":{"arxiv_id":"2504.21061","last_updated":"2025-04-29T10:02:29Z","snapshot_observed_at":"2026-08-17T12:31:25.670222Z","submitted_at":"2025-04-29T10:02:29Z","title":"Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-16T05:28:31.643379Z"},"links":{"citing_paper":"/paper/2504.21061"},"observation_digest":"sha256:83c616076d54602f2ad442506de6aabf1215fcf6505c2c4b450f3965fc49f036","observation_id":"aa9a55c5-c1b6-4df4-a1cb-b1d4e21ab0df","resolution":{"observed_at":"2026-08-16T05:28:33.500763Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2504.04942","last_updated":"2026-06-02T13:29:28Z","snapshot_observed_at":"2026-08-17T00:57:00.392017Z","submitted_at":"2025-04-07T11:30:36Z","title":"Lemmanaid: Neuro-Symbolic Lemma Conjecturing","version":6},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2504.04942","snapshot_observed_at":"2026-08-16T05:28:31.681845Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2504.21061","last_updated":"2025-04-29T10:02:29Z","snapshot_observed_at":"2026-08-17T12:31:25.670222Z","submitted_at":"2025-04-29T10:02:29Z","title":"Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-16T05:28:31.681845Z"},"links":{"cited_paper":"/paper/2504.04942","citing_paper":"/paper/2504.21061"},"observation_digest":"sha256:0c9f7e0147ae65b9ef693d6d30ead0423fb562e0d635eec14f85ec3627b4b384","observation_id":"6cea05fd-860e-48da-86c9-2c04ae0bd3ee","resolution":{"observed_at":"2026-08-16T05:28:31.681845Z","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-16T05:28:33.378854Z","title":"CEA-LIST, Saclay, France, Tech","venue":null,"work_id":"07907fac-e9cc-44c7-a780-58dcf667377c","year":2008},"citing_paper":{"arxiv_id":"2504.21061","last_updated":"2025-04-29T10:02:29Z","snapshot_observed_at":"2026-08-17T12:31:25.670222Z","submitted_at":"2025-04-29T10:02:29Z","title":"Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-16T05:28:31.686539Z"},"links":{"citing_paper":"/paper/2504.21061"},"observation_digest":"sha256:d3fe7fb46fd6aa2df5903b321bc1ae76c259d0cecfa8e8d6cc294684727a5589","observation_id":"169d9817-b4c6-4c35-bf9e-bc8be9311bcd","resolution":{"observed_at":"2026-08-16T05:28:33.382677Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-16T05:28:33.368479Z","title":"In: Benzmüller, C., Miller, B","venue":null,"work_id":"2facc92c-56c0-4bcd-a45e-f21ecbafe1e9","year":2020},"citing_paper":{"arxiv_id":"2504.21061","last_updated":"2025-04-29T10:02:29Z","snapshot_observed_at":"2026-08-17T12:31:25.670222Z","submitted_at":"2025-04-29T10:02:29Z","title":"Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-16T05:28:31.691813Z"},"links":{"citing_paper":"/paper/2504.21061"},"observation_digest":"sha256:5d4ad13a0535d31569e9955009e58853e514c06b163012dcc1cd7ca02d658211","observation_id":"193a2182-984b-4ec9-9fc3-95988fe7c64e","resolution":{"observed_at":"2026-08-16T05:28:33.371966Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-16T05:28:33.357824Z","title":"In: Proceedings of the 27th ACM SIGSOFT international symposium on software testing and analysis","venue":null,"work_id":"aceda4ef-78dd-4bff-a3a1-bd5a4a7b6e45","year":2018},"citing_paper":{"arxiv_id":"2504.21061","last_updated":"2025-04-29T10:02:29Z","snapshot_observed_at":"2026-08-17T12:31:25.670222Z","submitted_at":"2025-04-29T10:02:29Z","title":"Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-16T05:28:31.696214Z"},"links":{"citing_paper":"/paper/2504.21061"},"observation_digest":"sha256:5c941fcd81b0d3868655da1c70aa565c8ad58764ffb8f89e9e906d397a4ffe58","observation_id":"79f00e9b-a059-45ed-9a8d-064a8a126fc6","resolution":{"observed_at":"2026-08-16T05:28:33.361243Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-16T05:28:31.700528Z","title":"In: 18th International Conference on Verification Model Checking and Abstract Interpretation (VMCAI 2017)","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2504.21061","last_updated":"2025-04-29T10:02:29Z","snapshot_observed_at":"2026-08-17T12:31:25.670222Z","submitted_at":"2025-04-29T10:02:29Z","title":"Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-16T05:28:31.700528Z"},"links":{"citing_paper":"/paper/2504.21061"},"observation_digest":"sha256:f189bff065060324c78803409d033d65bf8f6de23e64d9728ccdd612d0253735","observation_id":"ac1fb32e-0c55-47c5-a8d5-4f7e5c3bc543","resolution":{"observed_at":"2026-08-16T05:28:31.700528Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T05:28:31.705585Z","title":"Advances in neural information processing systems 33, 1877–1901 (2020)","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2504.21061","last_updated":"2025-04-29T10:02:29Z","snapshot_observed_at":"2026-08-17T12:31:25.670222Z","submitted_at":"2025-04-29T10:02:29Z","title":"Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-16T05:28:31.705585Z"},"links":{"citing_paper":"/paper/2504.21061"},"observation_digest":"sha256:0ac2f15ad300fffaaaf76c649fd5ce13bd095e6d6d1608741b88c740de679e02","observation_id":"a026b9c2-7178-445c-806a-03774328bcea","resolution":{"observed_at":"2026-08-16T05:28:31.705585Z","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-16T05:28:33.340800Z","title":"In: Formal Methods for Industrial Critical Systems: 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013","venue":null,"work_id":"eafb0a78-e34d-4045-b302-00bb490e0c54","year":2013},"citing_paper":{"arxiv_id":"2504.21061","last_updated":"2025-04-29T10:02:29Z","snapshot_observed_at":"2026-08-17T12:31:25.670222Z","submitted_at":"2025-04-29T10:02:29Z","title":"Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-16T05:28:31.709118Z"},"links":{"citing_paper":"/paper/2504.21061"},"observation_digest":"sha256:9ef9432713489d00cb6339fc7c08793ab43eefde960bc66c09c9210d9df9fb43","observation_id":"3f6e335d-b8e1-49b8-8bec-4596d81b0857","resolution":{"observed_at":"2026-08-16T05:28:33.344365Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-16T05:28:33.330414Z","title":"Science of computer programming 69(1-3), 35–45 (2007) Manuscript submitted to ACM Seeking Specifications 29","venue":null,"work_id":"d538a9d3-20a3-41fc-b7a4-8e9f3d579509","year":2007},"citing_paper":{"arxiv_id":"2504.21061","last_updated":"2025-04-29T10:02:29Z","snapshot_observed_at":"2026-08-17T12:31:25.670222Z","submitted_at":"2025-04-29T10:02:29Z","title":"Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-16T05:28:31.713554Z"},"links":{"citing_paper":"/paper/2504.21061"},"observation_digest":"sha256:1ef1f42abe5b1d593631c998be952c0ec31befe96fdfc02d6f3b6fb2811257b6","observation_id":"a03d3c7b-27c8-45e9-a96e-722b4e8eb3de","resolution":{"observed_at":"2026-08-16T05:28:33.333997Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-16T05:28:31.717376Z","title":"In: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2504.21061","last_updated":"2025-04-29T10:02:29Z","snapshot_observed_at":"2026-08-17T12:31:25.670222Z","submitted_at":"2025-04-29T10:02:29Z","title":"Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-16T05:28:31.717376Z"},"links":{"citing_paper":"/paper/2504.21061"},"observation_digest":"sha256:2aa79775be78f2a8edad160e25becdb2de816ff1ade223c61ae0905bd31b5500","observation_id":"ed5afd60-81d6-4f70-bc83-ad861784d53a","resolution":{"observed_at":"2026-08-16T05:28:31.717376Z","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-16T05:28:33.277606Z","title":"Information Processing Letters 77(2-4), 97–108 (2001)","venue":null,"work_id":"6b80e2e0-0fbb-415c-903b-d268a83edd24","year":2001},"citing_paper":{"arxiv_id":"2504.21061","last_updated":"2025-04-29T10:02:29Z","snapshot_observed_at":"2026-08-17T12:31:25.670222Z","submitted_at":"2025-04-29T10:02:29Z","title":"Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-16T05:28:31.770421Z"},"links":{"citing_paper":"/paper/2504.21061"},"observation_digest":"sha256:b8165da788597f8e4f9d8fa01cc8a0c3fe297708169bec183617c2f5f92c2389","observation_id":"613d5f7a-84a6-4039-b770-3f84f3805cbc","resolution":{"observed_at":"2026-08-16T05:28:33.320439Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-16T05:28:33.078212Z","title":"In: International Confer- ence on Integrated Formal Methods","venue":null,"work_id":"813f94f7-54c8-4513-9c5a-17455fa23e95","year":2024},"citing_paper":{"arxiv_id":"2504.21061","last_updated":"2025-04-29T10:02:29Z","snapshot_observed_at":"2026-08-17T12:31:25.670222Z","submitted_at":"2025-04-29T10:02:29Z","title":"Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-16T05:28:31.850579Z"},"links":{"citing_paper":"/paper/2504.21061"},"observation_digest":"sha256:062f6dfae8aac1e0e63d78276a9776e87af88b893ab00b8de36769d6707aee6a","observation_id":"379fa742-8ac9-410e-9a5e-571a5ae447ad","resolution":{"observed_at":"2026-08-16T05:28:33.127022Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-16T05:28:33.067290Z","title":null,"venue":null,"work_id":"e9fcff31-b728-4f7e-b02c-2f5b28623e89","year":2024},"citing_paper":{"arxiv_id":"2504.21061","last_updated":"2025-04-29T10:02:29Z","snapshot_observed_at":"2026-08-17T12:31:25.670222Z","submitted_at":"2025-04-29T10:02:29Z","title":"Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-16T05:28:31.869101Z"},"links":{"citing_paper":"/paper/2504.21061"},"observation_digest":"sha256:2b58f8becb3d5264bfaf402188a3f9e04fbaa81d23a69d221d69842b9df86c93","observation_id":"1daea149-1f97-4fce-92a7-ad1c5112a8a8","resolution":{"observed_at":"2026-08-16T05:28:33.070629Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-16T05:28:33.053865Z","title":"(eds.) Fundamental Approaches to Software Engineering","venue":null,"work_id":"6fcdf57e-de71-4a83-a4ae-d2f91a6c12e9","year":2024},"citing_paper":{"arxiv_id":"2504.21061","last_updated":"2025-04-29T10:02:29Z","snapshot_observed_at":"2026-08-17T12:31:25.670222Z","submitted_at":"2025-04-29T10:02:29Z","title":"Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-16T05:28:31.873278Z"},"links":{"citing_paper":"/paper/2504.21061"},"observation_digest":"sha256:7e2ccdbd609f079e0677a7bf527abd4b11d2306f2b9215ae12330a6e3a8323b8","observation_id":"897c4276-94b5-4f57-a94a-670d327d35d9","resolution":{"observed_at":"2026-08-16T05:28:33.059544Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-16T05:28:33.040407Z","title":"In: Oh, A.H., Agarwal, A., Belgrave, D., Cho, K","venue":null,"work_id":"98d0f3dc-bff0-4cef-8247-025dc7f31948","year":2022},"citing_paper":{"arxiv_id":"2504.21061","last_updated":"2025-04-29T10:02:29Z","snapshot_observed_at":"2026-08-17T12:31:25.670222Z","submitted_at":"2025-04-29T10:02:29Z","title":"Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-16T05:28:31.876545Z"},"links":{"citing_paper":"/paper/2504.21061"},"observation_digest":"sha256:f3598eb3515574fc410eee08c5b7527f9bfd06092050c30399403374763e8743","observation_id":"6727bc56-04b4-4e44-be38-ae4af3bc73d0","resolution":{"observed_at":"2026-08-16T05:28:33.044856Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-16T05:28:33.029062Z","title":"In: NeSy 2023, 17th International Workshop on Neural-Symbolic Learning and Reasoning (2023)","venue":null,"work_id":"09227951-8c7a-4c6b-829f-f0efaf4f8bec","year":2023},"citing_paper":{"arxiv_id":"2504.21061","last_updated":"2025-04-29T10:02:29Z","snapshot_observed_at":"2026-08-17T12:31:25.670222Z","submitted_at":"2025-04-29T10:02:29Z","title":"Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-16T05:28:31.880009Z"},"links":{"citing_paper":"/paper/2504.21061"},"observation_digest":"sha256:e6b17e22283594f59072e4c023797c110d3b13c41a3144bcc00c45907e9a07de","observation_id":"6be47c33-2d72-4b4d-88d6-a5541de9a8b3","resolution":{"observed_at":"2026-08-16T05:28:33.032518Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-16T05:28:31.883209Z","title":"arXiv preprint arXiv:2311.07948 (2023)","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2504.21061","last_updated":"2025-04-29T10:02:29Z","snapshot_observed_at":"2026-08-17T12:31:25.670222Z","submitted_at":"2025-04-29T10:02:29Z","title":"Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-16T05:28:31.883209Z"},"links":{"cited_paper":"/paper/2311.07948","citing_paper":"/paper/2504.21061"},"observation_digest":"sha256:b2beefb87404f80989724cddc923a0110c24cd3916808b25cf2e6225150e5bc9","observation_id":"8fc4b4b7-21cd-44e8-81b7-25facb81e8bc","resolution":{"observed_at":"2026-08-16T05:28:31.883209Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T05:28:31.887389Z","title":"Formal Aspects of Computing 27(3), 573–609 (2015)","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2504.21061","last_updated":"2025-04-29T10:02:29Z","snapshot_observed_at":"2026-08-17T12:31:25.670222Z","submitted_at":"2025-04-29T10:02:29Z","title":"Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-16T05:28:31.887389Z"},"links":{"citing_paper":"/paper/2504.21061"},"observation_digest":"sha256:5eabc676a5e99b37388597d26365f338c56dde43ab1891fa6ec416efa074339b","observation_id":"d8f2e85b-c4e9-404a-89f1-b8057da7c4ba","resolution":{"observed_at":"2026-08-16T05:28:31.887389Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T05:28:31.890861Z","title":"Springer Cham (2024)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.21061","last_updated":"2025-04-29T10:02:29Z","snapshot_observed_at":"2026-08-17T12:31:25.670222Z","submitted_at":"2025-04-29T10:02:29Z","title":"Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-16T05:28:31.890861Z"},"links":{"citing_paper":"/paper/2504.21061"},"observation_digest":"sha256:c11a358e3a382833ae0b6dd9b01995631f998132cba96dbb64a0ce8ecf6a8e33","observation_id":"33702ebd-10da-4cd2-84d2-83a541f8b1c4","resolution":{"observed_at":"2026-08-16T05:28:31.890861Z","resolver_source":null,"status":"malformed_identifier"},"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-16T05:28:32.904805Z","title":"Journal of Systems and Software p","venue":null,"work_id":"762dc8ed-f5f0-4cdc-9b35-2225ce9b39c8","year":2024},"citing_paper":{"arxiv_id":"2504.21061","last_updated":"2025-04-29T10:02:29Z","snapshot_observed_at":"2026-08-17T12:31:25.670222Z","submitted_at":"2025-04-29T10:02:29Z","title":"Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-16T05:28:31.894776Z"},"links":{"citing_paper":"/paper/2504.21061"},"observation_digest":"sha256:0bb6dcd8d1186b1e6f7282a0790ac907300ce0ac121507e97fcefe46b8497bf1","observation_id":"d2035dc2-f072-40c4-a69e-2a1cb7d9b9f8","resolution":{"observed_at":"2026-08-16T05:28:32.959350Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2401.08807","last_updated":"2025-02-25T07:20:36Z","snapshot_observed_at":"2026-08-18T13:28:07.011952Z","submitted_at":"2024-01-16T20:13:50Z","title":"SpecGen: Automated Generation of Formal Program Specifications via Large Language Models","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2401.08807","snapshot_observed_at":"2026-08-16T05:28:31.898651Z","title":"arXiv preprint arXiv:2401.08807 (2024)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.21061","last_updated":"2025-04-29T10:02:29Z","snapshot_observed_at":"2026-08-17T12:31:25.670222Z","submitted_at":"2025-04-29T10:02:29Z","title":"Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-16T05:28:31.898651Z"},"links":{"cited_paper":"/paper/2401.08807","citing_paper":"/paper/2504.21061"},"observation_digest":"sha256:780d8a26e47470ea83e96b82a243d16aa55b32b73bc2df42c0029411e9a84916","observation_id":"533351e7-9227-49ae-bd5d-71421e401cf5","resolution":{"observed_at":"2026-08-16T05:28:31.898651Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.16792","last_updated":"2025-03-03T22:24:37Z","snapshot_observed_at":"2026-08-18T10:50:02.967480Z","submitted_at":"2024-05-27T03:26:01Z","title":"Laurel: Unblocking Automated Verification with Large Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.16792","snapshot_observed_at":"2026-08-16T05:28:32.000131Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.21061","last_updated":"2025-04-29T10:02:29Z","snapshot_observed_at":"2026-08-17T12:31:25.670222Z","submitted_at":"2025-04-29T10:02:29Z","title":"Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-16T05:28:32.000131Z"},"links":{"cited_paper":"/paper/2405.16792","citing_paper":"/paper/2504.21061"},"observation_digest":"sha256:1e8d2027f83600ddf140e2157b0905fca69ebab5391edc651ddd70ee7a656bb6","observation_id":"299ca29c-efba-49b7-8bb2-fc078c31a5a7","resolution":{"observed_at":"2026-08-16T05:28:32.000131Z","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-16T05:28:32.892816Z","title":"In: Proceedings of ICLR (2021)","venue":null,"work_id":"1a211cd3-c13e-46a5-b68d-fa251b8de5e6","year":2021},"citing_paper":{"arxiv_id":"2504.21061","last_updated":"2025-04-29T10:02:29Z","snapshot_observed_at":"2026-08-17T12:31:25.670222Z","submitted_at":"2025-04-29T10:02:29Z","title":"Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-16T05:28:32.004430Z"},"links":{"citing_paper":"/paper/2504.21061"},"observation_digest":"sha256:61ae2d559e54993128d03852d2161fb4cc5291fec2e3206ed5db5f9333e627dc","observation_id":"8538c4ed-5e7d-48b7-93d1-737899c39785","resolution":{"observed_at":"2026-08-16T05:28:32.896462Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-16T05:28:32.008272Z","title":"SIGSOFT Softw","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2504.21061","last_updated":"2025-04-29T10:02:29Z","snapshot_observed_at":"2026-08-17T12:31:25.670222Z","submitted_at":"2025-04-29T10:02:29Z","title":"Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-16T05:28:32.008272Z"},"links":{"citing_paper":"/paper/2504.21061"},"observation_digest":"sha256:7c7271975f6fbf38ef572797275896fbb00c52ebd4d01cda765602d34c39f64b","observation_id":"bcf4e869-ba12-4fda-916e-e57140b3ffe9","resolution":{"observed_at":"2026-08-16T05:28:32.008272Z","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-16T05:28:32.880746Z","title":null,"venue":null,"work_id":"be933ad8-bc70-496a-9271-818d4e7e80b4","year":2011},"citing_paper":{"arxiv_id":"2504.21061","last_updated":"2025-04-29T10:02:29Z","snapshot_observed_at":"2026-08-17T12:31:25.670222Z","submitted_at":"2025-04-29T10:02:29Z","title":"Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-16T05:28:32.012288Z"},"links":{"citing_paper":"/paper/2504.21061"},"observation_digest":"sha256:d61b44f87a90507578e803213e7662f8cfd1092383c75fe567ec0fb371533ac6","observation_id":"ef48c8a1-e9db-448f-a86d-b44d9050fec9","resolution":{"observed_at":"2026-08-16T05:28:32.884734Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"4033.36443","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T05:28:32.527328Z","title":"In: Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE)","venue":null,"work_id":"59e4df0b-1183-4c8b-8a0f-2e3371932fe8","year":2024},"citing_paper":{"arxiv_id":"2504.21061","last_updated":"2025-04-29T10:02:29Z","snapshot_observed_at":"2026-08-17T12:31:25.670222Z","submitted_at":"2025-04-29T10:02:29Z","title":"Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-16T05:28:32.015767Z"},"links":{"citing_paper":"/paper/2504.21061"},"observation_digest":"sha256:72d82e909ed365f0a3ab5d385af67883074fead877048bcdcda97242bb0368db","observation_id":"3e2610be-e53c-4773-87fe-db0c7c4c0c90","resolution":{"observed_at":"2026-08-16T05:28:32.590893Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2404.12534","last_updated":"2025-05-11T09:58:48Z","snapshot_observed_at":"2026-08-16T13:59:36.664469Z","submitted_at":"2024-04-18T22:54:08Z","title":"Lean Copilot: Large Language Models as Copilots for Theorem Proving in Lean","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2404.12534","snapshot_observed_at":"2026-08-16T05:28:32.019969Z","title":"arXiv preprint arXiv: Arxiv-2404.12534 (2024)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.21061","last_updated":"2025-04-29T10:02:29Z","snapshot_observed_at":"2026-08-17T12:31:25.670222Z","submitted_at":"2025-04-29T10:02:29Z","title":"Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-16T05:28:32.019969Z"},"links":{"cited_paper":"/paper/2404.12534","citing_paper":"/paper/2504.21061"},"observation_digest":"sha256:7fa1cea753412835901c36bbf75d93e317fa30e2d89fd52527e6b839e070d392","observation_id":"16017070-2bb7-45a8-b8ff-257678c0cbca","resolution":{"observed_at":"2026-08-16T05:28:32.019969Z","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":"10.1007/978-3-031-43678-9_5","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-17T11:03:46.409680Z","title":"In: Cerone, A","venue":"Lecture notes in computer science","work_id":"b25de988-b2c4-4f78-baca-eff31de80897","year":2023},"citing_paper":{"arxiv_id":"2504.21061","last_updated":"2025-04-29T10:02:29Z","snapshot_observed_at":"2026-08-17T12:31:25.670222Z","submitted_at":"2025-04-29T10:02:29Z","title":"Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-16T05:28:32.079550Z"},"links":{"citing_paper":"/paper/2504.21061"},"observation_digest":"sha256:7430663d8fc3ccaa3b27c5064f11065dfbfd571c0383282a0d847f2527f84873","observation_id":"069bc91f-86b1-4b2e-8247-1aaea72d8c2a","resolution":{"observed_at":"2026-08-16T05:28:32.395692Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-53518-","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T05:28:32.263443Z","title":"In: Proceedings of CICM (2020)","venue":null,"work_id":"7c8bb613-4bbb-4532-b37a-944698d0b603","year":2020},"citing_paper":{"arxiv_id":"2504.21061","last_updated":"2025-04-29T10:02:29Z","snapshot_observed_at":"2026-08-17T12:31:25.670222Z","submitted_at":"2025-04-29T10:02:29Z","title":"Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-16T05:28:32.141774Z"},"links":{"citing_paper":"/paper/2504.21061"},"observation_digest":"sha256:2f4567a55e289716f6a2d00e1708e10aab6ac99d9ee72c03b6f292cb40b7ce33","observation_id":"1f7943fa-82d4-4477-841d-7760c730f305","resolution":{"observed_at":"2026-08-16T05:28:32.347822Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2305.11792","last_updated":"2023-10-15T12:54:48Z","snapshot_observed_at":"2026-08-16T15:31:38.842138Z","submitted_at":"2023-05-19T16:27:43Z","title":"Cue-CoT: Chain-of-thought Prompting for Responding to In-depth Dialogue Questions with LLMs","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.11792","snapshot_observed_at":"2026-08-16T05:28:32.146054Z","title":"arXiv preprint arXiv:2305.11792 (2023)","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2504.21061","last_updated":"2025-04-29T10:02:29Z","snapshot_observed_at":"2026-08-17T12:31:25.670222Z","submitted_at":"2025-04-29T10:02:29Z","title":"Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-16T05:28:32.146054Z"},"links":{"cited_paper":"/paper/2305.11792","citing_paper":"/paper/2504.21061"},"observation_digest":"sha256:057740ad9ab656e804c7a662f128c00706a7aa36e83fbccafec36988ce7fe864","observation_id":"15090dcb-0065-45cd-8edb-2633580137fd","resolution":{"observed_at":"2026-08-16T05:28:32.146054Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2310.18457","last_updated":"2023-10-27T20:10:56Z","snapshot_observed_at":"2026-08-18T14:03:56.208552Z","submitted_at":"2023-10-27T20:10:56Z","title":"LLMSTEP: LLM proofstep suggestions in Lean","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.18457","snapshot_observed_at":"2026-08-16T05:28:32.150999Z","title":"arXiv preprint arXiv:2310.18457 (2023)","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2504.21061","last_updated":"2025-04-29T10:02:29Z","snapshot_observed_at":"2026-08-17T12:31:25.670222Z","submitted_at":"2025-04-29T10:02:29Z","title":"Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-16T05:28:32.150999Z"},"links":{"cited_paper":"/paper/2310.18457","citing_paper":"/paper/2504.21061"},"observation_digest":"sha256:523e84575576540353ae8d33bbeb1a79e616a7c257f5f6906009d73285e9298e","observation_id":"9b2aa1c1-1feb-499a-b55f-2ba040550ce6","resolution":{"observed_at":"2026-08-16T05:28:32.150999Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T05:28:32.154689Z","title":"In: International Conference on Computer Aided Verification","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.21061","last_updated":"2025-04-29T10:02:29Z","snapshot_observed_at":"2026-08-17T12:31:25.670222Z","submitted_at":"2025-04-29T10:02:29Z","title":"Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-16T05:28:32.154689Z"},"links":{"citing_paper":"/paper/2504.21061"},"observation_digest":"sha256:dfaa2abb150716d050cfdf072df30242dcb09f8db41ce06c3762b6e9085f2da6","observation_id":"161db073-4fa1-44e4-a76d-2b170b97ac3a","resolution":{"observed_at":"2026-08-16T05:28:32.154689Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2302.11382","last_updated":"2023-02-21T12:42:44Z","snapshot_observed_at":"2026-07-06T14:54:37.559648Z","submitted_at":"2023-02-21T12:42:44Z","title":"A Prompt Pattern Catalog to Enhance Prompt Engineering with ChatGPT","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2302.11382","snapshot_observed_at":"2026-08-16T05:28:32.159043Z","title":"arXiv preprint arXiv:2302.11382 (2023)","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2504.21061","last_updated":"2025-04-29T10:02:29Z","snapshot_observed_at":"2026-08-17T12:31:25.670222Z","submitted_at":"2025-04-29T10:02:29Z","title":"Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-16T05:28:32.159043Z"},"links":{"cited_paper":"/paper/2302.11382","citing_paper":"/paper/2504.21061"},"observation_digest":"sha256:72f5a37e15e3225fa1684122a4d5de805f9b74726e3e51b243d88b26ca0500ee","observation_id":"fca1afad-15dd-491b-8bff-b8c3bb1a45dd","resolution":{"observed_at":"2026-08-16T05:28:32.159043Z","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-16T05:28:32.860595Z","title":"In: European Dependable Computing Conference","venue":null,"work_id":"8644af51-b92f-4369-a2ab-fc9e67e91751","year":2005},"citing_paper":{"arxiv_id":"2504.21061","last_updated":"2025-04-29T10:02:29Z","snapshot_observed_at":"2026-08-17T12:31:25.670222Z","submitted_at":"2025-04-29T10:02:29Z","title":"Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-16T05:28:32.163818Z"},"links":{"citing_paper":"/paper/2504.21061"},"observation_digest":"sha256:4981f347af136bdcee0149bb376fbc9dabe626be2708f2a990fdd1f9be34a9b3","observation_id":"a16efdc0-57f9-4302-946a-0a3cd07aec5e","resolution":{"observed_at":"2026-08-16T05:28:32.864712Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-16T05:28:32.848587Z","title":"In: Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering","venue":null,"work_id":"cabfa7ec-511e-42d1-87c8-9811310eb161","year":2024},"citing_paper":{"arxiv_id":"2504.21061","last_updated":"2025-04-29T10:02:29Z","snapshot_observed_at":"2026-08-17T12:31:25.670222Z","submitted_at":"2025-04-29T10:02:29Z","title":"Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-16T05:28:32.167884Z"},"links":{"citing_paper":"/paper/2504.21061"},"observation_digest":"sha256:6e6d7d6ec1f6873b8029b3fcce0831582a292f6a526512659cfcb136104c5202","observation_id":"e9a77671-594a-445d-a59b-c5203ba1abaa","resolution":{"observed_at":"2026-08-16T05:28:32.852673Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-16T05:28:32.774911Z","title":"In: Neural Information Processing Systems (NeurIPS) (2023) Manuscript submitted to ACM","venue":null,"work_id":"85231d20-4c23-4919-a428-569e8af38a09","year":2023},"citing_paper":{"arxiv_id":"2504.21061","last_updated":"2025-04-29T10:02:29Z","snapshot_observed_at":"2026-08-17T12:31:25.670222Z","submitted_at":"2025-04-29T10:02:29Z","title":"Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-16T05:28:32.171959Z"},"links":{"citing_paper":"/paper/2504.21061"},"observation_digest":"sha256:8454c175ea62d0fd7fca03a588bf475e2a47700ebafbcd1588b705af26a80ece","observation_id":"f56ef33c-0403-4259-9491-6fc7d83bd942","resolution":{"observed_at":"2026-08-16T05:28:32.839829Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2504.21061","last_updated":"2025-04-29T10:02:29Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-17T12:31:25.670222Z","submitted_at":"2025-04-29T10:02:29Z","title":"Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis"},"reference_resolution":{"displayed":36,"state_counts":{"malformed_identifier":2,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":16,"verified_exact":1,"verified_fuzzy":16},"total_outbound_references":36},"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-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"thesis":"As of 18 August 2026, this Paper Citation Record lists 36 of 36 outbound references and 2 inbound Pith citation observations for arXiv:2504.21061."}