Pseudo-Formalization for Automatic Proof Verification | Paper Citation Record

Observation 79a42ac6-dfca-4f6f-b3d3-cccc261b3f67 · outbound

This paper cites Learning to Give Checkable Answers with Prover-Verifier Games.

Pseudo-Formalization for Automatic Proof Verification Learning to Give Checkable Answers with Prover-Verifier Games

Reference 1

Resolution: verified exact; arxiv_id, observed 2026-06-30T17:24:57.679420Z

Source-reported events for the cited work

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

Observation 06f618b9-ead7-4000-8ec6-0111dc39c918 · outbound

This paper cites Towards a Lean proof of Fermat’s Last Theorem.https: //imperialcollegelondon.github.io/FLT/blueprint.pdf.

Pseudo-Formalization for Automatic Proof Verification Towards a Lean proof of Fermat’s Last Theorem.https: //imperialcollegelondon.github.io/FLT/blueprint.pdf

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T09:34:48.611852Z

Source-reported events for the cited work

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

Observation 33f4a043-fb6c-4b9f-bbc3-3c9edc09d1b8 · outbound

This paper cites SPC: Evolving Self-Play Critic via Adversarial Games for LLM Reasoning.

Pseudo-Formalization for Automatic Proof Verification SPC: Evolving Self-Play Critic via Adversarial Games for LLM Reasoning

Reference 3

Resolution: verified exact; arxiv_id, observed 2026-06-30T17:24:57.676445Z

Source-reported events for the cited work

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

Observation 9e9198fa-0026-468a-a64d-346d3b39dfe2 · outbound

This paper cites Power-free palindromes and reversed primes: S.

Pseudo-Formalization for Automatic Proof Verification Power-free palindromes and reversed primes: S

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T09:34:48.613939Z

Source-reported events for the cited work

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

Observation 4faa5e7b-951c-4d9e-8532-36ca13d3e30d · outbound

This paper cites Escaping the cognitive well: Efficient competition math with off-the-shelf models.

Pseudo-Formalization for Automatic Proof Verification Escaping the cognitive well: Efficient competition math with off-the-shelf models

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T09:34:48.628391Z

Source-reported events for the cited work

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

Observation 4c2df4cf-848f-40fe-bae0-a659cf5d9959 · outbound

This paper cites Escaping the cognitive well: Efficient competition math with off-the-shelf models.arXiv preprint arXiv:2602.16793.

Pseudo-Formalization for Automatic Proof Verification Escaping the cognitive well: Efficient competition math with off-the-shelf models.arXiv preprint arXiv:2602.16793

Reference 6

Resolution: verified exact; arxiv_id, observed 2026-06-30T17:24:57.733457Z

Source-reported events for the cited work

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

Observation e1da4547-c12f-46b5-9aa4-3deec5b95f25 · outbound

This paper cites The lean theorem prover (system description).

Pseudo-Formalization for Automatic Proof Verification The lean theorem prover (system description)

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T09:34:48.606261Z

Source-reported events for the cited work

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

Observation 9e55acf8-9cb7-49a6-9c5f-d5f672e621cd · outbound

This paper cites Finite codimension stability of invariant surfaces.

Pseudo-Formalization for Automatic Proof Verification Finite codimension stability of invariant surfaces

Reference 8

Resolution: verified exact; arxiv_id, observed 2026-06-30T17:24:57.738610Z

Source-reported events for the cited work

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

Observation 39c4ffc5-576b-44df-b224-7b0f85c0fed2 · outbound

This paper cites Llm critics help catch bugs in mathematics: Towards a better mathematical verifier with natural language feedback.

Pseudo-Formalization for Automatic Proof Verification Llm critics help catch bugs in mathematics: Towards a better mathematical verifier with natural language feedback

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T09:34:48.601192Z

Source-reported events for the cited work

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

Observation f7fe30b7-ade9-4403-9a73-e78bc2186db6 · outbound

This paper cites Formal proof – theory and practice.Notices of the American Mathematical Society, 55:1395–1406.

Pseudo-Formalization for Automatic Proof Verification Formal proof – theory and practice.Notices of the American Mathematical Society, 55:1395–1406

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T09:34:48.624945Z

Source-reported events for the cited work

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

Observation 8d564df2-e49c-4c1e-85d0-fc995836f4ae · outbound

This paper cites Context rot: How increasing input tokens impacts llm performance.URL https://research.

Pseudo-Formalization for Automatic Proof Verification Context rot: How increasing input tokens impacts llm performance.URL https://research

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T09:34:48.643129Z

Source-reported events for the cited work

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

Observation 4fea4ef0-55a9-4eb4-aa2b-a603089081ee · outbound

This paper cites Pessimistic Verification for Open Ended Math Questions.

Pseudo-Formalization for Automatic Proof Verification Pessimistic Verification for Open Ended Math Questions

Reference 12

Resolution: verified exact; local_arxiv, observed 2026-06-30T17:24:57.740882Z

Source-reported events for the cited work

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

Observation 68c3ac76-28ca-4797-9cb2-90e292ff2c9b · outbound

This paper cites Winning gold at imo 2025 with a model-agnostic verification- and-refinement pipeline.

Pseudo-Formalization for Automatic Proof Verification Winning gold at imo 2025 with a model-agnostic verification- and-refinement pipeline

Reference 13

Resolution: verified exact; arxiv_id, observed 2026-06-30T17:24:57.722800Z

Source-reported events for the cited work

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

Observation 1b043fc1-21d6-4cfc-bff1-08db1ed04fdb · outbound

This paper cites Prover-Verifier Games improve legibility of LLM outputs.

Pseudo-Formalization for Automatic Proof Verification Prover-Verifier Games improve legibility of LLM outputs

Reference 14

Resolution: verified exact; arxiv_id, observed 2026-06-30T17:24:57.725305Z

Source-reported events for the cited work

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

Observation 60145fb5-a19a-4b3e-9cc0-68c9377986fc · outbound

This paper cites PrimeNumberTheoremAnd: A formalization of the prime number theorem and related results in Lean 4.

Pseudo-Formalization for Automatic Proof Verification PrimeNumberTheoremAnd: A formalization of the prime number theorem and related results in Lean 4

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T09:34:48.584185Z

Source-reported events for the cited work

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

Observation d99d4411-273a-401a-99ef-61f1760d915d · outbound

This paper cites Let’s verify step by step.

Pseudo-Formalization for Automatic Proof Verification Let’s verify step by step

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T09:34:48.594496Z

Source-reported events for the cited work

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

Observation 964db1a5-43f5-423c-ae3d-f6a091f29fe5 · outbound

This paper cites Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving.

Pseudo-Formalization for Automatic Proof Verification Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving

Reference 17

Resolution: verified exact; arxiv_id, observed 2026-06-30T17:24:57.728053Z

Source-reported events for the cited work

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

Observation dd2ad225-be36-4299-a26d-df495c24f920 · outbound

This paper cites Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction.

Pseudo-Formalization for Automatic Proof Verification Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction

Reference 18

Resolution: verified exact; local_arxiv, observed 2026-06-30T17:24:57.728045Z

Source-reported events for the cited work

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

Observation c53d7d5e-2445-4b4c-af00-473db18c4a4e · outbound

This paper cites Trust, but verify: A self-verification approach to reinforcement learning with verifiable rewards.

Pseudo-Formalization for Automatic Proof Verification Trust, but verify: A self-verification approach to reinforcement learning with verifiable rewards

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T09:34:48.578814Z

Source-reported events for the cited work

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

Observation 1db0e006-9de9-4d0c-af03-20726d5c20c7 · outbound

This paper cites Towards robust mathematical reasoning.

Pseudo-Formalization for Automatic Proof Verification Towards robust mathematical reasoning

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T09:34:48.574859Z

Source-reported events for the cited work

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

Observation 079f52f3-3440-42c7-89da-cc5f09f1eb31 · outbound

This paper cites Scaling generative verifiers for natural language mathematical proof verification and selection.arXiv preprint arXiv:2511.13027.

Pseudo-Formalization for Automatic Proof Verification Scaling generative verifiers for natural language mathematical proof verification and selection.arXiv preprint arXiv:2511.13027

Reference 21

Resolution: verified exact; arxiv_id, observed 2026-06-30T17:24:57.690404Z

Source-reported events for the cited work

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

Observation 27579b8c-6be2-43b7-8c25-91898a9b27ff · outbound

This paper cites The Expressive Power of Transformers with Chain of Thought.

Pseudo-Formalization for Automatic Proof Verification The Expressive Power of Transformers with Chain of Thought

Reference 22

Resolution: metadata mismatch; arxiv_id, observed 2026-06-30T17:24:57.694418Z

Source-reported events for the cited work

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

Observation 070ba25d-d8dd-4f56-8fc1-0fcae0e87647 · outbound

This paper cites The lean 4 theorem prover and programming language.

Pseudo-Formalization for Automatic Proof Verification The lean 4 theorem prover and programming language

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T09:34:48.580580Z

Source-reported events for the cited work

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

Observation 0d1cd5b0-8b56-493c-8826-341f59fb2edd · outbound

This paper cites Springer.

Pseudo-Formalization for Automatic Proof Verification Springer

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T09:34:48.568835Z

Source-reported events for the cited work

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

Observation 84390bf3-e4bd-408e-bfe2-e7419dca1b93 · outbound

This paper cites Hard2verify: A step-level verification benchmark for open-ended frontier math.

Pseudo-Formalization for Automatic Proof Verification Hard2verify: A step-level verification benchmark for open-ended frontier math

Reference 25

Resolution: verified exact; arxiv_id, observed 2026-06-30T17:24:57.695934Z

Source-reported events for the cited work

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

Observation 3560a904-2168-44ab-afcd-9634fdd732c9 · outbound

This paper cites Real algebraic surfaces biholomorphically equivalent but not algebraically equivalent.

Pseudo-Formalization for Automatic Proof Verification Real algebraic surfaces biholomorphically equivalent but not algebraically equivalent

Reference 26

Resolution: verified exact; local_arxiv, observed 2026-06-30T17:24:57.720007Z

Source-reported events for the cited work

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

Observation e430d50e-0a77-478a-b85b-4605b2a059a4 · outbound

This paper cites Liquid tensor experiment.Experimental Mathematics, 31(2):349–354.

Pseudo-Formalization for Automatic Proof Verification Liquid tensor experiment.Experimental Mathematics, 31(2):349–354

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T09:34:48.585935Z

Source-reported events for the cited work

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

Observation 7e38257b-12d9-4832-96ea-81a9518f4c3a · outbound

This paper cites Deepseekmath-v2: Towards self-verifiable mathematical reasoning.

Pseudo-Formalization for Automatic Proof Verification Deepseekmath-v2: Towards self-verifiable mathematical reasoning

Reference 28

Resolution: verified exact; arxiv_id, observed 2026-06-30T17:24:57.686554Z

Source-reported events for the cited work

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

Observation bccfd1ef-cd00-45cc-bdd6-9b3866db07f6 · outbound

This paper cites Heimdall: test-time scaling on the generative verification.

Pseudo-Formalization for Automatic Proof Verification Heimdall: test-time scaling on the generative verification

Reference 29

Resolution: verified exact; arxiv_id, observed 2026-06-30T17:24:57.683949Z

Source-reported events for the cited work

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

Observation 5a95f614-22a4-4992-b31a-f8317bb00329 · outbound

This paper cites A promising path towards autoformalization and general artificial intelli- gence.

Pseudo-Formalization for Automatic Proof Verification A promising path towards autoformalization and general artificial intelli- gence

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T09:34:48.582404Z

Source-reported events for the cited work

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

Observation f5cd6e4c-a664-4d03-9427-b80d1d75f41c · outbound

This paper cites From solving to verifying: A unified objective for robust reasoning in llms.

Pseudo-Formalization for Automatic Proof Verification From solving to verifying: A unified objective for robust reasoning in llms

Reference 31

Resolution: verified exact; arxiv_id, observed 2026-06-30T17:24:57.691865Z

Source-reported events for the cited work

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

Observation 5f649650-5dad-4c81-9a07-fc37db7f083a · outbound

This paper cites Autoformalization with large language models.Advances in neural information processing systems, 35:32353–32368.

Pseudo-Formalization for Automatic Proof Verification Autoformalization with large language models.Advances in neural information processing systems, 35:32353–32368

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T09:34:48.567222Z

Source-reported events for the cited work

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

Observation ee2a97a3-8d9a-4e7d-8192-14c56ac69d43 · outbound

This paper cites PENCIL: Long Thoughts with Short Memory.

Pseudo-Formalization for Automatic Proof Verification PENCIL: Long Thoughts with Short Memory

Reference 33

Resolution: verified exact; arxiv_id, observed 2026-06-30T17:24:57.736550Z

Source-reported events for the cited work

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

Observation d118b28f-2bfd-4ef8-ba05-3ceec6eb8488 · outbound

This paper cites Recursive Models for Long-Horizon Reasoning.

Pseudo-Formalization for Automatic Proof Verification Recursive Models for Long-Horizon Reasoning

Reference 34

Resolution: verified exact; arxiv_id, observed 2026-07-03T02:17:09.880536Z

Source-reported events for the cited work

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

Observation de214421-6c3c-4737-a5c7-ee1450b7fa89 · outbound

This paper cites Loca-bench: Benchmarking language agents under controllable and extreme context growth.

Pseudo-Formalization for Automatic Proof Verification Loca-bench: Benchmarking language agents under controllable and extreme context growth

Reference 35

Resolution: verified exact; arxiv_id, observed 2026-06-30T17:24:57.733896Z

Source-reported events for the cited work

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

Observation aa5b3004-feb1-4f72-9ba2-6db373df0f5d · outbound

This paper cites Generative Verifiers: Reward Modeling as Next-Token Prediction.

Pseudo-Formalization for Automatic Proof Verification Generative Verifiers: Reward Modeling as Next-Token Prediction

Reference 36

Resolution: verified exact; arxiv_id, observed 2026-06-30T17:24:57.743520Z

Source-reported events for the cited work

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

Observation 7bb176e1-23a5-4116-a50b-ee48947e0763 · outbound

This paper cites Sample, Scrutinize and Scale: Effective Inference-Time Search by Scaling Verification.

Pseudo-Formalization for Automatic Proof Verification Sample, Scrutinize and Scale: Effective Inference-Time Search by Scaling Verification

Reference 37

Resolution: verified exact; arxiv_id, observed 2026-06-30T17:24:57.745979Z

Source-reported events for the cited work

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

Observation a9e30482-a722-4d24-a180-71a0259cf9bf · outbound

This paper cites Processbench: Identifying process errors in mathematical reasoning.

Pseudo-Formalization for Automatic Proof Verification Processbench: Identifying process errors in mathematical reasoning

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T09:34:48.570558Z

Source-reported events for the cited work

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

Observation 2227c853-fa29-4adf-93ad-bb36fb991248 · outbound

This paper cites Leanarchitect: Automating blueprint generation for humans and ai.

Pseudo-Formalization for Automatic Proof Verification Leanarchitect: Automating blueprint generation for humans and ai

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T09:34:48.573054Z

Source-reported events for the cited work

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

Observation ed1d0f70-b0bb-4c89-8511-032d7f79eed1 · outbound

This paper cites an unresolved cited work.

Pseudo-Formalization for Automatic Proof Verification Unresolved cited work

Reference 40

Resolution: parse uncertain; raw_fallback, observed 2026-07-08T09:34:48.592887Z

Source-reported events for the cited work

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

Observation 22b1fd37-7880-4dd4-a6da-e280683a8ff2 · outbound

This paper cites Definition 3(Block-wise verification algorithm).Let P= (G , T) be a Pseudo-Formal proof with node set V={v 1.

Pseudo-Formalization for Automatic Proof Verification Definition 3(Block-wise verification algorithm).Let P= (G , T) be a Pseudo-Formal proof with node set V={v 1

Reference 41

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T09:34:48.561951Z

Source-reported events for the cited work

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

Observation ec8cd8a4-bfd1-445d-9888-62e08dda9fb9 · outbound

This paper cites 1"> Assumptions / Conditions / Definitions. - ... Statement : ... </PROPOSITION_STATEMENT> <LEMMA_STATEMENT id=.

Pseudo-Formalization for Automatic Proof Verification 1"> Assumptions / Conditions / Definitions. - ... Statement : ... </PROPOSITION_STATEMENT> <LEMMA_STATEMENT id=

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T09:34:48.563780Z

Source-reported events for the cited work

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

Observation ebfeb71e-f00c-4bb5-8f94-080653ec0ef2 · outbound

This paper cites These are often the parent or ancestor statements of the Assertion, and can be the same as the global theorem.

Pseudo-Formalization for Automatic Proof Verification These are often the parent or ancestor statements of the Assertion, and can be the same as the global theorem

Reference 43

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T09:34:48.591279Z

Source-reported events for the cited work

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

Observation c4ced01d-5a14-4914-9c74-9484274dba62 · outbound

This paper cites You may assume all established results are correct and use them freely - do NOT re-verify them.

Pseudo-Formalization for Automatic Proof Verification You may assume all established results are correct and use them freely - do NOT re-verify them

Reference 44

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T09:34:48.589475Z

Source-reported events for the cited work

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

Observation 30b040ee-0529-4321-af3a-1440697c556c · outbound

This paper cites an unresolved cited work.

Pseudo-Formalization for Automatic Proof Verification Unresolved cited work

Reference 45

Resolution: unresolved; raw_fallback, observed 2026-07-08T09:34:48.556410Z

Source-reported events for the cited work

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

Observation 86147025-32f8-496f-ac93-b5d700532681 · outbound

This paper cites verdict".

Pseudo-Formalization for Automatic Proof Verification verdict"

Reference 46

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T09:34:48.587625Z

Source-reported events for the cited work

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

Observation fa12f371-a11e-453a-8785-bfab88e9ed27 · outbound

This paper cites an unresolved cited work.

Pseudo-Formalization for Automatic Proof Verification Unresolved cited work

Reference 47

Resolution: unresolved; raw_fallback, observed 2026-07-08T09:34:48.565392Z

Source-reported events for the cited work

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

Observation 16ec747d-5064-4a9e-bbb0-98404c936936 · outbound

This paper cites an unresolved cited work.

Pseudo-Formalization for Automatic Proof Verification Unresolved cited work

Reference 48

Resolution: unresolved; raw_fallback, observed 2026-07-08T09:34:48.576462Z

Source-reported events for the cited work

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

Observation 48163930-2a9e-4af4-9ccc-aec11feab942 · outbound

This paper cites This rewrite was produced automatically and may contain artifacts that are not present in the original solution.

Pseudo-Formalization for Automatic Proof Verification This rewrite was produced automatically and may contain artifacts that are not present in the original solution

Reference 49

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T09:34:48.559844Z

Source-reported events for the cited work

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

Observation 1156f372-572c-44a9-9cf5-61863bd02b0c · outbound

This paper cites These may or may not be genuine errors in the original solution.

Pseudo-Formalization for Automatic Proof Verification These may or may not be genuine errors in the original solution

Reference 50

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T09:34:48.552862Z

Source-reported events for the cited work

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

Observation 2a657d16-6a89-4360-9382-18e67e1885fe · outbound

This paper cites For each flagged issue, decide whether it is a genuine mathematical error in the ORIGINAL solution or a false alarm caused by the rewrite.

Pseudo-Formalization for Automatic Proof Verification For each flagged issue, decide whether it is a genuine mathematical error in the ORIGINAL solution or a false alarm caused by the rewrite

Reference 51

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T09:34:48.634034Z

Source-reported events for the cited work

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

Observation 4406ccf3-850d-4fa0-9df5-96c79a2881ee · outbound

This paper cites The potential errors are useful leads, but your final output must be based on the original solution steps.

Pseudo-Formalization for Automatic Proof Verification The potential errors are useful leads, but your final output must be based on the original solution steps

Reference 52

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T09:34:48.637840Z

Source-reported events for the cited work

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

Observation 6ffca279-01ba-4b52-abbe-b97f72621341 · outbound

This paper cites For each original step, determine whether that step is correct or incorrect.

Pseudo-Formalization for Automatic Proof Verification For each original step, determine whether that step is correct or incorrect

Reference 53

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T09:34:48.635904Z

Source-reported events for the cited work

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

Observation a90ef981-c9e1-4211-9089-d79efd6c790d · outbound

This paper cites corrected typos in the proof of Theorem 3.

Pseudo-Formalization for Automatic Proof Verification corrected typos in the proof of Theorem 3

Reference 54

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T09:34:48.639648Z

Source-reported events for the cited work

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

Observation 9ef97a82-7dee-49b1-99bb-dea06afabd3d · outbound

This paper cites Use this to read the paper as a human reader would, with all theorem/lemma/proposition numbers rendered.

Pseudo-Formalization for Automatic Proof Verification Use this to read the paper as a human reader would, with all theorem/lemma/proposition numbers rendered

Reference 55

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T09:34:48.641413Z

Source-reported events for the cited work

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

Observation 1d1ee891-542d-47e2-80b7-aa90a1263a28 · outbound

This paper cites Theorem 19.

Pseudo-Formalization for Automatic Proof Verification Theorem 19

Reference 56

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T09:34:48.626566Z

Source-reported events for the cited work

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

Observation f3ee4eae-eacd-48e6-a5db-b8d59c2646b1 · outbound

This paper cites Use it to read the paper as a human would and to identify the rendered numerical or letter labels of every theorem/lemma/proposition/corollary/claim.

Pseudo-Formalization for Automatic Proof Verification Use it to read the paper as a human would and to identify the rendered numerical or letter labels of every theorem/lemma/proposition/corollary/claim

Reference 57

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T09:34:48.630341Z

Source-reported events for the cited work

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

Observation dc9cceaa-00a3-43f5-9b7d-e2efd0cdc2c3 · outbound

This paper cites Use it to inspect precise notation, equations, and the exact wording of each statement and proof.

Pseudo-Formalization for Automatic Proof Verification Use it to inspect precise notation, equations, and the exact wording of each statement and proof

Reference 58

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T09:34:48.619367Z

Source-reported events for the cited work

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

Observation 60ecff44-5eff-43fe-8a9c-0a1016fdbdc4 · outbound

This paper cites an unresolved cited work.

Pseudo-Formalization for Automatic Proof Verification Unresolved cited work

Reference 59

Resolution: unresolved; raw_fallback, observed 2026-07-08T09:34:48.623134Z

Source-reported events for the cited work

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

Observation c303feaf-1c3a-4cac-8d79-7cb99b093428 · outbound

This paper cites N"> may cite any of the propositions; a <PROPOSITION_PROOF id=.

Pseudo-Formalization for Automatic Proof Verification N"> may cite any of the propositions; a <PROPOSITION_PROOF id=

Reference 60

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T09:34:48.616272Z

Source-reported events for the cited work

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

Observation 66722f31-b946-42a5-a3ac-ab2344ff45e8 · outbound

This paper cites an unresolved cited work.

Pseudo-Formalization for Automatic Proof Verification Unresolved cited work

Reference 61

Resolution: unresolved; raw_fallback, observed 2026-07-08T09:34:48.621412Z

Source-reported events for the cited work

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

Observation da423b7d-896e-43c4-b7a4-5c6b37cd1a32 · outbound

This paper cites an unresolved cited work.

Pseudo-Formalization for Automatic Proof Verification Unresolved cited work

Reference 62

Resolution: unresolved; raw_fallback, observed 2026-07-08T09:34:48.558014Z

Source-reported events for the cited work

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

Observation 3bc07f58-66a6-45db-b7a0-087107bf9bdd · outbound

This paper cites an unresolved cited work.

Pseudo-Formalization for Automatic Proof Verification Unresolved cited work

Reference 63

Resolution: unresolved; raw_fallback, observed 2026-07-08T09:34:48.596086Z

Source-reported events for the cited work

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

Observation 41d0a687-2680-445f-a304-a0c5e49f61a7 · outbound

This paper cites Requirements for the new rewrite: - Fix every issue listed in the Identified Errors.

Pseudo-Formalization for Automatic Proof Verification Requirements for the new rewrite: - Fix every issue listed in the Identified Errors

Reference 64

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T09:34:48.609667Z

Source-reported events for the cited work

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

Observation 42e9014d-e768-4eee-b811-9c449282d405 · outbound

This paper cites an unresolved cited work.

Pseudo-Formalization for Automatic Proof Verification Unresolved cited work

Reference 65

Resolution: unresolved; raw_fallback, observed 2026-07-08T09:34:48.632067Z

Source-reported events for the cited work

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

Observation ca4d82e6-f84e-401e-ba1c-445b4db9aec0 · outbound

This paper cites These are provided so you can understand the scope of the Assertion.

Pseudo-Formalization for Automatic Proof Verification These are provided so you can understand the scope of the Assertion

Reference 66

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T09:34:48.602877Z

Source-reported events for the cited work

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

Observation 825e9273-8894-4593-a68b-b517076427e0 · outbound

This paper cites You may use them as reference points.

Pseudo-Formalization for Automatic Proof Verification You may use them as reference points

Reference 67

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T09:34:48.604559Z

Source-reported events for the cited work

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

Observation dd728b64-752c-4ecb-848f-363201d3527c · outbound

This paper cites an unresolved cited work.

Pseudo-Formalization for Automatic Proof Verification Unresolved cited work

Reference 68

Resolution: unresolved; raw_fallback, observed 2026-07-08T09:34:48.607797Z

Source-reported events for the cited work

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

Observation 77d72ab1-3d03-4884-ba24-af01bbeb9351 · outbound

This paper cites Your task is to determine whether the Assertion and its Proposed Proof faithfully represent the corresponding part of the Original Paper.

Pseudo-Formalization for Automatic Proof Verification Your task is to determine whether the Assertion and its Proposed Proof **faithfully represent** the corresponding part of the Original Paper

Reference 69

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T09:34:48.554633Z

Source-reported events for the cited work

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

Observation aa533b57-87e4-44bd-9c75-c60934c4268c · outbound

This paper cites an unresolved cited work.

Pseudo-Formalization for Automatic Proof Verification Unresolved cited work

Reference 70

Resolution: unresolved; raw_fallback, observed 2026-07-08T09:34:48.548071Z

Source-reported events for the cited work

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

Observation 350c8eec-560b-45bc-978e-5c2929bb5d66 · outbound

This paper cites an unresolved cited work.

Pseudo-Formalization for Automatic Proof Verification Unresolved cited work

Reference 71

Resolution: unresolved; raw_fallback, observed 2026-07-08T09:34:48.549566Z

Source-reported events for the cited work

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

Observation 80eb84f7-6a1b-4ed5-a619-289457870ee7 · outbound

This paper cites an unresolved cited work.

Pseudo-Formalization for Automatic Proof Verification Unresolved cited work

Reference 72

Resolution: unresolved; raw_fallback, observed 2026-07-08T09:34:48.599379Z

Source-reported events for the cited work

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

Observation 384845c5-ab6d-4aae-80e1-b925407a37d6 · outbound

This paper cites an unresolved cited work.

Pseudo-Formalization for Automatic Proof Verification Unresolved cited work

Reference 73

Resolution: unresolved; raw_fallback, observed 2026-07-08T09:34:48.597717Z

Source-reported events for the cited work

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

Observation 2fef5e53-8c1d-4809-89b2-556a6c2b7ee4 · outbound

This paper cites an unresolved cited work.

Pseudo-Formalization for Automatic Proof Verification Unresolved cited work

Reference 74

Resolution: unresolved; raw_fallback, observed 2026-07-08T09:34:48.546607Z

Source-reported events for the cited work

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

Observation 6f331cc3-9cc5-4adc-9980-40f453dd288c · outbound

This paper cites verdict".

Pseudo-Formalization for Automatic Proof Verification verdict"

Reference 75

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T09:34:48.551184Z

Source-reported events for the cited work

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

Coverage vector

Reference resolution

Outbound references

Pith citing papers