Paper Citation Record · LEDGER

One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs

As of 17 August 2026, this Paper Citation Record lists 60 of 60 outbound references and 1 inbound Pith citation observation for arXiv:2502.10454.

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

pith.paper-citation-record.v1
2502.10454 v2

Coverage vector

measured 60 of 60 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-08T11:01:03.536868Z

measured 61 of 61 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-17T06:30:58.91139+00:00

measured 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-06-26T21:27:33.349681Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-07-04T00:09:14.847290Z

Reference resolution

60 of 60 outbound references displayed

verified exact3
verified fuzzy24
unresolved33
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 1ec1defc-5fa2-427f-b943-56eee9833e01 · outbound

This paper cites MathQA: Towards Interpretable Math Word Problem Solving with Operation-Based Formalisms.

One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs MathQA: Towards Interpretable Math Word Problem Solving with Operation-Based Formalisms

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-08T11:01:03.284508Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 00608376-ea73-4102-9d9a-9842a2692699 · outbound

This paper cites ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics.

One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-08T11:01:03.289452Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d87e5fc3-b904-4939-820e-1df5fcb63019 · outbound

This paper cites an unresolved cited work.

One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs Unresolved cited work

Reference 3

Resolution: unresolved; raw_fallback, observed 2026-08-08T11:01:04.325424Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation aa1cc57e-28a6-4849-9405-2a625fd0fc48 · outbound

This paper cites Inductive or Deductive? Rethinking the Fundamental Reasoning Abilities of LLMs.

One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs Inductive or Deductive? Rethinking the Fundamental Reasoning Abilities of LLMs

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-08T11:01:03.298597Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cc9881ec-6020-455b-87de-2910905fcacf · outbound

This paper cites Generative ai for math: Abel.

One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs Generative ai for math: Abel

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-08T11:01:03.303150Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3963b465-6bb4-4269-a9c9-abef507b8db3 · outbound

This paper cites Training Verifiers to Solve Math Word Problems.

One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs Training Verifiers to Solve Math Word Problems

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-08T11:01:03.307546Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e2ce2a22-40f7-4614-bbb0-c04cc47436f4 · outbound

This paper cites Process reinforcement through implicit rewards, 2025.

One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs Process reinforcement through implicit rewards, 2025

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T11:01:04.305625Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 7f374919-8acc-42be-b00d-852f8773a1d5 · outbound

This paper cites C., and Berner, J.

One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs C., and Berner, J

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T11:01:04.290228Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 85cb85cd-58ab-4ac3-8c95-a35902651bde · outbound

This paper cites Large language models for mathematicians, 2024.

One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs Large language models for mathematicians, 2024

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T11:01:04.276581Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 63b6690b-9805-4d35-938c-0885001b33b0 · outbound

This paper cites an unresolved cited work.

One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs Unresolved cited work

Reference 10

Resolution: unresolved; raw_fallback, observed 2026-08-08T11:01:04.264097Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 9e71cc84-bc2c-41d5-8c6d-dd6f2da2af6c · outbound

This paper cites Tora: A tool-integrated reasoning agent for mathematical problem solving.

One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs Tora: A tool-integrated reasoning agent for mathematical problem solving

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T11:01:04.252776Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation f0a5415b-6791-448a-9702-953346e477b0 · outbound

This paper cites Putnam- AXIOM : A functional and static benchmark for measuring higher level mathematical reasoning.

One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs Putnam- AXIOM : A functional and static benchmark for measuring higher level mathematical reasoning

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T11:01:04.241268Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation d72cb52d-a215-4e79-b62f-e701f4e04ec2 · outbound

This paper cites LLM Reasoners: New Evaluation, Library, and Analysis of Step-by-Step Reasoning with Large Language Models.

One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs LLM Reasoners: New Evaluation, Library, and Analysis of Step-by-Step Reasoning with Large Language Models

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-08T11:01:03.338525Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 674db3f7-1b2d-44fd-becd-ba64431b97e1 · outbound

This paper cites L., Shen, J., Hu, J., Han, X., Huang, Y., Zhang, Y., Liu, J., Qi, L., Liu, Z., and Sun, M.

One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs L., Shen, J., Hu, J., Han, X., Huang, Y., Zhang, Y., Liu, J., Qi, L., Liu, Z., and Sun, M

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T11:01:04.228672Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 9ec5ab18-61bc-44ba-bb0a-70182a917b6b · outbound

This paper cites Measuring mathematical problem solving with the math dataset.

One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs Measuring mathematical problem solving with the math dataset

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-08T11:01:03.346946Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1caaebb8-74ab-46ce-8127-35bd5210ee3e · outbound

This paper cites Counterexamples in Algebra.

One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs Counterexamples in Algebra

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T11:01:04.209299Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 3398e75a-b8fa-472e-9fd0-13174f87444e · outbound

This paper cites Lateval: An interactive llms evaluation benchmark with incomplete information from lateral thinking puzzles.

One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs Lateval: An interactive llms evaluation benchmark with incomplete information from lateral thinking puzzles

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T11:01:04.197120Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation d5c9c67f-5222-4827-85dd-42e3c4e5230f · outbound

This paper cites Q., Welleck, S., Zhou, J.

One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs Q., Welleck, S., Zhou, J

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-08T11:01:03.359213Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6618ebcb-7ed5-4369-96a6-724b4ce6c79c · outbound

This paper cites Counterexamples in Calculus.

One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs Counterexamples in Calculus

Reference 19

Resolution: verified exact; doi, observed 2026-08-08T11:01:03.588674Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation b4eb5ad1-4ce1-4bbb-82f1-d8ab838f5f6e · outbound

This paper cites Common 7B Language Models Already Possess Strong Math Capabilities.

One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs Common 7B Language Models Already Possess Strong Math Capabilities

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-08T11:01:03.367763Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bd30f6d9-e411-4940-9578-116de347acaa · outbound

This paper cites Q., Shen, Z., et al.

One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs Q., Shen, Z., et al

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T11:01:04.178590Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation e928114c-f02d-447f-a6e8-34b803efb2e4 · outbound

This paper cites Towards Real-World Writing Assistance: A Chinese Character Checking Benchmark with Faked and Misspelled Characters.

One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs Towards Real-World Writing Assistance: A Chinese Character Checking Benchmark with Faked and Misspelled Characters

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-08T11:01:03.376386Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7653e31c-28b0-4d4b-b618-d0b564350667 · outbound

This paper cites HunyuanProver: A Scalable Data Synthesis Framework and Guided Tree Search for Automated Theorem Proving.

One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs HunyuanProver: A Scalable Data Synthesis Framework and Guided Tree Search for Automated Theorem Proving

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-08T11:01:03.380580Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation efbfc721-20f9-4e91-b037-8e25ea8e65e6 · outbound

This paper cites an unresolved cited work.

One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs Unresolved cited work

Reference 24

Resolution: unresolved; raw_fallback, observed 2026-08-08T11:01:04.166205Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 1292ec3d-0f42-4c28-818d-13845d6f0464 · outbound

This paper cites Correct like humans: Progressive learning framework for chinese text error correction.

One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs Correct like humans: Progressive learning framework for chinese text error correction

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T11:01:04.154016Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation c0edf4bc-0cd3-4ecc-82fd-e2a6d27c45c2 · outbound

This paper cites Lean-STaR: Learning to Interleave Thinking and Proving.

One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs Lean-STaR: Learning to Interleave Thinking and Proving

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-08T11:01:03.393004Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f0233435-99e1-408e-a4d0-e29fa6e04b4d · outbound

This paper cites Rho-1: Not All Tokens Are What You Need.

One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs Rho-1: Not All Tokens Are What You Need

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-08T11:01:03.397522Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 95845ac8-4274-4fe8-ace8-d8eacb8d462a · outbound

This paper cites Mathbench: Evaluating the theory and application proficiency of llms with a hierarchical mathematics benchmark, 2024.

One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs Mathbench: Evaluating the theory and application proficiency of llms with a hierarchical mathematics benchmark, 2024

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T11:01:04.141859Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 4928d5fe-e572-4056-a53d-2dbaac016683 · outbound

This paper cites Mathvista: Evaluating mathematical reasoning of foundation models in visual contexts.

One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs Mathvista: Evaluating mathematical reasoning of foundation models in visual contexts

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-08T11:01:03.405941Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation adf5415b-922f-41bb-9096-ddd49cbf37ae · outbound

This paper cites WizardMath: Empowering Mathematical Reasoning for Large Language Models via Reinforced Evol-Instruct.

One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs WizardMath: Empowering Mathematical Reasoning for Large Language Models via Reinforced Evol-Instruct

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-08T11:01:03.410076Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f3112620-9b06-4d3b-b888-3d5ca29535c4 · outbound

This paper cites GSM-Symbolic: Understanding the Limitations of Mathematical Reasoning in Large Language Models.

One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs GSM-Symbolic: Understanding the Limitations of Mathematical Reasoning in Large Language Models

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-08T11:01:03.414457Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 283858d4-d0e6-4655-93e7-d0b7030f661d · outbound

This paper cites an unresolved cited work.

One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs Unresolved cited work

Reference 32

Resolution: unresolved; raw_fallback, observed 2026-08-08T11:01:04.122907Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation a464e7c9-28c0-4a91-ac7e-01e7f34bb63e · outbound

This paper cites Gpt-4 technical report, 2023.

One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs Gpt-4 technical report, 2023

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-08T11:01:03.423068Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c6743db6-fbc9-4266-812f-d9bf24408c88 · outbound

This paper cites Y., Padmakumar, V., Joshi, N., Kazemi, M., Kim, N., and He, H.

One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs Y., Padmakumar, V., Joshi, N., Kazemi, M., Kim, N., and He, H

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T11:01:04.102289Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation b5580c72-aa5a-4b40-ab6c-f7acb97c837d · outbound

This paper cites DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models.

One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-08T11:01:03.431677Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 763c1925-e368-47c4-94c9-d7693a99206c · outbound

This paper cites an unresolved cited work.

One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs Unresolved cited work

Reference 36

Resolution: unresolved; raw_fallback, observed 2026-08-08T11:01:04.089190Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 8882b302-2b9e-4a8e-a8e6-fd42e6cf9229 · outbound

This paper cites Putnambench: Evaluating neural theorem-provers on the putnam mathematical competition.

One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs Putnambench: Evaluating neural theorem-provers on the putnam mathematical competition

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T11:01:04.075255Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 910fd2a7-18b5-4e52-b649-4070fa7f67f5 · outbound

This paper cites Counterexamples in Real Analysis.

One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs Counterexamples in Real Analysis

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T11:01:04.060468Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation e4852cdf-5715-457c-9843-d63e4f1521fc · outbound

This paper cites Counterexamples in Functional Analysis.

One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs Counterexamples in Functional Analysis

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T11:01:04.048408Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation d6ddaf13-8258-4881-955f-28f4a6041812 · outbound

This paper cites and Yang, F.

One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs and Yang, F

Reference 40

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T11:01:04.036093Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 20181106-2391-4186-9913-8b928d84d5b2 · outbound

This paper cites Hypothesis search: Inductive reasoning with language models.

One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs Hypothesis search: Inductive reasoning with language models

Reference 41

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T11:01:04.024065Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 9a65e7bc-6f53-42fb-9d79-cfe052c51769 · outbound

This paper cites On the Role of Entity and Event Level Conceptualization in Generalizable Reasoning: A Survey of Tasks, Methods, Applications, and Future Directions.

One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs On the Role of Entity and Event Level Conceptualization in Generalizable Reasoning: A Survey of Tasks, Methods, Applications, and Future Directions

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-08T11:01:03.460618Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0c9b585f-938e-486e-ad06-c518395076e8 · outbound

This paper cites Mmlu-pro: A more robust and challenging multi-task language understanding benchmark.

One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs Mmlu-pro: A more robust and challenging multi-task language understanding benchmark

Reference 43

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T11:01:04.010298Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 12600cf0-a0fb-4d5e-876a-6bae467961a7 · outbound

This paper cites V., Zhou, D., et al.

One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs V., Zhou, D., et al

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-08T11:01:03.469193Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7784b7ee-7c6e-4371-b88c-045aeae79c2f · outbound

This paper cites L., Hajishirzi, H., Choi, Y., and Cho, K.

One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs L., Hajishirzi, H., Choi, Y., and Cho, K

Reference 45

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T11:01:03.986997Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation c16993ca-a576-403f-8782-4763b5747a37 · outbound

This paper cites and Gao, X.-S.

One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs and Gao, X.-S

Reference 46

Resolution: verified exact; doi, observed 2026-08-08T11:01:03.573870Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 08f3096d-8662-4030-ba8a-6c6a8c232415 · outbound

This paper cites Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving and Polynomial Equations-Solving.

One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving and Polynomial Equations-Solving

Reference 47

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T11:01:03.971856Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 10822b06-48aa-425d-baa9-43b2cf7abfad · outbound

This paper cites ConceptMath: A Bilingual Concept-wise Benchmark for Measuring Mathematical Reasoning of Large Language Models.

One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs ConceptMath: A Bilingual Concept-wise Benchmark for Measuring Mathematical Reasoning of Large Language Models

Reference 48

Resolution: verified exact; local_arxiv, observed 2026-08-08T11:01:03.721936Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 569f6243-3c42-49f6-b732-c9a94fab1d9a · outbound

This paper cites Let LLMs Take on the Latest Challenges! A Chinese Dynamic Question Answering Benchmark.

One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs Let LLMs Take on the Latest Challenges! A Chinese Dynamic Question Answering Benchmark

Reference 49

Resolution: unresolved; no resolver link, observed 2026-08-08T11:01:03.489718Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7d4b15f5-6e7e-4c87-9955-3e467f8b37d1 · outbound

This paper cites Qwen2 Technical Report.

One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs Qwen2 Technical Report

Reference 50

Resolution: unresolved; no resolver link, observed 2026-08-08T11:01:03.494175Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dcdc8bd7-24bf-490e-8b5e-834b213543dc · outbound

This paper cites and Deng, J.

One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs and Deng, J

Reference 51

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T11:01:03.958070Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 0a8a6735-7e5e-4c44-944c-eca2a06e8525 · outbound

This paper cites H., and Zhou, D.

One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs H., and Zhou, D

Reference 52

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T11:01:03.945814Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 209773d6-b684-43a5-a6a9-acba7b99b348 · outbound

This paper cites InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning.

One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning

Reference 53

Resolution: unresolved; no resolver link, observed 2026-08-08T11:01:03.506645Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6ffee420-bafc-4ac0-9adb-dfed2caeeec4 · outbound

This paper cites MetaMath: Bootstrap Your Own Mathematical Questions for Large Language Models.

One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs MetaMath: Bootstrap Your Own Mathematical Questions for Large Language Models

Reference 54

Resolution: unresolved; no resolver link, observed 2026-08-08T11:01:03.510908Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0b5edc4c-d2ba-427d-9482-6fb572a769e8 · outbound

This paper cites Metamath: Bootstrap your own mathematical questions for large language models.

One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs Metamath: Bootstrap your own mathematical questions for large language models

Reference 55

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T11:01:03.933156Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation c3af04a4-a383-4914-a3b1-6a24dcc2713c · outbound

This paper cites ReasonAgain: Using Extractable Symbolic Programs to Evaluate Mathematical Reasoning.

One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs ReasonAgain: Using Extractable Symbolic Programs to Evaluate Mathematical Reasoning

Reference 56

Resolution: unresolved; no resolver link, observed 2026-08-08T11:01:03.519874Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5892fd4e-f7e1-4f70-b5ee-23efcc2377c5 · outbound

This paper cites MAmmoTH2: Scaling Instructions from the Web.

One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs MAmmoTH2: Scaling Instructions from the Web

Reference 57

Resolution: unresolved; no resolver link, observed 2026-08-08T11:01:03.524223Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c259f977-6f50-420b-88e6-3e2a8e65b25a · outbound

This paper cites M., and Polu, S.

One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs M., and Polu, S

Reference 58

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T11:01:03.920710Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation eb95727f-e3da-4d96-b694-b7899833a510 · outbound

This paper cites Conceptual and Unbiased Reasoning in Language Models.

One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs Conceptual and Unbiased Reasoning in Language Models

Reference 59

Resolution: unresolved; no resolver link, observed 2026-08-08T11:01:03.532477Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3f2fa02a-4b54-47cd-9491-53c5628c5a2f · outbound

This paper cites write newline.

One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs write newline

Reference 60

Resolution: unresolved; no resolver link, observed 2026-08-08T11:01:03.536868Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation 01f17dc9-a2a3-4d08-a488-d0216997e9a3 · inbound

DeFAb: A Verifiable Benchmark for Defeasible Abduction in Foundation Models cites this paper.

DeFAb: A Verifiable Benchmark for Defeasible Abduction in Foundation Models One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs

Reference 77

Resolution: verified exact; arxiv_id, observed 2026-07-04T00:09:14.849508Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.