Paper Citation Record · LEDGER

Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis

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.

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

pith.paper-citation-record.v1
2504.21061 v1

Coverage vector

measured 36 of 36 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-16T05:28:32.171959Z

measured 38 of 38 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-18T06:34:40.430872+00:00

measured 2 of 2 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-07T14:15:44.626686Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-07-04T04:39:34.696898Z

Reference resolution

36 of 36 outbound references displayed

verified exact1
verified fuzzy16
unresolved16
parse uncertain0
malformed identifier2
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation aa9a55c5-c1b6-4df4-a1cb-b1d4e21ab0df · outbound

This paper cites In: International Sympo- sium on Leveraging Applications of Formal Methods.

Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis In: International Sympo- sium on Leveraging Applications of Formal Methods

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:28:33.500763Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 6cea05fd-860e-48da-86c9-2c04ae0bd3ee · outbound

This paper cites Lemmanaid: Neuro-Symbolic Lemma Conjecturing.

Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis Lemmanaid: Neuro-Symbolic Lemma Conjecturing

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-16T05:28:31.681845Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 169d9817-b4c6-4c35-bf9e-bc8be9311bcd · outbound

This paper cites CEA-LIST, Saclay, France, Tech.

Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis CEA-LIST, Saclay, France, Tech

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:28:33.382677Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 193a2182-984b-4ec9-9fc3-95988fe7c64e · outbound

This paper cites In: Benzmüller, C., Miller, B.

Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis In: Benzmüller, C., Miller, B

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:28:33.371966Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 79f00e9b-a059-45ed-9a8d-064a8a126fc6 · outbound

This paper cites In: Proceedings of the 27th ACM SIGSOFT international symposium on software testing and analysis.

Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis In: Proceedings of the 27th ACM SIGSOFT international symposium on software testing and analysis

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:28:33.361243Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation ac1fb32e-0c55-47c5-a8d5-4f7e5c3bc543 · outbound

This paper cites In: 18th International Conference on Verification Model Checking and Abstract Interpretation (VMCAI 2017).

Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis In: 18th International Conference on Verification Model Checking and Abstract Interpretation (VMCAI 2017)

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-16T05:28:31.700528Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a026b9c2-7178-445c-806a-03774328bcea · outbound

This paper cites Advances in neural information processing systems 33, 1877–1901 (2020).

Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis Advances in neural information processing systems 33, 1877–1901 (2020)

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-16T05:28:31.705585Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3f6e335d-b8e1-49b8-8bec-4596d81b0857 · outbound

This paper cites In: Formal Methods for Industrial Critical Systems: 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013.

Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis In: Formal Methods for Industrial Critical Systems: 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:28:33.344365Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation a03d3c7b-27c8-45e9-a96e-722b4e8eb3de · outbound

This paper cites Science of computer programming 69(1-3), 35–45 (2007) Manuscript submitted to ACM Seeking Specifications 29.

Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis Science of computer programming 69(1-3), 35–45 (2007) Manuscript submitted to ACM Seeking Specifications 29

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:28:33.333997Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation ed5afd60-81d6-4f70-bc83-ad861784d53a · outbound

This paper cites In: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering.

Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis In: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-16T05:28:31.717376Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 613d5f7a-84a6-4039-b770-3f84f3805cbc · outbound

This paper cites Information Processing Letters 77(2-4), 97–108 (2001).

Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis Information Processing Letters 77(2-4), 97–108 (2001)

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:28:33.320439Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 379fa742-8ac9-410e-9a5e-571a5ae447ad · outbound

This paper cites In: International Confer- ence on Integrated Formal Methods.

Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis In: International Confer- ence on Integrated Formal Methods

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:28:33.127022Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 1daea149-1f97-4fce-92a7-ad1c5112a8a8 · outbound

This paper cites an unresolved cited work.

Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis Unresolved cited work

Reference 13

Resolution: unresolved; raw_fallback, observed 2026-08-16T05:28:33.070629Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 897c4276-94b5-4f57-a94a-670d327d35d9 · outbound

This paper cites (eds.) Fundamental Approaches to Software Engineering.

Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis (eds.) Fundamental Approaches to Software Engineering

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:28:33.059544Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 6727bc56-04b4-4e44-be38-ae4af3bc73d0 · outbound

This paper cites In: Oh, A.H., Agarwal, A., Belgrave, D., Cho, K.

Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis In: Oh, A.H., Agarwal, A., Belgrave, D., Cho, K

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:28:33.044856Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 6be47c33-2d72-4b4d-88d6-a5541de9a8b3 · outbound

This paper cites In: NeSy 2023, 17th International Workshop on Neural-Symbolic Learning and Reasoning (2023).

Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis In: NeSy 2023, 17th International Workshop on Neural-Symbolic Learning and Reasoning (2023)

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:28:33.032518Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 8fc4b4b7-21cd-44e8-81b7-25facb81e8bc · outbound

This paper cites Finding Inductive Loop Invariants using Large Language Models.

Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis Finding Inductive Loop Invariants using Large Language Models

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-16T05:28:31.883209Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d8f2e85b-c4e9-404a-89f1-b8057da7c4ba · outbound

This paper cites Formal Aspects of Computing 27(3), 573–609 (2015).

Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis Formal Aspects of Computing 27(3), 573–609 (2015)

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-16T05:28:31.887389Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 33702ebd-10da-4cd2-84d2-83a541f8b1c4 · outbound

This paper cites Springer Cham (2024).

Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis Springer Cham (2024)

Reference 19

Resolution: malformed identifier; no resolver link, observed 2026-08-16T05:28:31.890861Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d2035dc2-f072-40c4-a69e-2a1cb7d9b9f8 · outbound

This paper cites Journal of Systems and Software p.

Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis Journal of Systems and Software p

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:28:32.959350Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 533351e7-9227-49ae-bd5d-71421e401cf5 · outbound

This paper cites SpecGen: Automated Generation of Formal Program Specifications via Large Language Models.

Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis SpecGen: Automated Generation of Formal Program Specifications via Large Language Models

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-16T05:28:31.898651Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 299ca29c-efba-49b7-8bb2-fc078c31a5a7 · outbound

This paper cites Laurel: Unblocking Automated Verification with Large Language Models.

Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis Laurel: Unblocking Automated Verification with Large Language Models

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-16T05:28:32.000131Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8538c4ed-5e7d-48b7-93d1-737899c39785 · outbound

This paper cites In: Proceedings of ICLR (2021).

Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis In: Proceedings of ICLR (2021)

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:28:32.896462Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation bcf4e869-ba12-4fda-916e-e57140b3ffe9 · outbound

This paper cites SIGSOFT Softw.

Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis SIGSOFT Softw

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-16T05:28:32.008272Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ef48c8a1-e9db-448f-a86d-b44d9050fec9 · outbound

This paper cites an unresolved cited work.

Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis Unresolved cited work

Reference 25

Resolution: unresolved; raw_fallback, observed 2026-08-16T05:28:32.884734Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 3e2610be-e53c-4773-87fe-db0c7c4c0c90 · outbound

This paper cites In: Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE).

Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis In: Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE)

Reference 26

Resolution: metadata mismatch; raw_fallback, observed 2026-08-16T05:28:32.590893Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 16017070-2bb7-45a8-b8ff-257678c0cbca · outbound

This paper cites Lean Copilot: Large Language Models as Copilots for Theorem Proving in Lean.

Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis Lean Copilot: Large Language Models as Copilots for Theorem Proving in Lean

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-16T05:28:32.019969Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 069bc91f-86b1-4b2e-8247-1aaea72d8c2a · outbound

This paper cites In: Cerone, A.

Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis In: Cerone, A

Reference 28

Resolution: verified exact; doi, observed 2026-08-16T05:28:32.395692Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 1f7943fa-82d4-4477-841d-7760c730f305 · outbound

This paper cites In: Proceedings of CICM (2020).

Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis In: Proceedings of CICM (2020)

Reference 29

Resolution: malformed identifier; doi_truncated, observed 2026-08-16T05:28:32.347822Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 15090dcb-0065-45cd-8edb-2633580137fd · outbound

This paper cites Cue-CoT: Chain-of-thought Prompting for Responding to In-depth Dialogue Questions with LLMs.

Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis Cue-CoT: Chain-of-thought Prompting for Responding to In-depth Dialogue Questions with LLMs

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-16T05:28:32.146054Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9b2aa1c1-1feb-499a-b55f-2ba040550ce6 · outbound

This paper cites LLMSTEP: LLM proofstep suggestions in Lean.

Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis LLMSTEP: LLM proofstep suggestions in Lean

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-16T05:28:32.150999Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 161db073-4fa1-44e4-a76d-2b170b97ac3a · outbound

This paper cites In: International Conference on Computer Aided Verification.

Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis In: International Conference on Computer Aided Verification

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-16T05:28:32.154689Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fca1afad-15dd-491b-8bff-b8c3bb1a45dd · outbound

This paper cites A Prompt Pattern Catalog to Enhance Prompt Engineering with ChatGPT.

Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis A Prompt Pattern Catalog to Enhance Prompt Engineering with ChatGPT

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-16T05:28:32.159043Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a16efdc0-57f9-4302-946a-0a3cd07aec5e · outbound

This paper cites In: European Dependable Computing Conference.

Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis In: European Dependable Computing Conference

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:28:32.864712Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation e9a77671-594a-445d-a59b-c5203ba1abaa · outbound

This paper cites In: Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering.

Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis In: Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:28:32.852673Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation f56ef33c-0403-4259-9491-6fc7d83bd942 · outbound

This paper cites In: Neural Information Processing Systems (NeurIPS) (2023) Manuscript submitted to ACM.

Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis In: Neural Information Processing Systems (NeurIPS) (2023) Manuscript submitted to ACM

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:28:32.839829Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Pith citing papers

Observation 661d8837-0a9e-4a47-9ffc-7f7d6cf63249 · inbound

Vibe Coding vs. Agentic Coding: Fundamentals and Practical Implications of Agentic AI cites this paper.

Vibe Coding vs. Agentic Coding: Fundamentals and Practical Implications of Agentic AI Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis

Reference 122

Resolution: unresolved; no resolver link, observed 2026-08-07T14:15:44.626686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7a1f7077-adcb-4b63-ba2b-7ccccedfb946 · inbound

AutoACSL: Synthesizing ACSL Specifications by Integrating LLMs with CPG-Based Static Analysis cites this paper.

AutoACSL: Synthesizing ACSL Specifications by Integrating LLMs with CPG-Based Static Analysis Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis

Reference 2

Resolution: verified exact; arxiv_id, observed 2026-07-04T04:39:34.698539Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.