{"as_of":"2026-08-09T07:18:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:d388697d1f27d9b026c6caee38e9d95b4d7deaefa8ec7e0764864e49f67dba0e","coverage":[{"denominator":60,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":60,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-08T11:01:03.536868Z","state":"measured"},{"denominator":61,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":61,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-09T06:31:02.800959+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-06-26T21:27:33.349681Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-07-04T00:09:14.847290Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2502.10454","last_updated":"2025-08-22T07:58:49Z","snapshot_observed_at":"2026-08-09T00:43:25.601966Z","submitted_at":"2025-02-12T02:01:10Z","title":"One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs","version":2},"cited_work":{"arxiv_id":"2502.10454","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2502.10454","snapshot_observed_at":"2026-07-04T00:09:14.847290Z","title":"arXiv preprint arXiv:2502.10454 , year =","venue":null,"work_id":"c2e60bcd-d765-4730-a019-ea670e65ba3e","year":null},"citing_paper":{"arxiv_id":"2606.18557","last_updated":"2026-06-17T00:13:40Z","snapshot_observed_at":"2026-08-07T16:18:46.205397Z","submitted_at":"2026-06-17T00:13:40Z","title":"DeFAb: A Verifiable Benchmark for Defeasible Abduction in Foundation Models","version":1},"reference_index":77,"source":"arxiv_source","source_observed_at":"2026-06-26T21:27:33.349681Z"},"links":{"cited_paper":"/paper/2502.10454","citing_paper":"/paper/2606.18557"},"observation_digest":"sha256:db0ab4ae4a0cd9985461f801bb8494fc2c53e7572e4d7a32a9751f22ed8e39aa","observation_id":"01f17dc9-a2a3-4d08-a488-d0216997e9a3","resolution":{"observed_at":"2026-07-04T00:09:14.849508Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2502.10454/citation-record","integrity":"/paper/2502.10454/integrity","json":"/paper/2502.10454/citation-record.json","paper":"/paper/2502.10454"},"outbound":[{"citation":{"cited_paper":{"arxiv_id":"1905.13319","last_updated":"2019-05-30T21:28:12Z","snapshot_observed_at":"2026-07-06T07:56:54.143277Z","submitted_at":"2019-05-30T21:28:12Z","title":"MathQA: Towards Interpretable Math Word Problem Solving with Operation-Based Formalisms","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1905.13319","snapshot_observed_at":"2026-08-08T11:01:03.284508Z","title":"Mathqa: Towards interpretable math word problem solving with operation-based formalisms","venue":null,"work_id":null,"year":1905},"citing_paper":{"arxiv_id":"2502.10454","last_updated":"2025-08-22T07:58:49Z","snapshot_observed_at":"2026-08-09T00:43:25.601966Z","submitted_at":"2025-02-12T02:01:10Z","title":"One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs","version":2},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-08T11:01:03.284508Z"},"links":{"cited_paper":"/paper/1905.13319","citing_paper":"/paper/2502.10454"},"observation_digest":"sha256:cb7cc3085d1df77f74cfc4f9a05a070aa62f7b9a7c669f449ae4b0119fc80af4","observation_id":"1ec1defc-5fa2-427f-b943-56eee9833e01","resolution":{"observed_at":"2026-08-08T11:01:03.284508Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2302.12433","last_updated":"2023-02-24T03:28:46Z","snapshot_observed_at":"2026-08-08T08:53:38.852270Z","submitted_at":"2023-02-24T03:28:46Z","title":"ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2302.12433","snapshot_observed_at":"2026-08-08T11:01:03.289452Z","title":"W., Radev, D., and Avigad, J","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2502.10454","last_updated":"2025-08-22T07:58:49Z","snapshot_observed_at":"2026-08-09T00:43:25.601966Z","submitted_at":"2025-02-12T02:01:10Z","title":"One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs","version":2},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-08T11:01:03.289452Z"},"links":{"cited_paper":"/paper/2302.12433","citing_paper":"/paper/2502.10454"},"observation_digest":"sha256:790ab4ae27aba45bd43ddbff0be4abd6a3a2219b827da8d07725a25537d2371d","observation_id":"00608376-ea73-4102-9d9a-9842a2692699","resolution":{"observed_at":"2026-08-08T11:01:03.289452Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T11:01:04.320950Z","title":null,"venue":null,"work_id":"67aaa073-a13c-4d51-967a-e10259e68c77","year":2023},"citing_paper":{"arxiv_id":"2502.10454","last_updated":"2025-08-22T07:58:49Z","snapshot_observed_at":"2026-08-09T00:43:25.601966Z","submitted_at":"2025-02-12T02:01:10Z","title":"One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs","version":2},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-08T11:01:03.294478Z"},"links":{"citing_paper":"/paper/2502.10454"},"observation_digest":"sha256:8c1ccb2398443c39b5c88a5a1ba8fcd457a6abbb1fc7ab4bf1b3dedeb9cea3a5","observation_id":"d87e5fc3-b904-4939-820e-1df5fcb63019","resolution":{"observed_at":"2026-08-08T11:01:04.325424Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2408.00114","last_updated":"2024-08-07T00:52:07Z","snapshot_observed_at":"2026-07-06T18:55:15.704075Z","submitted_at":"2024-07-31T18:47:11Z","title":"Inductive or Deductive? Rethinking the Fundamental Reasoning Abilities of LLMs","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2408.00114","snapshot_observed_at":"2026-08-08T11:01:03.298597Z","title":"Inductive or deductive? rethinking the fundamental reasoning abilities of llms","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.10454","last_updated":"2025-08-22T07:58:49Z","snapshot_observed_at":"2026-08-09T00:43:25.601966Z","submitted_at":"2025-02-12T02:01:10Z","title":"One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs","version":2},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-08T11:01:03.298597Z"},"links":{"cited_paper":"/paper/2408.00114","citing_paper":"/paper/2502.10454"},"observation_digest":"sha256:5c1cd11840c3b4cd720ca34b62a0ed1a33597fe1533730f70cc5b5a394fad423","observation_id":"aa1cc57e-28a6-4849-9405-2a625fd0fc48","resolution":{"observed_at":"2026-08-08T11:01:03.298597Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T11:01:03.303150Z","title":"Generative ai for math: Abel","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2502.10454","last_updated":"2025-08-22T07:58:49Z","snapshot_observed_at":"2026-08-09T00:43:25.601966Z","submitted_at":"2025-02-12T02:01:10Z","title":"One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs","version":2},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-08T11:01:03.303150Z"},"links":{"citing_paper":"/paper/2502.10454"},"observation_digest":"sha256:4acf783fdb03375aaddb3dedec5764b5ff42539e56cd60a2e3dca7cfd292d94a","observation_id":"cc9881ec-6020-455b-87de-2910905fcacf","resolution":{"observed_at":"2026-08-08T11:01:03.303150Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2110.14168","last_updated":"2021-11-18T00:23:45Z","snapshot_observed_at":"2026-08-07T01:45:38.840969Z","submitted_at":"2021-10-27T04:49:45Z","title":"Training Verifiers to Solve Math Word Problems","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2110.14168","snapshot_observed_at":"2026-08-08T11:01:03.307546Z","title":"Training verifiers to solve math word problems","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2502.10454","last_updated":"2025-08-22T07:58:49Z","snapshot_observed_at":"2026-08-09T00:43:25.601966Z","submitted_at":"2025-02-12T02:01:10Z","title":"One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs","version":2},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-08T11:01:03.307546Z"},"links":{"cited_paper":"/paper/2110.14168","citing_paper":"/paper/2502.10454"},"observation_digest":"sha256:6167aef12a1cbd61c7ab13faf05b12b3589c66463a37b45e1f5c90a34fa378da","observation_id":"3963b465-6bb4-4269-a9c9-abef507b8db3","resolution":{"observed_at":"2026-08-08T11:01:03.307546Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T11:01:04.298547Z","title":"Process reinforcement through implicit rewards, 2025","venue":null,"work_id":"f907a1fa-dbf0-4864-97cb-aa048305098c","year":2025},"citing_paper":{"arxiv_id":"2502.10454","last_updated":"2025-08-22T07:58:49Z","snapshot_observed_at":"2026-08-09T00:43:25.601966Z","submitted_at":"2025-02-12T02:01:10Z","title":"One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs","version":2},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-08T11:01:03.312463Z"},"links":{"citing_paper":"/paper/2502.10454"},"observation_digest":"sha256:4777583834485e5074e12d5e4cb44e465ef9804f42bc73b2becfb724981a9993","observation_id":"e2ce2a22-40f7-4614-bbb0-c04cc47436f4","resolution":{"observed_at":"2026-08-08T11:01:04.305625Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T11:01:04.285334Z","title":"C., and Berner, J","venue":null,"work_id":"0fdbe7e1-bc60-49fb-a7bc-78ab1d578428","year":2023},"citing_paper":{"arxiv_id":"2502.10454","last_updated":"2025-08-22T07:58:49Z","snapshot_observed_at":"2026-08-09T00:43:25.601966Z","submitted_at":"2025-02-12T02:01:10Z","title":"One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs","version":2},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-08T11:01:03.316776Z"},"links":{"citing_paper":"/paper/2502.10454"},"observation_digest":"sha256:0ab475cfd3890e9c24d4890bc0afd8e3176f6b3691582ea4c123157a417b8b9b","observation_id":"7f374919-8acc-42be-b00d-852f8773a1d5","resolution":{"observed_at":"2026-08-08T11:01:04.290228Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T11:01:04.272478Z","title":"Large language models for mathematicians, 2024","venue":null,"work_id":"be2bbba9-91ac-417e-9a8e-a3ac01726826","year":2024},"citing_paper":{"arxiv_id":"2502.10454","last_updated":"2025-08-22T07:58:49Z","snapshot_observed_at":"2026-08-09T00:43:25.601966Z","submitted_at":"2025-02-12T02:01:10Z","title":"One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs","version":2},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-08T11:01:03.321447Z"},"links":{"citing_paper":"/paper/2502.10454"},"observation_digest":"sha256:d046303658950290888a42ee41db419f5aed63b2798d8b6b84cb3a6a0c5b1485","observation_id":"85cb85cd-58ab-4ac3-8c95-a35902651bde","resolution":{"observed_at":"2026-08-08T11:01:04.276581Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T11:01:04.260367Z","title":null,"venue":null,"work_id":"37ac4906-b1dd-4ac1-8e83-89cdc2e7a2fe","year":2024},"citing_paper":{"arxiv_id":"2502.10454","last_updated":"2025-08-22T07:58:49Z","snapshot_observed_at":"2026-08-09T00:43:25.601966Z","submitted_at":"2025-02-12T02:01:10Z","title":"One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs","version":2},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-08T11:01:03.325384Z"},"links":{"citing_paper":"/paper/2502.10454"},"observation_digest":"sha256:fd290d6e188e8cc3864e31e94c450acadeba2f2faeb5b927f51962e24148ff24","observation_id":"63b6690b-9805-4d35-938c-0885001b33b0","resolution":{"observed_at":"2026-08-08T11:01:04.264097Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T11:01:04.248881Z","title":"Tora: A tool-integrated reasoning agent for mathematical problem solving","venue":null,"work_id":"a5f7a42a-84c7-4495-ad88-72d2d9500897","year":2024},"citing_paper":{"arxiv_id":"2502.10454","last_updated":"2025-08-22T07:58:49Z","snapshot_observed_at":"2026-08-09T00:43:25.601966Z","submitted_at":"2025-02-12T02:01:10Z","title":"One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs","version":2},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-08T11:01:03.329836Z"},"links":{"citing_paper":"/paper/2502.10454"},"observation_digest":"sha256:ccb330e47f2febda5a41006d4c2b001c087e065ee9242ec6da1934253c8325a5","observation_id":"9e71cc84-bc2c-41d5-8c6d-dd6f2da2af6c","resolution":{"observed_at":"2026-08-08T11:01:04.252776Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T11:01:04.237010Z","title":"Putnam- AXIOM : A functional and static benchmark for measuring higher level mathematical reasoning","venue":null,"work_id":"b352bfb2-b782-4dbc-9af3-45838edc195c","year":2024},"citing_paper":{"arxiv_id":"2502.10454","last_updated":"2025-08-22T07:58:49Z","snapshot_observed_at":"2026-08-09T00:43:25.601966Z","submitted_at":"2025-02-12T02:01:10Z","title":"One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs","version":2},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-08T11:01:03.334006Z"},"links":{"citing_paper":"/paper/2502.10454"},"observation_digest":"sha256:453dd15903aefbbbb732f521b86da716370c106889f3f10cb7b9c96878997db9","observation_id":"f0a5415b-6791-448a-9702-953346e477b0","resolution":{"observed_at":"2026-08-08T11:01:04.241268Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2404.05221","last_updated":"2024-08-11T22:20:19Z","snapshot_observed_at":"2026-07-06T17:56:57.822421Z","submitted_at":"2024-04-08T06:35:09Z","title":"LLM Reasoners: New Evaluation, Library, and Analysis of Step-by-Step Reasoning with Large Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2404.05221","snapshot_observed_at":"2026-08-08T11:01:03.338525Z","title":"Llm reasoners: New evaluation, library, and analysis of step-by-step reasoning with large language models","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.10454","last_updated":"2025-08-22T07:58:49Z","snapshot_observed_at":"2026-08-09T00:43:25.601966Z","submitted_at":"2025-02-12T02:01:10Z","title":"One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs","version":2},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-08T11:01:03.338525Z"},"links":{"cited_paper":"/paper/2404.05221","citing_paper":"/paper/2502.10454"},"observation_digest":"sha256:f16fe2cceeca67fbdeaf5ff65bc79cb99ba14d31dd1935860d7360af607b4366","observation_id":"d72cb52d-a215-4e79-b62f-e701f4e04ec2","resolution":{"observed_at":"2026-08-08T11:01:03.338525Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T11:01:04.224406Z","title":"L., Shen, J., Hu, J., Han, X., Huang, Y., Zhang, Y., Liu, J., Qi, L., Liu, Z., and Sun, M","venue":null,"work_id":"dbb16207-c6f4-4502-bac8-a2152deefdd7","year":2024},"citing_paper":{"arxiv_id":"2502.10454","last_updated":"2025-08-22T07:58:49Z","snapshot_observed_at":"2026-08-09T00:43:25.601966Z","submitted_at":"2025-02-12T02:01:10Z","title":"One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs","version":2},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-08T11:01:03.342914Z"},"links":{"citing_paper":"/paper/2502.10454"},"observation_digest":"sha256:612745bbc22763ba76059964b0a664641db25eb88e16ddedaefcd3107377bff2","observation_id":"674db3f7-1b2d-44fd-becd-ba64431b97e1","resolution":{"observed_at":"2026-08-08T11:01:04.228672Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T11:01:03.346946Z","title":"Measuring mathematical problem solving with the math dataset","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2502.10454","last_updated":"2025-08-22T07:58:49Z","snapshot_observed_at":"2026-08-09T00:43:25.601966Z","submitted_at":"2025-02-12T02:01:10Z","title":"One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs","version":2},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-08T11:01:03.346946Z"},"links":{"citing_paper":"/paper/2502.10454"},"observation_digest":"sha256:08a3928a6a5a179063618b7732d14ecbe2d8bff60682a19e8a5be7898f4c8eaf","observation_id":"9ec5ab18-61bc-44ba-bb0a-70182a917b6b","resolution":{"observed_at":"2026-08-08T11:01:03.346946Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T11:01:04.205266Z","title":"Counterexamples in Algebra","venue":null,"work_id":"16d8ad1d-67c1-4411-ae84-58c6a5f6d613","year":1983},"citing_paper":{"arxiv_id":"2502.10454","last_updated":"2025-08-22T07:58:49Z","snapshot_observed_at":"2026-08-09T00:43:25.601966Z","submitted_at":"2025-02-12T02:01:10Z","title":"One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs","version":2},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-08T11:01:03.350764Z"},"links":{"citing_paper":"/paper/2502.10454"},"observation_digest":"sha256:2cd37c90fd3ccb7c7b68fd7a37dc7c170c0eca03fc223847b09de25d2793ec74","observation_id":"1caaebb8-74ab-46ce-8127-35bd5210ee3e","resolution":{"observed_at":"2026-08-08T11:01:04.209299Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T11:01:04.193069Z","title":"Lateval: An interactive llms evaluation benchmark with incomplete information from lateral thinking puzzles","venue":null,"work_id":"a957834e-72df-4083-8417-fe7df8359e45","year":2024},"citing_paper":{"arxiv_id":"2502.10454","last_updated":"2025-08-22T07:58:49Z","snapshot_observed_at":"2026-08-09T00:43:25.601966Z","submitted_at":"2025-02-12T02:01:10Z","title":"One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs","version":2},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-08T11:01:03.355157Z"},"links":{"citing_paper":"/paper/2502.10454"},"observation_digest":"sha256:d02c5a3ac270db9e95c690ea356d291b93a8dd39c6a7b6ab128d95e76b1c4f80","observation_id":"3398e75a-b8fa-472e-9fd0-13174f87444e","resolution":{"observed_at":"2026-08-08T11:01:04.197120Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T11:01:03.359213Z","title":"Q., Welleck, S., Zhou, J","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2502.10454","last_updated":"2025-08-22T07:58:49Z","snapshot_observed_at":"2026-08-09T00:43:25.601966Z","submitted_at":"2025-02-12T02:01:10Z","title":"One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs","version":2},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-08T11:01:03.359213Z"},"links":{"citing_paper":"/paper/2502.10454"},"observation_digest":"sha256:6e7f4cfd943c6a7e007e5577b19affbd6e3af7c4e79f44149689885bbe1fd0f3","observation_id":"d5c9c67f-5222-4827-85dd-42e3c4e5230f","resolution":{"observed_at":"2026-08-08T11:01:03.359213Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1090/clrm/034","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T11:01:03.584190Z","title":"Counterexamples in Calculus","venue":null,"work_id":"d9dcce14-6ccf-484a-97f1-cbb61171d0ac","year":2010},"citing_paper":{"arxiv_id":"2502.10454","last_updated":"2025-08-22T07:58:49Z","snapshot_observed_at":"2026-08-09T00:43:25.601966Z","submitted_at":"2025-02-12T02:01:10Z","title":"One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs","version":2},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-08T11:01:03.363434Z"},"links":{"citing_paper":"/paper/2502.10454"},"observation_digest":"sha256:23113103471a2341b05ca2f19d2e369dd847ca70ba4e621a2e7ce09984d9ef1c","observation_id":"6618ebcb-7ed5-4369-96a6-724b4ce6c79c","resolution":{"observed_at":"2026-08-08T11:01:03.588674Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2403.04706","last_updated":"2024-03-07T18:00:40Z","snapshot_observed_at":"2026-08-07T09:14:55.529271Z","submitted_at":"2024-03-07T18:00:40Z","title":"Common 7B Language Models Already Possess Strong Math Capabilities","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2403.04706","snapshot_observed_at":"2026-08-08T11:01:03.367763Z","title":"Common 7b language models already possess strong math capabilities","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.10454","last_updated":"2025-08-22T07:58:49Z","snapshot_observed_at":"2026-08-09T00:43:25.601966Z","submitted_at":"2025-02-12T02:01:10Z","title":"One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs","version":2},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-08T11:01:03.367763Z"},"links":{"cited_paper":"/paper/2403.04706","citing_paper":"/paper/2502.10454"},"observation_digest":"sha256:b85f83eb21baa0e4335c019eb1fe7436e1731aeb16015d6e0c46b9836c34324d","observation_id":"b4eb5ad1-4ce1-4bbb-82f1-d8ab838f5f6e","resolution":{"observed_at":"2026-08-08T11:01:03.367763Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T11:01:04.174602Z","title":"Q., Shen, Z., et al","venue":null,"work_id":"a7c8f3a1-86fe-40d9-b229-6c226e12d40c","year":2024},"citing_paper":{"arxiv_id":"2502.10454","last_updated":"2025-08-22T07:58:49Z","snapshot_observed_at":"2026-08-09T00:43:25.601966Z","submitted_at":"2025-02-12T02:01:10Z","title":"One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs","version":2},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-08T11:01:03.372393Z"},"links":{"citing_paper":"/paper/2502.10454"},"observation_digest":"sha256:45cfa7d2eed6734c6a74949c4e8359a186951f1b08d6e5c454c550e7fbcb54ff","observation_id":"bd30f6d9-e411-4940-9578-116de347acaa","resolution":{"observed_at":"2026-08-08T11:01:04.178590Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2311.11268","last_updated":"2023-11-19T08:41:43Z","snapshot_observed_at":"2026-07-06T16:49:33.776407Z","submitted_at":"2023-11-19T08:41:43Z","title":"Towards Real-World Writing Assistance: A Chinese Character Checking Benchmark with Faked and Misspelled Characters","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2311.11268","snapshot_observed_at":"2026-08-08T11:01:03.376386Z","title":"Towards real-world writing assistance: A chinese character checking benchmark with faked and misspelled characters","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2502.10454","last_updated":"2025-08-22T07:58:49Z","snapshot_observed_at":"2026-08-09T00:43:25.601966Z","submitted_at":"2025-02-12T02:01:10Z","title":"One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs","version":2},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-08T11:01:03.376386Z"},"links":{"cited_paper":"/paper/2311.11268","citing_paper":"/paper/2502.10454"},"observation_digest":"sha256:6b399bb8eb7bba3bee9d32be356bf1bffcef09e351c6a140879274777a01643b","observation_id":"e928114c-f02d-447f-a6e8-34b803efb2e4","resolution":{"observed_at":"2026-08-08T11:01:03.376386Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2412.20735","last_updated":"2025-03-21T02:00:37Z","snapshot_observed_at":"2026-08-09T00:42:18.557895Z","submitted_at":"2024-12-30T06:18:33Z","title":"HunyuanProver: A Scalable Data Synthesis Framework and Guided Tree Search for Automated Theorem Proving","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.20735","snapshot_observed_at":"2026-08-08T11:01:03.380580Z","title":"Hunyuanprover: A scalable data synthesis framework and guided tree search for automated theorem proving","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.10454","last_updated":"2025-08-22T07:58:49Z","snapshot_observed_at":"2026-08-09T00:43:25.601966Z","submitted_at":"2025-02-12T02:01:10Z","title":"One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs","version":2},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-08T11:01:03.380580Z"},"links":{"cited_paper":"/paper/2412.20735","citing_paper":"/paper/2502.10454"},"observation_digest":"sha256:9f1a254c683a15a3dbfea9be22881e0aafb9762d71847ea4f969ea41a901a903","observation_id":"7653e31c-28b0-4d4b-b618-d0b564350667","resolution":{"observed_at":"2026-08-08T11:01:03.380580Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T11:01:04.162142Z","title":null,"venue":null,"work_id":"4e305593-6b08-4fe3-93b2-47e2a409d97e","year":2024},"citing_paper":{"arxiv_id":"2502.10454","last_updated":"2025-08-22T07:58:49Z","snapshot_observed_at":"2026-08-09T00:43:25.601966Z","submitted_at":"2025-02-12T02:01:10Z","title":"One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs","version":2},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-08T11:01:03.384867Z"},"links":{"citing_paper":"/paper/2502.10454"},"observation_digest":"sha256:77d7ae84f828cc413fc3bae610878d084725c69d2303b339444a5222945e5431","observation_id":"efbfc721-20f9-4e91-b037-8e25ea8e65e6","resolution":{"observed_at":"2026-08-08T11:01:04.166205Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T11:01:04.149795Z","title":"Correct like humans: Progressive learning framework for chinese text error correction","venue":null,"work_id":"68841c64-6b03-4f82-9277-d570a369d5cb","year":2025},"citing_paper":{"arxiv_id":"2502.10454","last_updated":"2025-08-22T07:58:49Z","snapshot_observed_at":"2026-08-09T00:43:25.601966Z","submitted_at":"2025-02-12T02:01:10Z","title":"One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs","version":2},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-08T11:01:03.388883Z"},"links":{"citing_paper":"/paper/2502.10454"},"observation_digest":"sha256:2e0f2fbc7c0c57cbe795aa91d301b14e12536a1b9f14e08424a7a6b4d51d9d0f","observation_id":"1292ec3d-0f42-4c28-818d-13845d6f0464","resolution":{"observed_at":"2026-08-08T11:01:04.154016Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2407.10040","last_updated":"2025-03-15T12:25:58Z","snapshot_observed_at":"2026-08-09T03:59:21.839963Z","submitted_at":"2024-07-14T01:43:07Z","title":"Lean-STaR: Learning to Interleave Thinking and Proving","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2407.10040","snapshot_observed_at":"2026-08-08T11:01:03.393004Z","title":"Lean-star: Learning to interleave thinking and proving","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.10454","last_updated":"2025-08-22T07:58:49Z","snapshot_observed_at":"2026-08-09T00:43:25.601966Z","submitted_at":"2025-02-12T02:01:10Z","title":"One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs","version":2},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-08T11:01:03.393004Z"},"links":{"cited_paper":"/paper/2407.10040","citing_paper":"/paper/2502.10454"},"observation_digest":"sha256:da92475d0c634bc31a186de313a9e4571cc3bbcb5d06ce51a5be631c93ac1c65","observation_id":"c0edf4bc-0cd3-4ecc-82fd-e2a6d27c45c2","resolution":{"observed_at":"2026-08-08T11:01:03.393004Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2404.07965","last_updated":"2025-01-08T09:07:54Z","snapshot_observed_at":"2026-08-07T08:00:00.868748Z","submitted_at":"2024-04-11T17:52:01Z","title":"Rho-1: Not All Tokens Are What You Need","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2404.07965","snapshot_observed_at":"2026-08-08T11:01:03.397522Z","title":"Rho-1: Not all tokens are what you need","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.10454","last_updated":"2025-08-22T07:58:49Z","snapshot_observed_at":"2026-08-09T00:43:25.601966Z","submitted_at":"2025-02-12T02:01:10Z","title":"One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs","version":2},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-08T11:01:03.397522Z"},"links":{"cited_paper":"/paper/2404.07965","citing_paper":"/paper/2502.10454"},"observation_digest":"sha256:64d5ef3496910b5de7dd70161f72e1d450989172181a840ad9d5a09a67371db3","observation_id":"f0233435-99e1-408e-a4d0-e29fa6e04b4d","resolution":{"observed_at":"2026-08-08T11:01:03.397522Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T11:01:04.137419Z","title":"Mathbench: Evaluating the theory and application proficiency of llms with a hierarchical mathematics benchmark, 2024","venue":null,"work_id":"8f46731e-e1df-4884-a4e1-f690100ac227","year":2024},"citing_paper":{"arxiv_id":"2502.10454","last_updated":"2025-08-22T07:58:49Z","snapshot_observed_at":"2026-08-09T00:43:25.601966Z","submitted_at":"2025-02-12T02:01:10Z","title":"One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs","version":2},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-08T11:01:03.401948Z"},"links":{"citing_paper":"/paper/2502.10454"},"observation_digest":"sha256:4d614b2e8b9a8b28c1223593ff8ceb776af1b002110ca027db69aa370c77d583","observation_id":"95845ac8-4274-4fe8-ace8-d8eacb8d462a","resolution":{"observed_at":"2026-08-08T11:01:04.141859Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T11:01:03.405941Z","title":"Mathvista: Evaluating mathematical reasoning of foundation models in visual contexts","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.10454","last_updated":"2025-08-22T07:58:49Z","snapshot_observed_at":"2026-08-09T00:43:25.601966Z","submitted_at":"2025-02-12T02:01:10Z","title":"One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs","version":2},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-08T11:01:03.405941Z"},"links":{"citing_paper":"/paper/2502.10454"},"observation_digest":"sha256:6cd5cef1fe36f62edbec9afce5450dec07f226d3929221fa247e46b5b9d87c9d","observation_id":"4928d5fe-e572-4056-a53d-2dbaac016683","resolution":{"observed_at":"2026-08-08T11:01:03.405941Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2308.09583","last_updated":"2025-06-04T08:58:56Z","snapshot_observed_at":"2026-08-02T06:48:43.121988Z","submitted_at":"2023-08-18T14:23:21Z","title":"WizardMath: Empowering Mathematical Reasoning for Large Language Models via Reinforced Evol-Instruct","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2308.09583","snapshot_observed_at":"2026-08-08T11:01:03.410076Z","title":"Wizardmath: Empowering mathematical reasoning for large language models via reinforced evol-instruct","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2502.10454","last_updated":"2025-08-22T07:58:49Z","snapshot_observed_at":"2026-08-09T00:43:25.601966Z","submitted_at":"2025-02-12T02:01:10Z","title":"One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs","version":2},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-08T11:01:03.410076Z"},"links":{"cited_paper":"/paper/2308.09583","citing_paper":"/paper/2502.10454"},"observation_digest":"sha256:03c1ac0366f5134bb3897bf6ce7cd5af4bd90d7eb3ae77f6df71c13933b81973","observation_id":"adf5415b-922f-41bb-9096-ddd49cbf37ae","resolution":{"observed_at":"2026-08-08T11:01:03.410076Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2410.05229","last_updated":"2025-08-27T16:24:39Z","snapshot_observed_at":"2026-07-06T19:29:09.714725Z","submitted_at":"2024-10-07T17:36:37Z","title":"GSM-Symbolic: Understanding the Limitations of Mathematical Reasoning in Large Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2410.05229","snapshot_observed_at":"2026-08-08T11:01:03.414457Z","title":"Gsm-symbolic: Understanding the limitations of mathematical reasoning in large language models","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.10454","last_updated":"2025-08-22T07:58:49Z","snapshot_observed_at":"2026-08-09T00:43:25.601966Z","submitted_at":"2025-02-12T02:01:10Z","title":"One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs","version":2},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-08T11:01:03.414457Z"},"links":{"cited_paper":"/paper/2410.05229","citing_paper":"/paper/2502.10454"},"observation_digest":"sha256:7c2158b67b4b81f1e47eb523bbbfe81e682b0df63e77264761d37fc125fb6648","observation_id":"f3112620-9b06-4d3b-b888-3d5ca29535c4","resolution":{"observed_at":"2026-08-08T11:01:03.414457Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T11:01:04.119012Z","title":null,"venue":null,"work_id":"1df3af03-ea74-4e47-b417-65ea0a9ae155","year":2021},"citing_paper":{"arxiv_id":"2502.10454","last_updated":"2025-08-22T07:58:49Z","snapshot_observed_at":"2026-08-09T00:43:25.601966Z","submitted_at":"2025-02-12T02:01:10Z","title":"One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs","version":2},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-08T11:01:03.419005Z"},"links":{"citing_paper":"/paper/2502.10454"},"observation_digest":"sha256:43459fb24164519f53dd1f879e42f7dc1cf245e517d5f93cbaf412eeeed5cd86","observation_id":"283858d4-d0e6-4655-93e7-d0b7030f661d","resolution":{"observed_at":"2026-08-08T11:01:04.122907Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T11:01:03.423068Z","title":"Gpt-4 technical report, 2023","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2502.10454","last_updated":"2025-08-22T07:58:49Z","snapshot_observed_at":"2026-08-09T00:43:25.601966Z","submitted_at":"2025-02-12T02:01:10Z","title":"One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs","version":2},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-08T11:01:03.423068Z"},"links":{"citing_paper":"/paper/2502.10454"},"observation_digest":"sha256:9cf32b791197f9c54439a53be47b5c440280a05d1a47dbbc4b638eb146e14a09","observation_id":"a464e7c9-28c0-4a91-ac7e-01e7f34bb63e","resolution":{"observed_at":"2026-08-08T11:01:03.423068Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T11:01:04.098016Z","title":"Y., Padmakumar, V., Joshi, N., Kazemi, M., Kim, N., and He, H","venue":null,"work_id":"afec10b2-3b02-4244-96f6-c788a6f3a172","year":2023},"citing_paper":{"arxiv_id":"2502.10454","last_updated":"2025-08-22T07:58:49Z","snapshot_observed_at":"2026-08-09T00:43:25.601966Z","submitted_at":"2025-02-12T02:01:10Z","title":"One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs","version":2},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-08T11:01:03.427071Z"},"links":{"citing_paper":"/paper/2502.10454"},"observation_digest":"sha256:e76e0bc485dc57231cd549187ee0b2516703d2ebf31ad65b1d58ceb6e6a8b4eb","observation_id":"c6743db6-fbc9-4266-812f-d9bf24408c88","resolution":{"observed_at":"2026-08-08T11:01:04.102289Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.03300","last_updated":"2024-04-27T15:25:53Z","snapshot_observed_at":"2026-08-06T14:58:42.911363Z","submitted_at":"2024-02-05T18:55:32Z","title":"DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.03300","snapshot_observed_at":"2026-08-08T11:01:03.431677Z","title":"Deepseekmath: Pushing the limits of mathematical reasoning in open language models","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.10454","last_updated":"2025-08-22T07:58:49Z","snapshot_observed_at":"2026-08-09T00:43:25.601966Z","submitted_at":"2025-02-12T02:01:10Z","title":"One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs","version":2},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-08T11:01:03.431677Z"},"links":{"cited_paper":"/paper/2402.03300","citing_paper":"/paper/2502.10454"},"observation_digest":"sha256:b4e7fa816d788f1ef34fcedc7323e51df005b3e4b1c11568efc7323802b8e2e6","observation_id":"b5580c72-aa5a-4b40-ab6c-f7acb97c837d","resolution":{"observed_at":"2026-08-08T11:01:03.431677Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T11:01:04.084801Z","title":null,"venue":null,"work_id":"75da522c-a2ef-4367-97be-b5cbdace698a","year":2011},"citing_paper":{"arxiv_id":"2502.10454","last_updated":"2025-08-22T07:58:49Z","snapshot_observed_at":"2026-08-09T00:43:25.601966Z","submitted_at":"2025-02-12T02:01:10Z","title":"One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs","version":2},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-08-08T11:01:03.435983Z"},"links":{"citing_paper":"/paper/2502.10454"},"observation_digest":"sha256:d40c1c0300708741e5440fa250aef667cdd728e6d4ae7a1aa9c2c32108da8207","observation_id":"763c1925-e368-47c4-94c9-d7693a99206c","resolution":{"observed_at":"2026-08-08T11:01:04.089190Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T11:01:04.070064Z","title":"Putnambench: Evaluating neural theorem-provers on the putnam mathematical competition","venue":null,"work_id":"d5da2c04-9162-4718-9335-839290c97e35","year":null},"citing_paper":{"arxiv_id":"2502.10454","last_updated":"2025-08-22T07:58:49Z","snapshot_observed_at":"2026-08-09T00:43:25.601966Z","submitted_at":"2025-02-12T02:01:10Z","title":"One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs","version":2},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-08-08T11:01:03.440034Z"},"links":{"citing_paper":"/paper/2502.10454"},"observation_digest":"sha256:12b9af45a8994e58590a7a4bdc55618d68849f85ea3175db5d36e3e16fbe3beb","observation_id":"8882b302-2b9e-4a8e-a8e6-fd42e6cf9229","resolution":{"observed_at":"2026-08-08T11:01:04.075255Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T11:01:04.056454Z","title":"Counterexamples in Real Analysis","venue":null,"work_id":"37e8b7a8-62b9-4b88-b10d-249542bca4f3","year":1989},"citing_paper":{"arxiv_id":"2502.10454","last_updated":"2025-08-22T07:58:49Z","snapshot_observed_at":"2026-08-09T00:43:25.601966Z","submitted_at":"2025-02-12T02:01:10Z","title":"One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs","version":2},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-08-08T11:01:03.444115Z"},"links":{"citing_paper":"/paper/2502.10454"},"observation_digest":"sha256:bc407c96d60b288367281b8b37c09b4fd09e3f8f764748088aab3c237af0777c","observation_id":"910fd2a7-18b5-4e52-b649-4070fa7f67f5","resolution":{"observed_at":"2026-08-08T11:01:04.060468Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T11:01:04.044058Z","title":"Counterexamples in Functional Analysis","venue":null,"work_id":"e3c54d0e-c594-4034-8b1c-b7622b31a1f4","year":1994},"citing_paper":{"arxiv_id":"2502.10454","last_updated":"2025-08-22T07:58:49Z","snapshot_observed_at":"2026-08-09T00:43:25.601966Z","submitted_at":"2025-02-12T02:01:10Z","title":"One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs","version":2},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-08-08T11:01:03.448003Z"},"links":{"citing_paper":"/paper/2502.10454"},"observation_digest":"sha256:3d4c3e3e91cceec908b3c5876c1e744ba04c5d78af56eb04fcdcb7c9d4544d1d","observation_id":"e4852cdf-5715-457c-9843-d63e4f1521fc","resolution":{"observed_at":"2026-08-08T11:01:04.048408Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T11:01:04.032083Z","title":"and Yang, F","venue":null,"work_id":"8b5ecc37-0b0d-4d7e-8a6c-2c9d175f1d4d","year":2000},"citing_paper":{"arxiv_id":"2502.10454","last_updated":"2025-08-22T07:58:49Z","snapshot_observed_at":"2026-08-09T00:43:25.601966Z","submitted_at":"2025-02-12T02:01:10Z","title":"One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs","version":2},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-08-08T11:01:03.452457Z"},"links":{"citing_paper":"/paper/2502.10454"},"observation_digest":"sha256:b0e7a4586731e47291275fadd2b45250e074c9a906d8af2d1376a6f8c6ef87bb","observation_id":"d6ddaf13-8258-4881-955f-28f4a6041812","resolution":{"observed_at":"2026-08-08T11:01:04.036093Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T11:01:04.019910Z","title":"Hypothesis search: Inductive reasoning with language models","venue":null,"work_id":"c392d994-4b6e-4be9-a943-892a575c0cdf","year":2024},"citing_paper":{"arxiv_id":"2502.10454","last_updated":"2025-08-22T07:58:49Z","snapshot_observed_at":"2026-08-09T00:43:25.601966Z","submitted_at":"2025-02-12T02:01:10Z","title":"One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs","version":2},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-08-08T11:01:03.456409Z"},"links":{"citing_paper":"/paper/2502.10454"},"observation_digest":"sha256:e3e494aeb61b3f1f70d0d0eaab10b247a8e31c2376bffbf506f706ed9a8fb059","observation_id":"20181106-2391-4186-9913-8b928d84d5b2","resolution":{"observed_at":"2026-08-08T11:01:04.024065Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2406.10885","last_updated":"2025-08-22T01:50:40Z","snapshot_observed_at":"2026-07-06T18:31:40.910349Z","submitted_at":"2024-06-16T10:32:41Z","title":"On the Role of Entity and Event Level Conceptualization in Generalizable Reasoning: A Survey of Tasks, Methods, Applications, and Future Directions","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2406.10885","snapshot_observed_at":"2026-08-08T11:01:03.460618Z","title":"On the role of entity and event level conceptualization in generalizable reasoning: A survey of tasks, methods, applications, and future directions","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.10454","last_updated":"2025-08-22T07:58:49Z","snapshot_observed_at":"2026-08-09T00:43:25.601966Z","submitted_at":"2025-02-12T02:01:10Z","title":"One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs","version":2},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-08-08T11:01:03.460618Z"},"links":{"cited_paper":"/paper/2406.10885","citing_paper":"/paper/2502.10454"},"observation_digest":"sha256:828aea17a4a1428318759d903bceaec6d4780b041cac795b833b060938da5634","observation_id":"9a65e7bc-6f53-42fb-9d79-cfe052c51769","resolution":{"observed_at":"2026-08-08T11:01:03.460618Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T11:01:04.005739Z","title":"Mmlu-pro: A more robust and challenging multi-task language understanding benchmark","venue":null,"work_id":"591ec893-597a-49ad-b980-a466e43d4c74","year":2024},"citing_paper":{"arxiv_id":"2502.10454","last_updated":"2025-08-22T07:58:49Z","snapshot_observed_at":"2026-08-09T00:43:25.601966Z","submitted_at":"2025-02-12T02:01:10Z","title":"One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs","version":2},"reference_index":43,"source":"arxiv_source","source_observed_at":"2026-08-08T11:01:03.465194Z"},"links":{"citing_paper":"/paper/2502.10454"},"observation_digest":"sha256:e443b38cc55b25be18de6d860da54b7ab3f16f690a4a67183cc884f22b54ae3f","observation_id":"0c9b585f-938e-486e-ad06-c518395076e8","resolution":{"observed_at":"2026-08-08T11:01:04.010298Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T11:01:03.469193Z","title":"V., Zhou, D., et al","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2502.10454","last_updated":"2025-08-22T07:58:49Z","snapshot_observed_at":"2026-08-09T00:43:25.601966Z","submitted_at":"2025-02-12T02:01:10Z","title":"One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs","version":2},"reference_index":44,"source":"arxiv_source","source_observed_at":"2026-08-08T11:01:03.469193Z"},"links":{"citing_paper":"/paper/2502.10454"},"observation_digest":"sha256:cbb7a96959188a54732d59c2e502c2374d99200e15dc4a4bc2d51d3dbc6e55a1","observation_id":"12600cf0-a0fb-4d5e-876a-6bae467961a7","resolution":{"observed_at":"2026-08-08T11:01:03.469193Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T11:01:03.982051Z","title":"L., Hajishirzi, H., Choi, Y., and Cho, K","venue":null,"work_id":"eea7b38b-a221-4916-b8d5-600e3ac3f89d","year":2021},"citing_paper":{"arxiv_id":"2502.10454","last_updated":"2025-08-22T07:58:49Z","snapshot_observed_at":"2026-08-09T00:43:25.601966Z","submitted_at":"2025-02-12T02:01:10Z","title":"One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs","version":2},"reference_index":45,"source":"arxiv_source","source_observed_at":"2026-08-08T11:01:03.473149Z"},"links":{"citing_paper":"/paper/2502.10454"},"observation_digest":"sha256:8c8c63c69001c11f8a62f524874fa2f913792183659aabae5d1ae4bc7963f13a","observation_id":"7784b7ee-7c6e-4371-b88c-045aeae79c2f","resolution":{"observed_at":"2026-08-08T11:01:03.986997Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s11704-007-0001-8","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T11:01:03.568192Z","title":"and Gao, X.-S","venue":null,"work_id":"d88959b4-1167-4892-85fd-a20b49fdb331","year":2007},"citing_paper":{"arxiv_id":"2502.10454","last_updated":"2025-08-22T07:58:49Z","snapshot_observed_at":"2026-08-09T00:43:25.601966Z","submitted_at":"2025-02-12T02:01:10Z","title":"One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs","version":2},"reference_index":46,"source":"arxiv_source","source_observed_at":"2026-08-08T11:01:03.477071Z"},"links":{"citing_paper":"/paper/2502.10454"},"observation_digest":"sha256:3feec1cffea930b85572a56b9c7ce18f80e7dc99b98fc7de43a7b6a52cbbfe91","observation_id":"c16993ca-a576-403f-8782-4763b5747a37","resolution":{"observed_at":"2026-08-08T11:01:03.573870Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T11:01:03.967240Z","title":"Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving and Polynomial Equations-Solving","venue":null,"work_id":"dc6e2001-9b4a-40fc-bf9f-36f34fb204fb","year":2001},"citing_paper":{"arxiv_id":"2502.10454","last_updated":"2025-08-22T07:58:49Z","snapshot_observed_at":"2026-08-09T00:43:25.601966Z","submitted_at":"2025-02-12T02:01:10Z","title":"One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs","version":2},"reference_index":47,"source":"arxiv_source","source_observed_at":"2026-08-08T11:01:03.481267Z"},"links":{"citing_paper":"/paper/2502.10454"},"observation_digest":"sha256:19bdd87174b9d8527cb6bb3c8d1141da2f52f89968b4e376ff3a9d54ef9cad6b","observation_id":"08f3096d-8662-4030-ba8a-6c6a8c232415","resolution":{"observed_at":"2026-08-08T11:01:03.971856Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.14660","last_updated":"2024-02-23T07:13:00Z","snapshot_observed_at":"2026-07-06T17:34:03.539565Z","submitted_at":"2024-02-22T16:06:49Z","title":"ConceptMath: A Bilingual Concept-wise Benchmark for Measuring Mathematical Reasoning of Large Language Models","version":2},"cited_work":{"arxiv_id":"2402.14660","doi":null,"metadata_source":"pith","pith_arxiv_id":"2402.14660","snapshot_observed_at":"2026-08-08T11:01:03.716127Z","title":"ConceptMath: A Bilingual Concept-wise Benchmark for Measuring Mathematical Reasoning of Large Language Models","venue":"cs.CL","work_id":"f1643293-0bd0-48b0-a42a-ffe23748dfd8","year":2024},"citing_paper":{"arxiv_id":"2502.10454","last_updated":"2025-08-22T07:58:49Z","snapshot_observed_at":"2026-08-09T00:43:25.601966Z","submitted_at":"2025-02-12T02:01:10Z","title":"One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs","version":2},"reference_index":48,"source":"arxiv_source","source_observed_at":"2026-08-08T11:01:03.485385Z"},"links":{"cited_paper":"/paper/2402.14660","citing_paper":"/paper/2502.10454"},"observation_digest":"sha256:aed18b10bd6951e563604809249b57bb7c081be4f5c5df1d44652703d2b39f95","observation_id":"10822b06-48aa-425d-baa9-43b2cf7abfad","resolution":{"observed_at":"2026-08-08T11:01:03.721936Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.19248","last_updated":"2024-03-02T04:37:37Z","snapshot_observed_at":"2026-07-06T17:37:30.124979Z","submitted_at":"2024-02-29T15:22:13Z","title":"Let LLMs Take on the Latest Challenges! A Chinese Dynamic Question Answering Benchmark","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.19248","snapshot_observed_at":"2026-08-08T11:01:03.489718Z","title":"Let llms take on the latest challenges! a chinese dynamic question answering benchmark","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.10454","last_updated":"2025-08-22T07:58:49Z","snapshot_observed_at":"2026-08-09T00:43:25.601966Z","submitted_at":"2025-02-12T02:01:10Z","title":"One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs","version":2},"reference_index":49,"source":"arxiv_source","source_observed_at":"2026-08-08T11:01:03.489718Z"},"links":{"cited_paper":"/paper/2402.19248","citing_paper":"/paper/2502.10454"},"observation_digest":"sha256:2923d668a94883248f384b384ecd505effd6f6aa6f8d01e7d97e33bd81dbf2aa","observation_id":"569f6243-3c42-49f6-b732-c9a94fab1d9a","resolution":{"observed_at":"2026-08-08T11:01:03.489718Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2407.10671","last_updated":"2024-09-10T13:25:53Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2024-07-15T12:35:42Z","title":"Qwen2 Technical Report","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2407.10671","snapshot_observed_at":"2026-08-08T11:01:03.494175Z","title":"Qwen2 technical report","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.10454","last_updated":"2025-08-22T07:58:49Z","snapshot_observed_at":"2026-08-09T00:43:25.601966Z","submitted_at":"2025-02-12T02:01:10Z","title":"One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs","version":2},"reference_index":50,"source":"arxiv_source","source_observed_at":"2026-08-08T11:01:03.494175Z"},"links":{"cited_paper":"/paper/2407.10671","citing_paper":"/paper/2502.10454"},"observation_digest":"sha256:4293c62e5ec25791b23be6bd5f502c6aab7ae89c054f48ca0ee264e9b210ca24","observation_id":"7d4b15f5-6e7e-4c87-9955-3e467f8b37d1","resolution":{"observed_at":"2026-08-08T11:01:03.494175Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T11:01:03.954062Z","title":"and Deng, J","venue":null,"work_id":"b2d537e5-2048-4e02-989c-2af4354c84d5","year":2019},"citing_paper":{"arxiv_id":"2502.10454","last_updated":"2025-08-22T07:58:49Z","snapshot_observed_at":"2026-08-09T00:43:25.601966Z","submitted_at":"2025-02-12T02:01:10Z","title":"One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs","version":2},"reference_index":51,"source":"arxiv_source","source_observed_at":"2026-08-08T11:01:03.498388Z"},"links":{"citing_paper":"/paper/2502.10454"},"observation_digest":"sha256:f97927e9f95090e808eb00e29413aa45c1198a97523721fa8c596212d6a657c4","observation_id":"dcdc8bd7-24bf-490e-8b5e-834b213543dc","resolution":{"observed_at":"2026-08-08T11:01:03.958070Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T11:01:03.941574Z","title":"H., and Zhou, D","venue":null,"work_id":"734dc79a-3223-451a-9f9e-9cc4575ed573","year":2024},"citing_paper":{"arxiv_id":"2502.10454","last_updated":"2025-08-22T07:58:49Z","snapshot_observed_at":"2026-08-09T00:43:25.601966Z","submitted_at":"2025-02-12T02:01:10Z","title":"One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs","version":2},"reference_index":52,"source":"arxiv_source","source_observed_at":"2026-08-08T11:01:03.502506Z"},"links":{"citing_paper":"/paper/2502.10454"},"observation_digest":"sha256:ec133414a65aa00471c6f5db7da64d4f272f470f3898274ea84bf09e64eec8bc","observation_id":"0a8a6735-7e5e-4c44-944c-eca2a06e8525","resolution":{"observed_at":"2026-08-08T11:01:03.945814Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.06332","last_updated":"2024-05-24T07:09:21Z","snapshot_observed_at":"2026-08-06T07:58:05.717753Z","submitted_at":"2024-02-09T11:22:08Z","title":"InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.06332","snapshot_observed_at":"2026-08-08T11:01:03.506645Z","title":"Internlm-math: Open math large language models toward verifiable reasoning","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.10454","last_updated":"2025-08-22T07:58:49Z","snapshot_observed_at":"2026-08-09T00:43:25.601966Z","submitted_at":"2025-02-12T02:01:10Z","title":"One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs","version":2},"reference_index":53,"source":"arxiv_source","source_observed_at":"2026-08-08T11:01:03.506645Z"},"links":{"cited_paper":"/paper/2402.06332","citing_paper":"/paper/2502.10454"},"observation_digest":"sha256:1375c274d9cfa0c63fdac5e97d3affddfda288f4ef17c74c21437bb785f725a4","observation_id":"209773d6-b684-43a5-a6a9-acba7b99b348","resolution":{"observed_at":"2026-08-08T11:01:03.506645Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2309.12284","last_updated":"2024-05-03T17:36:07Z","snapshot_observed_at":"2026-08-02T15:00:50.388422Z","submitted_at":"2023-09-21T17:45:42Z","title":"MetaMath: Bootstrap Your Own Mathematical Questions for Large Language Models","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2309.12284","snapshot_observed_at":"2026-08-08T11:01:03.510908Z","title":"T., Li, Z., Weller, A., and Liu, W","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2502.10454","last_updated":"2025-08-22T07:58:49Z","snapshot_observed_at":"2026-08-09T00:43:25.601966Z","submitted_at":"2025-02-12T02:01:10Z","title":"One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs","version":2},"reference_index":54,"source":"arxiv_source","source_observed_at":"2026-08-08T11:01:03.510908Z"},"links":{"cited_paper":"/paper/2309.12284","citing_paper":"/paper/2502.10454"},"observation_digest":"sha256:bd6d4d56752619ac58403f86d191f260dc58d7ef789a43c94cd828208b0a373a","observation_id":"6ffee420-bafc-4ac0-9adb-dfed2caeeec4","resolution":{"observed_at":"2026-08-08T11:01:03.510908Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T11:01:03.929072Z","title":"Metamath: Bootstrap your own mathematical questions for large language models","venue":null,"work_id":"ff81d76c-ab72-4cf0-9774-b0d04e4c5037","year":2024},"citing_paper":{"arxiv_id":"2502.10454","last_updated":"2025-08-22T07:58:49Z","snapshot_observed_at":"2026-08-09T00:43:25.601966Z","submitted_at":"2025-02-12T02:01:10Z","title":"One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs","version":2},"reference_index":55,"source":"arxiv_source","source_observed_at":"2026-08-08T11:01:03.515268Z"},"links":{"citing_paper":"/paper/2502.10454"},"observation_digest":"sha256:1d7677005458e0615b2167a5053504225d416044f855da6e670e2ad46f281a44","observation_id":"0b5edc4c-d2ba-427d-9482-6fb572a769e8","resolution":{"observed_at":"2026-08-08T11:01:03.933156Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2410.19056","last_updated":"2024-10-24T18:02:37Z","snapshot_observed_at":"2026-07-06T19:39:19.409512Z","submitted_at":"2024-10-24T18:02:37Z","title":"ReasonAgain: Using Extractable Symbolic Programs to Evaluate Mathematical Reasoning","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2410.19056","snapshot_observed_at":"2026-08-08T11:01:03.519874Z","title":"Reasonagain: Using extractable symbolic programs to evaluate mathematical reasoning","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.10454","last_updated":"2025-08-22T07:58:49Z","snapshot_observed_at":"2026-08-09T00:43:25.601966Z","submitted_at":"2025-02-12T02:01:10Z","title":"One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs","version":2},"reference_index":56,"source":"arxiv_source","source_observed_at":"2026-08-08T11:01:03.519874Z"},"links":{"cited_paper":"/paper/2410.19056","citing_paper":"/paper/2502.10454"},"observation_digest":"sha256:18d6ebbf3d801699494a70aa7453a194c9bd4a68bf1160ac2a27880b6fa8cfc6","observation_id":"c3af04a4-a383-4914-a3b1-6a24dcc2713c","resolution":{"observed_at":"2026-08-08T11:01:03.519874Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.03548","last_updated":"2024-05-23T16:34:35Z","snapshot_observed_at":"2026-08-06T17:52:58.973060Z","submitted_at":"2024-05-06T15:11:38Z","title":"MAmmoTH2: Scaling Instructions from the Web","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.03548","snapshot_observed_at":"2026-08-08T11:01:03.524223Z","title":"Mammoth2: Scaling instructions from the web","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.10454","last_updated":"2025-08-22T07:58:49Z","snapshot_observed_at":"2026-08-09T00:43:25.601966Z","submitted_at":"2025-02-12T02:01:10Z","title":"One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs","version":2},"reference_index":57,"source":"arxiv_source","source_observed_at":"2026-08-08T11:01:03.524223Z"},"links":{"cited_paper":"/paper/2405.03548","citing_paper":"/paper/2502.10454"},"observation_digest":"sha256:2a2e57cb7b65fddafb731a6e940353419ba3959233dc437114a5be2e0d3e9bd9","observation_id":"5892fd4e-f7e1-4f70-b5ee-23efcc2377c5","resolution":{"observed_at":"2026-08-08T11:01:03.524223Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T11:01:03.916711Z","title":"M., and Polu, S","venue":null,"work_id":"f55f9d3b-0796-40cf-814e-525bf39c5a73","year":2022},"citing_paper":{"arxiv_id":"2502.10454","last_updated":"2025-08-22T07:58:49Z","snapshot_observed_at":"2026-08-09T00:43:25.601966Z","submitted_at":"2025-02-12T02:01:10Z","title":"One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs","version":2},"reference_index":58,"source":"arxiv_source","source_observed_at":"2026-08-08T11:01:03.528447Z"},"links":{"citing_paper":"/paper/2502.10454"},"observation_digest":"sha256:fb2c0a130673eb96b74647c4f7f14c63083d3985432596e2441b95f21a36e938","observation_id":"c259f977-6f50-420b-88e6-3e2a8e65b25a","resolution":{"observed_at":"2026-08-08T11:01:03.920710Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2404.00205","last_updated":"2024-03-30T00:53:53Z","snapshot_observed_at":"2026-07-06T17:53:19.196215Z","submitted_at":"2024-03-30T00:53:53Z","title":"Conceptual and Unbiased Reasoning in Language Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2404.00205","snapshot_observed_at":"2026-08-08T11:01:03.532477Z","title":"Conceptual and unbiased reasoning in language models","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.10454","last_updated":"2025-08-22T07:58:49Z","snapshot_observed_at":"2026-08-09T00:43:25.601966Z","submitted_at":"2025-02-12T02:01:10Z","title":"One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs","version":2},"reference_index":59,"source":"arxiv_source","source_observed_at":"2026-08-08T11:01:03.532477Z"},"links":{"cited_paper":"/paper/2404.00205","citing_paper":"/paper/2502.10454"},"observation_digest":"sha256:68f8a1a5fbc95df5a31b1c0abc8101efcb42dd8ee9a4262bbac3df82d2fc13a3","observation_id":"eb95727f-e3da-4d96-b694-b7899833a510","resolution":{"observed_at":"2026-08-08T11:01:03.532477Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T11:01:03.536868Z","title":"write newline","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2502.10454","last_updated":"2025-08-22T07:58:49Z","snapshot_observed_at":"2026-08-09T00:43:25.601966Z","submitted_at":"2025-02-12T02:01:10Z","title":"One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs","version":2},"reference_index":60,"source":"arxiv_source","source_observed_at":"2026-08-08T11:01:03.536868Z"},"links":{"citing_paper":"/paper/2502.10454"},"observation_digest":"sha256:7988ea1bc7b76114b3a38440a0dacaac4811a53295df44cf8c68c1ba62071696","observation_id":"3f2fa02a-4b54-47cd-9491-53c5628c5a2f","resolution":{"observed_at":"2026-08-08T11:01:03.536868Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2502.10454","last_updated":"2025-08-22T07:58:49Z","latest_version":2,"primary_category":"cs.LG","snapshot_observed_at":"2026-08-09T00:43:25.601966Z","submitted_at":"2025-02-12T02:01:10Z","title":"One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs"},"reference_resolution":{"displayed":60,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":33,"verified_exact":3,"verified_fuzzy":24},"total_outbound_references":60},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"thesis":"As of 9 August 2026, this Paper Citation Record lists 60 of 60 outbound references and 1 inbound Pith citation observation for arXiv:2502.10454."}