Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-05-13T21:27:17.751930Z
Paper Citation Record · LEDGER
Do We Need Frontier Models to Verify Mathematical Proofs?
As of 5 August 2026, this Paper Citation Record lists 51 of 51 outbound references and 1 inbound Pith citation observation for arXiv:2604.02450.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-04T06:34:03.388597+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-04T04:58:06.586539Z
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
51 of 51 outbound references displayed
- verified exact0
- verified fuzzy21
- unresolved30
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation a32832f1-c578-4131-9a06-b9dd8a68fbec · outbound
This paper cites an unresolved cited work.
Do We Need Frontier Models to Verify Mathematical Proofs? Unresolved cited work
Reference 1
- Resolution
- unresolved
- raw_fallback, observed 2026-05-13T21:28:18.390582Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation bbc2509c-de23-4b60-ae86-b400605976c2 · outbound
This paper cites an unresolved cited work.
Do We Need Frontier Models to Verify Mathematical Proofs? Unresolved cited work
Reference 2
- Resolution
- unresolved
- raw_fallback, observed 2026-05-13T21:28:18.394965Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 233ab992-d7a0-443a-82cd-582a0be98956 · outbound
This paper cites an unresolved cited work.
Do We Need Frontier Models to Verify Mathematical Proofs? Unresolved cited work
Reference 3
- Resolution
- unresolved
- raw_fallback, observed 2026-05-13T21:28:18.398969Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation fdabf289-7ae2-4a15-a88d-7f7e6367635a · outbound
This paper cites Is this justified within the proof?.
Do We Need Frontier Models to Verify Mathematical Proofs? Is this justified within the proof?
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-13T21:28:18.404609Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 2c6fed68-a0b5-46fb-abce-79776c8bc7d1 · outbound
This paper cites intuitively.
Do We Need Frontier Models to Verify Mathematical Proofs? intuitively
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-13T21:28:18.411791Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation b7a9e016-ca59-4bea-8b50-8cb993c9940d · outbound
This paper cites an unresolved cited work.
Do We Need Frontier Models to Verify Mathematical Proofs? Unresolved cited work
Reference 6
- Resolution
- unresolved
- raw_fallback, observed 2026-05-13T21:28:18.354146Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 0a8a9873-0c4c-41a2-8b9e-4f442ba2d7cb · outbound
This paper cites an unresolved cited work.
Do We Need Frontier Models to Verify Mathematical Proofs? Unresolved cited work
Reference 7
- Resolution
- unresolved
- raw_fallback, observed 2026-05-13T21:28:18.360026Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 53acbe1e-dd26-45a1-8ea5-2581913d3e82 · outbound
This paper cites an unresolved cited work.
Do We Need Frontier Models to Verify Mathematical Proofs? Unresolved cited work
Reference 8
- Resolution
- unresolved
- raw_fallback, observed 2026-05-13T21:28:18.367605Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 959ae8f1-c616-407d-897b-137d086eab56 · outbound
This paper cites for large enoughN.
Do We Need Frontier Models to Verify Mathematical Proofs? for large enoughN
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-13T21:28:18.378127Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 95a896e3-daa7-42e4-9598-25587efa6080 · outbound
This paper cites an unresolved cited work.
Do We Need Frontier Models to Verify Mathematical Proofs? Unresolved cited work
Reference 10
- Resolution
- unresolved
- raw_fallback, observed 2026-05-13T21:28:18.328924Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 74b63eeb-5304-469e-a459-2c565955555e · outbound
This paper cites For each such instance, explain why the argument is insufficient.
Do We Need Frontier Models to Verify Mathematical Proofs? For each such instance, explain why the argument is insufficient
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-13T21:28:18.332105Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 2ada4a2b-240f-410d-9964-d977f3c97530 · outbound
This paper cites SinceAholds for each primepdividingn, it holds modulon.
Do We Need Frontier Models to Verify Mathematical Proofs? SinceAholds for each primepdividingn, it holds modulon
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-13T21:28:18.326322Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation efb0fe22-6545-4b52-9796-9045ab094aeb · outbound
This paper cites Since X happens infinitely often and Y happens infinitely often, there exist adjacent occurrences.
Do We Need Frontier Models to Verify Mathematical Proofs? Since X happens infinitely often and Y happens infinitely often, there exist adjacent occurrences
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-13T21:28:18.323506Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation aba1eaa5-175d-4d7a-bc8d-2e0a2d604c3f · outbound
This paper cites Sincegcd(a, b) = 1andpdividesa+b, thenpdividesb.
Do We Need Frontier Models to Verify Mathematical Proofs? Sincegcd(a, b) = 1andpdividesa+b, thenpdividesb
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-13T21:28:18.306691Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 416072fb-a1db-4a69-8e12-7cc6cef5c37a · outbound
This paper cites This triple is primitive.
Do We Need Frontier Models to Verify Mathematical Proofs? This triple is primitive
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-13T21:28:18.308903Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 19eb5d2d-2654-4999-835f-d834257b9cfd · outbound
This paper cites The intersection is countable/finite.
Do We Need Frontier Models to Verify Mathematical Proofs? The intersection is countable/finite
Reference 16
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-13T21:28:18.311331Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 7a60b6bf-15c0-42ef-b4b7-7a7e42ef1f28 · outbound
This paper cites Applying this iteratively gives.
Do We Need Frontier Models to Verify Mathematical Proofs? Applying this iteratively gives
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-13T21:28:18.320796Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 8aa1d64e-8259-43df-8b3b-e78882ef0cd7 · outbound
This paper cites Dividing both sides by X.
Do We Need Frontier Models to Verify Mathematical Proofs? Dividing both sides by X
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-13T21:28:18.300366Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 8e488526-0b03-4bd4-ab3f-d7373bba42b6 · outbound
This paper cites an unresolved cited work.
Do We Need Frontier Models to Verify Mathematical Proofs? Unresolved cited work
Reference 19
- Resolution
- unresolved
- raw_fallback, observed 2026-05-13T21:28:18.343064Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation f5645009-0a14-451f-a319-20c44fefc4d2 · outbound
This paper cites an unresolved cited work.
Do We Need Frontier Models to Verify Mathematical Proofs? Unresolved cited work
Reference 20
- Resolution
- unresolved
- raw_fallback, observed 2026-05-13T21:28:18.334859Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 7791e679-8e26-499c-82d2-898d5a989550 · outbound
This paper cites an unresolved cited work.
Do We Need Frontier Models to Verify Mathematical Proofs? Unresolved cited work
Reference 21
- Resolution
- unresolved
- raw_fallback, observed 2026-05-13T21:28:18.298129Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 22de2c45-72e2-4d2e-acb3-aeeb1006fafc · outbound
This paper cites an unresolved cited work.
Do We Need Frontier Models to Verify Mathematical Proofs? Unresolved cited work
Reference 22
- Resolution
- unresolved
- raw_fallback, observed 2026-05-13T21:28:18.373025Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 361a26d6-63e0-495a-9e57-3924b4dd0ba2 · outbound
This paper cites an unresolved cited work.
Do We Need Frontier Models to Verify Mathematical Proofs? Unresolved cited work
Reference 23
- Resolution
- unresolved
- raw_fallback, observed 2026-05-13T21:28:18.302393Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 166984e8-811e-4601-a98e-6be025dbf497 · outbound
This paper cites an unresolved cited work.
Do We Need Frontier Models to Verify Mathematical Proofs? Unresolved cited work
Reference 24
- Resolution
- unresolved
- raw_fallback, observed 2026-05-13T21:28:18.304437Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation fff20c59-79ad-4fe6-b546-61da2c55810e · outbound
This paper cites If this step were wrong, what would need to change to fix it?.
Do We Need Frontier Models to Verify Mathematical Proofs? If this step were wrong, what would need to change to fix it?
Reference 25
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-13T21:28:18.345892Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation f661a9f4-0b8d-49fb-9690-8e31ec6d3362 · outbound
This paper cites it is clear that.
Do We Need Frontier Models to Verify Mathematical Proofs? it is clear that
Reference 26
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-13T21:28:18.316219Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation a7d9a7ad-81c2-41cd-93b9-8d6ff98da878 · outbound
This paper cites applying this iteratively.
Do We Need Frontier Models to Verify Mathematical Proofs? applying this iteratively
Reference 27
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-13T21:28:18.318549Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation b3b2e77d-745e-4796-809d-d2bcfaa13ae4 · outbound
This paper cites an unresolved cited work.
Do We Need Frontier Models to Verify Mathematical Proofs? Unresolved cited work
Reference 28
- Resolution
- unresolved
- raw_fallback, observed 2026-05-13T21:28:18.413859Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 7674ea3f-2c5f-491f-9408-e54ca0419d4c · outbound
This paper cites the argument extends.
Do We Need Frontier Models to Verify Mathematical Proofs? the argument extends
Reference 29
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-13T21:28:18.406891Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 02caa524-e3a4-40b8-a039-2818e52990c9 · outbound
This paper cites an unresolved cited work.
Do We Need Frontier Models to Verify Mathematical Proofs? Unresolved cited work
Reference 30
- Resolution
- unresolved
- raw_fallback, observed 2026-05-13T21:28:18.388473Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 28b02225-abc5-4389-9ff6-14f351a47db7 · outbound
This paper cites Would this need more justification in a competition submission?.
Do We Need Frontier Models to Verify Mathematical Proofs? Would this need more justification in a competition submission?
Reference 31
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-13T21:28:18.409494Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation e49e95da-5c49-455d-82de-8331f3edc18f · outbound
This paper cites Lemma”, “Claim.
Do We Need Frontier Models to Verify Mathematical Proofs? Lemma”, “Claim
Reference 32
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-13T21:28:18.289025Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation c196708b-57e7-474c-acdf-11112f19ebf5 · outbound
This paper cites an unresolved cited work.
Do We Need Frontier Models to Verify Mathematical Proofs? Unresolved cited work
Reference 33
- Resolution
- unresolved
- raw_fallback, observed 2026-05-13T21:28:18.337247Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation db1c1c44-5418-46d1-89ac-ee2e44d5fe8c · outbound
This paper cites an unresolved cited work.
Do We Need Frontier Models to Verify Mathematical Proofs? Unresolved cited work
Reference 34
- Resolution
- unresolved
- raw_fallback, observed 2026-05-13T21:28:18.291226Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 6dd2abb2-8976-4941-aca1-a60e87d7ce46 · outbound
This paper cites an unresolved cited work.
Do We Need Frontier Models to Verify Mathematical Proofs? Unresolved cited work
Reference 35
- Resolution
- unresolved
- raw_fallback, observed 2026-05-13T21:28:18.296200Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 7c145c48-7699-4422-8d13-e7cbc17b2d33 · outbound
This paper cites an unresolved cited work.
Do We Need Frontier Models to Verify Mathematical Proofs? Unresolved cited work
Reference 36
- Resolution
- unresolved
- raw_fallback, observed 2026-05-13T21:28:18.340497Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation af6fd93e-9734-47df-8274-0ef51a8b2299 · outbound
This paper cites an unresolved cited work.
Do We Need Frontier Models to Verify Mathematical Proofs? Unresolved cited work
Reference 37
- Resolution
- unresolved
- raw_fallback, observed 2026-05-13T21:28:18.314011Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 58cc389e-ffd2-4188-9dbe-4fdd29aa6546 · outbound
This paper cites an unresolved cited work.
Do We Need Frontier Models to Verify Mathematical Proofs? Unresolved cited work
Reference 38
- Resolution
- unresolved
- raw_fallback, observed 2026-05-13T21:28:18.293338Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 84d184fa-5912-4ab2-97fa-97a19de64520 · outbound
This paper cites an unresolved cited work.
Do We Need Frontier Models to Verify Mathematical Proofs? Unresolved cited work
Reference 39
- Resolution
- unresolved
- raw_fallback, observed 2026-05-13T21:28:18.396863Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 8c0551f7-fbe2-4b5a-8538-27de8645925e · outbound
This paper cites an unresolved cited work.
Do We Need Frontier Models to Verify Mathematical Proofs? Unresolved cited work
Reference 40
- Resolution
- unresolved
- raw_fallback, observed 2026-05-13T21:28:18.392815Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 427a6d37-535c-496e-9527-dae23cf93a65 · outbound
This paper cites Note: minor notational issues are acceptable.
Do We Need Frontier Models to Verify Mathematical Proofs? Note: minor notational issues are acceptable
Reference 41
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-13T21:28:18.401367Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation b3eaaafc-e7f3-483b-b720-361d1181ed68 · outbound
This paper cites an unresolved cited work.
Do We Need Frontier Models to Verify Mathematical Proofs? Unresolved cited work
Reference 42
- Resolution
- unresolved
- raw_fallback, observed 2026-05-13T21:28:18.375734Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 4eb16a26-eaa0-418a-936e-546cedee03f4 · outbound
This paper cites an unresolved cited work.
Do We Need Frontier Models to Verify Mathematical Proofs? Unresolved cited work
Reference 43
- Resolution
- unresolved
- raw_fallback, observed 2026-05-13T21:28:18.380401Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 9ca9492e-6011-483e-bec9-b341d89fb54f · outbound
This paper cites an unresolved cited work.
Do We Need Frontier Models to Verify Mathematical Proofs? Unresolved cited work
Reference 44
- Resolution
- unresolved
- raw_fallback, observed 2026-05-13T21:28:18.362439Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation d63d9dda-153f-4e91-ad5a-ed6871187c42 · outbound
This paper cites After your analysis: \boxed{INCORRECT} if you found a specific flaw; \boxed{CORRECT} if your best skeptical effort found none.
Do We Need Frontier Models to Verify Mathematical Proofs? After your analysis: \boxed{INCORRECT} if you found a specific flaw; \boxed{CORRECT} if your best skeptical effort found none
Reference 45
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-13T21:28:18.365136Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation eb42b2d1-32fc-485f-9d15-e373f97144d3 · outbound
This paper cites an unresolved cited work.
Do We Need Frontier Models to Verify Mathematical Proofs? Unresolved cited work
Reference 46
- Resolution
- unresolved
- raw_fallback, observed 2026-05-13T21:28:18.348273Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 056a7c81-51a1-45a3-b1c1-5babaf3fea7f · outbound
This paper cites an unresolved cited work.
Do We Need Frontier Models to Verify Mathematical Proofs? Unresolved cited work
Reference 47
- Resolution
- unresolved
- raw_fallback, observed 2026-05-13T21:28:18.351195Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 0e22b306-5303-4c0e-9a83-8369aa0d593d · outbound
This paper cites 15 Verdict: \boxed{INCORRECT} if at least one concern is FATAL; \boxed{CORRECT} if all concerns are MINORor stylistic (or there are none).
Do We Need Frontier Models to Verify Mathematical Proofs? 15 Verdict: \boxed{INCORRECT} if at least one concern is FATAL; \boxed{CORRECT} if all concerns are MINORor stylistic (or there are none)
Reference 48
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-13T21:28:18.357027Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation aec52ec2-b934-41b4-b7a9-877dafe0345e · outbound
This paper cites an unresolved cited work.
Do We Need Frontier Models to Verify Mathematical Proofs? Unresolved cited work
Reference 49
- Resolution
- unresolved
- raw_fallback, observed 2026-05-13T21:28:18.369953Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation e3642d98-d262-4186-9964-15bd99feb4ef · outbound
This paper cites an unresolved cited work.
Do We Need Frontier Models to Verify Mathematical Proofs? Unresolved cited work
Reference 50
- Resolution
- unresolved
- raw_fallback, observed 2026-05-13T21:28:18.382597Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 43bc3c56-795c-4d00-91d2-8fc9442c4110 · outbound
This paper cites find allX.
Do We Need Frontier Models to Verify Mathematical Proofs? find allX
Reference 51
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-13T21:28:18.385678Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Pith citing papers
Observation 0b33f45c-c77c-4017-8560-68f894256a80 · inbound
Cost-Effective Automated Judging of Natural-Language Mathematical Proofs cites this paper.
Cost-Effective Automated Judging of Natural-Language Mathematical Proofs Do We Need Frontier Models to Verify Mathematical Proofs?
Reference 10
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T04:58:06.586539Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.