{"as_of":"2026-08-10T12:17:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:fe313e92b2a6caf5d95dffd34c82db7e70ec1f0da8b8778fc9b1677c4d2f6b07","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-10T06:31:04.303077+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:44fc10c9ddefddbdaa06377b801fb2631caad0c4fd413202d350ed83d51dfb33","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:92e933fa656c8218453b3154551f29e16095c23a688379ddbbbeb03c0c366c6d","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:526e8b1eeb46b0f1219f9d3df387a3f27373aadf9256e927ca72937907e0301b","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:bef5cb3d44964e0326d414288e48ccba5241db8fa11f1fd11d89c2fe76a26f6c","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:69ed28ba1e225d965635fdda8596073833139fa3217df13f2ee4c9e39d770e9e","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:776abd24a4321a75aa80b5b782e9ae87e130476625e11fd91b609d3ac3c20d1d","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:e6018ffff60278151db7fd17ff8de14890da350cdf93be9a42cb8178d125a813","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:b06b74b67956992e66d44b09a338bee1e9e4ddf7c28d2b87dcaf3fba802589e3","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08-09T16:35:57.527702Z","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:543c231d5921b5140224a1c028c8ae7eea430e845417bdabd861a0909a0baa28","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:9d3187bcb4154e788eada3d03c64e91dd660223b9e41d90de11cb1290962a0fb","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:6cb08b4efd263ad83b41dc0c9c604aa42696c6a925624e2cac80375e6d0c5c3a","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:8ff3741e4c03dcd0f70b0ba60106c5b2812a1ff177c5a2e69eddae944eee9cdb","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Counterexamples in Calculus","venue":"American Mathematical Society eBooks","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:5f059700fd2a129cf80cf33856b22ed21751e6942ef30697e09ad639acf8c0d0","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:6814efa1dee1e2f4ed6407ca5cb1f0cb3ad45a21c4ed1bf6e885da9d6f24ab36","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:778d4de1085cc85ac1d00764e19e73da1db193627cb8d8f095a1f5662bdac90e","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:f49cda92b789adf07d9e22ef3111d4006d6a24124e4c4931528f7f50ffaba1d9","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T07:06:40.041118Z","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:6328fd4636a8aad0ea4a0e202340f08eecad37a9cbf06c86a0fe8f1efb80c99f","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:b9ace8d59a987fce5aa1f710ba7c402508267a2bc37a44b282f697e756f47858","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:00977436258ef792540050dd920cad54fc5e97801b9307a1f98106d1ca284682","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:ec70cf46068795904c19bd4af8810896962d0de1a1c781b642c4a9c342dc654e","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:1869ae74cb0bc15e5fef98d50bcfe379b36fffc0acec402d4b449ae375367403","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:80f0a0a00ed305a6dab151fbbf7812bbf2e4b3a8e02682566b2b2bc8d348387b","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:48a77d47acd9df37fefce5fff005495b0f664264116bb6ec6ba3620fbccdc402","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:37b557f2137280391ea0118753b43d0430d1ec0adc3647259494fc9aa20c5bf6","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:970d2cbf4ce9ff84d41fd71c934efdd12ea7207f7add3ce81c95f8fc5b959725","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:46c17af9ea3ef709c517b12c8236f8d97f6c96e81349d543ddbb534e3f28ce59","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08-09T18:36:29.059574Z","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:fbc0b4341527abd4f8ec97cc97bbbacc74c17b5fd83e8fbef37a840b38bceb04","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:fb7745ced02cea402add62599504346b96df727264515fce1c0f290b1f506d13","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:52d6ecbbbac2b6a54e54bbcd54b66160cc98fecbb10bf7f2f0f8cacca3952e89","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"and Gao, X.-S","venue":"Frontiers of Computer Science in China","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:e5d1e47c1d6cc37dd79a77f8112e4529c6d507ece5c7a19da752f6a43b77d9ce","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:b19940ada25a457e9822888fb7e4d49e96141357e577273d2543889f5a3b9168","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:913ee318b68220381d4dbfe565b88f3163704b8f9ab36821dfbb7a2a81b1e13c","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08-10T04:59:01.750584Z","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:77b4439f6ca5531779c49d594e582013abc97842803ed13749ed12297235a978","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:53a54064b2d04c08105c81fd8eaae5871a317f6d5a75b8e38fb31117712f0ada","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:34d45e195f0209b41fda9a4fc23fd1065934f2f07d53764f747c3c2c0d933556","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T07:06:15.150032Z","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:60affb5e95e861b84ce5fc65922e6dd30ea8dc4a3b43d9f133bbeb5575848f22","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:6a19add563098bc87ba56b1e3d765a6d585b1ef50412e60c4eaf975b2080943e","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T09:54:53.085558Z","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:472a7be3a9c8719611eee56e106a727573af485eeb4a40ceffdd13d29aca9050","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:31b072bcdd89032ea8eee24f90b38466c223b45c331a1658baa7841d52eea1ab","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"thesis":"As of 10 August 2026, this Paper Citation Record lists 60 of 60 outbound references and 1 inbound Pith citation observation for arXiv:2502.10454."}