Paper Citation Record · LEDGER

Recursive Program Synthesis from Sketches and Mixed-Quantifier Properties

As of 14 August 2026, this Paper Citation Record lists 21 of 21 outbound references and 0 inbound Pith citation observations for arXiv:2601.04045.

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

pith.paper-citation-record.v1
2601.04045 v2

Coverage vector

measured 21 of 21 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-03T12:11:28.370535Z

measured 21 of 21 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-13T06:32:02.005865+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

21 of 21 outbound references displayed

verified exact4
verified fuzzy0
unresolved16
parse uncertain0
malformed identifier1
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 5f150786-8dd6-410f-89d9-0787b9831763 · outbound

This paper cites In: Sharygina, N., Veith, H.

Recursive Program Synthesis from Sketches and Mixed-Quantifier Properties In: Sharygina, N., Veith, H

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-03T12:11:27.984247Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 94aa0dae-b40b-49f7-9f59-f8c8d312aa3f · outbound

This paper cites In: Formal Methods in Computer-Aided Design, FMCAD 2013, Portland, OR, USA, October 20-23, 2013.

Recursive Program Synthesis from Sketches and Mixed-Quantifier Properties In: Formal Methods in Computer-Aided Design, FMCAD 2013, Portland, OR, USA, October 20-23, 2013

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-03T12:11:28.007211Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3e58d2ee-763c-4750-b77e-9ebba1387a9c · outbound

This paper cites In: Fisman, D., Rosu, G.

Recursive Program Synthesis from Sketches and Mixed-Quantifier Properties In: Fisman, D., Rosu, G

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-03T12:11:28.021954Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 67923725-737b-4d06-bec3-763f52528a27 · outbound

This paper cites In: Hardin, D.S., Schmaltz, J.

Recursive Program Synthesis from Sketches and Mixed-Quantifier Properties In: Hardin, D.S., Schmaltz, J

Reference 4

Resolution: verified exact; doi, observed 2026-08-03T12:13:31.535389Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 3246af33-02fa-4bdc-a6fd-05ef40df511c · outbound

This paper cites the ACL2 sedan.

Recursive Program Synthesis from Sketches and Mixed-Quantifier Properties the ACL2 sedan

Reference 5

Resolution: verified exact; doi, observed 2026-08-03T12:13:30.904821Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation d88eae12-f266-48a1-aa6e-3189ad0fe6e1 · outbound

This paper cites Tree Automata and Tree Grammars.

Recursive Program Synthesis from Sketches and Mixed-Quantifier Properties Tree Automata and Tree Grammars

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-03T12:11:28.102409Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 741716b9-3a81-4978-bf1e-61814dcb14b9 · outbound

This paper cites In: Grove, D., Blackburn, S.M.

Recursive Program Synthesis from Sketches and Mixed-Quantifier Properties In: Grove, D., Blackburn, S.M

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-03T12:11:28.127391Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fb6f1c90-94bf-4096-9ef6-56443e5f03ef · outbound

This paper cites Cambridge University Press (2009).

Recursive Program Synthesis from Sketches and Mixed-Quantifier Properties Cambridge University Press (2009)

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-03T12:11:28.156823Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation db905266-082a-4856-8590-8f377f765aca · outbound

This paper cites an unresolved cited work.

Recursive Program Synthesis from Sketches and Mixed-Quantifier Properties Unresolved cited work

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-03T12:11:28.173471Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 16ec168e-3799-4ad3-9793-c17137f2668d · outbound

This paper cites Kluwer Academic Publishers, USA (2000).

Recursive Program Synthesis from Sketches and Mixed-Quantifier Properties Kluwer Academic Publishers, USA (2000)

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-03T12:11:28.206941Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 76c680a1-9d1a-4cd1-ae5e-b81394aa84ce · outbound

This paper cites In: Hosking, A.L., Eugster, P.T., Lopes, C.V.

Recursive Program Synthesis from Sketches and Mixed-Quantifier Properties In: Hosking, A.L., Eugster, P.T., Lopes, C.V

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-03T12:11:28.228771Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8b49b19e-33d3-420a-a266-3495b96f1a8a · outbound

This paper cites an unresolved cited work.

Recursive Program Synthesis from Sketches and Mixed-Quantifier Properties Unresolved cited work

Reference 12

Resolution: verified exact; doi, observed 2026-08-03T12:13:29.741069Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation c6f83ab0-2c9f-4123-87e1-4644e4787240 · outbound

This paper cites an unresolved cited work.

Recursive Program Synthesis from Sketches and Mixed-Quantifier Properties Unresolved cited work

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-03T12:11:28.252610Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b57b9a65-2c1e-46ab-bb27-497ef85b3451 · outbound

This paper cites In: Gurfinkel, A., Ganesh, V.

Recursive Program Synthesis from Sketches and Mixed-Quantifier Properties In: Gurfinkel, A., Ganesh, V

Reference 14

Resolution: verified exact; doi, observed 2026-08-03T12:13:29.429158Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 20eada2a-35c7-4f76-a7df-32e244cced0c · outbound

This paper cites In: Grove, D., Blackburn, S.M.

Recursive Program Synthesis from Sketches and Mixed-Quantifier Properties In: Grove, D., Blackburn, S.M

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-03T12:11:28.280222Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b0bb3e64-3f61-4467-a9cd-d003adf6e072 · outbound

This paper cites The SyGuS Language Standard Version 2.1.

Recursive Program Synthesis from Sketches and Mixed-Quantifier Properties The SyGuS Language Standard Version 2.1

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-03T12:11:28.295112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c2b77157-f936-47a3-a703-5a61b0b88672 · outbound

This paper cites In: Krintz, C., Berger, E.D.

Recursive Program Synthesis from Sketches and Mixed-Quantifier Properties In: Krintz, C., Berger, E.D

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-03T12:11:28.306250Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation de4edee0-3c58-4e65-bd80-fd416f697411 · outbound

This paper cites In: Dillig, I., Tasiran, S.

Recursive Program Synthesis from Sketches and Mixed-Quantifier Properties In: Dillig, I., Tasiran, S

Reference 18

Resolution: malformed identifier; no resolver link, observed 2026-08-03T12:11:28.319848Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6bcf78ed-ca83-4b1b-a99f-b00858097bc6 · outbound

This paper cites an unresolved cited work.

Recursive Program Synthesis from Sketches and Mixed-Quantifier Properties Unresolved cited work

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-03T12:11:28.332369Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c385167a-c973-43a8-83e0-b22e641e454a · outbound

This paper cites https://github.com/SyGuS-Org/benchmarks (2026), accessed: 2026-01-06.

Recursive Program Synthesis from Sketches and Mixed-Quantifier Properties https://github.com/SyGuS-Org/benchmarks (2026), accessed: 2026-01-06

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-03T12:11:28.351942Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a87d174d-e11a-4e36-b934-0fbb64194c02 · outbound

This paper cites https://github.com/cvc5/cvc5/issues/6182 (2021), gitHub issue, accessed: 2026-01-06 20 D.

Recursive Program Synthesis from Sketches and Mixed-Quantifier Properties https://github.com/cvc5/cvc5/issues/6182 (2021), gitHub issue, accessed: 2026-01-06 20 D

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-03T12:11:28.370535Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.