{"as_of":"2026-08-20T03:26:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:09c5685c63a1186c131fed5bb4ef3cca182648bb48cae55585bffd377db756b7","coverage":[{"denominator":49,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":49,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-11T00:26:17.026355Z","state":"measured"},{"denominator":59,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":59,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-19T06:32:44.657259+00:00","state":"measured"},{"denominator":10,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":10,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-16T00:41:39.504500Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"pith","source_observed_at":"2026-07-11T02:07:43.711329Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2607.06447","last_updated":"2026-07-08T12:23:39Z","snapshot_observed_at":"2026-08-15T08:43:37.020715Z","submitted_at":"2026-07-07T16:11:30Z","title":"Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory","version":2},"cited_work":{"arxiv_id":"2607.06447","doi":null,"metadata_source":"pith","pith_arxiv_id":"2607.06447","snapshot_observed_at":"2026-07-11T02:07:43.711329Z","title":"Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory","venue":"cs.AI","work_id":"eaa5f199-cbd8-47a5-ac9a-1dc351cf455c","year":2026},"citing_paper":{"arxiv_id":"2607.05835","last_updated":"2026-07-08T14:49:25Z","snapshot_observed_at":"2026-08-17T23:33:13.029238Z","submitted_at":"2026-07-07T04:56:22Z","title":"Tangent classes of matroids and wonderful compactifications","version":2},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-07-11T02:03:56.323513Z"},"links":{"cited_paper":"/paper/2607.06447","citing_paper":"/paper/2607.05835"},"observation_digest":"sha256:6bea18468de3826bbde77ddd23b89cd128e5c797d8c008b635f24b2ea952e0cd","observation_id":"3a66dc2a-c819-460d-8cd6-cc40a1a561eb","resolution":{"observed_at":"2026-07-11T02:07:43.741605Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2607.06447","last_updated":"2026-07-08T12:23:39Z","snapshot_observed_at":"2026-08-15T08:43:37.020715Z","submitted_at":"2026-07-07T16:11:30Z","title":"Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2607.06447","snapshot_observed_at":"2026-08-15T15:40:08.492519Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.26396","last_updated":"2026-07-29T02:12:05Z","snapshot_observed_at":"2026-08-17T16:19:18.032478Z","submitted_at":"2026-07-29T02:12:05Z","title":"Twelve common flex lines in a general pencil of cubics","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-15T15:40:08.492519Z"},"links":{"cited_paper":"/paper/2607.06447","citing_paper":"/paper/2607.26396"},"observation_digest":"sha256:d8892348b3322e5b817baaf134cbb2daf8603a0d6752221f586c2c7ebfe47a50","observation_id":"ef434678-0e2f-41c6-ac7a-18065e1e990d","resolution":{"observed_at":"2026-08-15T15:40:08.492519Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2607.06447","last_updated":"2026-07-08T12:23:39Z","snapshot_observed_at":"2026-08-15T08:43:37.020715Z","submitted_at":"2026-07-07T16:11:30Z","title":"Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2607.06447","snapshot_observed_at":"2026-07-30T14:47:38.155485Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.26989","last_updated":"2026-07-29T14:47:46Z","snapshot_observed_at":"2026-08-17T00:29:21.793612Z","submitted_at":"2026-07-29T14:47:46Z","title":"Removing the Torsion-free Hypothesis in a Positivity Theorem on Deligne-Mumford Stacks","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-07-30T14:47:38.155485Z"},"links":{"cited_paper":"/paper/2607.06447","citing_paper":"/paper/2607.26989"},"observation_digest":"sha256:fd277c488c22d42bdfdbff45e21b3bbbcda64d3021df2bd3522597076b92132e","observation_id":"c758d7c6-fc67-4f22-8f54-fce17f9830d2","resolution":{"observed_at":"2026-07-30T14:47:38.155485Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2607.06447","last_updated":"2026-07-08T12:23:39Z","snapshot_observed_at":"2026-08-15T08:43:37.020715Z","submitted_at":"2026-07-07T16:11:30Z","title":"Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2607.06447","snapshot_observed_at":"2026-08-01T03:02:28.334364Z","title":"Romera-Paredes, B.; Barekatain, M.; Novikov, A.; Balog, M.; Kumar, M","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.27705","last_updated":"2026-07-30T05:41:44Z","snapshot_observed_at":"2026-08-16T19:16:44.340349Z","submitted_at":"2026-07-30T05:41:44Z","title":"Albilich: Steerable Proof-State Orchestration for LLM-Based Mathematical Research with CAS Integration","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-01T03:02:28.334364Z"},"links":{"cited_paper":"/paper/2607.06447","citing_paper":"/paper/2607.27705"},"observation_digest":"sha256:15aaf378f7a22a6bba42ea272646e2faa4d6d90d84d265c1f385c266cecb019b","observation_id":"6e33e507-f397-4c59-888e-0f8900cb67db","resolution":{"observed_at":"2026-08-01T03:02:28.334364Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2607.06447","last_updated":"2026-07-08T12:23:39Z","snapshot_observed_at":"2026-08-15T08:43:37.020715Z","submitted_at":"2026-07-07T16:11:30Z","title":"Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2607.06447","snapshot_observed_at":"2026-08-06T00:50:02.109873Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.01040","last_updated":"2026-08-06T08:48:26Z","snapshot_observed_at":"2026-08-18T07:47:00.167271Z","submitted_at":"2026-08-02T06:54:11Z","title":"The equality case of Ehrhart's volume conjecture","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-06T00:50:02.109873Z"},"links":{"cited_paper":"/paper/2607.06447","citing_paper":"/paper/2608.01040"},"observation_digest":"sha256:1ca6dfb1eb8ac4781043ada150848f80b0bd0d2c273232dd52a6a843f0dbe8b3","observation_id":"597f31ca-1852-432e-8bfa-bf0ef7cfc14c","resolution":{"observed_at":"2026-08-06T00:50:02.109873Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2607.06447","last_updated":"2026-07-08T12:23:39Z","snapshot_observed_at":"2026-08-15T08:43:37.020715Z","submitted_at":"2026-07-07T16:11:30Z","title":"Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2607.06447","snapshot_observed_at":"2026-08-07T01:17:15.144101Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.01040","last_updated":"2026-08-06T08:48:26Z","snapshot_observed_at":"2026-08-18T07:47:00.167271Z","submitted_at":"2026-08-02T06:54:11Z","title":"The equality case of Ehrhart's volume conjecture","version":2},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-07T01:17:15.144101Z"},"links":{"cited_paper":"/paper/2607.06447","citing_paper":"/paper/2608.01040"},"observation_digest":"sha256:803d0fd8b999273b7d0c4e9099c52e391fed059f3fe8e14c4dade910219db746","observation_id":"eff3bfc5-fc39-46c8-82c0-c3a9403d43f5","resolution":{"observed_at":"2026-08-07T01:17:15.144101Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2607.06447","last_updated":"2026-07-08T12:23:39Z","snapshot_observed_at":"2026-08-15T08:43:37.020715Z","submitted_at":"2026-07-07T16:11:30Z","title":"Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2607.06447","snapshot_observed_at":"2026-08-04T09:31:37.044270Z","title":"[Mar91] G","venue":null,"work_id":null,"year":1991},"citing_paper":{"arxiv_id":"2608.02327","last_updated":"2026-08-03T14:50:28Z","snapshot_observed_at":"2026-08-18T03:33:27.600311Z","submitted_at":"2026-08-03T14:50:28Z","title":"ICC property(T) groups without W$^*$-superrigidity","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-04T09:31:37.044270Z"},"links":{"cited_paper":"/paper/2607.06447","citing_paper":"/paper/2608.02327"},"observation_digest":"sha256:cd1bc01a15003462bf9815022cc053acc9c1f676e91784d2eb7d440f7d4adaed","observation_id":"7b91e54c-6ab0-4d60-924a-2cf3b83718d2","resolution":{"observed_at":"2026-08-04T09:31:37.044270Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2607.06447","last_updated":"2026-07-08T12:23:39Z","snapshot_observed_at":"2026-08-15T08:43:37.020715Z","submitted_at":"2026-07-07T16:11:30Z","title":"Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2607.06447","snapshot_observed_at":"2026-08-15T14:59:24.963040Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.02859","last_updated":"2026-08-03T20:27:31Z","snapshot_observed_at":"2026-08-16T17:32:51.844685Z","submitted_at":"2026-08-03T20:27:31Z","title":"The crisis of AI-generated mathematics","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-15T14:59:24.963040Z"},"links":{"cited_paper":"/paper/2607.06447","citing_paper":"/paper/2608.02859"},"observation_digest":"sha256:bcf8e18fc71a602453db9c32814f46d9c99791a2fdba7edeedc0ff7ae07e6301","observation_id":"06809221-dfda-4394-b603-eed24eeb9ac5","resolution":{"observed_at":"2026-08-15T14:59:24.963040Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2607.06447","last_updated":"2026-07-08T12:23:39Z","snapshot_observed_at":"2026-08-15T08:43:37.020715Z","submitted_at":"2026-07-07T16:11:30Z","title":"Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2607.06447","snapshot_observed_at":"2026-08-05T22:37:26.515884Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.03258","last_updated":"2026-08-04T07:31:15Z","snapshot_observed_at":"2026-08-15T09:13:41.326512Z","submitted_at":"2026-08-04T07:31:15Z","title":"A klt generalized pair with infinitely generated canonical ring","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-05T22:37:26.515884Z"},"links":{"cited_paper":"/paper/2607.06447","citing_paper":"/paper/2608.03258"},"observation_digest":"sha256:5f2f76fedb877f25fec35571686bacd6bdf4079dcc804d6c1df047099d074d8e","observation_id":"ecd5d651-50b9-475d-b312-f066496eab28","resolution":{"observed_at":"2026-08-05T22:37:26.515884Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2607.06447","last_updated":"2026-07-08T12:23:39Z","snapshot_observed_at":"2026-08-15T08:43:37.020715Z","submitted_at":"2026-07-07T16:11:30Z","title":"Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2607.06447","snapshot_observed_at":"2026-08-16T00:41:39.504500Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.11960","last_updated":"2026-08-12T11:43:58Z","snapshot_observed_at":"2026-08-19T02:50:36.232034Z","submitted_at":"2026-08-12T11:43:58Z","title":"Conifold Gap Theorem for Topological Recursion","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-16T00:41:39.504500Z"},"links":{"cited_paper":"/paper/2607.06447","citing_paper":"/paper/2608.11960"},"observation_digest":"sha256:2600fd45b895dde4f982a74f96f94bdbec6f1eaa4b26e8639624b23b5c93ca84","observation_id":"f5140db0-6301-493a-96e3-3c60583c9682","resolution":{"observed_at":"2026-08-16T00:41:39.504500Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2607.06447/citation-record","integrity":"/paper/2607.06447/integrity","json":"/paper/2607.06447/citation-record.json","paper":"/paper/2607.06447"},"outbound":[{"citation":{"cited_paper":{"arxiv_id":"2606.18119","last_updated":"2026-06-16T16:21:33Z","snapshot_observed_at":"2026-08-15T04:58:08.863160Z","submitted_at":"2026-06-16T16:21:33Z","title":"First Proof Second Batch","version":1},"cited_work":{"arxiv_id":"2606.18119","doi":null,"metadata_source":"pith","pith_arxiv_id":"2606.18119","snapshot_observed_at":"2026-07-11T00:27:49.722114Z","title":"First Proof Second Batch","venue":"cs.AI","work_id":"072bc0dd-5716-4e98-8648-87ae5278aaa3","year":2026},"citing_paper":{"arxiv_id":"2607.06447","last_updated":"2026-07-08T12:23:39Z","snapshot_observed_at":"2026-08-15T08:43:37.020715Z","submitted_at":"2026-07-07T16:11:30Z","title":"Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-07-11T00:26:17.026355Z"},"links":{"cited_paper":"/paper/2606.18119","citing_paper":"/paper/2607.06447"},"observation_digest":"sha256:b8cf867d15f681eee6db5f8528c0b043fdfc779d51232fb1fb4cda6172089bae","observation_id":"e58679e1-9f7b-441b-a14e-6f1062f6a60a","resolution":{"observed_at":"2026-07-11T00:27:49.745529Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T00:27:52.106688Z","title":"Hodge theory for combinatorial geometries.Annals of Mathematics, 188(2):381–452, 2018","venue":null,"work_id":"eb42835f-1007-4004-9cc6-1efad4113ab6","year":2018},"citing_paper":{"arxiv_id":"2607.06447","last_updated":"2026-07-08T12:23:39Z","snapshot_observed_at":"2026-08-15T08:43:37.020715Z","submitted_at":"2026-07-07T16:11:30Z","title":"Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-07-11T00:26:17.026355Z"},"links":{"citing_paper":"/paper/2607.06447"},"observation_digest":"sha256:9a31d0ffdb72a4ee061d2ab77debc4b857025ccd695d958f1d125087d7b07b5f","observation_id":"636ae7b4-62df-4d9c-a492-7fcc1952d434","resolution":{"observed_at":"2026-07-11T00:27:52.130300Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T00:27:52.133624Z","title":"Two two-dimensional terminations.Duke Mathematical Journal, 69(3):527–545, 1993","venue":null,"work_id":"60a5ebf6-77da-4430-9a4e-5d710a8bbea8","year":1993},"citing_paper":{"arxiv_id":"2607.06447","last_updated":"2026-07-08T12:23:39Z","snapshot_observed_at":"2026-08-15T08:43:37.020715Z","submitted_at":"2026-07-07T16:11:30Z","title":"Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-07-11T00:26:17.026355Z"},"links":{"citing_paper":"/paper/2607.06447"},"observation_digest":"sha256:3cb83d68091da9b280ba3be07d57e4f85c951c7445a3d020db7758fc03a9b27e","observation_id":"29fca037-8360-4f7e-96ca-a25ded938faf","resolution":{"observed_at":"2026-07-11T00:27:52.158501Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T00:27:52.203155Z","title":"Boundedness andK2 for log surfaces.International Journal of Mathematics, 5(6):779–810, 1994","venue":null,"work_id":"4d3feeaf-ac8d-4693-a570-987f4772826c","year":1994},"citing_paper":{"arxiv_id":"2607.06447","last_updated":"2026-07-08T12:23:39Z","snapshot_observed_at":"2026-08-15T08:43:37.020715Z","submitted_at":"2026-07-07T16:11:30Z","title":"Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-07-11T00:26:17.026355Z"},"links":{"citing_paper":"/paper/2607.06447"},"observation_digest":"sha256:7e6e517c9789607db8d575741c71718aacd8add3bf6b036a148b0bfb6bbe3a37","observation_id":"e1bf24b7-945c-40a3-a857-0d6e43085168","resolution":{"observed_at":"2026-07-11T00:27:52.221537Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2604.24021","last_updated":"2026-06-26T20:24:15Z","snapshot_observed_at":"2026-08-15T08:44:14.051226Z","submitted_at":"2026-04-27T04:10:02Z","title":"QED: An Open-Source Multi-Agent System for Generating Mathematical Proofs on Open Problems","version":4},"cited_work":{"arxiv_id":"2604.24021","doi":null,"metadata_source":"pith","pith_arxiv_id":"2604.24021","snapshot_observed_at":"2026-07-11T00:27:49.805973Z","title":"QED: An Open-Source Multi-Agent System for Generating Mathematical Proofs on Open Problems","venue":"cs.AI","work_id":"460e1a7b-8500-491d-a886-0ded0964fc0c","year":2026},"citing_paper":{"arxiv_id":"2607.06447","last_updated":"2026-07-08T12:23:39Z","snapshot_observed_at":"2026-08-15T08:43:37.020715Z","submitted_at":"2026-07-07T16:11:30Z","title":"Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-07-11T00:26:17.026355Z"},"links":{"cited_paper":"/paper/2604.24021","citing_paper":"/paper/2607.06447"},"observation_digest":"sha256:1055a892db6e31800a08e97deed2fb2ab86921d6fe3905cc86bb3fbdbd39860b","observation_id":"e465237c-2d27-4b69-898e-0d1fc864a094","resolution":{"observed_at":"2026-07-11T00:27:49.828103Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2603.03425","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-11T00:27:49.780383Z","title":"Ardila-Mantilla, N","venue":null,"work_id":"f350c922-a8db-42e9-9656-89e82f97dc55","year":2026},"citing_paper":{"arxiv_id":"2607.06447","last_updated":"2026-07-08T12:23:39Z","snapshot_observed_at":"2026-08-15T08:43:37.020715Z","submitted_at":"2026-07-07T16:11:30Z","title":"Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-07-11T00:26:17.026355Z"},"links":{"citing_paper":"/paper/2607.06447"},"observation_digest":"sha256:fb4632d35ee50a82b0e70f561cb33be1662407a35c10119d1fefb45d8be01a70","observation_id":"9ec7f50e-c10b-4eee-9a91-5bec2d59adda","resolution":{"observed_at":"2026-07-11T00:27:49.801144Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T00:27:51.985337Z","title":"Cosmohedra.Journal of High Energy Physics, 2025(11):Paper No","venue":null,"work_id":"b4b966d1-52a0-49ce-98bd-69abbf2df9c0","year":2025},"citing_paper":{"arxiv_id":"2607.06447","last_updated":"2026-07-08T12:23:39Z","snapshot_observed_at":"2026-08-15T08:43:37.020715Z","submitted_at":"2026-07-07T16:11:30Z","title":"Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-07-11T00:26:17.026355Z"},"links":{"citing_paper":"/paper/2607.06447"},"observation_digest":"sha256:42178b055a47beb9f464c39fb4e1a5df107983e236b0e1c4485d6d210a8bcee6","observation_id":"0bd11df6-5c1c-48d4-80c3-b74ddfaaa337","resolution":{"observed_at":"2026-07-11T00:27:52.003844Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T00:27:52.224146Z","title":"Rational curves on foliated varieties","venue":null,"work_id":"da6ac503-fe9a-479e-a828-59c33a54b24f","year":2016},"citing_paper":{"arxiv_id":"2607.06447","last_updated":"2026-07-08T12:23:39Z","snapshot_observed_at":"2026-08-15T08:43:37.020715Z","submitted_at":"2026-07-07T16:11:30Z","title":"Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-07-11T00:26:17.026355Z"},"links":{"citing_paper":"/paper/2607.06447"},"observation_digest":"sha256:9a3d815ac6824cbcea4d4b63f1ac631344211b810a74900953128277e23803f8","observation_id":"30975657-aa0f-4f21-8d06-1f2af84900b9","resolution":{"observed_at":"2026-07-11T00:27:52.244615Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T00:27:52.179538Z","title":"Foliations with positive slopes and birational stability of orbifold cotangent bundles","venue":null,"work_id":"4c078c71-0cf2-4b42-9c63-f0fdf28cffd8","year":2019},"citing_paper":{"arxiv_id":"2607.06447","last_updated":"2026-07-08T12:23:39Z","snapshot_observed_at":"2026-08-15T08:43:37.020715Z","submitted_at":"2026-07-07T16:11:30Z","title":"Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-07-11T00:26:17.026355Z"},"links":{"citing_paper":"/paper/2607.06447"},"observation_digest":"sha256:b800773dbc0df6ec5a184a8f0a1d6775042b01ed62fef3f7d13767a517385317","observation_id":"50c22e50-b8aa-46aa-9a59-f4754208a166","resolution":{"observed_at":"2026-07-11T00:27:52.200447Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2606.22650","last_updated":"2026-07-08T21:19:07Z","snapshot_observed_at":"2026-08-16T17:30:39.888334Z","submitted_at":"2026-06-21T19:50:44Z","title":"Tangent classes for matroid building sets","version":2},"cited_work":{"arxiv_id":"2606.22650","doi":null,"metadata_source":"pith","pith_arxiv_id":"2606.22650","snapshot_observed_at":"2026-07-11T02:07:43.784584Z","title":"Tangent classes for matroid building sets","venue":"math.AG","work_id":"af2f9492-84af-4734-a1e3-64a695f3824b","year":2026},"citing_paper":{"arxiv_id":"2607.06447","last_updated":"2026-07-08T12:23:39Z","snapshot_observed_at":"2026-08-15T08:43:37.020715Z","submitted_at":"2026-07-07T16:11:30Z","title":"Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-07-11T00:26:17.026355Z"},"links":{"cited_paper":"/paper/2606.22650","citing_paper":"/paper/2607.06447"},"observation_digest":"sha256:05408b13a51a6e30cfa3dbbd0718297c52cc370a216a6219c525e0cc4581a206","observation_id":"e1a7ea3f-8ac9-4dba-aee6-c42932ce0ec5","resolution":{"observed_at":"2026-07-11T00:27:49.920988Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2607.05835","last_updated":"2026-07-08T14:49:25Z","snapshot_observed_at":"2026-08-17T23:33:13.029238Z","submitted_at":"2026-07-07T04:56:22Z","title":"Tangent classes of matroids and wonderful compactifications","version":2},"cited_work":{"arxiv_id":"2607.05835","doi":null,"metadata_source":"pith","pith_arxiv_id":"2607.05835","snapshot_observed_at":"2026-07-11T00:27:49.864003Z","title":"Tangent classes of matroids and wonderful compactifications","venue":"math.AG","work_id":"e424ee7d-da6b-46f5-afd7-2c65627aa6f0","year":2026},"citing_paper":{"arxiv_id":"2607.06447","last_updated":"2026-07-08T12:23:39Z","snapshot_observed_at":"2026-08-15T08:43:37.020715Z","submitted_at":"2026-07-07T16:11:30Z","title":"Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-07-11T00:26:17.026355Z"},"links":{"cited_paper":"/paper/2607.05835","citing_paper":"/paper/2607.06447"},"observation_digest":"sha256:eece62ee42aadab746bc9c4fa26c64c90ffc14806ed3625778042ec9bb294e34","observation_id":"50635642-6a83-47d2-8a6d-c97365b9ad3d","resolution":{"observed_at":"2026-07-11T00:27:49.888620Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T00:27:51.963957Z","title":"Wonderful models of subspace arrangements.Selecta Mathematica, 1 (3):459–494, 1995","venue":null,"work_id":"8815a0d1-1009-465e-8f2d-d4ccab2022a4","year":1995},"citing_paper":{"arxiv_id":"2607.06447","last_updated":"2026-07-08T12:23:39Z","snapshot_observed_at":"2026-08-15T08:43:37.020715Z","submitted_at":"2026-07-07T16:11:30Z","title":"Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-07-11T00:26:17.026355Z"},"links":{"citing_paper":"/paper/2607.06447"},"observation_digest":"sha256:528dbecd77c3360d3a24ef1e0999cb673b5e507cac5ba17f191c2df2ba3e018e","observation_id":"507f21e8-a730-4234-86f3-fb3df54e284e","resolution":{"observed_at":"2026-07-11T00:27:51.982560Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2605.24626","last_updated":"2026-05-23T15:33:44Z","snapshot_observed_at":"2026-07-06T23:34:43.210149Z","submitted_at":"2026-05-23T15:33:44Z","title":"Degenerate constants in degree inequalities for Sobolev circle maps: on some problems posed by Brezis","version":1},"cited_work":{"arxiv_id":"2605.24626","doi":null,"metadata_source":"pith","pith_arxiv_id":"2605.24626","snapshot_observed_at":"2026-07-11T00:27:49.693546Z","title":"Degenerate constants in degree inequalities for Sobolev circle maps: on some problems posed by Brezis","venue":"math.FA","work_id":"6c425226-c532-4107-8705-14b359fadaed","year":2026},"citing_paper":{"arxiv_id":"2607.06447","last_updated":"2026-07-08T12:23:39Z","snapshot_observed_at":"2026-08-15T08:43:37.020715Z","submitted_at":"2026-07-07T16:11:30Z","title":"Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-07-11T00:26:17.026355Z"},"links":{"cited_paper":"/paper/2605.24626","citing_paper":"/paper/2607.06447"},"observation_digest":"sha256:94f4e483a314bc155722edf3d838a5d1e4d31f8188a87a9d2921a2299eb330d2","observation_id":"9f33755b-c305-4578-895f-08b7e22c7c4f","resolution":{"observed_at":"2026-07-11T00:27:49.717038Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T00:27:52.162535Z","title":"Chow rings of toric varieties defined by atomic lattices.Inventiones mathematicae, 155(3):515–536, 2004","venue":null,"work_id":"ae4a2b63-4386-47e9-afdb-30b5ec1fe17a","year":2004},"citing_paper":{"arxiv_id":"2607.06447","last_updated":"2026-07-08T12:23:39Z","snapshot_observed_at":"2026-08-15T08:43:37.020715Z","submitted_at":"2026-07-07T16:11:30Z","title":"Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-07-11T00:26:17.026355Z"},"links":{"citing_paper":"/paper/2607.06447"},"observation_digest":"sha256:4e2cbee44cc24addc5d654d3d12cacdacf8e766a5ade71d600e67ff60836def7","observation_id":"7110aa4e-0bfa-43b8-8e13-68ca5dcdba99","resolution":{"observed_at":"2026-07-11T00:27:52.187223Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T00:27:52.190632Z","title":"Eigenweights for arithmetic Hirzebruch proportionality.PNAS Nexus, 5(5):pgag143, 2026","venue":null,"work_id":"3eff0114-b053-4e2b-a850-5f55b479ac1b","year":2026},"citing_paper":{"arxiv_id":"2607.06447","last_updated":"2026-07-08T12:23:39Z","snapshot_observed_at":"2026-08-15T08:43:37.020715Z","submitted_at":"2026-07-07T16:11:30Z","title":"Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-07-11T00:26:17.026355Z"},"links":{"citing_paper":"/paper/2607.06447"},"observation_digest":"sha256:247cdf7db03886cff15237c4c2cea282ee2398d088f51562babf166d96d728f2","observation_id":"5551ce45-3242-4306-9bc7-43616aba5296","resolution":{"observed_at":"2026-07-11T00:27:52.212547Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2602.10177","doi":"10.48550/arxiv.2602.10177","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Trinh, Garrett Bingham, Dawsen Hwang, Yuri Chervonyi, Junehyuk Jung,JoonkyungLee,CarloPagano,SanghyunKim,FedericoPasqualotto,SergeiGukov, Jonathan N","venue":"Open MIND","work_id":"0431ee8d-6d79-4807-a403-990ddaa168a0","year":2026},"citing_paper":{"arxiv_id":"2607.06447","last_updated":"2026-07-08T12:23:39Z","snapshot_observed_at":"2026-08-15T08:43:37.020715Z","submitted_at":"2026-07-07T16:11:30Z","title":"Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-07-11T00:26:17.026355Z"},"links":{"citing_paper":"/paper/2607.06447"},"observation_digest":"sha256:ff3934a40cdf2657dc67f511a3aa9fb800411dd7cab27196bf04ccb96df20d26","observation_id":"e459d044-50a3-4c7c-b22f-d3ae81b0058c","resolution":{"observed_at":"2026-07-11T00:27:49.889253Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-07-09T07:48:47.900841+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-09T07:48:47.900841+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T00:27:52.604891Z","title":"Total cartier index of a bounded family.Pure and Applied Mathematics Quarterly, 22(1):171–179, 2026","venue":null,"work_id":"f0c9074f-a5bf-43c6-aaf5-844194a362d2","year":2026},"citing_paper":{"arxiv_id":"2607.06447","last_updated":"2026-07-08T12:23:39Z","snapshot_observed_at":"2026-08-15T08:43:37.020715Z","submitted_at":"2026-07-07T16:11:30Z","title":"Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-07-11T00:26:17.026355Z"},"links":{"citing_paper":"/paper/2607.06447"},"observation_digest":"sha256:0cf8895e6b0b6e04139feabb57001d8b8c54f42544e108270c2c9ae0ab85c555","observation_id":"eef81255-5fe7-4a4b-a43b-2a31501c7467","resolution":{"observed_at":"2026-07-11T00:27:52.625636Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2605.25259","last_updated":"2026-05-28T00:51:13Z","snapshot_observed_at":"2026-07-06T23:35:16.647496Z","submitted_at":"2026-05-24T21:22:07Z","title":"On some open problems in commutative algebra resolved by Rethlas","version":2},"cited_work":{"arxiv_id":"2605.25259","doi":null,"metadata_source":"pith","pith_arxiv_id":"2605.25259","snapshot_observed_at":"2026-07-11T00:27:49.961591Z","title":"On some open problems in commutative algebra resolved by Rethlas","venue":"math.AC","work_id":"b2949f5d-8d21-42fb-8d06-e384b89296d5","year":2026},"citing_paper":{"arxiv_id":"2607.06447","last_updated":"2026-07-08T12:23:39Z","snapshot_observed_at":"2026-08-15T08:43:37.020715Z","submitted_at":"2026-07-07T16:11:30Z","title":"Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-07-11T00:26:17.026355Z"},"links":{"cited_paper":"/paper/2605.25259","citing_paper":"/paper/2607.06447"},"observation_digest":"sha256:788ab3df243d53ebcdbc06434ba8879c9d1b5278ff9dc047902e39f7119ef45a","observation_id":"f3e45d27-974b-4599-9970-f8a1078b3dfc","resolution":{"observed_at":"2026-07-11T00:27:49.985194Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T00:27:52.399180Z","title":"Optimal bounds in bend-and-break.Forum of Mathematics, Pi, 14:e16, 2026","venue":null,"work_id":"2629b8b1-454c-4f50-99d6-cc7796d88467","year":2026},"citing_paper":{"arxiv_id":"2607.06447","last_updated":"2026-07-08T12:23:39Z","snapshot_observed_at":"2026-08-15T08:43:37.020715Z","submitted_at":"2026-07-07T16:11:30Z","title":"Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-07-11T00:26:17.026355Z"},"links":{"citing_paper":"/paper/2607.06447"},"observation_digest":"sha256:af3e4f1f028caefa0879eac8f34ad30b56c7644fd0367006e44fa63b6956f976","observation_id":"ee54a2e7-3241-4832-8453-6b63c9faaa09","resolution":{"observed_at":"2026-07-11T00:27:52.420492Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2604.17484","last_updated":"2026-04-19T15:17:28Z","snapshot_observed_at":"2026-08-18T08:02:27.511452Z","submitted_at":"2026-04-19T15:17:28Z","title":"Matlas: A Semantic Search Engine for Mathematics","version":1},"cited_work":{"arxiv_id":"2604.17484","doi":null,"metadata_source":"pith","pith_arxiv_id":"2604.17484","snapshot_observed_at":"2026-07-11T00:27:50.197103Z","title":"Matlas: A Semantic Search Engine for Mathematics","venue":"cs.IR","work_id":"bdd3f506-ddca-457c-951b-d7a17ded2e36","year":2026},"citing_paper":{"arxiv_id":"2607.06447","last_updated":"2026-07-08T12:23:39Z","snapshot_observed_at":"2026-08-15T08:43:37.020715Z","submitted_at":"2026-07-07T16:11:30Z","title":"Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-07-11T00:26:17.026355Z"},"links":{"cited_paper":"/paper/2604.17484","citing_paper":"/paper/2607.06447"},"observation_digest":"sha256:1f58b5ffaae8adecf35bb70f6517d97de9c134615a66e0826930fb59931bd398","observation_id":"94c43630-27bb-40b5-8dbf-84f62179bbfa","resolution":{"observed_at":"2026-07-11T00:27:50.223897Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2604.03789","last_updated":"2026-05-30T05:07:37Z","snapshot_observed_at":"2026-07-13T12:18:08.261894Z","submitted_at":"2026-04-04T16:35:16Z","title":"Automated Conjecture Resolution with Formal Verification","version":2},"cited_work":{"arxiv_id":"2604.03789","doi":null,"metadata_source":"pith","pith_arxiv_id":"2604.03789","snapshot_observed_at":"2026-07-11T02:07:43.816723Z","title":"Automated Conjecture Resolution with Formal Verification","venue":"cs.LG","work_id":"1e11fd97-bf58-475a-aacc-fbd2787ec414","year":2026},"citing_paper":{"arxiv_id":"2607.06447","last_updated":"2026-07-08T12:23:39Z","snapshot_observed_at":"2026-08-15T08:43:37.020715Z","submitted_at":"2026-07-07T16:11:30Z","title":"Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-07-11T00:26:17.026355Z"},"links":{"cited_paper":"/paper/2604.03789","citing_paper":"/paper/2607.06447"},"observation_digest":"sha256:3d12d0c292ef2e6df9ebacbaadce373e4e36ab9a87c83eafd69c390fa7b1e8c7","observation_id":"4411a9c5-99c6-426e-ba47-48da2f6ddccb","resolution":{"observed_at":"2026-07-11T00:27:50.190768Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T00:27:52.499814Z","title":"Rationally connected foliations after bogomolov and mc- quillan","venue":null,"work_id":"29822301-94ba-4bc5-8e17-2d04bc312ca5","year":2007},"citing_paper":{"arxiv_id":"2607.06447","last_updated":"2026-07-08T12:23:39Z","snapshot_observed_at":"2026-08-15T08:43:37.020715Z","submitted_at":"2026-07-07T16:11:30Z","title":"Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-07-11T00:26:17.026355Z"},"links":{"citing_paper":"/paper/2607.06447"},"observation_digest":"sha256:68b1c2d00c3309087a0ecd2627cd99e26a3045fd25a068f9b27dfa1c60984624","observation_id":"356bf069-6df5-4ac0-aebc-963aaa7dff5b","resolution":{"observed_at":"2026-07-11T00:27:52.522683Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T00:27:52.526143Z","title":"Maps between local picard groups.Algebraic Geometry, 3(4):461–495, 2016","venue":null,"work_id":"796c14e0-2fe8-451e-8e1b-ee033f4d1356","year":2016},"citing_paper":{"arxiv_id":"2607.06447","last_updated":"2026-07-08T12:23:39Z","snapshot_observed_at":"2026-08-15T08:43:37.020715Z","submitted_at":"2026-07-07T16:11:30Z","title":"Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-07-11T00:26:17.026355Z"},"links":{"citing_paper":"/paper/2607.06447"},"observation_digest":"sha256:5f0590de4e5f09c45885151e9221a97302a988e4fb7d68a87bdec34ccca4209c","observation_id":"85ed1d75-6bce-44c4-9fad-173304d6b065","resolution":{"observed_at":"2026-07-11T00:27:52.549218Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T00:27:52.448200Z","title":"Threefolds and deformations of surface singularities.Inventiones mathematicae, 91(2):299–338, 1988","venue":null,"work_id":"9696e036-ab9c-4743-bbc6-03b44e5c2853","year":1988},"citing_paper":{"arxiv_id":"2607.06447","last_updated":"2026-07-08T12:23:39Z","snapshot_observed_at":"2026-08-15T08:43:37.020715Z","submitted_at":"2026-07-07T16:11:30Z","title":"Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-07-11T00:26:17.026355Z"},"links":{"citing_paper":"/paper/2607.06447"},"observation_digest":"sha256:f4f2b1324c023e3726b5f80b0a6f3750ef1221b76ef94bb4a9e633266c6d0fa8","observation_id":"97f666d0-4c77-4d16-b279-c2a5d829f18c","resolution":{"observed_at":"2026-07-11T00:27:52.469194Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T00:27:52.426643Z","title":"K-rings of wonderful varieties and matroids","venue":null,"work_id":"46b1b9f8-f9fd-455e-8011-a8e4577d703c","year":2024},"citing_paper":{"arxiv_id":"2607.06447","last_updated":"2026-07-08T12:23:39Z","snapshot_observed_at":"2026-08-15T08:43:37.020715Z","submitted_at":"2026-07-07T16:11:30Z","title":"Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-07-11T00:26:17.026355Z"},"links":{"citing_paper":"/paper/2607.06447"},"observation_digest":"sha256:292697987c89e567e974a9fb1af2a2d7a15ace5dcf451744288c73dcbe4e60dd","observation_id":"4fa45def-984a-4e7a-a444-a50eaef48ccb","resolution":{"observed_at":"2026-07-11T00:27:52.445390Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2602.02450","last_updated":"2026-08-05T21:38:26Z","snapshot_observed_at":"2026-08-13T14:51:31.520447Z","submitted_at":"2026-02-02T18:43:44Z","title":"Lower bounds for multivariate independence polynomials and their generalisations","version":2},"cited_work":{"arxiv_id":"2602.02450","doi":"10.48550/arxiv.2602.02450","metadata_source":"arxiv_reference","pith_arxiv_id":"2602.02450","snapshot_observed_at":"2026-08-07T01:32:41.829734Z","title":"Lower bounds for multivariate independence polynomials and their generalisa- tions","venue":"Open MIND","work_id":"e02bc44c-386b-487f-bdaf-2b4e87ba8e74","year":2026},"citing_paper":{"arxiv_id":"2607.06447","last_updated":"2026-07-08T12:23:39Z","snapshot_observed_at":"2026-08-15T08:43:37.020715Z","submitted_at":"2026-07-07T16:11:30Z","title":"Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-07-11T00:26:17.026355Z"},"links":{"cited_paper":"/paper/2602.02450","citing_paper":"/paper/2607.06447"},"observation_digest":"sha256:09a1de9a17d2ca62ebc9408ad77eeeb7eed1f613c047fdf1624b126ef058e63d","observation_id":"d7b48deb-5f23-44ce-b0f9-256961ded305","resolution":{"observed_at":"2026-08-07T01:32:41.829734Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2603.28052","last_updated":"2026-03-30T05:33:50Z","snapshot_observed_at":"2026-08-11T05:18:08.192130Z","submitted_at":"2026-03-30T05:33:50Z","title":"Meta-Harness: End-to-End Optimization of Model Harnesses","version":1},"cited_work":{"arxiv_id":"2603.28052","doi":"10.48550/arxiv.2603.28052","metadata_source":"pith","pith_arxiv_id":"2603.28052","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Meta-Harness: End-to-End Optimization of Model Harnesses","venue":"cs.AI","work_id":"5be3c079-4ffa-458f-adcf-204b66f7af51","year":2026},"citing_paper":{"arxiv_id":"2607.06447","last_updated":"2026-07-08T12:23:39Z","snapshot_observed_at":"2026-08-15T08:43:37.020715Z","submitted_at":"2026-07-07T16:11:30Z","title":"Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-07-11T00:26:17.026355Z"},"links":{"cited_paper":"/paper/2603.28052","citing_paper":"/paper/2607.06447"},"observation_digest":"sha256:eacdec650416239f548ad4c17cc781674fd15450c94e68c553e92e5531b41d44","observation_id":"a18af53a-18ea-437f-a088-6440b7b55229","resolution":{"observed_at":"2026-07-11T00:27:50.095718Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2606.17922","last_updated":"2026-06-16T13:36:58Z","snapshot_observed_at":"2026-08-04T15:13:49.528452Z","submitted_at":"2026-06-16T13:36:58Z","title":"On Injectivity of Phase Retrieval","version":1},"cited_work":{"arxiv_id":"2606.17922","doi":null,"metadata_source":"pith","pith_arxiv_id":"2606.17922","snapshot_observed_at":"2026-07-11T00:27:50.039343Z","title":"On Injectivity of Phase Retrieval","venue":"math.FA","work_id":"06247f98-31ca-4f81-a0c0-75feece8b043","year":2026},"citing_paper":{"arxiv_id":"2607.06447","last_updated":"2026-07-08T12:23:39Z","snapshot_observed_at":"2026-08-15T08:43:37.020715Z","submitted_at":"2026-07-07T16:11:30Z","title":"Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-07-11T00:26:17.026355Z"},"links":{"cited_paper":"/paper/2606.17922","citing_paper":"/paper/2607.06447"},"observation_digest":"sha256:1cab27f1d280661d5b3b1eeb8993300a7eb6c221a945882ca81284bc4ff84aa8","observation_id":"9114ddd2-89cb-4c64-ac08-c5a2eb491a54","resolution":{"observed_at":"2026-07-11T00:27:50.064837Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T00:27:52.404831Z","title":"Factorial asymptotics of the Matryoshka numbers","venue":null,"work_id":"10247f5e-571a-4d50-995a-95c872f15975","year":2026},"citing_paper":{"arxiv_id":"2607.06447","last_updated":"2026-07-08T12:23:39Z","snapshot_observed_at":"2026-08-15T08:43:37.020715Z","submitted_at":"2026-07-07T16:11:30Z","title":"Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory","version":2},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-07-11T00:26:17.026355Z"},"links":{"citing_paper":"/paper/2607.06447"},"observation_digest":"sha256:c6ef914b5750d2c2df55543ac59629a5b2f4a8885010e1955842702d4fae7cbb","observation_id":"082adf95-7d3b-4c09-933e-9feb949250a5","resolution":{"observed_at":"2026-07-11T00:27:52.424056Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2605.22735","last_updated":"2026-05-21T17:05:24Z","snapshot_observed_at":"2026-08-18T21:20:18.071569Z","submitted_at":"2026-05-21T17:05:24Z","title":"Shokurov's global index conjecture for threefold foliations","version":1},"cited_work":{"arxiv_id":"2605.22735","doi":null,"metadata_source":"pith","pith_arxiv_id":"2605.22735","snapshot_observed_at":"2026-07-11T00:27:50.101402Z","title":"Shokurov's global index conjecture for threefold foliations","venue":"math.AG","work_id":"0d117ab7-6120-409b-9c86-d16ff95ef10e","year":2026},"citing_paper":{"arxiv_id":"2607.06447","last_updated":"2026-07-08T12:23:39Z","snapshot_observed_at":"2026-08-15T08:43:37.020715Z","submitted_at":"2026-07-07T16:11:30Z","title":"Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-07-11T00:26:17.026355Z"},"links":{"cited_paper":"/paper/2605.22735","citing_paper":"/paper/2607.06447"},"observation_digest":"sha256:e70b901896d8b83458b3b764592ba453c7dfd43e0d9fa1f7efb96282a640ce13","observation_id":"2225247b-747b-483a-bff3-4aea3a29e397","resolution":{"observed_at":"2026-07-11T00:27:50.126361Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2606.29891","last_updated":"2026-06-29T07:31:00Z","snapshot_observed_at":"2026-08-03T22:09:29.144865Z","submitted_at":"2026-06-29T07:31:00Z","title":"Criteria of isolated weighted homogeneous hypersurface singularities using Logarithmic vector fields","version":1},"cited_work":{"arxiv_id":"2606.29891","doi":null,"metadata_source":"pith","pith_arxiv_id":"2606.29891","snapshot_observed_at":"2026-07-11T00:27:49.977441Z","title":"Criteria of isolated weighted homogeneous hypersurface singularities using Logarithmic vector fields","venue":"math.AG","work_id":"d8031ee6-9223-4afa-a10d-fe89f7822b38","year":2026},"citing_paper":{"arxiv_id":"2607.06447","last_updated":"2026-07-08T12:23:39Z","snapshot_observed_at":"2026-08-15T08:43:37.020715Z","submitted_at":"2026-07-07T16:11:30Z","title":"Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory","version":2},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-07-11T00:26:17.026355Z"},"links":{"cited_paper":"/paper/2606.29891","citing_paper":"/paper/2607.06447"},"observation_digest":"sha256:a28e422dbc665274de6f89ddeaab9dc2b127154aa358b620cd27e5d3dc2a61c6","observation_id":"f3d7dca9-6b1f-44ca-a8ea-d54f32ab3945","resolution":{"observed_at":"2026-07-11T00:27:49.999900Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2606.29886","last_updated":"2026-06-29T07:27:13Z","snapshot_observed_at":"2026-08-15T23:33:02.386409Z","submitted_at":"2026-06-29T07:27:13Z","title":"A Criteria of Weighted Homogeneity via Logarithmic Vector Fields","version":1},"cited_work":{"arxiv_id":"2606.29886","doi":null,"metadata_source":"pith","pith_arxiv_id":"2606.29886","snapshot_observed_at":"2026-07-11T00:27:49.950071Z","title":"A Criteria of Weighted Homogeneity via Logarithmic Vector Fields","venue":"math.AG","work_id":"34cd1468-aa2b-463f-9fd2-dd093f52639c","year":2026},"citing_paper":{"arxiv_id":"2607.06447","last_updated":"2026-07-08T12:23:39Z","snapshot_observed_at":"2026-08-15T08:43:37.020715Z","submitted_at":"2026-07-07T16:11:30Z","title":"Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory","version":2},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-07-11T00:26:17.026355Z"},"links":{"cited_paper":"/paper/2606.29886","citing_paper":"/paper/2607.06447"},"observation_digest":"sha256:6432ab3fa8617b41263bb0be0df94cc292c587b43ba9da0f6dd51348bb22e5fe","observation_id":"b338b71a-e845-4b18-987f-18371e94faf4","resolution":{"observed_at":"2026-07-11T00:27:49.971397Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T00:27:52.381306Z","title":"Complements, index theorem, and minimal log discrepancies of foliated surface singularities.European Journal of Mathematics, 10(1):Paper No","venue":null,"work_id":"068c1451-bbc8-4a3c-9200-6519f124074f","year":2024},"citing_paper":{"arxiv_id":"2607.06447","last_updated":"2026-07-08T12:23:39Z","snapshot_observed_at":"2026-08-15T08:43:37.020715Z","submitted_at":"2026-07-07T16:11:30Z","title":"Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory","version":2},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-07-11T00:26:17.026355Z"},"links":{"citing_paper":"/paper/2607.06447"},"observation_digest":"sha256:d9c05e6bc6469c8b0b96752992ec53ea9dac7c1c756e3f72fb49eee0d7ead629","observation_id":"c708bce6-f8a1-4516-8aed-44e830a04933","resolution":{"observed_at":"2026-07-11T00:27:52.401715Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2605.22782","last_updated":"2026-05-21T17:36:42Z","snapshot_observed_at":"2026-08-18T01:56:10.541887Z","submitted_at":"2026-05-21T17:36:42Z","title":"Boundedness of total Cartier indices for rational singularities in families","version":1},"cited_work":{"arxiv_id":"2605.22782","doi":null,"metadata_source":"pith","pith_arxiv_id":"2605.22782","snapshot_observed_at":"2026-07-11T00:27:49.893886Z","title":"Boundedness of total Cartier indices for rational singularities in families","venue":"math.AG","work_id":"7ad42444-58a0-4358-bb74-5afb667b06ba","year":2026},"citing_paper":{"arxiv_id":"2607.06447","last_updated":"2026-07-08T12:23:39Z","snapshot_observed_at":"2026-08-15T08:43:37.020715Z","submitted_at":"2026-07-07T16:11:30Z","title":"Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory","version":2},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-07-11T00:26:17.026355Z"},"links":{"cited_paper":"/paper/2605.22782","citing_paper":"/paper/2607.06447"},"observation_digest":"sha256:516b4119ed3936f88b4b7fd30ddec17c988ea748ab65336e5d2ad6066eba47ba","observation_id":"76f1f7b8-6cf2-4d92-a618-71983e147df5","resolution":{"observed_at":"2026-07-11T00:27:49.914577Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2605.20754","last_updated":"2026-05-21T09:21:12Z","snapshot_observed_at":"2026-08-17T14:34:56.398808Z","submitted_at":"2026-05-20T05:53:24Z","title":"Optimal bend-and-break for foliations","version":2},"cited_work":{"arxiv_id":"2605.20754","doi":null,"metadata_source":"pith","pith_arxiv_id":"2605.20754","snapshot_observed_at":"2026-07-11T00:27:49.927332Z","title":"Optimal bend-and-break for foliations","venue":"math.AG","work_id":"18e9a4c7-72bd-4c23-ad37-e9717ecd299b","year":2026},"citing_paper":{"arxiv_id":"2607.06447","last_updated":"2026-07-08T12:23:39Z","snapshot_observed_at":"2026-08-15T08:43:37.020715Z","submitted_at":"2026-07-07T16:11:30Z","title":"Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory","version":2},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-07-11T00:26:17.026355Z"},"links":{"cited_paper":"/paper/2605.20754","citing_paper":"/paper/2607.06447"},"observation_digest":"sha256:0d6ea70c31823c0e0bb3c9454866d4bb99d7546f6e17200f28f504a5e6d77835","observation_id":"e1946201-e48b-4b53-a5ac-45bce9d3bf0e","resolution":{"observed_at":"2026-07-11T00:27:49.954580Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2605.09210","last_updated":"2026-07-02T15:58:25Z","snapshot_observed_at":"2026-07-06T23:21:21.560069Z","submitted_at":"2026-05-09T23:04:46Z","title":"Generic vector fields on isolated complex hypersurface germs","version":2},"cited_work":{"arxiv_id":"2605.09210","doi":null,"metadata_source":"pith","pith_arxiv_id":"2605.09210","snapshot_observed_at":"2026-07-11T00:27:50.006287Z","title":"Generic vector fields on isolated complex hypersurface germs","venue":"math.AG","work_id":"98954033-af37-4e67-863c-71fe8728a7f0","year":2026},"citing_paper":{"arxiv_id":"2607.06447","last_updated":"2026-07-08T12:23:39Z","snapshot_observed_at":"2026-08-15T08:43:37.020715Z","submitted_at":"2026-07-07T16:11:30Z","title":"Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory","version":2},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-07-11T00:26:17.026355Z"},"links":{"cited_paper":"/paper/2605.09210","citing_paper":"/paper/2607.06447"},"observation_digest":"sha256:8ff560796ea394fd71030cc71a0107e25091774ab1119eeab9d37760a65d700f","observation_id":"e41935e1-7a4f-494a-913b-668e867c4748","resolution":{"observed_at":"2026-07-11T00:27:50.031629Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T00:27:52.472660Z","title":"A numerical criterion for uniruledness.Annals of Mathematics, 124(1): 65–69, 1986","venue":null,"work_id":"ec974eec-2c94-4ecd-bf48-2abc6e2b2f15","year":1986},"citing_paper":{"arxiv_id":"2607.06447","last_updated":"2026-07-08T12:23:39Z","snapshot_observed_at":"2026-08-15T08:43:37.020715Z","submitted_at":"2026-07-07T16:11:30Z","title":"Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory","version":2},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-07-11T00:26:17.026355Z"},"links":{"citing_paper":"/paper/2607.06447"},"observation_digest":"sha256:63fc0b4f4a574158341ae14bf91e5e97bb161b9e5984331ee57f6de325bb528f","observation_id":"b3db9153-aeb3-47b7-8d8b-e810f7e38b7a","resolution":{"observed_at":"2026-07-11T00:27:52.495357Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T00:27:52.423386Z","title":"Threefolds whose canonical bundles are not numerically effective.Annals of Mathematics, 116: 133–176, 1982","venue":null,"work_id":"978ffe43-0f81-4ddd-9572-4f0f27e2446d","year":1982},"citing_paper":{"arxiv_id":"2607.06447","last_updated":"2026-07-08T12:23:39Z","snapshot_observed_at":"2026-08-15T08:43:37.020715Z","submitted_at":"2026-07-07T16:11:30Z","title":"Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory","version":2},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-07-11T00:26:17.026355Z"},"links":{"citing_paper":"/paper/2607.06447"},"observation_digest":"sha256:6eaae6391a7e9e0659afd64c630e3cac01faf3fbcdad9a698a5dc0b60627a13f","observation_id":"40b2f0a6-57d7-45ed-8373-77c5fc788eb0","resolution":{"observed_at":"2026-07-11T00:27:52.446286Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T00:27:52.028762Z","title":"Entry A177384","venue":null,"work_id":"db0bcb03-bc57-4c58-afd5-65653723dfd3","year":2010},"citing_paper":{"arxiv_id":"2607.06447","last_updated":"2026-07-08T12:23:39Z","snapshot_observed_at":"2026-08-15T08:43:37.020715Z","submitted_at":"2026-07-07T16:11:30Z","title":"Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory","version":2},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-07-11T00:26:17.026355Z"},"links":{"citing_paper":"/paper/2607.06447"},"observation_digest":"sha256:f049ac2d80695b85569e9b285c0f995671e0bd9a659c176575d60d5cf9693c86","observation_id":"ada9c683-ce76-45b0-bcae-3605a9ecae5c","resolution":{"observed_at":"2026-07-11T00:27:52.047378Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2605.29947","last_updated":"2026-05-29T05:45:09Z","snapshot_observed_at":"2026-08-14T14:29:34.943486Z","submitted_at":"2026-05-28T13:55:17Z","title":"Lift-independence problem in the $P$-adic Simpson correspondence for curves","version":2},"cited_work":{"arxiv_id":"2605.29947","doi":null,"metadata_source":"pith","pith_arxiv_id":"2605.29947","snapshot_observed_at":"2026-07-11T00:27:50.230763Z","title":"Lift-independence problem in the $P$-adic Simpson correspondence for curves","venue":"math.AG","work_id":"1b7a842a-63a0-44a2-a436-fc59adb084e2","year":2026},"citing_paper":{"arxiv_id":"2607.06447","last_updated":"2026-07-08T12:23:39Z","snapshot_observed_at":"2026-08-15T08:43:37.020715Z","submitted_at":"2026-07-07T16:11:30Z","title":"Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory","version":2},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-07-11T00:26:17.026355Z"},"links":{"cited_paper":"/paper/2605.29947","citing_paper":"/paper/2607.06447"},"observation_digest":"sha256:3dcfaccd4ba93ae65a0f756489f0ff2031659c289d627be5ccd554a1a99acc74","observation_id":"1e4144a5-bd02-4c1b-a0b7-690978698c4e","resolution":{"observed_at":"2026-07-11T00:27:50.254847Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T00:27:52.580598Z","title":"The simplicity of the hodge bundle.Proceedings of the National Academy of Sciences, 123(21): e2610183123, 2026","venue":null,"work_id":"26b76029-dfd3-4eed-9a61-acc414ce7207","year":2026},"citing_paper":{"arxiv_id":"2607.06447","last_updated":"2026-07-08T12:23:39Z","snapshot_observed_at":"2026-08-15T08:43:37.020715Z","submitted_at":"2026-07-07T16:11:30Z","title":"Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory","version":2},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-07-11T00:26:17.026355Z"},"links":{"citing_paper":"/paper/2607.06447"},"observation_digest":"sha256:2a60a4897e432b90099d12191e521f1fe4c5a1c4535a596976e7838ea14ef3b2","observation_id":"e224d91e-84d2-4d34-bac0-d87cdc788a50","resolution":{"observed_at":"2026-07-11T00:27:52.601491Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T00:27:52.356043Z","title":"On the height of foliated surfaces with vanishing kodaira dimension","venue":null,"work_id":"cd72e4bc-77d9-4a89-a9a8-aa6c19f28b6c","year":2005},"citing_paper":{"arxiv_id":"2607.06447","last_updated":"2026-07-08T12:23:39Z","snapshot_observed_at":"2026-08-15T08:43:37.020715Z","submitted_at":"2026-07-07T16:11:30Z","title":"Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory","version":2},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-07-11T00:26:17.026355Z"},"links":{"citing_paper":"/paper/2607.06447"},"observation_digest":"sha256:4c6302bfc5eecf5a57d3481809bd86b105cb5ee66bc7df818cc6a7d77ea49327","observation_id":"ed31422f-dcff-494d-9e64-a240edf81ecf","resolution":{"observed_at":"2026-07-11T00:27:52.377537Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T00:27:52.628419Z","title":"Quasihomogene isolierte Singularitäten von Hyperflächen.Inventionesmathematicae, 14(2):123–142, 1971","venue":null,"work_id":"bdfd4e12-0440-4ed9-9c90-abc36c6b0cc9","year":1971},"citing_paper":{"arxiv_id":"2607.06447","last_updated":"2026-07-08T12:23:39Z","snapshot_observed_at":"2026-08-15T08:43:37.020715Z","submitted_at":"2026-07-07T16:11:30Z","title":"Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory","version":2},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-07-11T00:26:17.026355Z"},"links":{"citing_paper":"/paper/2607.06447"},"observation_digest":"sha256:aef88423c61f9927f61a58ddb45002a4e6811d1545c101226810266a8dfeee27","observation_id":"b8d23c69-cd3c-432d-8926-6494f6efa6af","resolution":{"observed_at":"2026-07-11T00:27:52.651532Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T00:27:52.303362Z","title":"Proof- Council: An llm agent for solving open mathematical problems.https://github.com/eth-sri/proof-council, 2026","venue":null,"work_id":"26ef4617-16da-4358-8265-ed8874ab5e73","year":2026},"citing_paper":{"arxiv_id":"2607.06447","last_updated":"2026-07-08T12:23:39Z","snapshot_observed_at":"2026-08-15T08:43:37.020715Z","submitted_at":"2026-07-07T16:11:30Z","title":"Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory","version":2},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-07-11T00:26:17.026355Z"},"links":{"citing_paper":"/paper/2607.06447"},"observation_digest":"sha256:020e64ebc4d90c22e8bb15d26b83565b1dfeab7b89b4bb8494fd4a01000b08a6","observation_id":"ef619584-f406-402e-932c-9cdaf95c6690","resolution":{"observed_at":"2026-07-11T00:27:52.326966Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T00:27:52.330657Z","title":"Miyaoka’s theorems on the generic seminegativity oftx and on the kodaira dimension of minimal regular threefolds.Flips and abundance for algebraic threefolds, pages 103–114, 1992","venue":null,"work_id":"521c1876-56b2-470d-8ae2-91099156145f","year":1992},"citing_paper":{"arxiv_id":"2607.06447","last_updated":"2026-07-08T12:23:39Z","snapshot_observed_at":"2026-08-15T08:43:37.020715Z","submitted_at":"2026-07-07T16:11:30Z","title":"Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory","version":2},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-07-11T00:26:17.026355Z"},"links":{"citing_paper":"/paper/2607.06447"},"observation_digest":"sha256:7b8295f1934113b163a138553cc3aff25b688bb477e9f959c439eb8ad48a44e0","observation_id":"6a48981c-1c11-41da-95bb-cd9903783404","resolution":{"observed_at":"2026-07-11T00:27:52.352631Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T00:27:52.553135Z","title":"Higher-dimensional foliated mori theory.Compositio Mathematica, 156(1):1–38, 2020","venue":null,"work_id":"22486eaa-e4af-46b1-a250-dc12941b0e3f","year":2020},"citing_paper":{"arxiv_id":"2607.06447","last_updated":"2026-07-08T12:23:39Z","snapshot_observed_at":"2026-08-15T08:43:37.020715Z","submitted_at":"2026-07-07T16:11:30Z","title":"Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory","version":2},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-07-11T00:26:17.026355Z"},"links":{"citing_paper":"/paper/2607.06447"},"observation_digest":"sha256:d0ad1f9938c649e01e76b097aef52a5f4f9c6dc0e180e53bb58f7c9713f98763","observation_id":"78a77047-1db4-4088-a033-5f279600b21b","resolution":{"observed_at":"2026-07-11T00:27:52.576447Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T00:27:52.215478Z","title":"Complements on log canonical Fano varieties and index conjecture of log Calabi–Yauvarieties","venue":null,"work_id":"aced729d-ce38-40a3-a7a3-27e52daf02a0","year":2020},"citing_paper":{"arxiv_id":"2607.06447","last_updated":"2026-07-08T12:23:39Z","snapshot_observed_at":"2026-08-15T08:43:37.020715Z","submitted_at":"2026-07-07T16:11:30Z","title":"Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory","version":2},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-07-11T00:26:17.026355Z"},"links":{"citing_paper":"/paper/2607.06447"},"observation_digest":"sha256:83dc4ece0d820095c515be4887d10f691911e5d31779a8297bb98affd5dbee7e","observation_id":"88f16646-3794-48b6-b912-28eeeca4a500","resolution":{"observed_at":"2026-07-11T00:27:52.239965Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T00:27:52.244709Z","title":"Swe-agent: Agent-computer interfaces enable automated software engineering.Advances in Neural Information Processing Systems, 37:50528–50652, 2024","venue":null,"work_id":"c8f78f3d-8eae-41a9-9673-bb04e78a8091","year":2024},"citing_paper":{"arxiv_id":"2607.06447","last_updated":"2026-07-08T12:23:39Z","snapshot_observed_at":"2026-08-15T08:43:37.020715Z","submitted_at":"2026-07-07T16:11:30Z","title":"Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory","version":2},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-07-11T00:26:17.026355Z"},"links":{"citing_paper":"/paper/2607.06447"},"observation_digest":"sha256:67d422d98f8a5a31c051efaf821bd451e6b961a8b52a5cc8bc1ec6d14bc5504a","observation_id":"c3decc4b-12d5-4495-8b33-f6d8f92283a4","resolution":{"observed_at":"2026-07-11T00:27:52.270043Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2605.06651","last_updated":"2026-05-13T16:47:04Z","snapshot_observed_at":"2026-08-04T04:11:56.984099Z","submitted_at":"2026-05-07T17:56:32Z","title":"AI co-mathematician: Accelerating mathematicians with agentic AI","version":2},"cited_work":{"arxiv_id":"2605.06651","doi":null,"metadata_source":"pith","pith_arxiv_id":"2605.06651","snapshot_observed_at":"2026-07-11T00:27:49.834012Z","title":"AI co-mathematician: Accelerating mathematicians with agentic AI","venue":"cs.AI","work_id":"5f2cf66c-8048-43d3-88b2-51b21f56a5b7","year":2026},"citing_paper":{"arxiv_id":"2607.06447","last_updated":"2026-07-08T12:23:39Z","snapshot_observed_at":"2026-08-15T08:43:37.020715Z","submitted_at":"2026-07-07T16:11:30Z","title":"Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory","version":2},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-07-11T00:26:17.026355Z"},"links":{"cited_paper":"/paper/2605.06651","citing_paper":"/paper/2607.06447"},"observation_digest":"sha256:ffa55e9858d314cce58bcce144d64ed52dda538990bcbedd013ac9b442c8de71","observation_id":"664b3e6f-c7f6-4f97-ae99-8910c1b08fb1","resolution":{"observed_at":"2026-07-11T00:27:49.861801Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2607.06447","last_updated":"2026-07-08T12:23:39Z","latest_version":2,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-15T08:43:37.020715Z","submitted_at":"2026-07-07T16:11:30Z","title":"Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory"},"reference_resolution":{"displayed":49,"state_counts":{"malformed_identifier":0,"metadata_mismatch":2,"parse_uncertain":0,"unresolved":0,"verified_exact":19,"verified_fuzzy":28},"total_outbound_references":49},"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-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"thesis":"As of 20 August 2026, this Paper Citation Record lists 49 of 49 outbound references and 10 inbound Pith citation observations for arXiv:2607.06447."}