Paper Citation Record · LEDGER

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification

As of 19 August 2026, this Paper Citation Record lists 98 of 98 outbound references and 6 inbound Pith citation observations for arXiv:2412.14063.

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

pith.paper-citation-record.v1
2412.14063 v3

Coverage vector

measured 98 of 98 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-11T12:35:28.130677Z

measured 104 of 104 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-19T06:32:44.657259+00:00

measured 6 of 6 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-06-28T17:05:13.012431Z

measured 1 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-08-05T02:28:24.338817Z

Reference resolution

98 of 98 outbound references displayed

verified exact2
verified fuzzy19
unresolved74
parse uncertain0
malformed identifier1
metadata mismatch2

External citation measurements

0
arxiv_reference, observed 2026-08-05T02:28:24.338817Z

Outbound references

Observation 98295bc7-053c-4789-b759-ae549caca6c4 · outbound

This paper cites https://github.com/ccz181078/Coq-BB5, 2024.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification https://github.com/ccz181078/Coq-BB5, 2024

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-11T12:35:27.120677Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 151a88ea-4098-40f9-9338-f38462760403 · outbound

This paper cites https://github.com/PnVDiscord/PnVRocqLib, 2024.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification https://github.com/PnVDiscord/PnVRocqLib, 2024

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-11T12:35:27.133762Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6b7734cf-0b8a-4ceb-9ae2-94d263b95aaa · outbound

This paper cites Afzal, M.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Afzal, M

Reference 3

Resolution: metadata mismatch; raw_fallback, observed 2026-08-11T12:35:32.403584Z

Source-reported events for the cited work

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

Observation bf2192d2-dbf2-4821-a363-a31adc4ab385 · outbound

This paper cites Albarghouthi, L.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Albarghouthi, L

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-11T12:35:27.155078Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b94040d6-91b1-4bfb-bcfd-97936916989f · outbound

This paper cites Ammann and J.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Ammann and J

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-11T12:35:27.162570Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2c87e996-7475-479d-a7f8-d359be038858 · outbound

This paper cites Learn from Failure: Fine-Tuning LLMs with Trial-and-Error Data for Intuitionistic Propositional Logic Proving.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Learn from Failure: Fine-Tuning LLMs with Trial-and-Error Data for Intuitionistic Propositional Logic Proving

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-11T12:35:27.174078Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c444e178-6888-411a-9052-aabd51a127e3 · outbound

This paper cites Azerbayev, B.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Azerbayev, B

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-11T12:35:27.190591Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 38224b6f-8e8d-4d17-9fe1-dc8ff69941bc · outbound

This paper cites Llemma: An Open Language Model For Mathematics.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Llemma: An Open Language Model For Mathematics

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-11T12:35:27.200406Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 38355c8e-54d8-4cef-bccc-f06f0e035f20 · outbound

This paper cites Learning to Reason in Large Theories without Imitation.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Learning to Reason in Large Theories without Imitation

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-11T12:35:27.215193Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1b912b3b-891d-4b16-b9a9-c39ef5468149 · outbound

This paper cites Blaauwbroek, M.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Blaauwbroek, M

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-11T12:35:27.227198Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3e1b5e9d-49d5-4329-a23e-ff8cdc3e9876 · outbound

This paper cites an unresolved cited work.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Unresolved cited work

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-11T12:35:27.238273Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation be380d57-9d9b-432f-8360-420f35bb0158 · outbound

This paper cites Brun and A.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Brun and A

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-11T12:35:27.246938Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 92cb9f9b-7f79-4f2a-bb92-71d8c5505f67 · outbound

This paper cites Carrott, N.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Carrott, N

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-11T12:35:27.274281Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4512bef4-f839-4586-ac92-7348a158b834 · outbound

This paper cites Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-11T12:35:27.288003Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4f89b40c-c2d9-4e8e-a8b3-f1ada59eb8bc · outbound

This paper cites an unresolved cited work.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Unresolved cited work

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-11T12:35:27.299242Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d5b4e8f8-0af5-4639-996c-36ac3d5f88d2 · outbound

This paper cites PaLM: Scaling Language Modeling with Pathways.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification PaLM: Scaling Language Modeling with Pathways

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-11T12:35:27.308648Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 782d2fed-19e2-434f-a1bf-a7c392b854f4 · outbound

This paper cites https://github.com/coq-community, 2024.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification https://github.com/coq-community, 2024

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-11T12:35:27.324327Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5cd93e76-638f-46f8-adfa-b67c85bc0002 · outbound

This paper cites Czajka and C.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Czajka and C

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-11T12:35:27.335573Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6dd06955-373f-4f85-8796-76d252958e08 · outbound

This paper cites de Moura and N.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification de Moura and N

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-11T12:35:27.347046Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 65f75b6c-b7d9-489d-baac-a5db4df4d0e0 · outbound

This paper cites de Moura and S.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification de Moura and S

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-11T12:35:27.357404Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a811bb1d-af0b-4dd5-a552-014b78d6db66 · outbound

This paper cites Eladawy, C.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Eladawy, C

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-11T12:35:27.366443Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2d251373-586c-4c93-8813-e5a1b3dde46c · outbound

This paper cites Endres, S.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Endres, S

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-11T12:35:27.375107Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bcd3ef7a-4009-4912-987d-0d5461cbd04c · outbound

This paper cites CodeBERT: A Pre-Trained Model for Programming and Natural Languages.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification CodeBERT: A Pre-Trained Model for Programming and Natural Languages

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-11T12:35:27.385581Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5c2d232d-6b11-493a-9609-bdcac438d6a5 · outbound

This paper cites First and Y.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification First and Y

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-11T12:35:27.400912Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 05b9c968-b5a1-4c2b-90c2-8e69aa4bf109 · outbound

This paper cites First, Y.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification First, Y

Reference 25

Resolution: verified exact; doi, observed 2026-08-11T12:35:28.395543Z

Source-reported events for the cited work

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

Observation a425e216-91e5-435b-af8d-bdd1aa8a17b7 · outbound

This paper cites First, M.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification First, M

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-11T12:35:27.418222Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0e588a3f-c447-457f-8d04-edd3d1c76eb9 · outbound

This paper cites Galhotra, Y.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Galhotra, Y

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-11T12:35:27.431572Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cef4945b-be05-4566-a362-f9174fc28528 · outbound

This paper cites Gauthier, C.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Gauthier, C

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-11T12:35:27.450770Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8e12fada-063a-4741-b514-cd03362b7e97 · outbound

This paper cites Giguere, B.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Giguere, B

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-11T12:35:27.463211Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f10b964c-0bd8-46fb-acc3-f4b597251084 · outbound

This paper cites Goffi, A.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Goffi, A

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-11T12:35:27.471352Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 668d2eb5-2fd2-4b92-8e63-acdafced1e7e · outbound

This paper cites DeepSeek-Coder: When the Large Language Model Meets Programming -- The Rise of Code Intelligence.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification DeepSeek-Coder: When the Large Language Model Meets Programming -- The Rise of Code Intelligence

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-11T12:35:27.477934Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6a24686a-7323-4835-a51e-f3f2b098516c · outbound

This paper cites an unresolved cited work.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Unresolved cited work

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-11T12:35:27.483793Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation abaf7fe1-e2fa-4db0-b0b2-e3a0a705eab3 · outbound

This paper cites an unresolved cited work.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Unresolved cited work

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-11T12:35:27.494758Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 14e7ac23-e7d9-40be-9b0d-6a13c5c7907a · outbound

This paper cites LoRA: Low-Rank Adaptation of Large Language Models.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification LoRA: Low-Rank Adaptation of Large Language Models

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-11T12:35:27.505259Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cad77abc-75b0-42a2-8974-ca3c3ffa9cb0 · outbound

This paper cites GamePad: A Learning Environment for Theorem Proving.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification GamePad: A Learning Environment for Theorem Proving

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-11T12:35:27.517650Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 01a7a265-56e9-4816-8951-dd190464bc8e · outbound

This paper cites Jiang, K.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Jiang, K

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-11T12:35:27.525360Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a1ea8c26-8169-406a-b14d-609c5b83ecaa · outbound

This paper cites an unresolved cited work.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Unresolved cited work

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-11T12:35:27.538617Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3efddd74-9b8c-40d9-99fe-5291ed4c0fb1 · outbound

This paper cites an unresolved cited work.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Unresolved cited work

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-11T12:35:27.549514Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4c94da78-0077-4743-a85a-e4aacacbd9c4 · outbound

This paper cites Jiang, Y.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Jiang, Y

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-11T12:35:27.558131Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 23911609-2534-4589-9bf9-c607a6c71b01 · outbound

This paper cites Johnson, Y.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Johnson, Y

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-11T12:35:27.566813Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b5c9bbbd-e631-4888-9d85-464b6e9f7997 · outbound

This paper cites Dense Passage Retrieval for Open-Domain Question Answering.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Dense Passage Retrieval for Open-Domain Question Answering

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-11T12:35:27.578043Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 03c5d14e-60de-4ff3-b6aa-780d9ab9b021 · outbound

This paper cites Adam: A Method for Stochastic Optimization.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Adam: A Method for Stochastic Optimization

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-11T12:35:27.588844Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e3e382e4-1178-4b49-9ca1-6640b505ca1e · outbound

This paper cites an unresolved cited work.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Unresolved cited work

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-11T12:35:27.596992Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e6c92272-d134-4298-9149-0ef0ec7794a4 · outbound

This paper cites Lample, T.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Lample, T

Reference 44

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T12:35:33.560841Z

Source-reported events for the cited work

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

Observation 87027701-3ac4-4ca8-8433-80d3a6e3374a · outbound

This paper cites Lasse, J.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Lasse, J

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-11T12:35:27.613825Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d705d79c-1057-47c3-bb7b-aa6b30496e12 · outbound

This paper cites Le Goues, M.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Le Goues, M

Reference 46

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T12:35:33.511701Z

Source-reported events for the cited work

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

Observation 79ed52d8-2b4c-49af-99fa-e78c2184cad0 · outbound

This paper cites an unresolved cited work.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Unresolved cited work

Reference 47

Resolution: metadata mismatch; raw_fallback, observed 2026-08-11T12:35:30.540951Z

Source-reported events for the cited work

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

Observation c4244a60-7629-470d-810a-47cd171c74dc · outbound

This paper cites an unresolved cited work.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Unresolved cited work

Reference 48

Resolution: unresolved; no resolver link, observed 2026-08-11T12:35:27.654783Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1f646a32-69e2-4c81-9fff-7c7f16015cc5 · outbound

This paper cites Lewis, E.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Lewis, E

Reference 49

Resolution: unresolved; no resolver link, observed 2026-08-11T12:35:27.665066Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3535f986-b3b8-4955-8ed0-806d9f4d625f · outbound

This paper cites an unresolved cited work.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Unresolved cited work

Reference 50

Resolution: unresolved; raw_fallback, observed 2026-08-11T12:35:33.456875Z

Source-reported events for the cited work

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

Observation 162b8a77-473a-48a7-ac22-5924aa857dce · outbound

This paper cites an unresolved cited work.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Unresolved cited work

Reference 51

Resolution: unresolved; raw_fallback, observed 2026-08-11T12:35:33.403058Z

Source-reported events for the cited work

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

Observation 95c4772e-cfc1-49c1-8cb5-942052a527e1 · outbound

This paper cites Megill and D.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Megill and D

Reference 52

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T12:35:33.364837Z

Source-reported events for the cited work

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

Observation 8dbb8063-102c-441b-81ac-234c1c627e36 · outbound

This paper cites Metevier, S.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Metevier, S

Reference 53

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T12:35:33.321759Z

Source-reported events for the cited work

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

Observation 88d3ecf0-5496-4524-9d95-1c48d4a1e387 · outbound

This paper cites Mikuła, S.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Mikuła, S

Reference 54

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T12:35:33.275057Z

Source-reported events for the cited work

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

Observation 63cb2de6-ac92-4fae-8f59-a15dae634ea9 · outbound

This paper cites Assured Automatic Programming via Large Language Models.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Assured Automatic Programming via Large Language Models

Reference 55

Resolution: unresolved; no resolver link, observed 2026-08-11T12:35:27.719975Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 538a0ff9-dd3f-404a-ae7c-e20454d0468a · outbound

This paper cites Motwani and Y.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Motwani and Y

Reference 56

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T12:35:33.237045Z

Source-reported events for the cited work

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

Observation 8612ecf0-2a91-4765-b134-c0b96d85e996 · outbound

This paper cites Motwani and Y.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Motwani and Y

Reference 57

Resolution: unresolved; no resolver link, observed 2026-08-11T12:35:27.750344Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0dccf8ce-65b5-4e79-9e82-476c5622c230 · outbound

This paper cites an unresolved cited work.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Unresolved cited work

Reference 58

Resolution: unresolved; no resolver link, observed 2026-08-11T12:35:27.743003Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f072959c-48d2-4874-b22d-9bc97f133b8f · outbound

This paper cites Mu s ¸lu, Y.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Mu s ¸lu, Y

Reference 59

Resolution: unresolved; no resolver link, observed 2026-08-11T12:35:27.777567Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cf066b25-e567-453b-a829-10e64318e918 · outbound

This paper cites Motwani, M.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Motwani, M

Reference 60

Resolution: unresolved; no resolver link, observed 2026-08-11T12:35:27.763157Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1f2d3f39-714e-4a33-aa31-7e5f5de47279 · outbound

This paper cites Nashid, M.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Nashid, M

Reference 61

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T12:35:33.200778Z

Source-reported events for the cited work

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

Observation d1d3df65-be91-4125-a0db-fe585d953c3e · outbound

This paper cites Mus ¸lu, Y.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Mus ¸lu, Y

Reference 62

Resolution: unresolved; no resolver link, observed 2026-08-11T12:35:27.786376Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 46646be2-490f-439d-b80f-4dcbd74a85d4 · outbound

This paper cites an unresolved cited work.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Unresolved cited work

Reference 63

Resolution: unresolved; no resolver link, observed 2026-08-11T12:35:27.815309Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7acd7d04-80ed-49c1-a294-793a2b11fcd5 · outbound

This paper cites Nipkow, L.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Nipkow, L

Reference 64

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T12:35:33.165720Z

Source-reported events for the cited work

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

Observation efec8908-37d3-4e80-8a37-5b66137477b9 · outbound

This paper cites Fully Sharded Data Parallel: faster AI training with fewer GPUs.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Fully Sharded Data Parallel: faster AI training with fewer GPUs

Reference 65

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T12:35:33.125760Z

Source-reported events for the cited work

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

Observation 35e59e75-f0f0-46b3-9225-646733ae8fe2 · outbound

This paper cites GPT-4 Technical Report.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification GPT-4 Technical Report

Reference 66

Resolution: unresolved; no resolver link, observed 2026-08-11T12:35:27.825512Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7c86c341-7781-482a-a6bd-20eb837e237c · outbound

This paper cites an unresolved cited work.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Unresolved cited work

Reference 67

Resolution: unresolved; raw_fallback, observed 2026-08-11T12:35:33.048727Z

Source-reported events for the cited work

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

Observation f9cc90ff-a0c6-4c44-9077-2829d3655ad6 · outbound

This paper cites Paliwal, S.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Paliwal, S

Reference 68

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T12:35:33.087460Z

Source-reported events for the cited work

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

Observation 01246526-4ad8-4cd7-8834-2062ae7231d8 · outbound

This paper cites an unresolved cited work.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Unresolved cited work

Reference 69

Resolution: unresolved; raw_fallback, observed 2026-08-11T12:35:32.957565Z

Source-reported events for the cited work

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

Observation 0b078a26-4bda-4beb-bc46-5df412a93e54 · outbound

This paper cites Paulson and T.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Paulson and T

Reference 70

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T12:35:32.992919Z

Source-reported events for the cited work

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

Observation 96a177b0-420c-4448-93e8-727a52ce2678 · outbound

This paper cites Ringer, A.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Ringer, A

Reference 71

Resolution: unresolved; no resolver link, observed 2026-08-11T12:35:27.887772Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 73041dcf-4fe4-4e25-96fd-e16ca1f9a8cb · outbound

This paper cites Polu and I.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Polu and I

Reference 72

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T12:35:32.910493Z

Source-reported events for the cited work

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

Observation b02b6d77-fc56-40fc-bc67-3ea2581091db · outbound

This paper cites Sanchez-Stern, Y.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Sanchez-Stern, Y

Reference 73

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T12:35:32.823948Z

Source-reported events for the cited work

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

Observation 0ef5f497-e147-4bc3-b9c1-a2a2a7d97faf · outbound

This paper cites Robertson, H.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Robertson, H

Reference 74

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T12:35:32.854912Z

Source-reported events for the cited work

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

Observation 14387200-13bb-4f4b-85b4-ca07da5bfe69 · outbound

This paper cites Sanchez-Stern, A.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Sanchez-Stern, A

Reference 75

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T12:35:32.793967Z

Source-reported events for the cited work

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

Observation d5ecfbef-db8b-463b-97ad-d61b8ca8d047 · outbound

This paper cites Sanchez-Stern, E.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Sanchez-Stern, E

Reference 76

Resolution: unresolved; no resolver link, observed 2026-08-11T12:35:27.921136Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8878efe8-e81d-49bb-baf7-1cdc71b2d60e · outbound

This paper cites Sparck Jones.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Sparck Jones

Reference 77

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T12:35:32.756706Z

Source-reported events for the cited work

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

Observation 64ce3066-be5f-43db-b1bd-98b8a9951724 · outbound

This paper cites an unresolved cited work.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Unresolved cited work

Reference 78

Resolution: unresolved; no resolver link, observed 2026-08-11T12:35:27.941119Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9fc3042b-5f5f-4389-9491-d3be9013aabb · outbound

This paper cites Thakur, Y.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Thakur, Y

Reference 79

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T12:35:32.702563Z

Source-reported events for the cited work

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

Observation c14058f3-2828-4837-b65c-9c73dad0cb73 · outbound

This paper cites Gemini: A Family of Highly Capable Multimodal Models.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Gemini: A Family of Highly Capable Multimodal Models

Reference 80

Resolution: unresolved; no resolver link, observed 2026-08-11T12:35:27.957972Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1c6a022e-7c82-455c-9d47-413c4e3867b8 · outbound

This paper cites an unresolved cited work.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Unresolved cited work

Reference 81

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a461733c-79c3-497c-ac9f-eafae3c4888d · outbound

This paper cites Coq, v.8.7.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Coq, v.8.7

Reference 82

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T12:35:32.675725Z

Source-reported events for the cited work

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

Observation 3580c692-fbb6-493e-905b-5bee27102b0b · outbound

This paper cites Grimm, J.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Grimm, J

Reference 83

Resolution: unresolved; no resolver link, observed 2026-08-11T12:35:28.003506Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bcff69f1-2004-4e78-acb2-7ede2320d2f5 · outbound

This paper cites Llama 2: Open Foundation and Fine-Tuned Chat Models.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Llama 2: Open Foundation and Fine-Tuned Chat Models

Reference 84

Resolution: unresolved; no resolver link, observed 2026-08-11T12:35:27.994520Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fabf7a04-8871-433d-9553-b8db00c2f54b · outbound

This paper cites an unresolved cited work.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Unresolved cited work

Reference 85

Resolution: unresolved; raw_fallback, observed 2026-08-11T12:35:32.589492Z

Source-reported events for the cited work

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

Observation 8513d689-b740-49e0-90ad-50c75c048f6e · outbound

This paper cites an unresolved cited work.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Unresolved cited work

Reference 86

Resolution: unresolved; raw_fallback, observed 2026-08-11T12:35:32.639368Z

Source-reported events for the cited work

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

Observation 5a5b8091-2058-4c36-b88b-debc0133f675 · outbound

This paper cites TacticZero: Learning to Prove Theorems from Scratch with Deep Reinforcement Learning.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification TacticZero: Learning to Prove Theorems from Scratch with Deep Reinforcement Learning

Reference 87

Resolution: verified exact; local_arxiv, observed 2026-08-11T12:35:28.816367Z

Source-reported events for the cited work

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

Observation aace8ba4-ed12-4e4b-a854-e6599326fb51 · outbound

This paper cites Weiss, A.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Weiss, A

Reference 88

Resolution: unresolved; no resolver link, observed 2026-08-11T12:35:28.037579Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 54c45565-c10b-45c2-ba00-bb350b589236 · outbound

This paper cites DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data

Reference 89

Resolution: unresolved; no resolver link, observed 2026-08-11T12:35:28.060007Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a7ecb17d-1e64-43de-83c3-cdd9e57b87d1 · outbound

This paper cites an unresolved cited work.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Unresolved cited work

Reference 90

Resolution: unresolved; raw_fallback, observed 2026-08-11T12:35:32.545737Z

Source-reported events for the cited work

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

Observation afd6d906-1148-453d-8dbd-5706655fd7a7 · outbound

This paper cites an unresolved cited work.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Unresolved cited work

Reference 91

Resolution: unresolved; raw_fallback, observed 2026-08-11T12:35:32.469488Z

Source-reported events for the cited work

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

Observation 03b81e88-8256-4e33-a0d0-95a15dc597f7 · outbound

This paper cites Yang and J.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Yang and J

Reference 92

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T12:35:32.498036Z

Source-reported events for the cited work

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

Observation 206e84b6-e40e-41eb-af63-d416a86487dd · outbound

This paper cites Zeller and R.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Zeller and R

Reference 93

Resolution: unresolved; no resolver link, observed 2026-08-11T12:35:28.093540Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e987f020-518a-4be0-8be8-d954c807f3c8 · outbound

This paper cites an unresolved cited work.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Unresolved cited work

Reference 94

Resolution: unresolved; no resolver link, observed 2026-08-11T12:35:28.083717Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9db73d62-8bf9-48c1-8b84-849ef84217fd · outbound

This paper cites Lyra: Orchestrating Dual Correction in Automated Theorem Proving.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Lyra: Orchestrating Dual Correction in Automated Theorem Proving

Reference 95

Resolution: unresolved; no resolver link, observed 2026-08-11T12:35:28.119361Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3a1b5a5d-e628-4674-9c3b-fd083b8af472 · outbound

This paper cites an unresolved cited work.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Unresolved cited work

Reference 96

Resolution: unresolved; no resolver link, observed 2026-08-11T12:35:28.106212Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0707cc67-234d-4a84-8134-128da42c3e07 · outbound

This paper cites an unresolved cited work.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Unresolved cited work

Reference 98

Resolution: unresolved; no resolver link, observed 2026-08-11T12:35:28.130677Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4f588b03-8a6a-4585-bb2f-9516490d3227 · outbound

This paper cites an unresolved cited work.

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Unresolved cited work

Reference 2019

Resolution: unresolved; no resolver link, observed 2026-08-11T12:35:27.691466Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation f31d867f-6f4b-4d7b-9ffa-4976835e07c0 · inbound

The Search for Constrained Random Generators cites this paper.

The Search for Constrained Random Generators Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification

Reference 50

Resolution: verified exact; arxiv_id, observed 2026-05-17T22:15:21.737493Z

Source-reported events for the cited work

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

Observation 5a0a5193-ff47-4f9b-9670-7abc9c7a32ca · inbound

VeruSAGE: A Study of Agent-Based Verification for Rust Systems cites this paper.

VeruSAGE: A Study of Agent-Based Verification for Rust Systems Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification

Reference 35

Resolution: verified exact; arxiv_id, observed 2026-05-16T21:08:33.047480Z

Source-reported events for the cited work

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

Observation 5573cbbc-0849-43a0-bd62-c21e70dba0e6 · inbound

Certified Program Synthesis with a Multi-Modal Verifier cites this paper.

Certified Program Synthesis with a Multi-Modal Verifier Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification

Reference 64

Resolution: verified exact; arxiv_id, observed 2026-05-10T08:22:37.485994Z

Source-reported events for the cited work

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

Observation 1f80275c-2c19-4bdb-8352-2f05dad3b328 · inbound

On Reasoning-Centric LLM-based Automated Theorem Proving cites this paper.

On Reasoning-Centric LLM-based Automated Theorem Proving Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification

Reference 27

Resolution: metadata mismatch; arxiv_id, observed 2026-05-10T02:27:36.566085Z

Source-reported events for the cited work

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

Observation 1954d54e-8a36-4aa7-939c-8f87fc4b3d17 · inbound

Inductive Deductive Synthesis: Enabling AI to Generate Formally Verified Systems cites this paper.

Inductive Deductive Synthesis: Enabling AI to Generate Formally Verified Systems Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification

Reference 50

Resolution: verified exact; arxiv_id, observed 2026-05-25T04:55:23.734195Z

Source-reported events for the cited work

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

Observation dfdc68d4-13c1-45f2-bb43-a03ac5b0c317 · inbound

FVSpec: Real-World Property-Based Tests as Lean Challenges cites this paper.

FVSpec: Real-World Property-Based Tests as Lean Challenges Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification

Reference 52

Resolution: verified exact; arxiv_id, observed 2026-06-28T17:12:25.318429Z

Source-reported events for the cited work

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