{"as_of":"2026-08-10T08:47:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:adac0d787d8c9db0295bfb062aff2072508d70ccef5cd8af11a7f19966f6f16c","coverage":[{"denominator":35,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":35,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T11:47:00.702971Z","state":"measured"},{"denominator":35,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":35,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-10T06:31:04.303077+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2506.01531/citation-record","integrity":"/paper/2506.01531/integrity","json":"/paper/2506.01531/citation-record.json","paper":"/paper/2506.01531"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:48:04.357773Z","title":"theorem,","venue":null,"work_id":"46917bee-681d-4c5b-821e-b4a883943bf0","year":null},"citing_paper":{"arxiv_id":"2506.01531","last_updated":"2025-06-03T05:25:22Z","snapshot_observed_at":"2026-08-07T11:36:49.614569Z","submitted_at":"2025-06-02T10:48:49Z","title":"STORM-BORN: A Challenging Mathematical Derivations Dataset Curated via a Human-in-the-Loop Multi-Agent Framework","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-07T11:46:59.649472Z"},"links":{"citing_paper":"/paper/2506.01531"},"observation_digest":"sha256:a7d399efe588cf3a017c09f3f51ce57422d7c405586ba7f196c50b4fe2b4bec9","observation_id":"fe1c6a54-ef87-4e47-ae19-8e3969df8e48","resolution":{"observed_at":"2026-08-07T11:48:04.369127Z","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-07T11:48:04.330688Z","title":"where X is","venue":null,"work_id":"8fb08be2-c4f5-4473-a6d3-ab6e64bfd355","year":null},"citing_paper":{"arxiv_id":"2506.01531","last_updated":"2025-06-03T05:25:22Z","snapshot_observed_at":"2026-08-07T11:36:49.614569Z","submitted_at":"2025-06-02T10:48:49Z","title":"STORM-BORN: A Challenging Mathematical Derivations Dataset Curated via a Human-in-the-Loop Multi-Agent Framework","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-07T11:46:59.685456Z"},"links":{"citing_paper":"/paper/2506.01531"},"observation_digest":"sha256:de54310aba36623eaad93d669c7e48e79e366a0d7a5b0d2a79115fdc2647e8f9","observation_id":"5bffc2b0-1067-4018-a7e6-263e5ed33ef7","resolution":{"observed_at":"2026-08-07T11:48:04.342405Z","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-07T11:48:04.301178Z","title":"formula\",","venue":null,"work_id":"04353343-3a92-4036-90ee-ddcc87d54ff4","year":null},"citing_paper":{"arxiv_id":"2506.01531","last_updated":"2025-06-03T05:25:22Z","snapshot_observed_at":"2026-08-07T11:36:49.614569Z","submitted_at":"2025-06-02T10:48:49Z","title":"STORM-BORN: A Challenging Mathematical Derivations Dataset Curated via a Human-in-the-Loop Multi-Agent Framework","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-07T11:46:59.718619Z"},"links":{"citing_paper":"/paper/2506.01531"},"observation_digest":"sha256:499c7e45a4186a5ca09be84002b16a895a1f01c9c8bb6bd68ddf57b85ab45aaa","observation_id":"dc1422c7-8905-4bb8-b58b-3066b16f7b45","resolution":{"observed_at":"2026-08-07T11:48:04.314742Z","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-07T11:47:51.177369Z","title":"What are the preconditions?","venue":null,"work_id":"db1794de-31bd-4e81-94cb-a827a4559478","year":null},"citing_paper":{"arxiv_id":"2506.01531","last_updated":"2025-06-03T05:25:22Z","snapshot_observed_at":"2026-08-07T11:36:49.614569Z","submitted_at":"2025-06-02T10:48:49Z","title":"STORM-BORN: A Challenging Mathematical Derivations Dataset Curated via a Human-in-the-Loop Multi-Agent Framework","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-07T11:47:00.182821Z"},"links":{"citing_paper":"/paper/2506.01531"},"observation_digest":"sha256:0272da88b07994138fd38454e652ac76039f3936c840fa6d9f631460b4e0ee05","observation_id":"e5b1864c-d01d-4873-9f1a-9bdad8aa2212","resolution":{"observed_at":"2026-08-07T11:47:51.262476Z","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":"2212.10535","last_updated":"2023-06-22T01:37:02Z","snapshot_observed_at":"2026-07-06T14:33:08.041820Z","submitted_at":"2022-12-20T18:46:16Z","title":"A Survey of Deep Learning for Mathematical Reasoning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2212.10535","snapshot_observed_at":"2026-08-07T11:46:59.523795Z","title":"InThe Twelfth Inter- national Conference on Learning Representations","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.01531","last_updated":"2025-06-03T05:25:22Z","snapshot_observed_at":"2026-08-07T11:36:49.614569Z","submitted_at":"2025-06-02T10:48:49Z","title":"STORM-BORN: A Challenging Mathematical Derivations Dataset Curated via a Human-in-the-Loop Multi-Agent Framework","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-07T11:46:59.523795Z"},"links":{"cited_paper":"/paper/2212.10535","citing_paper":"/paper/2506.01531"},"observation_digest":"sha256:7afdabf3810f6efe2576aab48b4cc839248ffb83e3601556fd0574b221fcf641","observation_id":"00e78025-7152-48f8-b200-8688be57cbfa","resolution":{"observed_at":"2026-08-07T11:46:59.523795Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"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-07T11:46:59.558121Z","title":"InThirty-seventh Conference on Neural Information Processing Sys- tems","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.01531","last_updated":"2025-06-03T05:25:22Z","snapshot_observed_at":"2026-08-07T11:36:49.614569Z","submitted_at":"2025-06-02T10:48:49Z","title":"STORM-BORN: A Challenging Mathematical Derivations Dataset Curated via a Human-in-the-Loop Multi-Agent Framework","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-07T11:46:59.558121Z"},"links":{"cited_paper":"/paper/2402.03300","citing_paper":"/paper/2506.01531"},"observation_digest":"sha256:320b217b17e6da41700e3883a152bb4b04643dacb47352defd8f0ba947c0f772","observation_id":"6c627a46-ee1a-4a43-a408-ed5258bd3168","resolution":{"observed_at":"2026-08-07T11:46:59.558121Z","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-07T11:48:04.266359Z","title":"For each such formula, record its full content (in LaTeX format), its numbering (if any), and its name (if any)","venue":null,"work_id":"7b4615b3-22f6-4686-a49d-4e11f4475c14","year":null},"citing_paper":{"arxiv_id":"2506.01531","last_updated":"2025-06-03T05:25:22Z","snapshot_observed_at":"2026-08-07T11:36:49.614569Z","submitted_at":"2025-06-02T10:48:49Z","title":"STORM-BORN: A Challenging Mathematical Derivations Dataset Curated via a Human-in-the-Loop Multi-Agent Framework","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-07T11:46:59.772068Z"},"links":{"citing_paper":"/paper/2506.01531"},"observation_digest":"sha256:ea5cefc39725a57f98ce6a72549e15fef99890dc95e92db0004d901ae64ad268","observation_id":"cd3d1be9-b215-4ea4-b4da-591a158f643f","resolution":{"observed_at":"2026-08-07T11:48:04.277773Z","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-07T11:47:52.237771Z","title":null,"venue":null,"work_id":"7f31b93a-49cf-452a-9048-2cca3987ef63","year":null},"citing_paper":{"arxiv_id":"2506.01531","last_updated":"2025-06-03T05:25:22Z","snapshot_observed_at":"2026-08-07T11:36:49.614569Z","submitted_at":"2025-06-02T10:48:49Z","title":"STORM-BORN: A Challenging Mathematical Derivations Dataset Curated via a Human-in-the-Loop Multi-Agent Framework","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-07T11:46:59.816690Z"},"links":{"citing_paper":"/paper/2506.01531"},"observation_digest":"sha256:12b2da1c56ba5b8e7c313db063040ab62f1d289eb3739760965b37a9ed60463e","observation_id":"a08fd007-24ca-4fa2-8f67-73b6bf3b81b5","resolution":{"observed_at":"2026-08-07T11:48:04.251772Z","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-07T11:47:52.164508Z","title":"--- Step 2: Based on the extracted preconditions, generate a complete question that clearly asks how to derive or prove the formula","venue":null,"work_id":"38845a5c-fca4-42fb-bdf9-657550dcdf11","year":null},"citing_paper":{"arxiv_id":"2506.01531","last_updated":"2025-06-03T05:25:22Z","snapshot_observed_at":"2026-08-07T11:36:49.614569Z","submitted_at":"2025-06-02T10:48:49Z","title":"STORM-BORN: A Challenging Mathematical Derivations Dataset Curated via a Human-in-the-Loop Multi-Agent Framework","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-07T11:46:59.862477Z"},"links":{"citing_paper":"/paper/2506.01531"},"observation_digest":"sha256:3a026391c596c52673bf8f74ed4a210d490ba7fc68be39ec29ebc81c3fe1ae5d","observation_id":"723ca3ce-c5b6-4828-b29b-dc85b8bf45df","resolution":{"observed_at":"2026-08-07T11:47:52.197452Z","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-07T11:47:52.041182Z","title":"Do not only reference its number","venue":null,"work_id":"fd34af99-72d7-4dde-80b8-56ae1c291c9f","year":null},"citing_paper":{"arxiv_id":"2506.01531","last_updated":"2025-06-03T05:25:22Z","snapshot_observed_at":"2026-08-07T11:36:49.614569Z","submitted_at":"2025-06-02T10:48:49Z","title":"STORM-BORN: A Challenging Mathematical Derivations Dataset Curated via a Human-in-the-Loop Multi-Agent Framework","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-07T11:46:59.897805Z"},"links":{"citing_paper":"/paper/2506.01531"},"observation_digest":"sha256:8290328b6219d2f42019f65136cf532f16d4e8ef5b66f9de8cd45782ab130e4d","observation_id":"42e88853-2ba9-482b-9d60-16fb9087d975","resolution":{"observed_at":"2026-08-07T11:47:52.083536Z","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-07T11:47:51.962774Z","title":"What are the preconditions?","venue":null,"work_id":"9c4d88e6-6750-41dd-be92-9aba71bb9400","year":null},"citing_paper":{"arxiv_id":"2506.01531","last_updated":"2025-06-03T05:25:22Z","snapshot_observed_at":"2026-08-07T11:36:49.614569Z","submitted_at":"2025-06-02T10:48:49Z","title":"STORM-BORN: A Challenging Mathematical Derivations Dataset Curated via a Human-in-the-Loop Multi-Agent Framework","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-07T11:46:59.945221Z"},"links":{"citing_paper":"/paper/2506.01531"},"observation_digest":"sha256:332421b14b547807487b820edc54c29cc6520177580e17a44c710ef096a0ba28","observation_id":"57892674-49aa-4452-bee7-2a1213bd3337","resolution":{"observed_at":"2026-08-07T11:47:52.005924Z","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-07T11:47:51.900003Z","title":"formula,","venue":null,"work_id":"7943b129-911d-444b-9497-fbd5ed574a0e","year":null},"citing_paper":{"arxiv_id":"2506.01531","last_updated":"2025-06-03T05:25:22Z","snapshot_observed_at":"2026-08-07T11:36:49.614569Z","submitted_at":"2025-06-02T10:48:49Z","title":"STORM-BORN: A Challenging Mathematical Derivations Dataset Curated via a Human-in-the-Loop Multi-Agent Framework","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-07T11:46:59.981028Z"},"links":{"citing_paper":"/paper/2506.01531"},"observation_digest":"sha256:0e9e043c94f40001e58d705ddfe028dc278954a566cc5a58a61989853c5374e4","observation_id":"155deb1a-865d-482f-839d-afa14d63e19a","resolution":{"observed_at":"2026-08-07T11:47:51.919671Z","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-07T11:47:51.832567Z","title":"--- Important Notes:","venue":null,"work_id":"ea22283c-07cc-4fbe-9c4e-918584f7bfda","year":null},"citing_paper":{"arxiv_id":"2506.01531","last_updated":"2025-06-03T05:25:22Z","snapshot_observed_at":"2026-08-07T11:36:49.614569Z","submitted_at":"2025-06-02T10:48:49Z","title":"STORM-BORN: A Challenging Mathematical Derivations Dataset Curated via a Human-in-the-Loop Multi-Agent Framework","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-07T11:47:00.040830Z"},"links":{"citing_paper":"/paper/2506.01531"},"observation_digest":"sha256:a0717ca41db9a2f4525dadebdcaa7338b18c86239c2c4117fac0b0e48a36b170","observation_id":"58732eaa-0040-4ec1-ae8a-d630897dac12","resolution":{"observed_at":"2026-08-07T11:47:51.859700Z","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-07T11:47:51.773561Z","title":null,"venue":null,"work_id":"03fa5470-9d2d-4bc0-90b0-56f3a833ffb8","year":null},"citing_paper":{"arxiv_id":"2506.01531","last_updated":"2025-06-03T05:25:22Z","snapshot_observed_at":"2026-08-07T11:36:49.614569Z","submitted_at":"2025-06-02T10:48:49Z","title":"STORM-BORN: A Challenging Mathematical Derivations Dataset Curated via a Human-in-the-Loop Multi-Agent Framework","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-07T11:47:00.066334Z"},"links":{"citing_paper":"/paper/2506.01531"},"observation_digest":"sha256:a45f9bf6a68b754a9f89ef6910b25e92ddc690adf932b9b2102b6f37605967be","observation_id":"9ae64ac1-7b60-4673-89e3-a05f84cadb7c","resolution":{"observed_at":"2026-08-07T11:47:51.799018Z","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-07T11:47:51.579631Z","title":"Make sure they align with the original mathematical meaning","venue":null,"work_id":"527f3a67-6b0f-4e1b-90e8-85740f39077d","year":null},"citing_paper":{"arxiv_id":"2506.01531","last_updated":"2025-06-03T05:25:22Z","snapshot_observed_at":"2026-08-07T11:36:49.614569Z","submitted_at":"2025-06-02T10:48:49Z","title":"STORM-BORN: A Challenging Mathematical Derivations Dataset Curated via a Human-in-the-Loop Multi-Agent Framework","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-07T11:47:00.110537Z"},"links":{"citing_paper":"/paper/2506.01531"},"observation_digest":"sha256:175b34623c244ba5f8bc98a453c3f24e66f56f24c2ae79d1ced007e5ea47c5da","observation_id":"f3f4ef16-7dd7-40c6-a6ff-69b0fa4855e5","resolution":{"observed_at":"2026-08-07T11:47:51.659985Z","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-07T11:47:51.395088Z","title":"- Subscripts and superscripts: Convert subscripts and superscripts correctly","venue":null,"work_id":"02369bae-1393-42cc-ba7c-139fa6a638a3","year":null},"citing_paper":{"arxiv_id":"2506.01531","last_updated":"2025-06-03T05:25:22Z","snapshot_observed_at":"2026-08-07T11:36:49.614569Z","submitted_at":"2025-06-02T10:48:49Z","title":"STORM-BORN: A Challenging Mathematical Derivations Dataset Curated via a Human-in-the-Loop Multi-Agent Framework","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-07T11:47:00.148079Z"},"links":{"citing_paper":"/paper/2506.01531"},"observation_digest":"sha256:6c2c523313f6e73cf9586dabc451f7f1c05985bc1997900c0734b370a353c1cb","observation_id":"af05298d-dfad-43e4-8c6e-defbbac88f11","resolution":{"observed_at":"2026-08-07T11:47:51.487760Z","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-07T11:47:51.021415Z","title":"formula\",","venue":null,"work_id":"02e1d02b-bb89-4e6f-ba5a-c95d87e5e270","year":null},"citing_paper":{"arxiv_id":"2506.01531","last_updated":"2025-06-03T05:25:22Z","snapshot_observed_at":"2026-08-07T11:36:49.614569Z","submitted_at":"2025-06-02T10:48:49Z","title":"STORM-BORN: A Challenging Mathematical Derivations Dataset Curated via a Human-in-the-Loop Multi-Agent Framework","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-07T11:47:00.218660Z"},"links":{"citing_paper":"/paper/2506.01531"},"observation_digest":"sha256:2c6ba60752920da56b33181b5d1a2f37c8bd90f0202266c5d314527d688db5f2","observation_id":"3b44b932-d9e5-44c7-95b1-a91d1cd3d3d6","resolution":{"observed_at":"2026-08-07T11:47:51.088730Z","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-07T11:47:50.906960Z","title":"expression","venue":null,"work_id":"bdc6de5b-844c-4b6e-87c7-e156e3b85bb9","year":null},"citing_paper":{"arxiv_id":"2506.01531","last_updated":"2025-06-03T05:25:22Z","snapshot_observed_at":"2026-08-07T11:36:49.614569Z","submitted_at":"2025-06-02T10:48:49Z","title":"STORM-BORN: A Challenging Mathematical Derivations Dataset Curated via a Human-in-the-Loop Multi-Agent Framework","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-07T11:47:00.264028Z"},"links":{"citing_paper":"/paper/2506.01531"},"observation_digest":"sha256:bba43556e69a6349358ab9f15b4719ac632120d88147e92350be24af8017ae6b","observation_id":"811d226d-f429-45e7-950e-825ba4f535a4","resolution":{"observed_at":"2026-08-07T11:47:50.938754Z","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-07T11:47:50.819984Z","title":"- If there are any references or citations, follow those as well","venue":null,"work_id":"2b06b05f-d65f-4535-b0d0-4c56fe4930e5","year":null},"citing_paper":{"arxiv_id":"2506.01531","last_updated":"2025-06-03T05:25:22Z","snapshot_observed_at":"2026-08-07T11:36:49.614569Z","submitted_at":"2025-06-02T10:48:49Z","title":"STORM-BORN: A Challenging Mathematical Derivations Dataset Curated via a Human-in-the-Loop Multi-Agent Framework","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-07T11:47:00.306550Z"},"links":{"citing_paper":"/paper/2506.01531"},"observation_digest":"sha256:df5df5d5773862046dff97e57031a3531a83404dc2505582f775135d4a5407a7","observation_id":"53ecd6b0-d29e-4a68-a64e-ffe1fb94a82b","resolution":{"observed_at":"2026-08-07T11:47:50.865498Z","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-07T11:47:50.725831Z","title":"This may well be the answer to the question","venue":null,"work_id":"bd85f14e-b98f-44eb-a0db-8044c32b4b23","year":null},"citing_paper":{"arxiv_id":"2506.01531","last_updated":"2025-06-03T05:25:22Z","snapshot_observed_at":"2026-08-07T11:36:49.614569Z","submitted_at":"2025-06-02T10:48:49Z","title":"STORM-BORN: A Challenging Mathematical Derivations Dataset Curated via a Human-in-the-Loop Multi-Agent Framework","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-07T11:47:00.342019Z"},"links":{"citing_paper":"/paper/2506.01531"},"observation_digest":"sha256:c5f488ad5387c9b86c70872150d9106bc0fa5a00547a49819000008563666100","observation_id":"15b2bb96-0723-491a-8e1a-837b1dfd24de","resolution":{"observed_at":"2026-08-07T11:47:50.762074Z","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-07T11:47:50.638494Z","title":"- If the paper does indeed contain content that can answer the question, extract the relevant content from the original text","venue":null,"work_id":"7666254c-9b80-49af-82c9-9a66ce877cf6","year":null},"citing_paper":{"arxiv_id":"2506.01531","last_updated":"2025-06-03T05:25:22Z","snapshot_observed_at":"2026-08-07T11:36:49.614569Z","submitted_at":"2025-06-02T10:48:49Z","title":"STORM-BORN: A Challenging Mathematical Derivations Dataset Curated via a Human-in-the-Loop Multi-Agent Framework","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-07T11:47:00.378766Z"},"links":{"citing_paper":"/paper/2506.01531"},"observation_digest":"sha256:b2c06ca061dbbc71ae55992c5bd8b484209d30d8cbb3c0d1d1a8a4a96e12921f","observation_id":"5be796aa-e42b-47b5-a849-8dd93a547d30","resolution":{"observed_at":"2026-08-07T11:47:50.668278Z","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-07T11:47:50.559461Z","title":null,"venue":null,"work_id":"bd1b314e-ff59-4dd6-9c45-6b647a251491","year":null},"citing_paper":{"arxiv_id":"2506.01531","last_updated":"2025-06-03T05:25:22Z","snapshot_observed_at":"2026-08-07T11:36:49.614569Z","submitted_at":"2025-06-02T10:48:49Z","title":"STORM-BORN: A Challenging Mathematical Derivations Dataset Curated via a Human-in-the-Loop Multi-Agent Framework","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-07T11:47:00.421835Z"},"links":{"citing_paper":"/paper/2506.01531"},"observation_digest":"sha256:073e885bf94498a80d38a3297a753fc56f1e36a98bf9bbd8c222e0f9f211cc1b","observation_id":"d3381950-28a7-4827-9670-0fe5a057e5d9","resolution":{"observed_at":"2026-08-07T11:47:50.586947Z","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-07T11:47:50.462368Z","title":"--- ### Output Requirements:","venue":null,"work_id":"d38cce5f-8794-4413-a2e2-70235703759f","year":null},"citing_paper":{"arxiv_id":"2506.01531","last_updated":"2025-06-03T05:25:22Z","snapshot_observed_at":"2026-08-07T11:36:49.614569Z","submitted_at":"2025-06-02T10:48:49Z","title":"STORM-BORN: A Challenging Mathematical Derivations Dataset Curated via a Human-in-the-Loop Multi-Agent Framework","version":2},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-07T11:47:00.458087Z"},"links":{"citing_paper":"/paper/2506.01531"},"observation_digest":"sha256:79f96a21e899100e9046fad42c71b64f96cf82c79e0b3659460ec2109f0e3600","observation_id":"4a3d06a0-87dc-4ee1-8422-743c08c5cf88","resolution":{"observed_at":"2026-08-07T11:47:50.492961Z","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-07T11:47:50.364630Z","title":null,"venue":null,"work_id":"92b42b1d-16ea-4a4b-aec6-a30933f8491f","year":null},"citing_paper":{"arxiv_id":"2506.01531","last_updated":"2025-06-03T05:25:22Z","snapshot_observed_at":"2026-08-07T11:36:49.614569Z","submitted_at":"2025-06-02T10:48:49Z","title":"STORM-BORN: A Challenging Mathematical Derivations Dataset Curated via a Human-in-the-Loop Multi-Agent Framework","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-07T11:47:00.509598Z"},"links":{"citing_paper":"/paper/2506.01531"},"observation_digest":"sha256:2a3b0428573c7baca219a7e0e4d8d7fbc895c855051f11658c032feba8ad11e0","observation_id":"f5c34cbd-9c5c-4070-9343-a9e5652c0354","resolution":{"observed_at":"2026-08-07T11:47:50.408037Z","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-07T11:47:50.274606Z","title":null,"venue":null,"work_id":"b0020c3b-08cf-4aa0-8b35-ea9ad9f2d4e2","year":null},"citing_paper":{"arxiv_id":"2506.01531","last_updated":"2025-06-03T05:25:22Z","snapshot_observed_at":"2026-08-07T11:36:49.614569Z","submitted_at":"2025-06-02T10:48:49Z","title":"STORM-BORN: A Challenging Mathematical Derivations Dataset Curated via a Human-in-the-Loop Multi-Agent Framework","version":2},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-07T11:47:00.567259Z"},"links":{"citing_paper":"/paper/2506.01531"},"observation_digest":"sha256:ca62ed35f89424d1d35dedf251fd1da4eb3d9d0db9d8ab7c8dcf2f8196e311ad","observation_id":"97d2e3f3-8928-4d54-b84e-9839fa79ad65","resolution":{"observed_at":"2026-08-07T11:47:50.310504Z","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-07T11:47:50.156042Z","title":"$$\\\\pi_{r}(y | x)=\\\\frac{1}{Z (x)} \\\\pi_{r e f}(y | x) \\\\exp (\\\\frac{1}{\\\\beta} r (x, y)), $$(4)","venue":null,"work_id":"3b32ee48-7684-438f-aa79-95f368484488","year":null},"citing_paper":{"arxiv_id":"2506.01531","last_updated":"2025-06-03T05:25:22Z","snapshot_observed_at":"2026-08-07T11:36:49.614569Z","submitted_at":"2025-06-02T10:48:49Z","title":"STORM-BORN: A Challenging Mathematical Derivations Dataset Curated via a Human-in-the-Loop Multi-Agent Framework","version":2},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-07T11:47:00.600751Z"},"links":{"citing_paper":"/paper/2506.01531"},"observation_digest":"sha256:11940b525ed57816e05ac81c4844661bec657ea14a4a33f0d4b76cc3993832d2","observation_id":"d82b8e3e-319f-43ce-aa25-e4fdfb3ea4ad","resolution":{"observed_at":"2026-08-07T11:47:50.206417Z","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-07T11:47:50.054862Z","title":"- 1: Partially correct with significant flaws","venue":null,"work_id":"fe239400-cdab-49da-9bfa-24cf4677d722","year":null},"citing_paper":{"arxiv_id":"2506.01531","last_updated":"2025-06-03T05:25:22Z","snapshot_observed_at":"2026-08-07T11:36:49.614569Z","submitted_at":"2025-06-02T10:48:49Z","title":"STORM-BORN: A Challenging Mathematical Derivations Dataset Curated via a Human-in-the-Loop Multi-Agent Framework","version":2},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-07T11:47:00.634499Z"},"links":{"citing_paper":"/paper/2506.01531"},"observation_digest":"sha256:20ab7861f4a99b15c5a4c4f0b0db826e92ecb7660517f1d308422976d60cde8a","observation_id":"01da026a-a6ee-4a02-a0fb-911ae7c4c4a6","resolution":{"observed_at":"2026-08-07T11:47:50.078527Z","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-07T11:47:49.925974Z","title":"- 1: Moderately complete; some steps or justifications are missing","venue":null,"work_id":"bef22aea-c705-4124-aac1-337e5fb442bc","year":null},"citing_paper":{"arxiv_id":"2506.01531","last_updated":"2025-06-03T05:25:22Z","snapshot_observed_at":"2026-08-07T11:36:49.614569Z","submitted_at":"2025-06-02T10:48:49Z","title":"STORM-BORN: A Challenging Mathematical Derivations Dataset Curated via a Human-in-the-Loop Multi-Agent Framework","version":2},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-07T11:47:00.668566Z"},"links":{"citing_paper":"/paper/2506.01531"},"observation_digest":"sha256:a0464d234bf0f0df8ba88cee9c4b74b279751fc5564cd727c2a7ec6505b4e002","observation_id":"f8c99f8a-83cb-4203-8b29-45a4663fc80c","resolution":{"observed_at":"2026-08-07T11:47:49.986777Z","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-07T11:47:49.793935Z","title":"correctness","venue":null,"work_id":"0f7d0bf9-0cdc-4707-8b18-b0cdeeaf05b5","year":null},"citing_paper":{"arxiv_id":"2506.01531","last_updated":"2025-06-03T05:25:22Z","snapshot_observed_at":"2026-08-07T11:36:49.614569Z","submitted_at":"2025-06-02T10:48:49Z","title":"STORM-BORN: A Challenging Mathematical Derivations Dataset Curated via a Human-in-the-Loop Multi-Agent Framework","version":2},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-07T11:47:00.702971Z"},"links":{"citing_paper":"/paper/2506.01531"},"observation_digest":"sha256:9441ee9189962a7e07a193ab2b6dec12b7365a9f907914b61992ab1425481a03","observation_id":"a22dc27f-9d2f-4d2d-8918-6326e05619c3","resolution":{"observed_at":"2026-08-07T11:47:49.833255Z","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-07T11:46:59.453119Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2506.01531","last_updated":"2025-06-03T05:25:22Z","snapshot_observed_at":"2026-08-07T11:36:49.614569Z","submitted_at":"2025-06-02T10:48:49Z","title":"STORM-BORN: A Challenging Mathematical Derivations Dataset Curated via a Human-in-the-Loop Multi-Agent Framework","version":2},"reference_index":2015,"source":"pdf_text","source_observed_at":"2026-08-07T11:46:59.453119Z"},"links":{"citing_paper":"/paper/2506.01531"},"observation_digest":"sha256:a01865a3801fd4604f57326092f9babc7fbe1c0eb61d341f11dd9f1d485a1836","observation_id":"5bc80ed9-58bb-41a3-8b4a-5d39ed95a108","resolution":{"observed_at":"2026-08-07T11:46:59.453119Z","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-07T11:46:59.417903Z","title":"Leonardo Mendonça de Moura, Soonho Kong, Jeremy Avigad, Floris van Doorn, and Jakob von Raumer","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.01531","last_updated":"2025-06-03T05:25:22Z","snapshot_observed_at":"2026-08-07T11:36:49.614569Z","submitted_at":"2025-06-02T10:48:49Z","title":"STORM-BORN: A Challenging Mathematical Derivations Dataset Curated via a Human-in-the-Loop Multi-Agent Framework","version":2},"reference_index":2021,"source":"pdf_text","source_observed_at":"2026-08-07T11:46:59.417903Z"},"links":{"cited_paper":"/paper/2110.14168","citing_paper":"/paper/2506.01531"},"observation_digest":"sha256:1278e0ac7199c944bdbcfdbdd4f4657dea5db0398c26301218d9e2987f0f2ec1","observation_id":"ed737cec-2708-46ba-86fd-336d26e91957","resolution":{"observed_at":"2026-08-07T11:46:59.417903Z","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-07T11:48:04.390002Z","title":"InInternational Conference on Learning Representations","venue":null,"work_id":"1cb8453b-4a40-4b91-b897-01fa66afad24","year":null},"citing_paper":{"arxiv_id":"2506.01531","last_updated":"2025-06-03T05:25:22Z","snapshot_observed_at":"2026-08-07T11:36:49.614569Z","submitted_at":"2025-06-02T10:48:49Z","title":"STORM-BORN: A Challenging Mathematical Derivations Dataset Curated via a Human-in-the-Loop Multi-Agent Framework","version":2},"reference_index":2022,"source":"pdf_text","source_observed_at":"2026-08-07T11:46:59.603428Z"},"links":{"citing_paper":"/paper/2506.01531"},"observation_digest":"sha256:84978efb3503f8cb0688d2113d9cb12abe6b656a6453e1c41ff4462931d3c883","observation_id":"a1d85491-aec0-4094-a166-626381f817e1","resolution":{"observed_at":"2026-08-07T11:48:04.403451Z","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":"2307.03109","last_updated":"2023-12-29T02:12:03Z","snapshot_observed_at":"2026-08-05T13:54:21.157165Z","submitted_at":"2023-07-06T16:28:35Z","title":"A Survey on Evaluation of Large Language Models","version":9},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2307.03109","snapshot_observed_at":"2026-08-07T11:46:59.381909Z","title":"Nuo Chen, Yuhan Li, Jianheng Tang, and Jia Li","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.01531","last_updated":"2025-06-03T05:25:22Z","snapshot_observed_at":"2026-08-07T11:36:49.614569Z","submitted_at":"2025-06-02T10:48:49Z","title":"STORM-BORN: A Challenging Mathematical Derivations Dataset Curated via a Human-in-the-Loop Multi-Agent Framework","version":2},"reference_index":2023,"source":"pdf_text","source_observed_at":"2026-08-07T11:46:59.381909Z"},"links":{"cited_paper":"/paper/2307.03109","citing_paper":"/paper/2506.01531"},"observation_digest":"sha256:70e863437f145886dc5a764138a2e1f430c2d568168c5060748ad45259a27806","observation_id":"30ae2ad4-2b48-4ec0-b373-ad089ae18ed7","resolution":{"observed_at":"2026-08-07T11:46:59.381909Z","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":"2402.12692","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:47:00.891849Z","title":"[https://huggingface","venue":null,"work_id":"e1390938-6f14-49e8-a37f-cd8d251c2698","year":2025},"citing_paper":{"arxiv_id":"2506.01531","last_updated":"2025-06-03T05:25:22Z","snapshot_observed_at":"2026-08-07T11:36:49.614569Z","submitted_at":"2025-06-02T10:48:49Z","title":"STORM-BORN: A Challenging Mathematical Derivations Dataset Curated via a Human-in-the-Loop Multi-Agent Framework","version":2},"reference_index":2024,"source":"pdf_text","source_observed_at":"2026-08-07T11:46:59.487887Z"},"links":{"citing_paper":"/paper/2506.01531"},"observation_digest":"sha256:cfa07292c0c8aeea8c8743d0470225b84da6eb661c4327bfdc1e238e0eb90959","observation_id":"68be2d71-4036-439f-8d92-29501c1d58cf","resolution":{"observed_at":"2026-08-07T11:47:49.598609Z","resolver_source":"raw_fallback","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":"2502.02737","last_updated":"2025-02-04T21:43:16Z","snapshot_observed_at":"2026-08-10T04:07:56.506438Z","submitted_at":"2025-02-04T21:43:16Z","title":"SmolLM2: When Smol Goes Big -- Data-Centric Training of a Small Language Model","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.02737","snapshot_observed_at":"2026-08-07T11:46:59.341494Z","title":"Zhangir Azerbayev, Bartosz Piotrowski, Hailey Schoelkopf, Edward W","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.01531","last_updated":"2025-06-03T05:25:22Z","snapshot_observed_at":"2026-08-07T11:36:49.614569Z","submitted_at":"2025-06-02T10:48:49Z","title":"STORM-BORN: A Challenging Mathematical Derivations Dataset Curated via a Human-in-the-Loop Multi-Agent Framework","version":2},"reference_index":2025,"source":"pdf_text","source_observed_at":"2026-08-07T11:46:59.341494Z"},"links":{"cited_paper":"/paper/2502.02737","citing_paper":"/paper/2506.01531"},"observation_digest":"sha256:7cb9451259f69471d3e48781549045ffda016d838545bb043461afb82b54f21d","observation_id":"e575b303-7e7b-4da4-8efb-cfd1cc853d33","resolution":{"observed_at":"2026-08-07T11:46:59.341494Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2506.01531","last_updated":"2025-06-03T05:25:22Z","latest_version":2,"primary_category":"cs.CL","snapshot_observed_at":"2026-08-07T11:36:49.614569Z","submitted_at":"2025-06-02T10:48:49Z","title":"STORM-BORN: A Challenging Mathematical Derivations Dataset Curated via a Human-in-the-Loop Multi-Agent Framework"},"reference_resolution":{"displayed":35,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":11,"verified_exact":1,"verified_fuzzy":23},"total_outbound_references":35},"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 35 of 35 outbound references and 0 inbound Pith citation observations for arXiv:2506.01531."}