{"as_of":"2026-08-23T01:25:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:ac22dc554f08e37e073b54e9aec4a4812d3dcfe1de3eff1905eb28434eb9b6dd","coverage":[{"denominator":60,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":60,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-10T20:39:42.009312Z","state":"measured"},{"denominator":60,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":60,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-22T06:32:14.747728+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/2607.06820/citation-record","integrity":"/paper/2607.06820/integrity","json":"/paper/2607.06820/citation-record.json","paper":"/paper/2607.06820"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T20:47:34.938036Z","title":"and Li, Wenda and Rabe, Markus N","venue":null,"work_id":"0ccb30f5-c81e-431d-bab2-5b718da12680","year":null},"citing_paper":{"arxiv_id":"2607.06820","last_updated":"2026-07-07T21:29:59Z","snapshot_observed_at":"2026-08-16T19:05:13.709899Z","submitted_at":"2026-07-07T21:29:59Z","title":"Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-07-10T20:39:42.009312Z"},"links":{"citing_paper":"/paper/2607.06820"},"observation_digest":"sha256:90e9b88144cdb7a55ec6094f8d67811f6ae858d9a77f6c9c3e2d0d0ad70ef5f5","observation_id":"d99533eb-31ad-4138-9ff2-4682572f48af","resolution":{"observed_at":"2026-07-10T20:47:34.939189Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2508.03613","last_updated":"2025-08-05T16:28:22Z","snapshot_observed_at":"2026-08-22T06:16:13.377123Z","submitted_at":"2025-08-05T16:28:22Z","title":"Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction","version":1},"cited_work":{"arxiv_id":"2508.03613","doi":"10.48550/arxiv.2508.03613","metadata_source":"pith","pith_arxiv_id":"2508.03613","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction","venue":"cs.LG","work_id":"cfdb69bb-3c0b-41d3-bd34-3167a6931bb2","year":2025},"citing_paper":{"arxiv_id":"2607.06820","last_updated":"2026-07-07T21:29:59Z","snapshot_observed_at":"2026-08-16T19:05:13.709899Z","submitted_at":"2026-07-07T21:29:59Z","title":"Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-07-10T20:39:42.009312Z"},"links":{"cited_paper":"/paper/2508.03613","citing_paper":"/paper/2607.06820"},"observation_digest":"sha256:ddee5f3aa397cb6703040abd0a92ee8756c774dcc6690952e820454ad46702cd","observation_id":"d975de68-0ca0-4a90-9605-4f35d35a14c6","resolution":{"observed_at":"2026-07-10T20:47:34.588712Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-07-12T04:49:11.143969+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-12T04:49:11.143969+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2510.01346","last_updated":"2025-10-10T20:12:14Z","snapshot_observed_at":"2026-08-20T12:27:32.948068Z","submitted_at":"2025-10-01T18:21:13Z","title":"Aristotle: IMO-level Automated Theorem Proving","version":2},"cited_work":{"arxiv_id":"2510.01346","doi":"10.48550/arxiv.2510.01346","metadata_source":"pith","pith_arxiv_id":"2510.01346","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Aristotle: IMO-level Automated Theorem Proving","venue":"cs.AI","work_id":"6c61af2f-a34a-4647-9111-6ba5a60f6bc2","year":2025},"citing_paper":{"arxiv_id":"2607.06820","last_updated":"2026-07-07T21:29:59Z","snapshot_observed_at":"2026-08-16T19:05:13.709899Z","submitted_at":"2026-07-07T21:29:59Z","title":"Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-07-10T20:39:42.009312Z"},"links":{"cited_paper":"/paper/2510.01346","citing_paper":"/paper/2607.06820"},"observation_digest":"sha256:8254ef9f2035f7aca05916bc60a202dfc30acb8f678b27e95e710910c82ef6c8","observation_id":"a5420979-ff72-4e3d-8f2d-786105c89d48","resolution":{"observed_at":"2026-07-10T20:47:34.604826Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-21T19:38:16.326275+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-21T19:38:16.326275+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2601.07421","doi":"10.48550/arxiv.2601.07421","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Resolution of erdős problem #728: a writeup of aristotle’s lean proof","venue":"arXiv (Cornell University)","work_id":"c65f736b-dd6e-4c6b-95f4-683691ac5664","year":2026},"citing_paper":{"arxiv_id":"2607.06820","last_updated":"2026-07-07T21:29:59Z","snapshot_observed_at":"2026-08-16T19:05:13.709899Z","submitted_at":"2026-07-07T21:29:59Z","title":"Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-07-10T20:39:42.009312Z"},"links":{"citing_paper":"/paper/2607.06820"},"observation_digest":"sha256:22851754eaa1861c52a6268cbff87f0d4318993865b0412811d3d83169abf9a8","observation_id":"23f4368d-cfdd-403c-8917-3b4f5ae7bded","resolution":{"observed_at":"2026-07-10T20:47:34.594120Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-07-10T20:47:34.991713Z","title":"and Stillman, Michael E","venue":null,"work_id":"0ba444fe-1d14-4549-83f0-950b9a6de474","year":null},"citing_paper":{"arxiv_id":"2607.06820","last_updated":"2026-07-07T21:29:59Z","snapshot_observed_at":"2026-08-16T19:05:13.709899Z","submitted_at":"2026-07-07T21:29:59Z","title":"Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-07-10T20:39:42.009312Z"},"links":{"citing_paper":"/paper/2607.06820"},"observation_digest":"sha256:8e65b071ac3d6a1e523482de9bc0eda15764187ae10b85885ac2a10b9f60db31","observation_id":"ed4f7a28-2336-4730-8239-fcb7de13a3a5","resolution":{"observed_at":"2026-07-10T20:47:34.992756Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"1996.0125","doi":"10.1006/eujc.1996.0125","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Bosma, J","venue":"European Journal of Combinatorics","work_id":"06215236-1c77-43c5-b35a-fbcef91b5ec6","year":1997},"citing_paper":{"arxiv_id":"2607.06820","last_updated":"2026-07-07T21:29:59Z","snapshot_observed_at":"2026-08-16T19:05:13.709899Z","submitted_at":"2026-07-07T21:29:59Z","title":"Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-07-10T20:39:42.009312Z"},"links":{"citing_paper":"/paper/2607.06820"},"observation_digest":"sha256:a0c253e12e315d1f6b92de10b46839b2ce188411110c5e90ba2fe67fc81c565f","observation_id":"f9f41cbb-0e13-4ace-83b6-e664bb164ea7","resolution":{"observed_at":"2026-07-10T20:47:34.409185Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-07-10T20:47:34.993287Z","title":null,"venue":null,"work_id":"649c1bb6-fff8-44d6-a9d8-3cef37e5ac64","year":null},"citing_paper":{"arxiv_id":"2607.06820","last_updated":"2026-07-07T21:29:59Z","snapshot_observed_at":"2026-08-16T19:05:13.709899Z","submitted_at":"2026-07-07T21:29:59Z","title":"Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-07-10T20:39:42.009312Z"},"links":{"citing_paper":"/paper/2607.06820"},"observation_digest":"sha256:4ac4270655611d3ca887c17b7ebf221641a5ba169862beeede4564a4dddf141a","observation_id":"429a0523-369c-4ab0-9df8-87d9b3e3c279","resolution":{"observed_at":"2026-07-10T20:47:34.994289Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-07-10T20:47:34.988399Z","title":"International Conference on Learning Representations (ICLR) , year =","venue":null,"work_id":"e5e5f02f-8ce6-4865-8c75-70ae0acb7560","year":null},"citing_paper":{"arxiv_id":"2607.06820","last_updated":"2026-07-07T21:29:59Z","snapshot_observed_at":"2026-08-16T19:05:13.709899Z","submitted_at":"2026-07-07T21:29:59Z","title":"Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-07-10T20:39:42.009312Z"},"links":{"citing_paper":"/paper/2607.06820"},"observation_digest":"sha256:6565ccf51e706b0bb55ec93b77fde92100babf9e4364f2e52b07a82fcee1b90d","observation_id":"1f6fdb93-d777-4235-9292-71a4439bfba8","resolution":{"observed_at":"2026-07-10T20:47:34.989523Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1038/s41586-025-09833-y","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"URL https://aclanthology.org/2025","venue":"Nature","work_id":"7185d70a-ddd1-45ed-bbec-e728c41ebf52","year":2025},"citing_paper":{"arxiv_id":"2607.06820","last_updated":"2026-07-07T21:29:59Z","snapshot_observed_at":"2026-08-16T19:05:13.709899Z","submitted_at":"2026-07-07T21:29:59Z","title":"Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-07-10T20:39:42.009312Z"},"links":{"citing_paper":"/paper/2607.06820"},"observation_digest":"sha256:90a320dc1c66bad45f3a6575b0a28ae797d7eddd6d40ea8646f75ece611c0e5d","observation_id":"9af54a61-7133-4b0b-8e46-07fe7bd9572f","resolution":{"observed_at":"2026-07-10T20:47:34.403800Z","resolver_source":"doi","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-03T17:38:21.778911+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-03T17:38:21.778911+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-22T06:32:06.552537+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-07-10T20:47:34.990096Z","title":null,"venue":null,"work_id":"0154207e-5a99-428e-b39a-838bd8c99763","year":2025},"citing_paper":{"arxiv_id":"2607.06820","last_updated":"2026-07-07T21:29:59Z","snapshot_observed_at":"2026-08-16T19:05:13.709899Z","submitted_at":"2026-07-07T21:29:59Z","title":"Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-07-10T20:39:42.009312Z"},"links":{"citing_paper":"/paper/2607.06820"},"observation_digest":"sha256:524f27a9596e5627a12e84baa7b7515c8647637160289c58fff20f1c3a041fa3","observation_id":"558e382d-f967-45a1-be89-dc9db0726359","resolution":{"observed_at":"2026-07-10T20:47:34.991137Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.14333","last_updated":"2024-05-23T09:03:42Z","snapshot_observed_at":"2026-08-16T13:50:18.721796Z","submitted_at":"2024-05-23T09:03:42Z","title":"DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data","version":1},"cited_work":{"arxiv_id":"2405.14333","doi":"10.48550/arxiv.2405.14333","metadata_source":"pith","pith_arxiv_id":"2405.14333","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Deepseek-prover: Advancing theorem proving in llms through large-scale synthetic data.https: //arxiv.org/abs/2405.14333","venue":"cs.AI","work_id":"dbc70c01-dc01-42b7-8edc-25b7f061d5d6","year":2024},"citing_paper":{"arxiv_id":"2607.06820","last_updated":"2026-07-07T21:29:59Z","snapshot_observed_at":"2026-08-16T19:05:13.709899Z","submitted_at":"2026-07-07T21:29:59Z","title":"Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-07-10T20:39:42.009312Z"},"links":{"cited_paper":"/paper/2405.14333","citing_paper":"/paper/2607.06820"},"observation_digest":"sha256:d591fc0af77082b6430ebd0d9e30f21227f9e398323c29cbf4e4b3e8f0942d85","observation_id":"ffe5f83a-c5f5-4bbd-aa05-e110a8da6b61","resolution":{"observed_at":"2026-07-10T20:47:34.607390Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-02T03:08:14.905938+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-02T03:08:14.905938+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2504.21801","last_updated":"2025-07-18T08:20:23Z","snapshot_observed_at":"2026-08-02T11:46:58.603316Z","submitted_at":"2025-04-30T16:57:48Z","title":"DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition","version":2},"cited_work":{"arxiv_id":"2504.21801","doi":"10.48550/arxiv.2504.21801","metadata_source":"pith","pith_arxiv_id":"2504.21801","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition","venue":"cs.CL","work_id":"3579ad7c-ab73-41db-801b-bf86628c5c02","year":2025},"citing_paper":{"arxiv_id":"2607.06820","last_updated":"2026-07-07T21:29:59Z","snapshot_observed_at":"2026-08-16T19:05:13.709899Z","submitted_at":"2026-07-07T21:29:59Z","title":"Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-07-10T20:39:42.009312Z"},"links":{"cited_paper":"/paper/2504.21801","citing_paper":"/paper/2607.06820"},"observation_digest":"sha256:164ded4a7e9b2c53ed409586b2baa3fb599f48b9d166965ac61f5a61b88b70fb","observation_id":"324d231d-af47-456c-a759-53f8e5b992cf","resolution":{"observed_at":"2026-07-10T20:47:34.610462Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-07-12T04:49:13.361719+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-12T04:49:13.361719+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2504.11354","last_updated":"2025-04-15T16:23:44Z","snapshot_observed_at":"2026-08-15T23:16:36.618851Z","submitted_at":"2025-04-15T16:23:44Z","title":"Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning","version":1},"cited_work":{"arxiv_id":"2504.11354","doi":"10.18653/v1/2025.acl-long.1565","metadata_source":"pith","pith_arxiv_id":"2504.11354","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning","venue":"cs.AI","work_id":"0ff53eb8-7b88-4c00-8ba0-5f90f9a97f90","year":2025},"citing_paper":{"arxiv_id":"2607.06820","last_updated":"2026-07-07T21:29:59Z","snapshot_observed_at":"2026-08-16T19:05:13.709899Z","submitted_at":"2026-07-07T21:29:59Z","title":"Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-07-10T20:39:42.009312Z"},"links":{"cited_paper":"/paper/2504.11354","citing_paper":"/paper/2607.06820"},"observation_digest":"sha256:c1144dd525cb141c2f4fcdb061a346e1ac7d9612fb7e184f034193fbcd53f8da","observation_id":"e2bb967b-34d4-46b3-a364-45c78cada465","resolution":{"observed_at":"2026-07-10T20:47:34.624607Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-07-12T16:19:43.22822+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-12T16:19:43.22822+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2507.23726","last_updated":"2025-08-01T03:36:47Z","snapshot_observed_at":"2026-08-15T06:06:32.807242Z","submitted_at":"2025-07-31T17:00:30Z","title":"Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving","version":2},"cited_work":{"arxiv_id":"2507.23726","doi":"10.48550/arxiv.2507.23726","metadata_source":"pith","pith_arxiv_id":"2507.23726","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Seed-prover: Deep and broad reasoning for automated theorem proving","venue":"cs.AI","work_id":"a5329c4e-41eb-48e2-b93a-3c8a6e30eec9","year":2025},"citing_paper":{"arxiv_id":"2607.06820","last_updated":"2026-07-07T21:29:59Z","snapshot_observed_at":"2026-08-16T19:05:13.709899Z","submitted_at":"2026-07-07T21:29:59Z","title":"Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-07-10T20:39:42.009312Z"},"links":{"cited_paper":"/paper/2507.23726","citing_paper":"/paper/2607.06820"},"observation_digest":"sha256:09471a8610e74a4296a260f77e95061f91a0031b3729620c6c31b8f690f2a8b9","observation_id":"265e7fb2-de35-4cad-b8a2-10376b0421b3","resolution":{"observed_at":"2026-07-10T20:47:34.622094Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-07-12T04:49:08.802822+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-12T04:49:08.802822+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2511.22570","doi":"10.48550/arxiv.2511.22570","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Deepseekmath-v2: Towards self-verifiable mathematical reasoning","venue":"ArXiv.org","work_id":"b98ba1e9-8a01-4da9-b050-43dff9ef5fab","year":2025},"citing_paper":{"arxiv_id":"2607.06820","last_updated":"2026-07-07T21:29:59Z","snapshot_observed_at":"2026-08-16T19:05:13.709899Z","submitted_at":"2026-07-07T21:29:59Z","title":"Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-07-10T20:39:42.009312Z"},"links":{"citing_paper":"/paper/2607.06820"},"observation_digest":"sha256:58416a8083f13f01a280e443690b28a111303908b99892c681b3b7bafe3bd389","observation_id":"09fbc6cb-0b4b-4b31-89e3-3eeeb5f1d0fc","resolution":{"observed_at":"2026-07-10T20:47:34.575165Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-07-10T20:47:34.996519Z","title":"Advances in Neural Information Processing Systems (NeurIPS) Datasets and Benchmarks Track , year =","venue":null,"work_id":"ab523c3b-0030-4558-b36c-789d8b57ab69","year":null},"citing_paper":{"arxiv_id":"2607.06820","last_updated":"2026-07-07T21:29:59Z","snapshot_observed_at":"2026-08-16T19:05:13.709899Z","submitted_at":"2026-07-07T21:29:59Z","title":"Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-07-10T20:39:42.009312Z"},"links":{"citing_paper":"/paper/2607.06820"},"observation_digest":"sha256:ca5a71c46205b0e542dcf6d8ecec387225df834d448161e23f8f0535d26ac33b","observation_id":"dae89125-4003-4c46-a98b-9ab7e3ac1379","resolution":{"observed_at":"2026-07-10T20:47:34.997680Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-07-10T20:47:34.994842Z","title":null,"venue":null,"work_id":"201b79bd-3da4-4d87-a0f5-c7d65b24d83b","year":null},"citing_paper":{"arxiv_id":"2607.06820","last_updated":"2026-07-07T21:29:59Z","snapshot_observed_at":"2026-08-16T19:05:13.709899Z","submitted_at":"2026-07-07T21:29:59Z","title":"Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-07-10T20:39:42.009312Z"},"links":{"citing_paper":"/paper/2607.06820"},"observation_digest":"sha256:7b7b92e98387f5a0d5e64266e063e5379a26e44e7c77406e3cd59e380eda04df","observation_id":"50735e88-fe4d-4377-b53b-eadbc8aa639b","resolution":{"observed_at":"2026-07-10T20:47:34.995930Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-07-10T20:47:34.998225Z","title":"and Motwani, Sumeet and Roggeveen, James V","venue":null,"work_id":"575e5c10-93d6-4b06-b05f-9cb90889cd0b","year":null},"citing_paper":{"arxiv_id":"2607.06820","last_updated":"2026-07-07T21:29:59Z","snapshot_observed_at":"2026-08-16T19:05:13.709899Z","submitted_at":"2026-07-07T21:29:59Z","title":"Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-07-10T20:39:42.009312Z"},"links":{"citing_paper":"/paper/2607.06820"},"observation_digest":"sha256:f94e5b731982d584ae9a7bfdecd667df951eac89b982d16f5cc10dd61c7678d6","observation_id":"bc63dccc-7b06-43ab-a2da-eae89e1536d8","resolution":{"observed_at":"2026-07-10T20:47:34.999333Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-07-10T20:47:34.978480Z","title":"2024 , note =","venue":null,"work_id":"060dcaa4-aea7-4a76-a143-04ab466b6682","year":2024},"citing_paper":{"arxiv_id":"2607.06820","last_updated":"2026-07-07T21:29:59Z","snapshot_observed_at":"2026-08-16T19:05:13.709899Z","submitted_at":"2026-07-07T21:29:59Z","title":"Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-07-10T20:39:42.009312Z"},"links":{"citing_paper":"/paper/2607.06820"},"observation_digest":"sha256:0eb7b4a6dcbd9e68a23e3bc6deaba7120789c21411d80d5dce4431bc0d05762e","observation_id":"4ccc92ed-79e3-4f3f-aebb-069d3bc7458a","resolution":{"observed_at":"2026-07-10T20:47:34.979583Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-07-10T20:47:34.971993Z","title":"2026 , eprint =","venue":null,"work_id":"06ac0b7e-1caa-4fea-890b-723cbe6efa65","year":2026},"citing_paper":{"arxiv_id":"2607.06820","last_updated":"2026-07-07T21:29:59Z","snapshot_observed_at":"2026-08-16T19:05:13.709899Z","submitted_at":"2026-07-07T21:29:59Z","title":"Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-07-10T20:39:42.009312Z"},"links":{"citing_paper":"/paper/2607.06820"},"observation_digest":"sha256:15e2e808a448244c1673ca72bbde7bcba8d0a97fc5b6a4929b677929201f93b6","observation_id":"745fec24-2db5-4ff8-bae5-a166ed644dfd","resolution":{"observed_at":"2026-07-10T20:47:34.973061Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2411.04872","last_updated":"2025-12-23T02:23:47Z","snapshot_observed_at":"2026-08-13T13:45:44.430193Z","submitted_at":"2024-11-07T17:07:35Z","title":"FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI","version":7},"cited_work":{"arxiv_id":"2411.04872","doi":null,"metadata_source":"pith","pith_arxiv_id":"2411.04872","snapshot_observed_at":"2026-07-10T20:47:34.579097Z","title":"FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI","venue":"cs.AI","work_id":"ad91b1d8-7c7c-4daf-8c63-8f81bb5a810a","year":2024},"citing_paper":{"arxiv_id":"2607.06820","last_updated":"2026-07-07T21:29:59Z","snapshot_observed_at":"2026-08-16T19:05:13.709899Z","submitted_at":"2026-07-07T21:29:59Z","title":"Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-07-10T20:39:42.009312Z"},"links":{"cited_paper":"/paper/2411.04872","citing_paper":"/paper/2607.06820"},"observation_digest":"sha256:3cbb5b795be1b39507a5279e495a8fb3cf19459c43b427b3f3e8ffb825dda8da","observation_id":"bf1d33b7-b1f6-4caa-a905-0a9e94defc9e","resolution":{"observed_at":"2026-07-10T20:47:34.580650Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-07-10T20:47:34.976755Z","title":"Advances in Neural Information Processing Systems (NeurIPS) Datasets and Benchmarks Track , year =","venue":null,"work_id":"a1c95285-e7e6-4b91-8b47-765eee762871","year":null},"citing_paper":{"arxiv_id":"2607.06820","last_updated":"2026-07-07T21:29:59Z","snapshot_observed_at":"2026-08-16T19:05:13.709899Z","submitted_at":"2026-07-07T21:29:59Z","title":"Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-07-10T20:39:42.009312Z"},"links":{"citing_paper":"/paper/2607.06820"},"observation_digest":"sha256:d3a8ae942102ce4134bebbfefe3f77f7319c1a0eb092854d81d5c9698b301c5a","observation_id":"dae8f73a-4da1-4a07-9ed1-4bfc6a9e306a","resolution":{"observed_at":"2026-07-10T20:47:34.977920Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-07-11T02:37:54.519855Z","title":null,"venue":null,"work_id":"72647878-5eae-4741-b770-5602b7561189","year":2026},"citing_paper":{"arxiv_id":"2607.06820","last_updated":"2026-07-07T21:29:59Z","snapshot_observed_at":"2026-08-16T19:05:13.709899Z","submitted_at":"2026-07-07T21:29:59Z","title":"Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-07-10T20:39:42.009312Z"},"links":{"citing_paper":"/paper/2607.06820"},"observation_digest":"sha256:5809a8c95d2a11fdcd4e1d175b55b631844d337ef993a64c2154d0edf0cd5b28","observation_id":"121dca80-a8f8-4417-9af6-362c32aeae04","resolution":{"observed_at":"2026-07-10T20:47:34.966290Z","resolver_source":"raw_fallback","status":"parse_uncertain"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2509.26076","last_updated":"2026-07-09T16:12:00Z","snapshot_observed_at":"2026-08-22T13:48:50.152359Z","submitted_at":"2025-09-30T10:50:37Z","title":"IMProofBench: Benchmarking AI on Research-Level Mathematical Proof Generation","version":2},"cited_work":{"arxiv_id":"2509.26076","doi":null,"metadata_source":"pith","pith_arxiv_id":"2509.26076","snapshot_observed_at":"2026-07-10T20:47:34.576528Z","title":"Thomas, and Charles Vial","venue":"cs.CL","work_id":"7313e180-f76c-42c5-b960-70b1f0d0ac40","year":2025},"citing_paper":{"arxiv_id":"2607.06820","last_updated":"2026-07-07T21:29:59Z","snapshot_observed_at":"2026-08-16T19:05:13.709899Z","submitted_at":"2026-07-07T21:29:59Z","title":"Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-07-10T20:39:42.009312Z"},"links":{"cited_paper":"/paper/2509.26076","citing_paper":"/paper/2607.06820"},"observation_digest":"sha256:7df6412cb106f068a32c607f778116bb5501cd5177df41f63e4e4dbb442dede8","observation_id":"1f328be5-23e9-4f65-acc4-f99081908c3c","resolution":{"observed_at":"2026-07-10T20:47:34.577936Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-07-10T20:47:34.966926Z","title":null,"venue":null,"work_id":"bc928528-b33a-4493-a9d9-90ce9664598a","year":null},"citing_paper":{"arxiv_id":"2607.06820","last_updated":"2026-07-07T21:29:59Z","snapshot_observed_at":"2026-08-16T19:05:13.709899Z","submitted_at":"2026-07-07T21:29:59Z","title":"Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-07-10T20:39:42.009312Z"},"links":{"citing_paper":"/paper/2607.06820"},"observation_digest":"sha256:70763c293031177c0d2a3c51d1915f846b92be333b645fa53a1ba9c101050167","observation_id":"aa4f4cbe-ffb6-4445-bc0d-3efa18b75454","resolution":{"observed_at":"2026-07-10T20:47:34.968111Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-07-10T20:47:34.968673Z","title":"AI for Math Workshop at the 42nd International Conference on Machine Learning (ICML) , year =","venue":null,"work_id":"cd18c0ea-6983-46a4-94f6-d2486071249a","year":null},"citing_paper":{"arxiv_id":"2607.06820","last_updated":"2026-07-07T21:29:59Z","snapshot_observed_at":"2026-08-16T19:05:13.709899Z","submitted_at":"2026-07-07T21:29:59Z","title":"Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-07-10T20:39:42.009312Z"},"links":{"citing_paper":"/paper/2607.06820"},"observation_digest":"sha256:e6558cdf266d97c22a640349bdc2c9d54058a82b463121abbdda49f2a1269ec7","observation_id":"5193bd09-6614-454e-9115-7276cc6e55fa","resolution":{"observed_at":"2026-07-10T20:47:34.969801Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-07-10T20:47:34.970342Z","title":"Nature , volume =","venue":null,"work_id":"b6d06633-6b40-4827-9439-6616cee05261","year":2024},"citing_paper":{"arxiv_id":"2607.06820","last_updated":"2026-07-07T21:29:59Z","snapshot_observed_at":"2026-08-16T19:05:13.709899Z","submitted_at":"2026-07-07T21:29:59Z","title":"Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics","version":1},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-07-10T20:39:42.009312Z"},"links":{"citing_paper":"/paper/2607.06820"},"observation_digest":"sha256:47fa32f56a04099ba4b7cf208fa31fc2632668fff386f2c6569bd105fc6bf189","observation_id":"0394abbe-703c-42d2-97cf-2b8ecff59646","resolution":{"observed_at":"2026-07-10T20:47:34.971410Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-07-10T20:47:34.975177Z","title":"2024 , eprint =","venue":null,"work_id":"4f00c68e-3437-4396-b0d7-8efdb8ffd273","year":2024},"citing_paper":{"arxiv_id":"2607.06820","last_updated":"2026-07-07T21:29:59Z","snapshot_observed_at":"2026-08-16T19:05:13.709899Z","submitted_at":"2026-07-07T21:29:59Z","title":"Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics","version":1},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-07-10T20:39:42.009312Z"},"links":{"citing_paper":"/paper/2607.06820"},"observation_digest":"sha256:cb918c1d9fa2e0329fe3f9ea559fd22d206702c78f9391bcd4753ee0aded02c1","observation_id":"74836b31-6e67-424f-b711-127c0ddf97d1","resolution":{"observed_at":"2026-07-10T20:47:34.976200Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2506.13131","last_updated":"2025-06-16T06:37:18Z","snapshot_observed_at":"2026-08-20T22:23:36.450758Z","submitted_at":"2025-06-16T06:37:18Z","title":"AlphaEvolve: A coding agent for scientific and algorithmic discovery","version":1},"cited_work":{"arxiv_id":"2506.13131","doi":"10.1016/j.shpsa.2017.03.005","metadata_source":"pith","pith_arxiv_id":"2506.13131","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"AlphaEvolve: A coding agent for scientific and algorithmic discovery","venue":"cs.AI","work_id":"76a0f850-d490-4e4f-ab98-8d25df82cd23","year":2025},"citing_paper":{"arxiv_id":"2607.06820","last_updated":"2026-07-07T21:29:59Z","snapshot_observed_at":"2026-08-16T19:05:13.709899Z","submitted_at":"2026-07-07T21:29:59Z","title":"Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-07-10T20:39:42.009312Z"},"links":{"cited_paper":"/paper/2506.13131","citing_paper":"/paper/2607.06820"},"observation_digest":"sha256:7d4698b2c1d95223079110d97f155117af0b983f7175e5ea10f393ca8082f4b3","observation_id":"ea37ffbf-d165-417c-83a6-b223a5fe7eb0","resolution":{"observed_at":"2026-07-10T20:47:34.613875Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-07-10T20:47:34.951853Z","title":"International Conference on Learning Representations , volume =","venue":null,"work_id":"3f45fe0d-3b3c-4bda-b055-3f4584a240f3","year":null},"citing_paper":{"arxiv_id":"2607.06820","last_updated":"2026-07-07T21:29:59Z","snapshot_observed_at":"2026-08-16T19:05:13.709899Z","submitted_at":"2026-07-07T21:29:59Z","title":"Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-07-10T20:39:42.009312Z"},"links":{"citing_paper":"/paper/2607.06820"},"observation_digest":"sha256:01ef325f6156bb0b45ab5f9771b594f117754a298da844056e3adfe6c9d172da","observation_id":"653c003b-867d-4b57-8850-173902915860","resolution":{"observed_at":"2026-07-10T20:47:34.953056Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-07-10T20:47:34.953705Z","title":"2024 , eprint =","venue":null,"work_id":"b1d467ca-f42b-4c13-acd5-9bb2dc98dec3","year":2024},"citing_paper":{"arxiv_id":"2607.06820","last_updated":"2026-07-07T21:29:59Z","snapshot_observed_at":"2026-08-16T19:05:13.709899Z","submitted_at":"2026-07-07T21:29:59Z","title":"Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics","version":1},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-07-10T20:39:42.009312Z"},"links":{"citing_paper":"/paper/2607.06820"},"observation_digest":"sha256:27de08e1201a1511d27e908d54a8461e8783e889973a7a192eb7e40c612e4375","observation_id":"421f7f26-4da3-433d-aede-fe1465bd32ee","resolution":{"observed_at":"2026-07-10T20:47:34.954864Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3786333","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"ACM Computing Surveys , year =","venue":"ACM Computing Surveys","work_id":"e96b244e-897b-4708-8638-5925b7b5fa6c","year":2026},"citing_paper":{"arxiv_id":"2607.06820","last_updated":"2026-07-07T21:29:59Z","snapshot_observed_at":"2026-08-16T19:05:13.709899Z","submitted_at":"2026-07-07T21:29:59Z","title":"Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics","version":1},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-07-10T20:39:42.009312Z"},"links":{"citing_paper":"/paper/2607.06820"},"observation_digest":"sha256:aae1c3abb0286f32704a566909db22fa80fa94e176578b4e26d07de22377a17d","observation_id":"5276ff5d-ab3f-4e22-a495-5903ed27fa68","resolution":{"observed_at":"2026-07-10T20:47:34.405830Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-07-14T11:49:50.898373+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-14T11:49:50.898373+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-22T06:32:06.552537+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-07-10T20:47:34.948277Z","title":"International Conference on Learning Representations (ICLR) , year =","venue":null,"work_id":"caf0b581-871c-46e6-a80a-27c2903c506f","year":null},"citing_paper":{"arxiv_id":"2607.06820","last_updated":"2026-07-07T21:29:59Z","snapshot_observed_at":"2026-08-16T19:05:13.709899Z","submitted_at":"2026-07-07T21:29:59Z","title":"Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics","version":1},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-07-10T20:39:42.009312Z"},"links":{"citing_paper":"/paper/2607.06820"},"observation_digest":"sha256:d3676b34c633c6000cc990cb16956b5176cb477a9375f5d811823eb2e8a8e305","observation_id":"adb44b57-d312-4112-a62a-110bd1102c32","resolution":{"observed_at":"2026-07-10T20:47:34.949504Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-07-10T20:47:34.950108Z","title":null,"venue":null,"work_id":"b14ed82b-c80a-457a-b158-1426f9c843ae","year":null},"citing_paper":{"arxiv_id":"2607.06820","last_updated":"2026-07-07T21:29:59Z","snapshot_observed_at":"2026-08-16T19:05:13.709899Z","submitted_at":"2026-07-07T21:29:59Z","title":"Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics","version":1},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-07-10T20:39:42.009312Z"},"links":{"citing_paper":"/paper/2607.06820"},"observation_digest":"sha256:25ce65f4cedb0f1fa75008df019fd7425e99567a3c012a6b5d2509bb66170a38","observation_id":"4b0c9fd6-dd0b-4f7d-94e0-61b5e6c1609d","resolution":{"observed_at":"2026-07-10T20:47:34.951221Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-07-10T20:47:34.955582Z","title":null,"venue":null,"work_id":"e057d687-4a7c-4a2d-9978-3e8908425b44","year":null},"citing_paper":{"arxiv_id":"2607.06820","last_updated":"2026-07-07T21:29:59Z","snapshot_observed_at":"2026-08-16T19:05:13.709899Z","submitted_at":"2026-07-07T21:29:59Z","title":"Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics","version":1},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-07-10T20:39:42.009312Z"},"links":{"citing_paper":"/paper/2607.06820"},"observation_digest":"sha256:143863efc6299132643e9b20eb594e322aa4a6c2bcfaa193e4e9b997abffcf0b","observation_id":"886e7644-8677-4e94-89f6-d9dada7a20e2","resolution":{"observed_at":"2026-07-10T20:47:34.956774Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-07-10T20:47:34.957340Z","title":null,"venue":null,"work_id":"ab466b03-394e-4105-8388-3a19b1f27068","year":null},"citing_paper":{"arxiv_id":"2607.06820","last_updated":"2026-07-07T21:29:59Z","snapshot_observed_at":"2026-08-16T19:05:13.709899Z","submitted_at":"2026-07-07T21:29:59Z","title":"Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics","version":1},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-07-10T20:39:42.009312Z"},"links":{"citing_paper":"/paper/2607.06820"},"observation_digest":"sha256:09538bc6e10ce6b0751bab0dc9ea7bd7dc7c37667cd31943a03453a2a3f7b822","observation_id":"90d0cfe8-2c29-4700-91ad-82d6d0b817cb","resolution":{"observed_at":"2026-07-10T20:47:34.958494Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2512.02556","last_updated":"2025-12-02T09:25:14Z","snapshot_observed_at":"2026-08-17T01:58:07.850738Z","submitted_at":"2025-12-02T09:25:14Z","title":"DeepSeek-V3.2: Pushing the Frontier of Open Large Language Models","version":1},"cited_work":{"arxiv_id":"2512.02556","doi":"10.18653/v1/d18-1512","metadata_source":"pith","pith_arxiv_id":"2512.02556","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"DeepSeek-V3.2: Pushing the Frontier of Open Large Language Models","venue":"cs.CL","work_id":"07c85cc5-4086-4abc-823b-6d0f4ff784d0","year":2025},"citing_paper":{"arxiv_id":"2607.06820","last_updated":"2026-07-07T21:29:59Z","snapshot_observed_at":"2026-08-16T19:05:13.709899Z","submitted_at":"2026-07-07T21:29:59Z","title":"Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics","version":1},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-07-10T20:39:42.009312Z"},"links":{"cited_paper":"/paper/2512.02556","citing_paper":"/paper/2607.06820"},"observation_digest":"sha256:c1c54eadba0f523c075b6f8689f01ff59d7e6c1d66a9e2fb2f5a0f300d3ceaeb","observation_id":"ef1fbd0f-4cd2-4e4f-aaab-54370c665cec","resolution":{"observed_at":"2026-07-10T20:47:34.585025Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-07-10T20:47:34.944891Z","title":null,"venue":null,"work_id":"637b5f63-5d3c-4cce-ae11-2b2067ae1b94","year":null},"citing_paper":{"arxiv_id":"2607.06820","last_updated":"2026-07-07T21:29:59Z","snapshot_observed_at":"2026-08-16T19:05:13.709899Z","submitted_at":"2026-07-07T21:29:59Z","title":"Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics","version":1},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-07-10T20:39:42.009312Z"},"links":{"citing_paper":"/paper/2607.06820"},"observation_digest":"sha256:0ebbc71c9b9ad4744fa6ba890f4b633812fb4f069e5f3460b85fbedef981dc9d","observation_id":"70e91971-f9fd-470d-bcfe-437b58d78699","resolution":{"observed_at":"2026-07-10T20:47:34.945963Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2606.19348","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T20:47:34.595291Z","title":"arXiv preprint arXiv:2606.19348 , year =","venue":null,"work_id":"68393f41-50ac-4031-8c39-91e942c2bd7d","year":2026},"citing_paper":{"arxiv_id":"2607.06820","last_updated":"2026-07-07T21:29:59Z","snapshot_observed_at":"2026-08-16T19:05:13.709899Z","submitted_at":"2026-07-07T21:29:59Z","title":"Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics","version":1},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-07-10T20:39:42.009312Z"},"links":{"citing_paper":"/paper/2607.06820"},"observation_digest":"sha256:83dcd052721a633408dc532e240535857a75ba3f3fa6d606a0956988a7f6bb5d","observation_id":"827538ba-f033-40a5-81c1-78326be156ab","resolution":{"observed_at":"2026-07-10T20:47:34.597037Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-07-10T20:47:34.936185Z","title":null,"venue":null,"work_id":"322947e3-9423-4380-bef2-d36f679a338a","year":null},"citing_paper":{"arxiv_id":"2607.06820","last_updated":"2026-07-07T21:29:59Z","snapshot_observed_at":"2026-08-16T19:05:13.709899Z","submitted_at":"2026-07-07T21:29:59Z","title":"Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics","version":1},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-07-10T20:39:42.009312Z"},"links":{"citing_paper":"/paper/2607.06820"},"observation_digest":"sha256:23fc93c7e1d11e4e6f98114a304f748527f305fee342378b07a0b2d40d5c749c","observation_id":"bd28a849-5ada-414f-a31e-6161cfe4c3ac","resolution":{"observed_at":"2026-07-10T20:47:34.937429Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-07-10T20:47:34.934386Z","title":null,"venue":null,"work_id":"090d62b7-2cab-424c-885d-baa2074383dd","year":null},"citing_paper":{"arxiv_id":"2607.06820","last_updated":"2026-07-07T21:29:59Z","snapshot_observed_at":"2026-08-16T19:05:13.709899Z","submitted_at":"2026-07-07T21:29:59Z","title":"Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics","version":1},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-07-10T20:39:42.009312Z"},"links":{"citing_paper":"/paper/2607.06820"},"observation_digest":"sha256:efe8fa7ccd64736e5a1e287107026bd98baad7e9029955400ce806e128d9514b","observation_id":"1ecc1f84-1cc0-4722-8ce5-b31f54547647","resolution":{"observed_at":"2026-07-10T20:47:34.935532Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-07-10T20:47:34.939775Z","title":null,"venue":null,"work_id":"42244d30-cf33-40f0-b8d1-891cd3f8febb","year":null},"citing_paper":{"arxiv_id":"2607.06820","last_updated":"2026-07-07T21:29:59Z","snapshot_observed_at":"2026-08-16T19:05:13.709899Z","submitted_at":"2026-07-07T21:29:59Z","title":"Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics","version":1},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-07-10T20:39:42.009312Z"},"links":{"citing_paper":"/paper/2607.06820"},"observation_digest":"sha256:5cffb933ef9a290375b282238f0c18071b27ee3f334b0754870ea41f77842d04","observation_id":"e7adba44-b383-45d5-ab8c-8a3cb3693e11","resolution":{"observed_at":"2026-07-10T20:47:34.940859Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-07-10T20:47:34.932764Z","title":null,"venue":null,"work_id":"fa8a657b-9700-48d5-be7e-0a0640a74bfe","year":null},"citing_paper":{"arxiv_id":"2607.06820","last_updated":"2026-07-07T21:29:59Z","snapshot_observed_at":"2026-08-16T19:05:13.709899Z","submitted_at":"2026-07-07T21:29:59Z","title":"Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics","version":1},"reference_index":43,"source":"arxiv_source","source_observed_at":"2026-07-10T20:39:42.009312Z"},"links":{"citing_paper":"/paper/2607.06820"},"observation_digest":"sha256:e5d0a197a5da097f12b090c1c98b2cbc4fe3674909e9d83383c6308adcde69be","observation_id":"6bb060f9-0a91-484a-ba5b-998cc2b50f54","resolution":{"observed_at":"2026-07-10T20:47:34.933797Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-07-10T20:47:34.981743Z","title":"2026 , eprint =","venue":null,"work_id":"c97e813b-7ab3-4a30-9a01-8b30e622707e","year":2026},"citing_paper":{"arxiv_id":"2607.06820","last_updated":"2026-07-07T21:29:59Z","snapshot_observed_at":"2026-08-16T19:05:13.709899Z","submitted_at":"2026-07-07T21:29:59Z","title":"Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics","version":1},"reference_index":44,"source":"arxiv_source","source_observed_at":"2026-07-10T20:39:42.009312Z"},"links":{"citing_paper":"/paper/2607.06820"},"observation_digest":"sha256:b83a0a6c75993fdad47c2a98a5018f93f10b43230b788492f0f53dd255d9ca10","observation_id":"81be332d-9d4e-4ae8-a1de-af9d2e316309","resolution":{"observed_at":"2026-07-10T20:47:34.982817Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-07-10T20:47:34.941455Z","title":"2024 , eprint =","venue":null,"work_id":"fa0eee56-acbb-4440-8dfd-75cfb259fd54","year":2024},"citing_paper":{"arxiv_id":"2607.06820","last_updated":"2026-07-07T21:29:59Z","snapshot_observed_at":"2026-08-16T19:05:13.709899Z","submitted_at":"2026-07-07T21:29:59Z","title":"Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics","version":1},"reference_index":45,"source":"arxiv_source","source_observed_at":"2026-07-10T20:39:42.009312Z"},"links":{"citing_paper":"/paper/2607.06820"},"observation_digest":"sha256:0552ec930aa6cea38c3021e505f1d31b9d104fd24bf321abb4a1cde1ee3e6ee7","observation_id":"8be8e459-2ed4-47a1-a46f-59ef4eb4f7ec","resolution":{"observed_at":"2026-07-10T20:47:34.942629Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-07-10T20:47:34.943227Z","title":null,"venue":null,"work_id":"813a9166-352d-4c5b-b322-9106f10c90ac","year":null},"citing_paper":{"arxiv_id":"2607.06820","last_updated":"2026-07-07T21:29:59Z","snapshot_observed_at":"2026-08-16T19:05:13.709899Z","submitted_at":"2026-07-07T21:29:59Z","title":"Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics","version":1},"reference_index":46,"source":"arxiv_source","source_observed_at":"2026-07-10T20:39:42.009312Z"},"links":{"citing_paper":"/paper/2607.06820"},"observation_digest":"sha256:975eccf51a7929cd19866511a053e1d45f6d5e63820b3c9ddabd4648820808f5","observation_id":"ce484c4b-9ae9-489b-9cc9-ac54d1076eba","resolution":{"observed_at":"2026-07-10T20:47:34.944323Z","resolver_source":"raw_fallback","status":"parse_uncertain"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-07-10T20:47:34.946564Z","title":null,"venue":null,"work_id":"ab279fb5-8cab-4532-ae74-37a3b4f5e454","year":null},"citing_paper":{"arxiv_id":"2607.06820","last_updated":"2026-07-07T21:29:59Z","snapshot_observed_at":"2026-08-16T19:05:13.709899Z","submitted_at":"2026-07-07T21:29:59Z","title":"Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics","version":1},"reference_index":47,"source":"arxiv_source","source_observed_at":"2026-07-10T20:39:42.009312Z"},"links":{"citing_paper":"/paper/2607.06820"},"observation_digest":"sha256:5917e508b2e8908ebc63b62369119cee11aa060a581170177ce6d4ef988d1fd6","observation_id":"e135373d-255e-4544-b5b8-a89f85417bc6","resolution":{"observed_at":"2026-07-10T20:47:34.947694Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-07-10T20:47:34.959050Z","title":"PeerJ Computer Science , issn =","venue":null,"work_id":"3ebf3435-5734-4cd4-bd41-170ba9c22f4f","year":null},"citing_paper":{"arxiv_id":"2607.06820","last_updated":"2026-07-07T21:29:59Z","snapshot_observed_at":"2026-08-16T19:05:13.709899Z","submitted_at":"2026-07-07T21:29:59Z","title":"Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics","version":1},"reference_index":48,"source":"arxiv_source","source_observed_at":"2026-07-10T20:39:42.009312Z"},"links":{"citing_paper":"/paper/2607.06820"},"observation_digest":"sha256:7884fb29993408aaf1ba91d11442559903c2d1fdbc4b6b240536a1675c149838","observation_id":"05f3aa62-f8d4-42a4-a116-269bda352e08","resolution":{"observed_at":"2026-07-10T20:47:34.960248Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-07-10T20:47:34.973625Z","title":"2022 , month =","venue":null,"work_id":"03b36689-394e-482f-8cd4-d4138fa51b46","year":2022},"citing_paper":{"arxiv_id":"2607.06820","last_updated":"2026-07-07T21:29:59Z","snapshot_observed_at":"2026-08-16T19:05:13.709899Z","submitted_at":"2026-07-07T21:29:59Z","title":"Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics","version":1},"reference_index":49,"source":"arxiv_source","source_observed_at":"2026-07-10T20:39:42.009312Z"},"links":{"citing_paper":"/paper/2607.06820"},"observation_digest":"sha256:6f774c5b6484fbe14f086e08270dd3dcd023ab004aee3d10880c17458b4c707b","observation_id":"aa5fef13-58ab-4799-93d3-1a0babf4eed9","resolution":{"observed_at":"2026-07-10T20:47:34.974657Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2606.21228","last_updated":"2026-06-23T04:40:39Z","snapshot_observed_at":"2026-08-11T18:07:40.444367Z","submitted_at":"2026-06-19T08:47:40Z","title":"Sakana Fugu Technical Report","version":2},"cited_work":{"arxiv_id":"2606.21228","doi":null,"metadata_source":"pith","pith_arxiv_id":"2606.21228","snapshot_observed_at":"2026-07-10T20:47:34.568889Z","title":"Sakana Fugu Technical Report","venue":"cs.LG","work_id":"c694c630-0c09-4e9f-b396-d21a8da1440a","year":2026},"citing_paper":{"arxiv_id":"2607.06820","last_updated":"2026-07-07T21:29:59Z","snapshot_observed_at":"2026-08-16T19:05:13.709899Z","submitted_at":"2026-07-07T21:29:59Z","title":"Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics","version":1},"reference_index":50,"source":"arxiv_source","source_observed_at":"2026-07-10T20:39:42.009312Z"},"links":{"cited_paper":"/paper/2606.21228","citing_paper":"/paper/2607.06820"},"observation_digest":"sha256:4939f32fa16eedb011ce9d65e53d80ab299e403b845c554d1b778f833d1fc03e","observation_id":"595955e0-7df5-4eed-b1c7-8532da91b05b","resolution":{"observed_at":"2026-07-10T20:47:34.572153Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-07-10T20:47:34.962523Z","title":"2026 , eprint =","venue":null,"work_id":"0a0eb94e-d80f-4a2f-8aea-32ba994b455f","year":2026},"citing_paper":{"arxiv_id":"2607.06820","last_updated":"2026-07-07T21:29:59Z","snapshot_observed_at":"2026-08-16T19:05:13.709899Z","submitted_at":"2026-07-07T21:29:59Z","title":"Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics","version":1},"reference_index":51,"source":"arxiv_source","source_observed_at":"2026-07-10T20:39:42.009312Z"},"links":{"citing_paper":"/paper/2607.06820"},"observation_digest":"sha256:57e0b35562379422e6d606e55250ed06ebf4b245d85a1d107ea10b9c024a715b","observation_id":"279bd23c-2a7d-4247-8448-6a791c9312ca","resolution":{"observed_at":"2026-07-10T20:47:34.964539Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-07-10T20:47:34.960866Z","title":"2026 , url =","venue":null,"work_id":"bcb01ac1-beb0-4df1-8624-9b58742488a3","year":2026},"citing_paper":{"arxiv_id":"2607.06820","last_updated":"2026-07-07T21:29:59Z","snapshot_observed_at":"2026-08-16T19:05:13.709899Z","submitted_at":"2026-07-07T21:29:59Z","title":"Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics","version":1},"reference_index":52,"source":"arxiv_source","source_observed_at":"2026-07-10T20:39:42.009312Z"},"links":{"citing_paper":"/paper/2607.06820"},"observation_digest":"sha256:63ecd5d47cb1fdfc9b0c23f2df90ae506bb1409d1eebd7cd5b2ef14e7dc75254","observation_id":"14906258-d8d4-4684-afe4-f0b7bee7f5be","resolution":{"observed_at":"2026-07-10T20:47:34.961959Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2412.20652","last_updated":"2024-12-30T02:04:58Z","snapshot_observed_at":"2026-08-11T06:17:18.602764Z","submitted_at":"2024-12-30T02:04:58Z","title":"Hyperbolic knots with arbitrarily large torsion order in knot Floer homology","version":1},"cited_work":{"arxiv_id":"2412.20652","doi":null,"metadata_source":"pith","pith_arxiv_id":"2412.20652","snapshot_observed_at":"2026-07-10T20:47:34.589960Z","title":"Hyperbolic knots with arbitrarily large torsion order in knot Floer homology","venue":"math.GT","work_id":"71b7b597-7eb5-42cb-b8bf-fe362648f30b","year":2024},"citing_paper":{"arxiv_id":"2607.06820","last_updated":"2026-07-07T21:29:59Z","snapshot_observed_at":"2026-08-16T19:05:13.709899Z","submitted_at":"2026-07-07T21:29:59Z","title":"Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics","version":1},"reference_index":53,"source":"arxiv_source","source_observed_at":"2026-07-10T20:39:42.009312Z"},"links":{"cited_paper":"/paper/2412.20652","citing_paper":"/paper/2607.06820"},"observation_digest":"sha256:5b35ce628d5a897fbed7a709e5815aeb902556acaa678be12d6d7b9b8d081cc0","observation_id":"bd5e7489-d915-45f9-b2a6-609f293b1099","resolution":{"observed_at":"2026-07-10T20:47:34.591192Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2206.13877","last_updated":"2022-09-17T10:42:42Z","snapshot_observed_at":"2026-08-16T16:49:52.428162Z","submitted_at":"2022-06-28T10:36:12Z","title":"Pattern avoiding alternating involutions","version":2},"cited_work":{"arxiv_id":"2206.13877","doi":null,"metadata_source":"pith","pith_arxiv_id":"2206.13877","snapshot_observed_at":"2026-07-10T20:47:34.598675Z","title":"Pattern avoiding alternating involutions","venue":"math.CO","work_id":"aaa80070-4132-4483-a9f9-9da1c8e37c32","year":2022},"citing_paper":{"arxiv_id":"2607.06820","last_updated":"2026-07-07T21:29:59Z","snapshot_observed_at":"2026-08-16T19:05:13.709899Z","submitted_at":"2026-07-07T21:29:59Z","title":"Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics","version":1},"reference_index":54,"source":"arxiv_source","source_observed_at":"2026-07-10T20:39:42.009312Z"},"links":{"cited_paper":"/paper/2206.13877","citing_paper":"/paper/2607.06820"},"observation_digest":"sha256:3eb14064aea1d9f6ce9eaa771d74dcc94bd221a16ceb37c44f744a020aef56cb","observation_id":"7ec1655b-786c-4587-adef-b3ee05b33310","resolution":{"observed_at":"2026-07-10T20:47:34.602094Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-07-10T20:47:34.980118Z","title":"Discrete & Computational Geometry , volume =","venue":null,"work_id":"1cee7579-1cef-4ea8-819c-e4b64eaf7b8a","year":2024},"citing_paper":{"arxiv_id":"2607.06820","last_updated":"2026-07-07T21:29:59Z","snapshot_observed_at":"2026-08-16T19:05:13.709899Z","submitted_at":"2026-07-07T21:29:59Z","title":"Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics","version":1},"reference_index":55,"source":"arxiv_source","source_observed_at":"2026-07-10T20:39:42.009312Z"},"links":{"citing_paper":"/paper/2607.06820"},"observation_digest":"sha256:7649257fea20823b28aab6cef79bcf8676f443b76b2b1d4f31ae0240ff4d9bc2","observation_id":"06d6bc42-8b00-44e9-b2db-6a834f051532","resolution":{"observed_at":"2026-07-10T20:47:34.981195Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-07-10T20:47:34.985088Z","title":"Indagationes Mathematicae , volume =","venue":null,"work_id":"df184c11-9526-4fe9-b4d0-de6b7b700249","year":2023},"citing_paper":{"arxiv_id":"2607.06820","last_updated":"2026-07-07T21:29:59Z","snapshot_observed_at":"2026-08-16T19:05:13.709899Z","submitted_at":"2026-07-07T21:29:59Z","title":"Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics","version":1},"reference_index":56,"source":"arxiv_source","source_observed_at":"2026-07-10T20:39:42.009312Z"},"links":{"citing_paper":"/paper/2607.06820"},"observation_digest":"sha256:e3aea6cf8e19f08965e12369fbabb59fccb89232e92734ce8a97cc140a626360","observation_id":"e081fd16-3f18-499b-8e59-5f475252058d","resolution":{"observed_at":"2026-07-10T20:47:34.986179Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-07-10T20:47:34.986703Z","title":"Journal of Differential Equations , volume =","venue":null,"work_id":"18756869-f57c-4b39-8a08-7b78f6a53804","year":2023},"citing_paper":{"arxiv_id":"2607.06820","last_updated":"2026-07-07T21:29:59Z","snapshot_observed_at":"2026-08-16T19:05:13.709899Z","submitted_at":"2026-07-07T21:29:59Z","title":"Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics","version":1},"reference_index":57,"source":"arxiv_source","source_observed_at":"2026-07-10T20:39:42.009312Z"},"links":{"citing_paper":"/paper/2607.06820"},"observation_digest":"sha256:590d0e8af64cc330abf8414604dd5a08356412c770ef8c8d4d7eeb859cc1ba91","observation_id":"fb16083d-ad19-4560-873a-e2222b44007c","resolution":{"observed_at":"2026-07-10T20:47:34.987819Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-07-10T20:47:34.983388Z","title":"Journal of Pure and Applied Algebra , volume =","venue":null,"work_id":"37aaa5b4-de70-4edc-9a61-e2cf31e71435","year":2023},"citing_paper":{"arxiv_id":"2607.06820","last_updated":"2026-07-07T21:29:59Z","snapshot_observed_at":"2026-08-16T19:05:13.709899Z","submitted_at":"2026-07-07T21:29:59Z","title":"Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics","version":1},"reference_index":58,"source":"arxiv_source","source_observed_at":"2026-07-10T20:39:42.009312Z"},"links":{"citing_paper":"/paper/2607.06820"},"observation_digest":"sha256:9c62355cb5ac7d6b233c7065c504a4b7aeb0d0ab0f8ec74eda937d2d09f5262d","observation_id":"7c9ae4ee-ef85-40d2-9904-9551caa64626","resolution":{"observed_at":"2026-07-10T20:47:34.984503Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2412.02494","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T20:47:34.618021Z","title":"arXiv preprint arXiv:2412.02494 , year =","venue":null,"work_id":"5e4aef92-f684-44f8-a465-fd44f84b458c","year":null},"citing_paper":{"arxiv_id":"2607.06820","last_updated":"2026-07-07T21:29:59Z","snapshot_observed_at":"2026-08-16T19:05:13.709899Z","submitted_at":"2026-07-07T21:29:59Z","title":"Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics","version":1},"reference_index":59,"source":"arxiv_source","source_observed_at":"2026-07-10T20:39:42.009312Z"},"links":{"citing_paper":"/paper/2607.06820"},"observation_digest":"sha256:eebe008d05b47777841a480324666fe1087b0081671a4d705007d309b48cf580","observation_id":"8e3993bc-b9db-439c-9234-eeccc95ca7c8","resolution":{"observed_at":"2026-07-10T20:47:34.619605Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2206.14174","last_updated":"2022-06-28T17:41:00Z","snapshot_observed_at":"2026-08-20T20:25:36.529684Z","submitted_at":"2022-06-28T17:41:00Z","title":"The $(4,p)$-arithmetic hyperbolic lattices, $p\\geq 2$, in three dimensions","version":1},"cited_work":{"arxiv_id":"2206.14174","doi":null,"metadata_source":"pith","pith_arxiv_id":"2206.14174","snapshot_observed_at":"2026-07-10T20:47:34.615334Z","title":"The $(4,p)$-arithmetic hyperbolic lattices, $p\\geq 2$, in three dimensions","venue":"math.GT","work_id":"8bc7c265-2c16-41a7-be23-c087f67afd62","year":2022},"citing_paper":{"arxiv_id":"2607.06820","last_updated":"2026-07-07T21:29:59Z","snapshot_observed_at":"2026-08-16T19:05:13.709899Z","submitted_at":"2026-07-07T21:29:59Z","title":"Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics","version":1},"reference_index":60,"source":"arxiv_source","source_observed_at":"2026-07-10T20:39:42.009312Z"},"links":{"cited_paper":"/paper/2206.14174","citing_paper":"/paper/2607.06820"},"observation_digest":"sha256:3b5bcdd235e842d0d62804115b09130e05aad23c376f94551ff8d9eeb0ffb2fb","observation_id":"5391a4de-47d9-4f8f-947d-047de2565645","resolution":{"observed_at":"2026-07-10T20:47:34.616747Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2607.06820","last_updated":"2026-07-07T21:29:59Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-16T19:05:13.709899Z","submitted_at":"2026-07-07T21:29:59Z","title":"Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics"},"reference_resolution":{"displayed":60,"state_counts":{"malformed_identifier":0,"metadata_mismatch":16,"parse_uncertain":2,"unresolved":13,"verified_exact":5,"verified_fuzzy":24},"total_outbound_references":60},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"thesis":"As of 23 August 2026, this Paper Citation Record lists 60 of 60 outbound references and 0 inbound Pith citation observations for arXiv:2607.06820."}