Paper Citation Record · LEDGER

TheoremQA: A Theorem-driven Question Answering dataset

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

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

pith.paper-citation-record.v1
2305.12524 v3

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

measured 21 of 21 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-07T06:34:17.273281+00:00

measured 21 of 21 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-07T12:22:24.562397Z

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

0 of 0 outbound references displayed

verified exact0
verified fuzzy0
unresolved0
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

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

Outbound references

No outbound reference observations are available for this paper version.

Pith citing papers

Observation 3dcfd77e-f6fd-484c-820f-60e49dc0199c · inbound

Detecting Language Model Attacks with Perplexity cites this paper.

Detecting Language Model Attacks with Perplexity TheoremQA: A Theorem-driven Question Answering dataset

Reference 64

Resolution: metadata mismatch; arxiv_id, observed 2026-05-15T14:02:26.851987Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation c56ec44e-dcdf-4312-9fd8-4f0e53bc1777 · inbound

MAmmoTH: Building Math Generalist Models through Hybrid Instruction Tuning cites this paper.

MAmmoTH: Building Math Generalist Models through Hybrid Instruction Tuning TheoremQA: A Theorem-driven Question Answering dataset

Reference 6

Resolution: verified exact; arxiv_id, observed 2026-05-17T23:46:39.578030Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 5a431d61-daf8-4a7e-897a-e5c964430a73 · inbound

PhySense: Principle-Based Physics Reasoning Benchmarking for Large Language Models cites this paper.

PhySense: Principle-Based Physics Reasoning Benchmarking for Large Language Models TheoremQA: A Theorem-driven Question Answering dataset

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-07T12:22:24.562397Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation db6db4af-9926-4f46-9e83-3b382a3516cf · inbound

VRBench: A Benchmark for Multi-Step Reasoning in Long Narrative Videos cites this paper.

VRBench: A Benchmark for Multi-Step Reasoning in Long Narrative Videos TheoremQA: A Theorem-driven Question Answering dataset

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-07T04:22:55.808811Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 544c9ab7-187e-4720-86cb-1ddfdb39c3ef · inbound

AI4Research: A Survey of Artificial Intelligence for Scientific Research cites this paper.

AI4Research: A Survey of Artificial Intelligence for Scientific Research TheoremQA: A Theorem-driven Question Answering dataset

Reference 115

Resolution: unresolved; no resolver link, observed 2026-08-06T20:45:12.276433Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 73dc1681-ec6e-4b8f-9a9b-84e118096ee2 · inbound

A Simple "Try Again" Can Elicit Multi-Turn LLM Reasoning cites this paper.

A Simple "Try Again" Can Elicit Multi-Turn LLM Reasoning TheoremQA: A Theorem-driven Question Answering dataset

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-06T16:14:06.336764Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation badd2157-376d-4368-8576-60a08c70ce9c · inbound

Technical Report of TeleChat2, TeleChat2.5 and T1 cites this paper.

Technical Report of TeleChat2, TeleChat2.5 and T1 TheoremQA: A Theorem-driven Question Answering dataset

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-06T14:43:22.133785Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 07e29574-872c-411d-8ed4-ad2c22df3d9d · inbound

CLPO: Curriculum Learning meets Policy Optimization for LLM Reasoning cites this paper.

CLPO: Curriculum Learning meets Policy Optimization for LLM Reasoning TheoremQA: A Theorem-driven Question Answering dataset

Reference 2020

Resolution: unresolved; no resolver link, observed 2026-08-04T13:53:32.793396Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b780332e-3272-4f9f-9140-df45cd86e9c8 · inbound

StatEval: A Comprehensive Benchmark for Large Language Models in Statistics cites this paper.

StatEval: A Comprehensive Benchmark for Large Language Models in Statistics TheoremQA: A Theorem-driven Question Answering dataset

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-04T10:36:23.048036Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c0545efa-1a4e-4f6a-8a2b-a39b66788a1a · inbound

Coupled Variational Reinforcement Learning for Language Model General Reasoning cites this paper.

Coupled Variational Reinforcement Learning for Language Model General Reasoning TheoremQA: A Theorem-driven Question Answering dataset

Reference 2023

Resolution: unresolved; no resolver link, observed 2026-08-03T16:43:54.710371Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 496e4370-6c12-4101-855b-9466cceec120 · inbound

Empirical Characterization of Inference-Time Elicited Probability Transformations in Large Language Models cites this paper.

Empirical Characterization of Inference-Time Elicited Probability Transformations in Large Language Models TheoremQA: A Theorem-driven Question Answering dataset

Reference 2016

Resolution: unresolved; no resolver link, observed 2026-08-02T20:21:54.834919Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e4124a06-c1d1-4248-b5d1-0b04d08da3ca · inbound

FeynmanBench: Benchmarking Multimodal LLMs on Diagrammatic Physics Reasoning cites this paper.

FeynmanBench: Benchmarking Multimodal LLMs on Diagrammatic Physics Reasoning TheoremQA: A Theorem-driven Question Answering dataset

Reference 9

Resolution: verified exact; arxiv_id, observed 2026-05-13T16:52:59.463228Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 0ac21af9-42bb-4318-b6e2-3946858e5435 · inbound

FeynmanBench: Benchmarking Multimodal LLMs on Diagrammatic Physics Reasoning cites this paper.

FeynmanBench: Benchmarking Multimodal LLMs on Diagrammatic Physics Reasoning TheoremQA: A Theorem-driven Question Answering dataset

Reference 9

Resolution: unresolved; no resolver link, observed 2026-07-13T12:10:53.720348Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e4e1e23c-db95-414c-a114-ae0def66b3db · inbound

Transforming External Knowledge into Triplets for Enhanced Retrieval in RAG of LLMs cites this paper.

Transforming External Knowledge into Triplets for Enhanced Retrieval in RAG of LLMs TheoremQA: A Theorem-driven Question Answering dataset

Reference 8

Resolution: verified exact; arxiv_id, observed 2026-05-11T09:56:05.518220Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 0d0eb227-86e3-4549-a74b-8c292997a0ab · inbound

GRPO-VPS: Enhancing Group Relative Policy Optimization with Verifiable Process Supervision for Effective Reasoning cites this paper.

GRPO-VPS: Enhancing Group Relative Policy Optimization with Verifiable Process Supervision for Effective Reasoning TheoremQA: A Theorem-driven Question Answering dataset

Reference 2

Resolution: verified exact; arxiv_id, observed 2026-05-10T00:14:46.361796Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 9023fc29-e263-4504-b6c1-533bad79485e · inbound

OPT-BENCH: Evaluating the Iterative Self-Optimization of LLM Agents in Large-Scale Search Spaces cites this paper.

OPT-BENCH: Evaluating the Iterative Self-Optimization of LLM Agents in Large-Scale Search Spaces TheoremQA: A Theorem-driven Question Answering dataset

Reference 83

Resolution: metadata mismatch; arxiv_id, observed 2026-05-12T03:01:18.568730Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation c8ce4cd7-db9d-439b-940a-9042190d010f · inbound

Re$^2$Math: Benchmarking Theorem Retrieval in Research-Level Mathematics cites this paper.

Re$^2$Math: Benchmarking Theorem Retrieval in Research-Level Mathematics TheoremQA: A Theorem-driven Question Answering dataset

Reference 3

Resolution: verified exact; arxiv_id, observed 2026-05-12T02:11:16.053978Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 92230905-ca36-4c93-b155-946231accca7 · inbound

FIND: Toward Multimodal Financial Reasoning and Question Answering for Indic Languages cites this paper.

FIND: Toward Multimodal Financial Reasoning and Question Answering for Indic Languages TheoremQA: A Theorem-driven Question Answering dataset

Reference 1

Resolution: verified exact; arxiv_id, observed 2026-05-14T20:42:58.871798Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 4abd39e9-1b89-4c49-95e0-aafdeeff64b6 · inbound

DRIFT: Decoupled Rollouts and Importance-Weighted Fine-Tuning for Efficient Multi-Turn Optimization cites this paper.

DRIFT: Decoupled Rollouts and Importance-Weighted Fine-Tuning for Efficient Multi-Turn Optimization TheoremQA: A Theorem-driven Question Answering dataset

Reference 2

Resolution: verified exact; arxiv_id, observed 2026-06-29T00:02:50.300057Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation e27ac166-aa33-4c50-a297-6849f3dd9cca · inbound

EEVEE: Towards Test-time Prompt Learning in the Real World for Self-Improving Agents cites this paper.

EEVEE: Towards Test-time Prompt Learning in the Real World for Self-Improving Agents TheoremQA: A Theorem-driven Question Answering dataset

Reference 5

Resolution: verified exact; arxiv_id, observed 2026-07-03T04:47:38.824816Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation b03d169c-a3c8-4fdc-b97e-0aa2679f2167 · inbound

Structured Thoughts For Improved Reasoning And Context Pruning cites this paper.

Structured Thoughts For Improved Reasoning And Context Pruning TheoremQA: A Theorem-driven Question Answering dataset

Reference 59

Resolution: unresolved; no resolver link, observed 2026-07-14T12:08:05.502310Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.