{"as_of":"2026-08-08T02:11:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:c4a451a268c8de861803439b63fd3c0e86dfdecaa4d2c08ca226e69c1af25d90","coverage":[{"denominator":0,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":54,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":54,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-07T06:34:17.273281+00:00","state":"measured"},{"denominator":54,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":54,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T15:01:05.646723Z","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-04T11:39:46.423009Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2402.00157","last_updated":"2024-09-16T19:20:59Z","snapshot_observed_at":"2026-08-03T23:38:38.676420Z","submitted_at":"2024-01-31T20:26:32Z","title":"Large Language Models for Mathematical Reasoning: Progresses and Challenges","version":4},"cited_work":{"arxiv_id":"2402.00157","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2402.00157","snapshot_observed_at":"2026-07-04T11:39:46.423009Z","title":"Large language models for mathematical reasoning: Progresses and challenges","venue":null,"work_id":"d8278850-469f-40f1-8af5-cf634483852f","year":2024},"citing_paper":{"arxiv_id":"2410.04047","last_updated":"2026-04-10T06:16:18Z","snapshot_observed_at":"2026-07-06T19:28:18.775189Z","submitted_at":"2024-10-05T06:04:19Z","title":"TS-Reasoner: Domain-Oriented Time Series Inference Agents for Reasoning and Automated Analysis","version":6},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-05-23T19:45:39.130509Z"},"links":{"cited_paper":"/paper/2402.00157","citing_paper":"/paper/2410.04047"},"observation_digest":"sha256:650f5d05e874c39d1bd5b130435883a34c2ded7333d11eed1ef56773e09697ea","observation_id":"f7bee619-0adb-4582-aea6-e6643ed9362a","resolution":{"observed_at":"2026-05-23T19:45:47.247483Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.00157","last_updated":"2024-09-16T19:20:59Z","snapshot_observed_at":"2026-08-03T23:38:38.676420Z","submitted_at":"2024-01-31T20:26:32Z","title":"Large Language Models for Mathematical Reasoning: Progresses and Challenges","version":4},"cited_work":{"arxiv_id":"2402.00157","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2402.00157","snapshot_observed_at":"2026-07-04T11:39:46.423009Z","title":"Large language models for mathematical reasoning: Progresses and challenges","venue":null,"work_id":"d8278850-469f-40f1-8af5-cf634483852f","year":2024},"citing_paper":{"arxiv_id":"2410.04509","last_updated":"2026-04-20T02:03:24Z","snapshot_observed_at":"2026-08-02T21:14:32.237997Z","submitted_at":"2024-10-06T14:59:09Z","title":"ErrorRadar: Benchmarking Complex Mathematical Reasoning of Multimodal Large Language Models Via Error Detection","version":3},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-05-23T20:10:59.264484Z"},"links":{"cited_paper":"/paper/2402.00157","citing_paper":"/paper/2410.04509"},"observation_digest":"sha256:098becb49cd2562da04c98d2b3e704222d7db2eeb6752372eb8303411e7cd5cd","observation_id":"13237bbd-396e-47ce-8b20-4238944258aa","resolution":{"observed_at":"2026-05-23T20:13:24.615341Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.00157","last_updated":"2024-09-16T19:20:59Z","snapshot_observed_at":"2026-08-03T23:38:38.676420Z","submitted_at":"2024-01-31T20:26:32Z","title":"Large Language Models for Mathematical Reasoning: Progresses and Challenges","version":4},"cited_work":{"arxiv_id":"2402.00157","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2402.00157","snapshot_observed_at":"2026-07-04T11:39:46.423009Z","title":"Large language models for mathematical reasoning: Progresses and challenges","venue":null,"work_id":"d8278850-469f-40f1-8af5-cf634483852f","year":2024},"citing_paper":{"arxiv_id":"2503.10615","last_updated":"2025-03-18T08:52:34Z","snapshot_observed_at":"2026-08-07T12:50:27.666060Z","submitted_at":"2025-03-13T17:56:05Z","title":"R1-Onevision: Advancing Generalized Multimodal Reasoning through Cross-Modal Formalization","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-05-16T00:19:20.462455Z"},"links":{"cited_paper":"/paper/2402.00157","citing_paper":"/paper/2503.10615"},"observation_digest":"sha256:5a3b6b6db87fa7b2f41360e9a87407b03bed790db4e50a2b8c868e980224ab04","observation_id":"c4a713b8-e40b-4c48-a05b-781ed5aeaa3c","resolution":{"observed_at":"2026-05-16T00:19:20.632524Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.00157","last_updated":"2024-09-16T19:20:59Z","snapshot_observed_at":"2026-08-03T23:38:38.676420Z","submitted_at":"2024-01-31T20:26:32Z","title":"Large Language Models for Mathematical Reasoning: Progresses and Challenges","version":4},"cited_work":{"arxiv_id":"2402.00157","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2402.00157","snapshot_observed_at":"2026-07-04T11:39:46.423009Z","title":"Large language models for mathematical reasoning: Progresses and challenges","venue":null,"work_id":"d8278850-469f-40f1-8af5-cf634483852f","year":2024},"citing_paper":{"arxiv_id":"2503.16549","last_updated":"2026-04-18T11:44:37Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2025-03-19T11:46:19Z","title":"MathFlow: Enhancing the Perceptual Flow of MLLMs for Visual Mathematical Problems","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-05-22T22:55:34.238427Z"},"links":{"cited_paper":"/paper/2402.00157","citing_paper":"/paper/2503.16549"},"observation_digest":"sha256:0cbe757e39a6fc3f1c4a1bad1946054fe594d95d2589c1dac52c68c63ae223c8","observation_id":"04501110-030e-4523-9fd0-d0f864796504","resolution":{"observed_at":"2026-05-22T22:57:13.238711Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.00157","last_updated":"2024-09-16T19:20:59Z","snapshot_observed_at":"2026-08-03T23:38:38.676420Z","submitted_at":"2024-01-31T20:26:32Z","title":"Large Language Models for Mathematical Reasoning: Progresses and Challenges","version":4},"cited_work":{"arxiv_id":"2402.00157","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2402.00157","snapshot_observed_at":"2026-07-04T11:39:46.423009Z","title":"Large language models for mathematical reasoning: Progresses and challenges","venue":null,"work_id":"d8278850-469f-40f1-8af5-cf634483852f","year":2024},"citing_paper":{"arxiv_id":"2503.22693","last_updated":"2026-05-20T06:35:51Z","snapshot_observed_at":"2026-08-02T19:43:11.453664Z","submitted_at":"2025-03-14T01:35:20Z","title":"Bridging Language Models and Financial Analysis","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-05-23T01:08:58.528533Z"},"links":{"cited_paper":"/paper/2402.00157","citing_paper":"/paper/2503.22693"},"observation_digest":"sha256:883a9fa1533712210eef9d2055532f10d6535562bfe51437151ab1db3a0b34c6","observation_id":"f8c76616-33a6-4103-8028-772e93c789c0","resolution":{"observed_at":"2026-05-23T01:12:20.566155Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.00157","last_updated":"2024-09-16T19:20:59Z","snapshot_observed_at":"2026-08-03T23:38:38.676420Z","submitted_at":"2024-01-31T20:26:32Z","title":"Large Language Models for Mathematical Reasoning: Progresses and Challenges","version":4},"cited_work":{"arxiv_id":"2402.00157","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2402.00157","snapshot_observed_at":"2026-07-04T11:39:46.423009Z","title":"Large language models for mathematical reasoning: Progresses and challenges","venue":null,"work_id":"d8278850-469f-40f1-8af5-cf634483852f","year":2024},"citing_paper":{"arxiv_id":"2504.09775","last_updated":"2026-04-20T20:54:05Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2025-04-14T00:29:49Z","title":"MIST: A Co-Design Framework for Heterogeneous, Multi-Stage LLM Inference","version":6},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-05-22T21:16:31.655330Z"},"links":{"cited_paper":"/paper/2402.00157","citing_paper":"/paper/2504.09775"},"observation_digest":"sha256:4765f12d61d3d207cb805d5ad51e0ccf8e2c0a1c263a4227e66e3ac4961a11bc","observation_id":"0626d88e-ff78-485b-872c-82391f719e8b","resolution":{"observed_at":"2026-05-22T21:17:08.075906Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.00157","last_updated":"2024-09-16T19:20:59Z","snapshot_observed_at":"2026-08-03T23:38:38.676420Z","submitted_at":"2024-01-31T20:26:32Z","title":"Large Language Models for Mathematical Reasoning: Progresses and Challenges","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.00157","snapshot_observed_at":"2026-08-07T15:01:05.646723Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.16660","last_updated":"2025-06-13T10:57:16Z","snapshot_observed_at":"2026-08-07T14:55:15.820684Z","submitted_at":"2025-05-22T13:24:52Z","title":"Can reasoning models comprehend mathematical problems in Chinese ancient texts? An empirical study based on data from Suanjing Shishu","version":3},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-07T15:01:05.646723Z"},"links":{"cited_paper":"/paper/2402.00157","citing_paper":"/paper/2505.16660"},"observation_digest":"sha256:6d506dbc801c60a2f8ae2e9015176d972a9442254a1fc2d7f23761675fd81968","observation_id":"0debd0e8-2f95-46c1-922f-d2871a15e295","resolution":{"observed_at":"2026-08-07T15:01:05.646723Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.00157","last_updated":"2024-09-16T19:20:59Z","snapshot_observed_at":"2026-08-03T23:38:38.676420Z","submitted_at":"2024-01-31T20:26:32Z","title":"Large Language Models for Mathematical Reasoning: Progresses and Challenges","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.00157","snapshot_observed_at":"2026-08-07T14:46:42.184846Z","title":"Large language models for mathematical reasoning: Progresses and challenges.arXiv preprint arXiv:2402.00157, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.17670","last_updated":"2025-07-07T20:01:47Z","snapshot_observed_at":"2026-08-07T22:51:12.206699Z","submitted_at":"2025-05-23T09:36:53Z","title":"Towards General Continuous Memory for Vision-Language Models","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-07T14:46:42.184846Z"},"links":{"cited_paper":"/paper/2402.00157","citing_paper":"/paper/2505.17670"},"observation_digest":"sha256:d749c569423e21001791b99cf622ba058f8996ee7d06005b097e3fa454eb5e2c","observation_id":"e9182548-547a-48f2-9993-f7c7ca9a5b69","resolution":{"observed_at":"2026-08-07T14:46:42.184846Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.00157","last_updated":"2024-09-16T19:20:59Z","snapshot_observed_at":"2026-08-03T23:38:38.676420Z","submitted_at":"2024-01-31T20:26:32Z","title":"Large Language Models for Mathematical Reasoning: Progresses and Challenges","version":4},"cited_work":{"arxiv_id":"2402.00157","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2402.00157","snapshot_observed_at":"2026-07-04T11:39:46.423009Z","title":"Large language models for mathematical reasoning: Progresses and challenges","venue":null,"work_id":"d8278850-469f-40f1-8af5-cf634483852f","year":2024},"citing_paper":{"arxiv_id":"2505.19237","last_updated":"2026-04-19T18:56:45Z","snapshot_observed_at":"2026-07-06T21:30:09.658226Z","submitted_at":"2025-05-25T17:26:28Z","title":"Sensorimotor Self-Recognition in Multimodal Large Language Model-Driven Robots","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-05-19T13:29:34.151546Z"},"links":{"cited_paper":"/paper/2402.00157","citing_paper":"/paper/2505.19237"},"observation_digest":"sha256:f8ce51390c73c45122c2b48775c6f6bde7a896ed938e4f7a26ed1d6c99f506e8","observation_id":"11854a30-41ac-4009-8b4a-a13ac9f96c7f","resolution":{"observed_at":"2026-05-19T13:32:19.252896Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.00157","last_updated":"2024-09-16T19:20:59Z","snapshot_observed_at":"2026-08-03T23:38:38.676420Z","submitted_at":"2024-01-31T20:26:32Z","title":"Large Language Models for Mathematical Reasoning: Progresses and Challenges","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.00157","snapshot_observed_at":"2026-08-07T14:17:26.062156Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.19484","last_updated":"2025-05-27T07:18:37Z","snapshot_observed_at":"2026-08-07T14:11:07.478457Z","submitted_at":"2025-05-26T04:08:26Z","title":"CulFiT: A Fine-grained Cultural-aware LLM Training Paradigm via Multilingual Critique Data Synthesis","version":2},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-07T14:17:26.062156Z"},"links":{"cited_paper":"/paper/2402.00157","citing_paper":"/paper/2505.19484"},"observation_digest":"sha256:d3b9dac95a68c56e311b2113ac0ad590e1f4d25a8456f77c7edb0a32fc9e5f96","observation_id":"34ac6422-b4c4-4d98-8f2d-935ee4a39d94","resolution":{"observed_at":"2026-08-07T14:17:26.062156Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.00157","last_updated":"2024-09-16T19:20:59Z","snapshot_observed_at":"2026-08-03T23:38:38.676420Z","submitted_at":"2024-01-31T20:26:32Z","title":"Large Language Models for Mathematical Reasoning: Progresses and Challenges","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.00157","snapshot_observed_at":"2026-08-07T14:14:40.022995Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.19621","last_updated":"2025-05-26T07:41:21Z","snapshot_observed_at":"2026-08-07T14:07:48.097270Z","submitted_at":"2025-05-26T07:41:21Z","title":"Think Again! The Effect of Test-Time Compute on Preferences, Opinions, and Beliefs of Large Language Models","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-07T14:14:40.022995Z"},"links":{"cited_paper":"/paper/2402.00157","citing_paper":"/paper/2505.19621"},"observation_digest":"sha256:04ee985ebdb36cac81b9a348e61aa6a17a631589047e0c38d5d8fdb7d480c7e9","observation_id":"86ee1e6a-fce2-49dd-a44a-16f4bd01b9e5","resolution":{"observed_at":"2026-08-07T14:14:40.022995Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.00157","last_updated":"2024-09-16T19:20:59Z","snapshot_observed_at":"2026-08-03T23:38:38.676420Z","submitted_at":"2024-01-31T20:26:32Z","title":"Large Language Models for Mathematical Reasoning: Progresses and Challenges","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.00157","snapshot_observed_at":"2026-08-07T12:48:47.051024Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.23540","last_updated":"2025-05-29T15:20:44Z","snapshot_observed_at":"2026-08-07T14:34:56.721276Z","submitted_at":"2025-05-29T15:20:44Z","title":"Probability-Consistent Preference Optimization for Enhanced LLM Reasoning","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-07T12:48:47.051024Z"},"links":{"cited_paper":"/paper/2402.00157","citing_paper":"/paper/2505.23540"},"observation_digest":"sha256:59a701cea4c964086b0fcfba69cd5f01fd4d0d5cc4335b863358abdcbf3c7d11","observation_id":"2cc13414-55b7-4a9c-abf4-e85bea0b9a3f","resolution":{"observed_at":"2026-08-07T12:48:47.051024Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.00157","last_updated":"2024-09-16T19:20:59Z","snapshot_observed_at":"2026-08-03T23:38:38.676420Z","submitted_at":"2024-01-31T20:26:32Z","title":"Large Language Models for Mathematical Reasoning: Progresses and Challenges","version":4},"cited_work":{"arxiv_id":"2402.00157","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2402.00157","snapshot_observed_at":"2026-07-04T11:39:46.423009Z","title":"Large language models for mathematical reasoning: Progresses and challenges","venue":null,"work_id":"d8278850-469f-40f1-8af5-cf634483852f","year":2024},"citing_paper":{"arxiv_id":"2506.01770","last_updated":"2026-04-18T05:40:12Z","snapshot_observed_at":"2026-08-04T01:20:56.393646Z","submitted_at":"2025-06-02T15:17:38Z","title":"ReGA: Model-Based Safeguard for LLMs via Representation-Guided Abstraction","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-05-19T11:34:09.428653Z"},"links":{"cited_paper":"/paper/2402.00157","citing_paper":"/paper/2506.01770"},"observation_digest":"sha256:bf16318214a1df1d65dfca7db21dd404efcb3de03dada602cbc988f99bc2b442","observation_id":"6f1d3a81-d2e7-4427-9aac-d007c05be2cc","resolution":{"observed_at":"2026-05-19T11:37:15.930637Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.00157","last_updated":"2024-09-16T19:20:59Z","snapshot_observed_at":"2026-08-03T23:38:38.676420Z","submitted_at":"2024-01-31T20:26:32Z","title":"Large Language Models for Mathematical Reasoning: Progresses and Challenges","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.00157","snapshot_observed_at":"2026-08-07T11:33:29.433062Z","title":"Large language models for mathematical reasoning: Progresses and challenges.arXiv preprint arXiv:2402.00157, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.02126","last_updated":"2025-06-02T18:01:00Z","snapshot_observed_at":"2026-08-07T11:27:50.494482Z","submitted_at":"2025-06-02T18:01:00Z","title":"Knowledge or Reasoning? A Close Look at How LLMs Think Across Domains","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-07T11:33:29.433062Z"},"links":{"cited_paper":"/paper/2402.00157","citing_paper":"/paper/2506.02126"},"observation_digest":"sha256:7caec497b67766c9041f1b464eb103531adc5eeadacb7227c88a8b92e1b4800b","observation_id":"a381e39a-81c4-4b8d-b03a-f5c4c46c26f0","resolution":{"observed_at":"2026-08-07T11:33:29.433062Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.00157","last_updated":"2024-09-16T19:20:59Z","snapshot_observed_at":"2026-08-03T23:38:38.676420Z","submitted_at":"2024-01-31T20:26:32Z","title":"Large Language Models for Mathematical Reasoning: Progresses and Challenges","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.00157","snapshot_observed_at":"2026-08-07T11:06:16.657975Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.03616","last_updated":"2025-06-04T06:48:41Z","snapshot_observed_at":"2026-08-07T10:56:37.005362Z","submitted_at":"2025-06-04T06:48:41Z","title":"Learning to Insert [PAUSE] Tokens for Better Reasoning","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-07T11:06:16.657975Z"},"links":{"cited_paper":"/paper/2402.00157","citing_paper":"/paper/2506.03616"},"observation_digest":"sha256:49b8ad21c97ff41195cb5791dff3a45b6e961572867928220fc9b70f84753501","observation_id":"74ae6843-d300-4d16-a475-a45ff3ad223e","resolution":{"observed_at":"2026-08-07T11:06:16.657975Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.00157","last_updated":"2024-09-16T19:20:59Z","snapshot_observed_at":"2026-08-03T23:38:38.676420Z","submitted_at":"2024-01-31T20:26:32Z","title":"Large Language Models for Mathematical Reasoning: Progresses and Challenges","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.00157","snapshot_observed_at":"2026-08-07T10:59:03.671310Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.03923","last_updated":"2025-06-04T13:15:01Z","snapshot_observed_at":"2026-08-07T10:50:57.564969Z","submitted_at":"2025-06-04T13:15:01Z","title":"More or Less Wrong: A Benchmark for Directional Bias in LLM Comparative Reasoning","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-07T10:59:03.671310Z"},"links":{"cited_paper":"/paper/2402.00157","citing_paper":"/paper/2506.03923"},"observation_digest":"sha256:ada2c9d9af4c68027efb28a85a74ca12b941b3dda42ce26fe339bc71bdf11478","observation_id":"2029e78c-c795-4bb7-9a6e-ae7d46f2f301","resolution":{"observed_at":"2026-08-07T10:59:03.671310Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.00157","last_updated":"2024-09-16T19:20:59Z","snapshot_observed_at":"2026-08-03T23:38:38.676420Z","submitted_at":"2024-01-31T20:26:32Z","title":"Large Language Models for Mathematical Reasoning: Progresses and Challenges","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.00157","snapshot_observed_at":"2026-08-07T10:56:23.511738Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.03978","last_updated":"2025-06-09T04:15:05Z","snapshot_observed_at":"2026-08-08T01:31:04.404758Z","submitted_at":"2025-06-04T14:08:44Z","title":"Structured Pruning for Diverse Best-of-N Reasoning Optimization","version":2},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-07T10:56:23.511738Z"},"links":{"cited_paper":"/paper/2402.00157","citing_paper":"/paper/2506.03978"},"observation_digest":"sha256:bf17f1fecf7cb6c8c02f5c4804c79abf72c80b0a5d4e4fd1c79ee5b7eb44364b","observation_id":"ecd86cd7-3a10-4636-b632-d0e84df0588b","resolution":{"observed_at":"2026-08-07T10:56:23.511738Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.00157","last_updated":"2024-09-16T19:20:59Z","snapshot_observed_at":"2026-08-03T23:38:38.676420Z","submitted_at":"2024-01-31T20:26:32Z","title":"Large Language Models for Mathematical Reasoning: Progresses and Challenges","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.00157","snapshot_observed_at":"2026-08-07T10:44:59.314638Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.04592","last_updated":"2025-06-05T03:16:08Z","snapshot_observed_at":"2026-08-07T23:35:52.088117Z","submitted_at":"2025-06-05T03:16:08Z","title":"Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-07T10:44:59.314638Z"},"links":{"cited_paper":"/paper/2402.00157","citing_paper":"/paper/2506.04592"},"observation_digest":"sha256:30e8a3cf84df924caec3eaf3ed867f3d92ddfe278eaf3183494e7da95721be34","observation_id":"0a8b4406-5832-45e1-8897-10e849757da2","resolution":{"observed_at":"2026-08-07T10:44:59.314638Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.00157","last_updated":"2024-09-16T19:20:59Z","snapshot_observed_at":"2026-08-03T23:38:38.676420Z","submitted_at":"2024-01-31T20:26:32Z","title":"Large Language Models for Mathematical Reasoning: Progresses and Challenges","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.00157","snapshot_observed_at":"2026-08-07T05:33:51.500639Z","title":"Large Language Models for Mathematical Reasoning: Pro- gresses and Challenges,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.07647","last_updated":"2025-06-09T11:12:02Z","snapshot_observed_at":"2026-08-07T22:34:01.355447Z","submitted_at":"2025-06-09T11:12:02Z","title":"Foundation Model Empowered Synesthesia of Machines (SoM): AI-native Intelligent Multi-Modal Sensing-Communication Integration","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-07T05:33:51.500639Z"},"links":{"cited_paper":"/paper/2402.00157","citing_paper":"/paper/2506.07647"},"observation_digest":"sha256:a2489d2ae651a473ae0bbe8e3c9162d15df88deb5d4b2c4c88a8e9b5567be746","observation_id":"be2ce9b2-d613-4dbb-a653-1a88b64c37dc","resolution":{"observed_at":"2026-08-07T05:33:51.500639Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.00157","last_updated":"2024-09-16T19:20:59Z","snapshot_observed_at":"2026-08-03T23:38:38.676420Z","submitted_at":"2024-01-31T20:26:32Z","title":"Large Language Models for Mathematical Reasoning: Progresses and Challenges","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.00157","snapshot_observed_at":"2026-08-07T05:00:32.194052Z","title":"Large lan- guage models for mathematical reasoning: Progresses and challenges,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.08962","last_updated":"2025-06-10T16:35:45Z","snapshot_observed_at":"2026-08-07T04:55:46.646584Z","submitted_at":"2025-06-10T16:35:45Z","title":"WIP: Large Language Model-Enhanced Smart Tutor for Undergraduate Circuit Analysis","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-07T05:00:32.194052Z"},"links":{"cited_paper":"/paper/2402.00157","citing_paper":"/paper/2506.08962"},"observation_digest":"sha256:83d1fbfa3e03d849ea162b8e99a73c2564c287e64972325709e9607c4a6a35c9","observation_id":"24a13888-daca-4c40-a5e3-a013ce5f0b46","resolution":{"observed_at":"2026-08-07T05:00:32.194052Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.00157","last_updated":"2024-09-16T19:20:59Z","snapshot_observed_at":"2026-08-03T23:38:38.676420Z","submitted_at":"2024-01-31T20:26:32Z","title":"Large Language Models for Mathematical Reasoning: Progresses and Challenges","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.00157","snapshot_observed_at":"2026-08-07T05:01:08.038342Z","title":"Large Language Models for Mathematical Reasoning: Progresses and Challenges","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.09038","last_updated":"2025-06-10T17:57:30Z","snapshot_observed_at":"2026-08-07T04:54:28.526685Z","submitted_at":"2025-06-10T17:57:30Z","title":"AbstentionBench: Reasoning LLMs Fail on Unanswerable Questions","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-07T05:01:08.038342Z"},"links":{"cited_paper":"/paper/2402.00157","citing_paper":"/paper/2506.09038"},"observation_digest":"sha256:888c88da37d7aa28d9ae172acca7417beaa3b091ed480ce6ea029721ebf7c77c","observation_id":"d1d4f725-ebfb-4830-a238-2ba40941af84","resolution":{"observed_at":"2026-08-07T05:01:08.038342Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.00157","last_updated":"2024-09-16T19:20:59Z","snapshot_observed_at":"2026-08-03T23:38:38.676420Z","submitted_at":"2024-01-31T20:26:32Z","title":"Large Language Models for Mathematical Reasoning: Progresses and Challenges","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.00157","snapshot_observed_at":"2026-08-07T04:34:37.342152Z","title":"Large language mod- els for mathematical reasoning: Progresses and challenges,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.10264","last_updated":"2025-06-12T01:16:34Z","snapshot_observed_at":"2026-08-07T21:59:27.224942Z","submitted_at":"2025-06-12T01:16:34Z","title":"WGSR-Bench: Wargame-based Game-theoretic Strategic Reasoning Benchmark for Large Language Models","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-07T04:34:37.342152Z"},"links":{"cited_paper":"/paper/2402.00157","citing_paper":"/paper/2506.10264"},"observation_digest":"sha256:d9c716f64db3c5bc8db1bba0acd42c68be6bcbedf47b975fabf973d3df1f175e","observation_id":"d739b67a-0cd2-485d-a83c-f8f98f421293","resolution":{"observed_at":"2026-08-07T04:34:37.342152Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.00157","last_updated":"2024-09-16T19:20:59Z","snapshot_observed_at":"2026-08-03T23:38:38.676420Z","submitted_at":"2024-01-31T20:26:32Z","title":"Large Language Models for Mathematical Reasoning: Progresses and Challenges","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.00157","snapshot_observed_at":"2026-08-06T23:33:52.072107Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.17630","last_updated":"2025-06-21T08:15:45Z","snapshot_observed_at":"2026-08-07T13:43:23.421384Z","submitted_at":"2025-06-21T08:15:45Z","title":"Answer-Centric or Reasoning-Driven? Uncovering the Latent Memory Anchor in LLMs","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-06T23:33:52.072107Z"},"links":{"cited_paper":"/paper/2402.00157","citing_paper":"/paper/2506.17630"},"observation_digest":"sha256:c75c2abd407e24c3983991f6b6d7cb9c97f8fea529326949924137bad7dab254","observation_id":"a761afb0-eef9-4f53-bd59-c84dae9dabb1","resolution":{"observed_at":"2026-08-06T23:33:52.072107Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.00157","last_updated":"2024-09-16T19:20:59Z","snapshot_observed_at":"2026-08-03T23:38:38.676420Z","submitted_at":"2024-01-31T20:26:32Z","title":"Large Language Models for Mathematical Reasoning: Progresses and Challenges","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.00157","snapshot_observed_at":"2026-08-06T22:21:09.695912Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.02938","last_updated":"2025-06-27T04:16:53Z","snapshot_observed_at":"2026-08-06T22:14:16.417610Z","submitted_at":"2025-06-27T04:16:53Z","title":"A Large Language Model-Empowered Agent for Reliable and Robust Structural Analysis","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-06T22:21:09.695912Z"},"links":{"cited_paper":"/paper/2402.00157","citing_paper":"/paper/2507.02938"},"observation_digest":"sha256:15acb831085583a6e9a9c710949b718d2accacf6948e9608798d5e259730dc15","observation_id":"fa880957-aadb-49d0-983f-bc115dddfae6","resolution":{"observed_at":"2026-08-06T22:21:09.695912Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.00157","last_updated":"2024-09-16T19:20:59Z","snapshot_observed_at":"2026-08-03T23:38:38.676420Z","submitted_at":"2024-01-31T20:26:32Z","title":"Large Language Models for Mathematical Reasoning: Progresses and Challenges","version":4},"cited_work":{"arxiv_id":"2402.00157","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2402.00157","snapshot_observed_at":"2026-07-04T11:39:46.423009Z","title":"Large language models for mathematical reasoning: Progresses and challenges","venue":null,"work_id":"d8278850-469f-40f1-8af5-cf634483852f","year":2024},"citing_paper":{"arxiv_id":"2507.10614","last_updated":"2026-05-18T21:02:43Z","snapshot_observed_at":"2026-08-01T13:37:01.305084Z","submitted_at":"2025-07-13T15:21:23Z","title":"Fine-tuning Large Language Model for Automated Algorithm Design","version":2},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-05-21T23:36:12.949230Z"},"links":{"cited_paper":"/paper/2402.00157","citing_paper":"/paper/2507.10614"},"observation_digest":"sha256:f998980bba88994094f2f8febb703636ffd8ffa0967c14009494bc092f00e0be","observation_id":"53abae40-7d72-498a-b040-d722d87eaa46","resolution":{"observed_at":"2026-05-21T23:40:46.609814Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.00157","last_updated":"2024-09-16T19:20:59Z","snapshot_observed_at":"2026-08-03T23:38:38.676420Z","submitted_at":"2024-01-31T20:26:32Z","title":"Large Language Models for Mathematical Reasoning: Progresses and Challenges","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.00157","snapshot_observed_at":"2026-08-06T15:50:50.090392Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.14849","last_updated":"2025-07-20T07:43:16Z","snapshot_observed_at":"2026-08-07T22:38:36.908357Z","submitted_at":"2025-07-20T07:43:16Z","title":"Beyond Isolated Capabilities: Bridging Long CoT Reasoning and Long-Context Understanding","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-06T15:50:50.090392Z"},"links":{"cited_paper":"/paper/2402.00157","citing_paper":"/paper/2507.14849"},"observation_digest":"sha256:d24b027868b4e51a88314e5701a9eae3f224c07b3dc17d2d9907612de6ee4983","observation_id":"24462251-b2e1-4f83-9d93-4fbf38474a15","resolution":{"observed_at":"2026-08-06T15:50:50.090392Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.00157","last_updated":"2024-09-16T19:20:59Z","snapshot_observed_at":"2026-08-03T23:38:38.676420Z","submitted_at":"2024-01-31T20:26:32Z","title":"Large Language Models for Mathematical Reasoning: Progresses and Challenges","version":4},"cited_work":{"arxiv_id":"2402.00157","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2402.00157","snapshot_observed_at":"2026-07-04T11:39:46.423009Z","title":"Large language models for mathematical reasoning: Progresses and challenges","venue":null,"work_id":"d8278850-469f-40f1-8af5-cf634483852f","year":2024},"citing_paper":{"arxiv_id":"2507.22359","last_updated":"2026-04-14T11:47:19Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2025-07-30T03:50:46Z","title":"League of LLMs: A Benchmark-Free Paradigm for Mutual Evaluation of Large Language Models","version":4},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-05-19T03:17:06.457421Z"},"links":{"cited_paper":"/paper/2402.00157","citing_paper":"/paper/2507.22359"},"observation_digest":"sha256:38b48bbe6486cef6b21aee552c3e31105adcff2d0d3a53894383d4ba3c20d57d","observation_id":"111c09e7-d199-49e0-b63d-8387169a80df","resolution":{"observed_at":"2026-05-19T03:22:01.377367Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.00157","last_updated":"2024-09-16T19:20:59Z","snapshot_observed_at":"2026-08-03T23:38:38.676420Z","submitted_at":"2024-01-31T20:26:32Z","title":"Large Language Models for Mathematical Reasoning: Progresses and Challenges","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.00157","snapshot_observed_at":"2026-08-06T00:59:51.320079Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2508.04088","last_updated":"2025-08-07T03:52:48Z","snapshot_observed_at":"2026-08-06T11:50:51.532315Z","submitted_at":"2025-08-06T05:10:29Z","title":"GM-PRM: A Generative Multimodal Process Reward Model for Multimodal Mathematical Reasoning","version":2},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-06T00:59:51.320079Z"},"links":{"cited_paper":"/paper/2402.00157","citing_paper":"/paper/2508.04088"},"observation_digest":"sha256:d05eda6b76aceaa572e6c4d778db76c45fa64be7775d9f7716e4300ad53f7734","observation_id":"7a9e52fd-f93e-4f87-9c88-d049b7cc2b5e","resolution":{"observed_at":"2026-08-06T00:59:51.320079Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.00157","last_updated":"2024-09-16T19:20:59Z","snapshot_observed_at":"2026-08-03T23:38:38.676420Z","submitted_at":"2024-01-31T20:26:32Z","title":"Large Language Models for Mathematical Reasoning: Progresses and Challenges","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.00157","snapshot_observed_at":"2026-08-05T16:15:28.188254Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2508.18824","last_updated":"2025-08-26T09:01:50Z","snapshot_observed_at":"2026-08-05T16:15:27.775687Z","submitted_at":"2025-08-26T09:01:50Z","title":"Arrows of Math Reasoning Data Synthesis for Large Language Models: Diversity, Complexity and Correctness","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-05T16:15:28.188254Z"},"links":{"cited_paper":"/paper/2402.00157","citing_paper":"/paper/2508.18824"},"observation_digest":"sha256:8b15cac030a92dd08e6d884112f980fb29569e47a9dce21a53e37049a2f7e67d","observation_id":"62408393-31d2-47ba-943b-972c66d72903","resolution":{"observed_at":"2026-08-05T16:15:28.188254Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.00157","last_updated":"2024-09-16T19:20:59Z","snapshot_observed_at":"2026-08-03T23:38:38.676420Z","submitted_at":"2024-01-31T20:26:32Z","title":"Large Language Models for Mathematical Reasoning: Progresses and Challenges","version":4},"cited_work":{"arxiv_id":"2402.00157","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2402.00157","snapshot_observed_at":"2026-07-04T11:39:46.423009Z","title":"Large language models for mathematical reasoning: Progresses and challenges","venue":null,"work_id":"d8278850-469f-40f1-8af5-cf634483852f","year":2024},"citing_paper":{"arxiv_id":"2510.15494","last_updated":"2026-04-09T09:01:12Z","snapshot_observed_at":"2026-08-06T20:17:52.315302Z","submitted_at":"2025-10-17T10:06:52Z","title":"Do AI Models Dream of Faster Code? An Empirical Study on LLM-Proposed Performance Improvements in Real-World Software","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-05-18T06:39:42.391102Z"},"links":{"cited_paper":"/paper/2402.00157","citing_paper":"/paper/2510.15494"},"observation_digest":"sha256:19ae60d4ce9df6f8d4246f62e9bd3f61b193b522058b32cda703b33de889d03f","observation_id":"512aafcd-8ce9-4e71-992d-fd284663d72a","resolution":{"observed_at":"2026-05-18T06:41:00.361974Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.00157","last_updated":"2024-09-16T19:20:59Z","snapshot_observed_at":"2026-08-03T23:38:38.676420Z","submitted_at":"2024-01-31T20:26:32Z","title":"Large Language Models for Mathematical Reasoning: Progresses and Challenges","version":4},"cited_work":{"arxiv_id":"2402.00157","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2402.00157","snapshot_observed_at":"2026-07-04T11:39:46.423009Z","title":"Large language models for mathematical reasoning: Progresses and challenges","venue":null,"work_id":"d8278850-469f-40f1-8af5-cf634483852f","year":2024},"citing_paper":{"arxiv_id":"2510.16079","last_updated":"2026-05-16T02:57:47Z","snapshot_observed_at":"2026-08-05T00:54:36.690304Z","submitted_at":"2025-10-17T12:03:16Z","title":"EvolveR: Self-Evolving LLM Agents through an Experience-Driven Lifecycle","version":2},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-05-18T06:19:44.360734Z"},"links":{"cited_paper":"/paper/2402.00157","citing_paper":"/paper/2510.16079"},"observation_digest":"sha256:6ae3bd08ed98932b153e129955919cd5ee8bab59010cbf19a7f2b6bff47c1a27","observation_id":"4c1eaf67-c7ec-418a-9be1-98e3e788253b","resolution":{"observed_at":"2026-05-18T06:20:58.331885Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.00157","last_updated":"2024-09-16T19:20:59Z","snapshot_observed_at":"2026-08-03T23:38:38.676420Z","submitted_at":"2024-01-31T20:26:32Z","title":"Large Language Models for Mathematical Reasoning: Progresses and Challenges","version":4},"cited_work":{"arxiv_id":"2402.00157","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2402.00157","snapshot_observed_at":"2026-07-04T11:39:46.423009Z","title":"Large language models for mathematical reasoning: Progresses and challenges","venue":null,"work_id":"d8278850-469f-40f1-8af5-cf634483852f","year":2024},"citing_paper":{"arxiv_id":"2510.16079","last_updated":"2026-05-16T02:57:47Z","snapshot_observed_at":"2026-08-05T00:54:36.690304Z","submitted_at":"2025-10-17T12:03:16Z","title":"EvolveR: Self-Evolving LLM Agents through an Experience-Driven Lifecycle","version":3},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-05-21T20:50:06.642976Z"},"links":{"cited_paper":"/paper/2402.00157","citing_paper":"/paper/2510.16079"},"observation_digest":"sha256:77d48d8aef40b3001f53bc1a0134c3656d032e9d6df0e1e6f246e7f9947c1690","observation_id":"f5e710a1-c167-47cf-a778-f3f460b7ed4f","resolution":{"observed_at":"2026-05-21T20:50:36.463555Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.00157","last_updated":"2024-09-16T19:20:59Z","snapshot_observed_at":"2026-08-03T23:38:38.676420Z","submitted_at":"2024-01-31T20:26:32Z","title":"Large Language Models for Mathematical Reasoning: Progresses and Challenges","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.00157","snapshot_observed_at":"2026-08-03T17:53:53.227185Z","title":"Large language models for mathematical reasoning: Pro- gresses and challenges.arXiv preprint arXiv:2402.00157,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2512.07795","last_updated":"2026-05-30T17:04:27Z","snapshot_observed_at":"2026-08-07T13:27:56.350968Z","submitted_at":"2025-12-08T18:26:58Z","title":"ReasonBENCH: Benchmarking the (In)Stability of LLM Reasoning","version":2},"reference_index":2025,"source":"pdf_text","source_observed_at":"2026-08-03T17:53:53.227185Z"},"links":{"cited_paper":"/paper/2402.00157","citing_paper":"/paper/2512.07795"},"observation_digest":"sha256:247810510afe85405b92b973d832ca8e85e98be38eb7a048a98276fa0478ddbb","observation_id":"5d3077fa-e6e1-4769-a846-722822d633b5","resolution":{"observed_at":"2026-08-03T17:53:53.227185Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.00157","last_updated":"2024-09-16T19:20:59Z","snapshot_observed_at":"2026-08-03T23:38:38.676420Z","submitted_at":"2024-01-31T20:26:32Z","title":"Large Language Models for Mathematical Reasoning: Progresses and Challenges","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.00157","snapshot_observed_at":"2026-08-03T14:20:31.208360Z","title":"Large language models for mathematical reasoning: Pro- gresses and challenges.arXiv preprint arXiv:2402.00157,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2512.20957","last_updated":"2026-05-26T05:07:52Z","snapshot_observed_at":"2026-08-03T18:14:05.259857Z","submitted_at":"2025-12-24T05:27:53Z","title":"One Tool Is Enough: Reinforcement Learning for Repository-Level LLM Agents","version":6},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-03T14:20:31.208360Z"},"links":{"cited_paper":"/paper/2402.00157","citing_paper":"/paper/2512.20957"},"observation_digest":"sha256:a5a5365e353084bf8d0481ee45230b9ac7975a26ea5d14b301aea0872ffa0573","observation_id":"422c3237-8120-4ad2-82f6-a6e0c104d21a","resolution":{"observed_at":"2026-08-03T14:20:31.208360Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.00157","last_updated":"2024-09-16T19:20:59Z","snapshot_observed_at":"2026-08-03T23:38:38.676420Z","submitted_at":"2024-01-31T20:26:32Z","title":"Large Language Models for Mathematical Reasoning: Progresses and Challenges","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.00157","snapshot_observed_at":"2026-08-03T06:52:52.486546Z","title":"Large language models for mathematical reasoning: Progresses and challenges","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2601.21909","last_updated":"2026-05-28T16:50:42Z","snapshot_observed_at":"2026-08-08T01:37:36.546626Z","submitted_at":"2026-01-29T16:00:48Z","title":"From Meta-Thought to Execution: Cognitively Aligned Post-Training for Generalizable and Reliable LLM Reasoning","version":2},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-03T06:52:52.486546Z"},"links":{"cited_paper":"/paper/2402.00157","citing_paper":"/paper/2601.21909"},"observation_digest":"sha256:3a3717ae5c58f815ef61b69cbf6951dee565e021eb5e43a2fce4989fb023f768","observation_id":"d299b128-0f29-4165-b051-41baea0c6acf","resolution":{"observed_at":"2026-08-03T06:52:52.486546Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.00157","last_updated":"2024-09-16T19:20:59Z","snapshot_observed_at":"2026-08-03T23:38:38.676420Z","submitted_at":"2024-01-31T20:26:32Z","title":"Large Language Models for Mathematical Reasoning: Progresses and Challenges","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.00157","snapshot_observed_at":"2026-08-03T05:39:26.664534Z","title":"Large language models for mathematical reasoning: Progresses and challenges.arXiv preprint arXiv:2402.00157, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2602.01672","last_updated":"2026-06-03T03:49:17Z","snapshot_observed_at":"2026-08-03T05:39:25.493523Z","submitted_at":"2026-02-02T05:40:38Z","title":"Adaptive Information Control for Search-Augmented LLM Reasoning","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-03T05:39:26.664534Z"},"links":{"cited_paper":"/paper/2402.00157","citing_paper":"/paper/2602.01672"},"observation_digest":"sha256:374c3299ffc4ab070bdab40478c7d9ed6a49f99f1fa3b403327c795f6fe09858","observation_id":"e830e4be-7dd7-4964-a2eb-92129905252c","resolution":{"observed_at":"2026-08-03T05:39:26.664534Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.00157","last_updated":"2024-09-16T19:20:59Z","snapshot_observed_at":"2026-08-03T23:38:38.676420Z","submitted_at":"2024-01-31T20:26:32Z","title":"Large Language Models for Mathematical Reasoning: Progresses and Challenges","version":4},"cited_work":{"arxiv_id":"2402.00157","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2402.00157","snapshot_observed_at":"2026-07-04T11:39:46.423009Z","title":"Large language models for mathematical reasoning: Progresses and challenges","venue":null,"work_id":"d8278850-469f-40f1-8af5-cf634483852f","year":2024},"citing_paper":{"arxiv_id":"2602.02280","last_updated":"2026-05-12T03:47:11Z","snapshot_observed_at":"2026-07-06T22:44:09.804048Z","submitted_at":"2026-02-02T16:20:51Z","title":"RACC: Representation-Aware Coverage Criteria for LLM Safety Testing","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-05-16T08:12:55.296932Z"},"links":{"cited_paper":"/paper/2402.00157","citing_paper":"/paper/2602.02280"},"observation_digest":"sha256:ea24bacfffd94c3ea595c3473b2418a8fbdb025c77d7a5f9463d7c66785a1105","observation_id":"334648bc-16d3-4fe1-8a89-be89d1d21707","resolution":{"observed_at":"2026-05-16T08:17:36.698867Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.00157","last_updated":"2024-09-16T19:20:59Z","snapshot_observed_at":"2026-08-03T23:38:38.676420Z","submitted_at":"2024-01-31T20:26:32Z","title":"Large Language Models for Mathematical Reasoning: Progresses and Challenges","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.00157","snapshot_observed_at":"2026-08-03T05:16:27.580989Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2602.03061","last_updated":"2026-07-20T02:29:52Z","snapshot_observed_at":"2026-08-05T23:31:54.730379Z","submitted_at":"2026-02-03T03:40:01Z","title":"Evaluating LLMs When They Do Not Know the Answer: Statistical Evaluation of Mathematical Reasoning via Comparative Signals","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-03T05:16:27.580989Z"},"links":{"cited_paper":"/paper/2402.00157","citing_paper":"/paper/2602.03061"},"observation_digest":"sha256:15a3a55056074f19783730b664cdf913c28d678533b50828d23466a495309478","observation_id":"7f0e494e-5058-4140-a1f9-5b67215432df","resolution":{"observed_at":"2026-08-03T05:16:27.580989Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.00157","last_updated":"2024-09-16T19:20:59Z","snapshot_observed_at":"2026-08-03T23:38:38.676420Z","submitted_at":"2024-01-31T20:26:32Z","title":"Large Language Models for Mathematical Reasoning: Progresses and Challenges","version":4},"cited_work":{"arxiv_id":"2402.00157","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2402.00157","snapshot_observed_at":"2026-07-04T11:39:46.423009Z","title":"Large language models for mathematical reasoning: Progresses and challenges","venue":null,"work_id":"d8278850-469f-40f1-8af5-cf634483852f","year":2024},"citing_paper":{"arxiv_id":"2604.23712","last_updated":"2026-04-28T04:48:08Z","snapshot_observed_at":"2026-07-06T23:09:52.860780Z","submitted_at":"2026-04-26T13:54:28Z","title":"OptProver: Bridging Olympiad and Optimization through Continual Training in Formal Theorem Proving","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-05-08T06:33:29.860024Z"},"links":{"cited_paper":"/paper/2402.00157","citing_paper":"/paper/2604.23712"},"observation_digest":"sha256:11fcb60306a6ccd8b35985e5c01ac0a1cc5e3977925a1ff90de2e608e69dfd18","observation_id":"7e3a12e5-a8f9-42fa-876c-a72a0125441f","resolution":{"observed_at":"2026-05-11T21:11:16.038853Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.00157","last_updated":"2024-09-16T19:20:59Z","snapshot_observed_at":"2026-08-03T23:38:38.676420Z","submitted_at":"2024-01-31T20:26:32Z","title":"Large Language Models for Mathematical Reasoning: Progresses and Challenges","version":4},"cited_work":{"arxiv_id":"2402.00157","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2402.00157","snapshot_observed_at":"2026-07-04T11:39:46.423009Z","title":"Large language models for mathematical reasoning: Progresses and challenges","venue":null,"work_id":"d8278850-469f-40f1-8af5-cf634483852f","year":2024},"citing_paper":{"arxiv_id":"2605.04064","last_updated":"2026-04-10T21:13:46Z","snapshot_observed_at":"2026-07-06T23:16:54.673178Z","submitted_at":"2026-04-10T21:13:46Z","title":"Improving Medical VQA through Trajectory-Aware Process Supervision","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-05-10T17:18:17.846140Z"},"links":{"cited_paper":"/paper/2402.00157","citing_paper":"/paper/2605.04064"},"observation_digest":"sha256:c91a23af3e923f735402e321ea8a1d0590b05988e474c03cbd24520c22cbf929","observation_id":"c949b87c-15f4-489d-a476-0f37a94bcc5f","resolution":{"observed_at":"2026-05-11T07:06:06.836267Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.00157","last_updated":"2024-09-16T19:20:59Z","snapshot_observed_at":"2026-08-03T23:38:38.676420Z","submitted_at":"2024-01-31T20:26:32Z","title":"Large Language Models for Mathematical Reasoning: Progresses and Challenges","version":4},"cited_work":{"arxiv_id":"2402.00157","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2402.00157","snapshot_observed_at":"2026-07-04T11:39:46.423009Z","title":"Large language models for mathematical reasoning: Progresses and challenges","venue":null,"work_id":"d8278850-469f-40f1-8af5-cf634483852f","year":2024},"citing_paper":{"arxiv_id":"2605.10923","last_updated":"2026-05-17T05:50:25Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2026-05-11T17:55:13Z","title":"Dynamic Skill Lifecycle Management for Agentic Reinforcement Learning","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-05-12T03:45:06.199636Z"},"links":{"cited_paper":"/paper/2402.00157","citing_paper":"/paper/2605.10923"},"observation_digest":"sha256:c91f693b7c7aa7beff386017bf9a4a154740c24cc626bb1eb1dfaffae80ae023","observation_id":"d33476eb-029c-42a1-893c-bc56de0cd37b","resolution":{"observed_at":"2026-05-12T07:06:33.167115Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.00157","last_updated":"2024-09-16T19:20:59Z","snapshot_observed_at":"2026-08-03T23:38:38.676420Z","submitted_at":"2024-01-31T20:26:32Z","title":"Large Language Models for Mathematical Reasoning: Progresses and Challenges","version":4},"cited_work":{"arxiv_id":"2402.00157","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2402.00157","snapshot_observed_at":"2026-07-04T11:39:46.423009Z","title":"Large language models for mathematical reasoning: Progresses and challenges","venue":null,"work_id":"d8278850-469f-40f1-8af5-cf634483852f","year":2024},"citing_paper":{"arxiv_id":"2605.10923","last_updated":"2026-05-17T05:50:25Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2026-05-11T17:55:13Z","title":"Dynamic Skill Lifecycle Management for Agentic Reinforcement Learning","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-05-20T22:19:49.016156Z"},"links":{"cited_paper":"/paper/2402.00157","citing_paper":"/paper/2605.10923"},"observation_digest":"sha256:3314e16db24ab4c416052b980a3d4b7003f66be201df41aafce95cf5159a2246","observation_id":"37686144-eed6-4c86-87a8-55572a54d23d","resolution":{"observed_at":"2026-05-20T22:23:48.380113Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.00157","last_updated":"2024-09-16T19:20:59Z","snapshot_observed_at":"2026-08-03T23:38:38.676420Z","submitted_at":"2024-01-31T20:26:32Z","title":"Large Language Models for Mathematical Reasoning: Progresses and Challenges","version":4},"cited_work":{"arxiv_id":"2402.00157","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2402.00157","snapshot_observed_at":"2026-07-04T11:39:46.423009Z","title":"Large language models for mathematical reasoning: Progresses and challenges","venue":null,"work_id":"d8278850-469f-40f1-8af5-cf634483852f","year":2024},"citing_paper":{"arxiv_id":"2605.22211","last_updated":"2026-05-21T09:16:27Z","snapshot_observed_at":"2026-07-06T23:32:35.159280Z","submitted_at":"2026-05-21T09:16:27Z","title":"CLORE: Content-Level Optimization for Reasoning Efficiency","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-05-22T05:50:23.111591Z"},"links":{"cited_paper":"/paper/2402.00157","citing_paper":"/paper/2605.22211"},"observation_digest":"sha256:7121f09ba319eba60738420866b80486f054efce7244684e5cc703115b3e547d","observation_id":"f3f1dc8c-8d96-48bb-9328-57bff04c810e","resolution":{"observed_at":"2026-05-22T05:51:08.336753Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.00157","last_updated":"2024-09-16T19:20:59Z","snapshot_observed_at":"2026-08-03T23:38:38.676420Z","submitted_at":"2024-01-31T20:26:32Z","title":"Large Language Models for Mathematical Reasoning: Progresses and Challenges","version":4},"cited_work":{"arxiv_id":"2402.00157","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2402.00157","snapshot_observed_at":"2026-07-04T11:39:46.423009Z","title":"Large language models for mathematical reasoning: Progresses and challenges","venue":null,"work_id":"d8278850-469f-40f1-8af5-cf634483852f","year":2024},"citing_paper":{"arxiv_id":"2605.29822","last_updated":"2026-05-28T12:04:51Z","snapshot_observed_at":"2026-07-29T16:18:16.189748Z","submitted_at":"2026-05-28T12:04:51Z","title":"Inferring Code Correctness from Specification","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-06-29T06:33:36.835860Z"},"links":{"cited_paper":"/paper/2402.00157","citing_paper":"/paper/2605.29822"},"observation_digest":"sha256:ad0f05eda1dce32051c98c6e7eaf7f41b5cf79b9e6991e211ba4d7a44c2f22c8","observation_id":"c32279f1-64e2-4c06-b8d5-b7cf6048a143","resolution":{"observed_at":"2026-06-29T14:33:31.522748Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.00157","last_updated":"2024-09-16T19:20:59Z","snapshot_observed_at":"2026-08-03T23:38:38.676420Z","submitted_at":"2024-01-31T20:26:32Z","title":"Large Language Models for Mathematical Reasoning: Progresses and Challenges","version":4},"cited_work":{"arxiv_id":"2402.00157","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2402.00157","snapshot_observed_at":"2026-07-04T11:39:46.423009Z","title":"Large language models for mathematical reasoning: Progresses and challenges","venue":null,"work_id":"d8278850-469f-40f1-8af5-cf634483852f","year":2024},"citing_paper":{"arxiv_id":"2606.18453","last_updated":"2026-06-16T20:02:42Z","snapshot_observed_at":"2026-07-06T23:53:54.600341Z","submitted_at":"2026-06-16T20:02:42Z","title":"LLM Parameters for Math Across Languages: Shared or Separate?","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-06-27T00:30:30.315423Z"},"links":{"cited_paper":"/paper/2402.00157","citing_paper":"/paper/2606.18453"},"observation_digest":"sha256:239c18fcf5af3c09b498a45c13f3e6f0375602f59b851a48c30d3e0eafb2f11a","observation_id":"3471314e-5241-41d6-a401-14001a03eb74","resolution":{"observed_at":"2026-07-03T21:28:59.014009Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.00157","last_updated":"2024-09-16T19:20:59Z","snapshot_observed_at":"2026-08-03T23:38:38.676420Z","submitted_at":"2024-01-31T20:26:32Z","title":"Large Language Models for Mathematical Reasoning: Progresses and Challenges","version":4},"cited_work":{"arxiv_id":"2402.00157","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2402.00157","snapshot_observed_at":"2026-07-04T11:39:46.423009Z","title":"Large language models for mathematical reasoning: Progresses and challenges","venue":null,"work_id":"d8278850-469f-40f1-8af5-cf634483852f","year":2024},"citing_paper":{"arxiv_id":"2606.23791","last_updated":"2026-06-29T13:00:09Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2026-06-22T18:00:02Z","title":"One Generator, Any Process: LLM-Conditioning for the LHC","version":1},"reference_index":244,"source":"arxiv_source","source_observed_at":"2026-06-26T07:53:57.250401Z"},"links":{"cited_paper":"/paper/2402.00157","citing_paper":"/paper/2606.23791"},"observation_digest":"sha256:6645da52ff9f506d7cc172edd43e593d0c3993b2be64b6e8b9446000a831e1b2","observation_id":"87d19f32-075e-41c3-ba18-fe4ca06fb773","resolution":{"observed_at":"2026-07-04T11:39:46.424583Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.00157","last_updated":"2024-09-16T19:20:59Z","snapshot_observed_at":"2026-08-03T23:38:38.676420Z","submitted_at":"2024-01-31T20:26:32Z","title":"Large Language Models for Mathematical Reasoning: Progresses and Challenges","version":4},"cited_work":{"arxiv_id":"2402.00157","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2402.00157","snapshot_observed_at":"2026-07-04T11:39:46.423009Z","title":"Large language models for mathematical reasoning: Progresses and challenges","venue":null,"work_id":"d8278850-469f-40f1-8af5-cf634483852f","year":2024},"citing_paper":{"arxiv_id":"2606.23791","last_updated":"2026-06-29T13:00:09Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2026-06-22T18:00:02Z","title":"One Generator, Any Process: LLM-Conditioning for the LHC","version":2},"reference_index":248,"source":"arxiv_source","source_observed_at":"2026-06-30T10:13:09.503522Z"},"links":{"cited_paper":"/paper/2402.00157","citing_paper":"/paper/2606.23791"},"observation_digest":"sha256:6c58601827df6438828a8fa99a04521cf509689df50057fa7ef2bf86b59289fc","observation_id":"b2e94b4c-eda2-4d4c-9d40-96e85ea54390","resolution":{"observed_at":"2026-06-30T10:14:36.053955Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.00157","last_updated":"2024-09-16T19:20:59Z","snapshot_observed_at":"2026-08-03T23:38:38.676420Z","submitted_at":"2024-01-31T20:26:32Z","title":"Large Language Models for Mathematical Reasoning: Progresses and Challenges","version":4},"cited_work":{"arxiv_id":"2402.00157","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2402.00157","snapshot_observed_at":"2026-07-04T11:39:46.423009Z","title":"Large language models for mathematical reasoning: Progresses and challenges","venue":null,"work_id":"d8278850-469f-40f1-8af5-cf634483852f","year":2024},"citing_paper":{"arxiv_id":"2607.00147","last_updated":"2026-06-30T20:25:53Z","snapshot_observed_at":"2026-08-04T09:35:31.011187Z","submitted_at":"2026-06-30T20:25:53Z","title":"RareDxR1: Autonomous Medical Reasoning for Rare Disease Diagnosis Beyond Human Annotation","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-07-02T19:21:44.653877Z"},"links":{"cited_paper":"/paper/2402.00157","citing_paper":"/paper/2607.00147"},"observation_digest":"sha256:c6892acf04e5d1871ca03dedd8f4072abce595c6e0af26eee70d2c5de5ca48af","observation_id":"41734c81-27c9-49d2-87d2-1667ebe3f3bb","resolution":{"observed_at":"2026-07-02T19:27:18.591729Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.00157","last_updated":"2024-09-16T19:20:59Z","snapshot_observed_at":"2026-08-03T23:38:38.676420Z","submitted_at":"2024-01-31T20:26:32Z","title":"Large Language Models for Mathematical Reasoning: Progresses and Challenges","version":4},"cited_work":{"arxiv_id":"2402.00157","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2402.00157","snapshot_observed_at":"2026-07-04T11:39:46.423009Z","title":"Large language models for mathematical reasoning: Progresses and challenges","venue":null,"work_id":"d8278850-469f-40f1-8af5-cf634483852f","year":2024},"citing_paper":{"arxiv_id":"2607.01678","last_updated":"2026-07-02T04:10:42Z","snapshot_observed_at":"2026-07-07T00:07:13.555571Z","submitted_at":"2026-07-02T04:10:42Z","title":"SCAPE: Accurate and Efficient LLM Training with Extreme Sparse Communication","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-07-03T17:56:52.510949Z"},"links":{"cited_paper":"/paper/2402.00157","citing_paper":"/paper/2607.01678"},"observation_digest":"sha256:ef1c93a5e329fa1f26f2da66216f5e076cf3b339d27863c8a3c1d9404b299e51","observation_id":"1b116a76-8459-4a3c-9886-750be77e14ef","resolution":{"observed_at":"2026-07-03T17:58:46.648992Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.00157","last_updated":"2024-09-16T19:20:59Z","snapshot_observed_at":"2026-08-03T23:38:38.676420Z","submitted_at":"2024-01-31T20:26:32Z","title":"Large Language Models for Mathematical Reasoning: Progresses and Challenges","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.00157","snapshot_observed_at":"2026-07-14T09:13:24.763990Z","title":"arXiv preprint arXiv:2402.00157 (2024)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.10795","last_updated":"2026-07-12T15:06:11Z","snapshot_observed_at":"2026-08-01T23:43:48.909777Z","submitted_at":"2026-07-12T15:06:11Z","title":"STEC: Evidence Compression for Deep Search in Open-domain Multi-Hop QA","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-07-14T09:13:24.763990Z"},"links":{"cited_paper":"/paper/2402.00157","citing_paper":"/paper/2607.10795"},"observation_digest":"sha256:f54fec83c9e734197f7efac700b5a748a16fbc3f2c94557cf33f76b114a3d8ca","observation_id":"57ed5482-221d-49bf-8944-8629815e0a52","resolution":{"observed_at":"2026-07-14T09:13:24.763990Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.00157","last_updated":"2024-09-16T19:20:59Z","snapshot_observed_at":"2026-08-03T23:38:38.676420Z","submitted_at":"2024-01-31T20:26:32Z","title":"Large Language Models for Mathematical Reasoning: Progresses and Challenges","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.00157","snapshot_observed_at":"2026-08-02T09:47:29.204988Z","title":"arXiv preprint arXiv:2402.00157 (2024)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.16255","last_updated":"2026-06-27T12:12:40Z","snapshot_observed_at":"2026-08-07T09:40:32.604841Z","submitted_at":"2026-06-27T12:12:40Z","title":"Feature Generation Using LLMs: An Evolutionary Algorithm Approach","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-02T09:47:29.204988Z"},"links":{"cited_paper":"/paper/2402.00157","citing_paper":"/paper/2607.16255"},"observation_digest":"sha256:04ea232ad0e3d4d13ee4fa9fe3ffc67ec9e89156e92d9989f173fc735ede79a2","observation_id":"bf9c8779-e9c0-498a-b366-13b4c4e7c92b","resolution":{"observed_at":"2026-08-02T09:47:29.204988Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.00157","last_updated":"2024-09-16T19:20:59Z","snapshot_observed_at":"2026-08-03T23:38:38.676420Z","submitted_at":"2024-01-31T20:26:32Z","title":"Large Language Models for Mathematical Reasoning: Progresses and Challenges","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.00157","snapshot_observed_at":"2026-08-02T08:02:56.456065Z","title":"Large language models for mathematical reasoning: Progresses and challenges,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.20520","last_updated":"2026-07-08T17:21:28Z","snapshot_observed_at":"2026-08-05T03:25:29.428394Z","submitted_at":"2026-07-08T17:21:28Z","title":"Representation Robustness Under Executable Reasoning Constraints in Large Language Models for Mathematical Problem Solving","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-02T08:02:56.456065Z"},"links":{"cited_paper":"/paper/2402.00157","citing_paper":"/paper/2607.20520"},"observation_digest":"sha256:21d1d9aaf3153e9ddc102358956e22b5113c890c388a63cfd8afacd6789b55ea","observation_id":"3412a780-27cc-4607-a29d-79e7642dda2a","resolution":{"observed_at":"2026-08-02T08:02:56.456065Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.00157","last_updated":"2024-09-16T19:20:59Z","snapshot_observed_at":"2026-08-03T23:38:38.676420Z","submitted_at":"2024-01-31T20:26:32Z","title":"Large Language Models for Mathematical Reasoning: Progresses and Challenges","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.00157","snapshot_observed_at":"2026-08-04T18:33:54.681432Z","title":"org/abs/2402.00157","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.01906","last_updated":"2026-08-03T08:39:59Z","snapshot_observed_at":"2026-08-06T23:33:49.347908Z","submitted_at":"2026-08-03T08:39:59Z","title":"Assessing the Benefits of Combining Advanced Deep Learning Techniques for Post-Disaster Building Damage Assessment from UAV Imagery","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-04T18:33:54.681432Z"},"links":{"cited_paper":"/paper/2402.00157","citing_paper":"/paper/2608.01906"},"observation_digest":"sha256:c8dc0f766a17a798ec14e3ce46bb9211e596560c4da98c215241decb111e86d0","observation_id":"97a5f922-c734-4b23-81aa-f36ddadd01c2","resolution":{"observed_at":"2026-08-04T18:33:54.681432Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.00157","last_updated":"2024-09-16T19:20:59Z","snapshot_observed_at":"2026-08-03T23:38:38.676420Z","submitted_at":"2024-01-31T20:26:32Z","title":"Large Language Models for Mathematical Reasoning: Progresses and Challenges","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.00157","snapshot_observed_at":"2026-08-04T10:28:20.864753Z","title":"arXiv preprint arXiv:2402.00157 , year=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.02262","last_updated":"2026-08-03T14:07:05Z","snapshot_observed_at":"2026-08-06T23:37:06.572711Z","submitted_at":"2026-08-03T14:07:05Z","title":"Superloop Equations and Minimal Surfaces I: Confining minimal surface in $4D, N=1$ SYM","version":1},"reference_index":277,"source":"arxiv_source","source_observed_at":"2026-08-04T10:28:20.864753Z"},"links":{"cited_paper":"/paper/2402.00157","citing_paper":"/paper/2608.02262"},"observation_digest":"sha256:9d179525e6e9a1f7e54c75e1cce6b3379e19c31425edc3f296570ff95b6c7e36","observation_id":"48d54ee0-29f6-4edc-8a3a-0ff5dfb28b6c","resolution":{"observed_at":"2026-08-04T10:28:20.864753Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2402.00157/citation-record","integrity":"/paper/2402.00157/integrity","json":"/paper/2402.00157/citation-record.json","paper":"/paper/2402.00157"},"outbound":[],"paper":{"arxiv_id":"2402.00157","last_updated":"2024-09-16T19:20:59Z","latest_version":4,"primary_category":"cs.CL","snapshot_observed_at":"2026-08-03T23:38:38.676420Z","submitted_at":"2024-01-31T20:26:32Z","title":"Large Language Models for Mathematical Reasoning: Progresses and Challenges"},"reference_resolution":{"displayed":0,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":0,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":0},"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-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 54 inbound Pith citation observations for arXiv:2402.00157."}