Paper Citation Record · LEDGER

VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving

As of 14 August 2026, this Paper Citation Record lists 72 of 72 outbound references and 1 inbound Pith citation observation for arXiv:2606.19399.

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

pith.paper-citation-record.v1
2606.19399 v1

Coverage vector

measured 72 of 72 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-06-26T21:37:52.473697Z

measured 73 of 73 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 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-07-31T17:33:57.615161Z

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

72 of 72 outbound references displayed

verified exact3
verified fuzzy0
unresolved63
parse uncertain1
malformed identifier0
metadata mismatch5

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 1d990b25-27c7-47b1-8a35-83836e78bc98 · outbound

This paper cites an unresolved cited work.

VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving Unresolved cited work

Reference 1

Resolution: unresolved; no resolver link, observed 2026-06-26T21:37:52.473697Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a2d13d5c-3819-4311-842a-c438b5458c87 · outbound

This paper cites Generative Language Modeling for Automated Theorem Proving.

VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving Generative Language Modeling for Automated Theorem Proving

Reference 2

Resolution: metadata mismatch; local_arxiv, observed 2026-07-03T23:59:06.416664Z

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 f5ea86ab-598d-4a9c-bc59-ac0e32da975f · outbound

This paper cites an unresolved cited work.

VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving Unresolved cited work

Reference 3

Resolution: unresolved; no resolver link, observed 2026-06-26T21:37:52.473697Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5760f1bc-2dad-4394-9090-94a797c9fe28 · outbound

This paper cites Advances in Neural Information Processing Systems (NeurIPS) , year =.

VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving Advances in Neural Information Processing Systems (NeurIPS) , year =

Reference 4

Resolution: unresolved; no resolver link, observed 2026-06-26T21:37:52.473697Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 194fcfe4-aac0-4a2b-8912-c7ca3fc849ff · outbound

This paper cites and Li, Wenda and Tworkowski, Szymon and Czechowski, Konrad and Odrzyg.

VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving and Li, Wenda and Tworkowski, Szymon and Czechowski, Konrad and Odrzyg

Reference 5

Resolution: unresolved; no resolver link, observed 2026-06-26T21:37:52.473697Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 964aa211-2f9e-48ba-92a3-dd5f169b0795 · outbound

This paper cites an unresolved cited work.

VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving Unresolved cited work

Reference 6

Resolution: unresolved; no resolver link, observed 2026-06-26T21:37:52.473697Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3b01c160-5218-47ee-acdd-d0cbf489339d · outbound

This paper cites an unresolved cited work.

VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving Unresolved cited work

Reference 7

Resolution: unresolved; no resolver link, observed 2026-06-26T21:37:52.473697Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ad854529-abd5-4e42-8dda-5195a1a73ee7 · outbound

This paper cites an unresolved cited work.

VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving Unresolved cited work

Reference 8

Resolution: unresolved; no resolver link, observed 2026-06-26T21:37:52.473697Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 125e29c9-4fc4-480c-a8c2-ba9cee8de7a0 · outbound

This paper cites an unresolved cited work.

VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving Unresolved cited work

Reference 9

Resolution: parse uncertain; no resolver link, observed 2026-06-26T21:37:52.473697Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6f63344a-d528-4061-a06a-535563be8fb9 · outbound

This paper cites First Conference on Language Modeling (COLM) , year =.

VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving First Conference on Language Modeling (COLM) , year =

Reference 10

Resolution: unresolved; no resolver link, observed 2026-06-26T21:37:52.473697Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 14bce4d0-fe54-4cc8-b940-4f71563f5d28 · outbound

This paper cites an unresolved cited work.

VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving Unresolved cited work

Reference 11

Resolution: unresolved; no resolver link, observed 2026-06-26T21:37:52.473697Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9e290526-1dc0-41d6-b566-f80b08b53ada · outbound

This paper cites and Deng, Jia and Biderman, Stella and Welleck, Sean , booktitle =.

VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving and Deng, Jia and Biderman, Stella and Welleck, Sean , booktitle =

Reference 12

Resolution: unresolved; no resolver link, observed 2026-06-26T21:37:52.473697Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1753671d-0076-4dcf-b7ff-1657f2288a43 · outbound

This paper cites and Radev, Dragomir and Avigad, Jeremy , journal =.

VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving and Radev, Dragomir and Avigad, Jeremy , journal =

Reference 13

Resolution: unresolved; no resolver link, observed 2026-06-26T21:37:52.473697Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8e57b8e2-e69e-4b7a-8af6-6db2ae719ab0 · outbound

This paper cites an unresolved cited work.

VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving Unresolved cited work

Reference 14

Resolution: unresolved; no resolver link, observed 2026-06-26T21:37:52.473697Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cbe1b409-8b5d-4b34-84b3-f45445b08368 · outbound

This paper cites an unresolved cited work.

VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving Unresolved cited work

Reference 15

Resolution: unresolved; no resolver link, observed 2026-06-26T21:37:52.473697Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a24f751b-9e0b-417a-a2ec-35c9685c6051 · outbound

This paper cites an unresolved cited work.

VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving Unresolved cited work

Reference 16

Resolution: unresolved; no resolver link, observed 2026-06-26T21:37:52.473697Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7c3e1866-71a1-495e-9837-43f0d8293cb2 · outbound

This paper cites International Conference on Learning Representations (ICLR) , year =.

VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving International Conference on Learning Representations (ICLR) , year =

Reference 17

Resolution: unresolved; no resolver link, observed 2026-06-26T21:37:52.473697Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 11c75170-c560-4883-b752-81504fd74851 · outbound

This paper cites International Conference on Machine Learning (ICML) , year =.

VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving International Conference on Machine Learning (ICML) , year =

Reference 18

Resolution: unresolved; no resolver link, observed 2026-06-26T21:37:52.473697Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dee15629-e977-469c-bc03-2f4361645c5d · outbound

This paper cites Advances in Neural Information Processing Systems (NeurIPS) , year =.

VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving Advances in Neural Information Processing Systems (NeurIPS) , year =

Reference 19

Resolution: unresolved; no resolver link, observed 2026-06-26T21:37:52.473697Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4d51b913-8f57-4ce4-9972-b70c80ea46ce · outbound

This paper cites International Conference on Learning Representations (ICLR) , year =.

VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving International Conference on Learning Representations (ICLR) , year =

Reference 20

Resolution: unresolved; no resolver link, observed 2026-06-26T21:37:52.473697Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 824ea6e1-324b-4faf-bf98-77f66702835e · outbound

This paper cites Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP) , pages =.

VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP) , pages =

Reference 21

Resolution: unresolved; no resolver link, observed 2026-06-26T21:37:52.473697Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6331ab15-ce64-4872-9a49-a82f39750f12 · outbound

This paper cites an unresolved cited work.

VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving Unresolved cited work

Reference 22

Resolution: unresolved; no resolver link, observed 2026-06-26T21:37:52.473697Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d6bf49a1-2592-4c95-9d43-3b1cd9fa4a85 · outbound

This paper cites Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP) , pages =.

VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP) , pages =

Reference 23

Resolution: unresolved; no resolver link, observed 2026-06-26T21:37:52.473697Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 85acf657-487e-4d40-9e34-06a3c15239a0 · outbound

This paper cites International Conference on Machine Learning (ICML) , pages =.

VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving International Conference on Machine Learning (ICML) , pages =

Reference 24

Resolution: unresolved; no resolver link, observed 2026-06-26T21:37:52.473697Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6ca506c9-a7ae-4145-97b3-ebae1b06ce9b · outbound

This paper cites an unresolved cited work.

VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving Unresolved cited work

Reference 25

Resolution: unresolved; no resolver link, observed 2026-06-26T21:37:52.473697Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3c5121b8-89f2-48b5-b71c-8251af166668 · outbound

This paper cites and Rabe, Markus N.

VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving and Rabe, Markus N

Reference 26

Resolution: unresolved; no resolver link, observed 2026-06-26T21:37:52.473697Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ecdd7c8d-f5bd-4261-bedb-906c93d535c6 · outbound

This paper cites Bandit Based.

VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving Bandit Based

Reference 27

Resolution: unresolved; no resolver link, observed 2026-06-26T21:37:52.473697Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7518fe9d-120f-4621-ba15-ec6edad6363f · outbound

This paper cites Machine Learning , volume =.

VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving Machine Learning , volume =

Reference 28

Resolution: unresolved; no resolver link, observed 2026-06-26T21:37:52.473697Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0cd554b7-5c87-4d0a-841e-a59d6438263d · outbound

This paper cites A General Reinforcement Learning Algorithm that Masters Chess, Shogi, and.

VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving A General Reinforcement Learning Algorithm that Masters Chess, Shogi, and

Reference 29

Resolution: unresolved; no resolver link, observed 2026-06-26T21:37:52.473697Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 562866e3-0e97-43b5-b6c3-5fa376d21c1b · outbound

This paper cites Nature , volume =.

VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving Nature , volume =

Reference 30

Resolution: unresolved; no resolver link, observed 2026-06-26T21:37:52.473697Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 85c39725-7215-4f7f-8ae4-2eb994acdb5b · outbound

This paper cites Gold-medalist performance in solving olympiad geometry with alphageometry2.

VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving Gold-medalist performance in solving olympiad geometry with alphageometry2

Reference 31

Resolution: verified exact; arxiv_id, observed 2026-07-03T23:59:06.421370Z

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 3f2dddb6-c78f-410c-8b11-798299ff898e · outbound

This paper cites International Conference on Learning Representations (ICLR) , year =.

VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving International Conference on Learning Representations (ICLR) , year =

Reference 32

Resolution: unresolved; no resolver link, observed 2026-06-26T21:37:52.473697Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3debf338-cc79-4b11-9bc9-4cc7879fe64c · outbound

This paper cites Training Verifiers to Solve Math Word Problems.

VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving Training Verifiers to Solve Math Word Problems

Reference 33

Resolution: metadata mismatch; local_arxiv, observed 2026-07-03T23:59:06.425399Z

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 cc1531ea-ffae-42d7-b1d4-9a1e448c8f56 · outbound

This paper cites Solving math word problems with process- and outcome-based feedback.

VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving Solving math word problems with process- and outcome-based feedback

Reference 34

Resolution: metadata mismatch; local_arxiv, observed 2026-07-03T23:59:06.411800Z

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 0bc3dfd0-5b64-4614-91dd-b2bfe1b5bba9 · outbound

This paper cites an unresolved cited work.

VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving Unresolved cited work

Reference 35

Resolution: unresolved; no resolver link, observed 2026-06-26T21:37:52.473697Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3c4877fc-6595-4a6f-9ef2-479ebb87e024 · outbound

This paper cites an unresolved cited work.

VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving Unresolved cited work

Reference 36

Resolution: unresolved; no resolver link, observed 2026-06-26T21:37:52.473697Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2d5e67bf-14a4-41d4-b266-5ecdc965374e · outbound

This paper cites an unresolved cited work.

VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving Unresolved cited work

Reference 37

Resolution: unresolved; no resolver link, observed 2026-06-26T21:37:52.473697Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ac023760-5ebc-4d45-a83a-245c124cf7e5 · outbound

This paper cites an unresolved cited work.

VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving Unresolved cited work

Reference 38

Resolution: unresolved; no resolver link, observed 2026-06-26T21:37:52.473697Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a4b0ae76-22a8-4980-9874-70da26fb4e6c · outbound

This paper cites International Conference on Learning Representations (ICLR) , year =.

VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving International Conference on Learning Representations (ICLR) , year =

Reference 39

Resolution: unresolved; no resolver link, observed 2026-06-26T21:37:52.473697Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 39013d40-a1bc-4cc2-9762-86e57243359f · outbound

This paper cites Advances in Neural Information Processing Systems (NeurIPS) , year =.

VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving Advances in Neural Information Processing Systems (NeurIPS) , year =

Reference 40

Resolution: unresolved; no resolver link, observed 2026-06-26T21:37:52.473697Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6c436395-0851-4878-a26c-8db800e52d20 · outbound

This paper cites International Conference on Learning Representations (ICLR) , year =.

VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving International Conference on Learning Representations (ICLR) , year =

Reference 41

Resolution: unresolved; no resolver link, observed 2026-06-26T21:37:52.473697Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3c9c056d-4c3e-4a58-9b77-2b9da3f5d1a3 · outbound

This paper cites Advances in Neural Information Processing Systems (NeurIPS) , year =.

VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving Advances in Neural Information Processing Systems (NeurIPS) , year =

Reference 42

Resolution: unresolved; no resolver link, observed 2026-06-26T21:37:52.473697Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 729b670e-7daa-40fa-bc55-981e00de70ae · outbound

This paper cites an unresolved cited work.

VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving Unresolved cited work

Reference 43

Resolution: unresolved; no resolver link, observed 2026-06-26T21:37:52.473697Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0e09d8dc-dafa-483b-a3f7-99cdf0f8c11b · outbound

This paper cites Advances in Neural Information Processing Systems (NeurIPS) , year =.

VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving Advances in Neural Information Processing Systems (NeurIPS) , year =

Reference 44

Resolution: unresolved; no resolver link, observed 2026-06-26T21:37:52.473697Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7688a278-ca53-480f-b0bb-c373f734bcd5 · outbound

This paper cites Measuring Mathematical Problem Solving with the.

VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving Measuring Mathematical Problem Solving with the

Reference 45

Resolution: unresolved; no resolver link, observed 2026-06-26T21:37:52.473697Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2dd56135-d96b-4104-bccb-94a7f8e4f57c · outbound

This paper cites Advances in Neural Information Processing Systems (NeurIPS) , year =.

VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving Advances in Neural Information Processing Systems (NeurIPS) , year =

Reference 46

Resolution: unresolved; no resolver link, observed 2026-06-26T21:37:52.473697Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation abf8ef37-6c61-4cc4-aee4-c7234d72fe90 · outbound

This paper cites an unresolved cited work.

VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving Unresolved cited work

Reference 47

Resolution: unresolved; no resolver link, observed 2026-06-26T21:37:52.473697Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c0e13ace-a58f-4ddf-b95f-8eae221a67f2 · outbound

This paper cites an unresolved cited work.

VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving Unresolved cited work

Reference 48

Resolution: unresolved; no resolver link, observed 2026-06-26T21:37:52.473697Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ea527664-9522-409b-b6b4-660d501b572e · outbound

This paper cites International Conference on Learning Representations (ICLR) , year =.

VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving International Conference on Learning Representations (ICLR) , year =

Reference 49

Resolution: unresolved; no resolver link, observed 2026-06-26T21:37:52.473697Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 25e5ef3e-63ad-436d-83f7-feaaa84665bf · outbound

This paper cites and Burger, Doug and Wang, Chi , booktitle =.

VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving and Burger, Doug and Wang, Chi , booktitle =

Reference 50

Resolution: unresolved; no resolver link, observed 2026-06-26T21:37:52.473697Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d1dc04ed-89ea-457c-a341-1efc7e225415 · outbound

This paper cites an unresolved cited work.

VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving Unresolved cited work

Reference 51

Resolution: unresolved; no resolver link, observed 2026-06-26T21:37:52.473697Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 978aa8d9-b2fc-487a-93df-b126ebf45b12 · outbound

This paper cites an unresolved cited work.

VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving Unresolved cited work

Reference 52

Resolution: unresolved; no resolver link, observed 2026-06-26T21:37:52.473697Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f73a6ce1-1ffd-4401-adc0-835704ca9eab · outbound

This paper cites Conference on Empirical Methods in Natural Language Processing (EMNLP) , year =.

VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving Conference on Empirical Methods in Natural Language Processing (EMNLP) , year =

Reference 53

Resolution: unresolved; no resolver link, observed 2026-06-26T21:37:52.473697Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 70f33c2d-83ec-4c14-bf0b-2b28dcd0bc66 · outbound

This paper cites Evaluating Large Language Models Trained on Code.

VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving Evaluating Large Language Models Trained on Code

Reference 54

Resolution: metadata mismatch; local_arxiv, observed 2026-07-03T23:59:06.406745Z

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 166f1e8d-72ab-4c1d-9d32-7369c42a0489 · outbound

This paper cites Competition-Level Code Generation with.

VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving Competition-Level Code Generation with

Reference 55

Resolution: unresolved; no resolver link, observed 2026-06-26T21:37:52.473697Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 954f4318-6d76-4230-aff9-03fbea74cae9 · outbound

This paper cites Code Llama: Open Foundation Models for Code.

VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving Code Llama: Open Foundation Models for Code

Reference 56

Resolution: verified exact; local_arxiv, observed 2026-07-03T23:59:06.401634Z

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 436e4983-7141-4277-9c95-a4cbcaa4fbc1 · outbound

This paper cites Advances in Neural Information Processing Systems (NeurIPS) , year =.

VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving Advances in Neural Information Processing Systems (NeurIPS) , year =

Reference 57

Resolution: unresolved; no resolver link, observed 2026-06-26T21:37:52.473697Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 974e4e93-a040-44e3-a9c4-42c503b2a22c · outbound

This paper cites GPT-4 Technical Report.

VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving GPT-4 Technical Report

Reference 58

Resolution: verified exact; local_arxiv, observed 2026-07-03T23:59:06.396586Z

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 32b007ca-5261-45d2-a9b2-51cd851ac69c · outbound

This paper cites an unresolved cited work.

VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving Unresolved cited work

Reference 59

Resolution: unresolved; no resolver link, observed 2026-06-26T21:37:52.473697Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 59db295a-6812-4756-a9c8-d99fb3e55a72 · outbound

This paper cites Retrieval-Augmented Generation for Knowledge-Intensive.

VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving Retrieval-Augmented Generation for Knowledge-Intensive

Reference 60

Resolution: unresolved; no resolver link, observed 2026-06-26T21:37:52.473697Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d412dbc7-f96c-49e6-813c-f359652e99ff · outbound

This paper cites Conference on Empirical Methods in Natural Language Processing (EMNLP) , year =.

VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving Conference on Empirical Methods in Natural Language Processing (EMNLP) , year =

Reference 61

Resolution: unresolved; no resolver link, observed 2026-06-26T21:37:52.473697Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6b28663b-7990-4945-836e-a6de51acacd4 · outbound

This paper cites an unresolved cited work.

VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving Unresolved cited work

Reference 62

Resolution: unresolved; no resolver link, observed 2026-06-26T21:37:52.473697Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ae3bedd5-9cea-4089-8070-75fa9bd1c189 · outbound

This paper cites and Blanchette, Jasmin C.

VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving and Blanchette, Jasmin C

Reference 63

Resolution: unresolved; no resolver link, observed 2026-06-26T21:37:52.473697Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1ce38b0b-5ee1-478f-9c87-843b558a77ea · outbound

This paper cites an unresolved cited work.

VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving Unresolved cited work

Reference 64

Resolution: unresolved; no resolver link, observed 2026-06-26T21:37:52.473697Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 347afeb2-762e-43ff-a8a5-1b9d24930b56 · outbound

This paper cites Advances in Neural Information Processing Systems (NeurIPS) , year =.

VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving Advances in Neural Information Processing Systems (NeurIPS) , year =

Reference 65

Resolution: unresolved; no resolver link, observed 2026-06-26T21:37:52.473697Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9a7e9c23-29ee-47ae-9d65-ec0278c055ea · outbound

This paper cites Proceedings of the 4th ACM SIGPLAN International Workshop on Machine Learning and Programming Languages (MAPL) , pages =.

VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving Proceedings of the 4th ACM SIGPLAN International Workshop on Machine Learning and Programming Languages (MAPL) , pages =

Reference 66

Resolution: unresolved; no resolver link, observed 2026-06-26T21:37:52.473697Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d5d0462d-447b-4043-8c0e-b268831b6c47 · outbound

This paper cites and Ringer, Talia and Brun, Yuriy , booktitle =.

VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving and Ringer, Talia and Brun, Yuriy , booktitle =

Reference 67

Resolution: unresolved; no resolver link, observed 2026-06-26T21:37:52.473697Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3a064499-16a0-4f2c-9818-91fabf2d5537 · outbound

This paper cites Advances in Neural Information Processing Systems (NeurIPS) , year =.

VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving Advances in Neural Information Processing Systems (NeurIPS) , year =

Reference 68

Resolution: unresolved; no resolver link, observed 2026-06-26T21:37:52.473697Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bdd51482-46c4-46ab-ac29-157ec2857836 · outbound

This paper cites , booktitle =.

VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving , booktitle =

Reference 69

Resolution: unresolved; no resolver link, observed 2026-06-26T21:37:52.473697Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2cb57f36-7acf-4f77-9d47-6694f36b0e1a · outbound

This paper cites Advances in Neural Information Processing Systems (NeurIPS) , year =.

VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving Advances in Neural Information Processing Systems (NeurIPS) , year =

Reference 70

Resolution: unresolved; no resolver link, observed 2026-06-26T21:37:52.473697Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a4cb26c9-6fba-4b9d-842f-43c7f98e665e · outbound

This paper cites Advances in Neural Information Processing Systems (NeurIPS) , year =.

VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving Advances in Neural Information Processing Systems (NeurIPS) , year =

Reference 71

Resolution: unresolved; no resolver link, observed 2026-06-26T21:37:52.473697Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 30d97f63-7e19-47c9-97bd-7d3bd8a99e1d · outbound

This paper cites Reinforcement Learning via Self-Distillation.

VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving Reinforcement Learning via Self-Distillation

Reference 72

Resolution: metadata mismatch; local_arxiv, observed 2026-07-03T23:59:06.400739Z

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.

Pith citing papers

Observation 4e76f811-bf86-4bf2-b726-5c4a3a3ea9ef · inbound

BlueprintRepair: Typed Local Edits for Failed Lean Proof Blueprints cites this paper.

BlueprintRepair: Typed Local Edits for Failed Lean Proof Blueprints VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving

Reference 1

Resolution: unresolved; no resolver link, observed 2026-07-31T17:33:57.615161Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.