{"as_of":"2026-08-05T05:54:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:d420e8592f0dfb77584cbfb4fa159a9891b82251506ea63794544e07dd38c4e6","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":53,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":53,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-04T06:34:03.388597+00:00","state":"measured"},{"denominator":4,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":4,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-04T09:31:37.044270Z","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-07-11T23:19:57.492205Z","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-02T11:01:29.306751Z","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:2ed4fa7de50436a00f1369f03cdfaa516fa1db270e00df3335ddd9e1d5ef18a1","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-07-11T23:19:57.492205Z","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-03T08:56:55.581650Z","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:fde61e148e4ce8067bad8f5da8b49c31a88aa899b801c56d646d80758d39864a","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-07-11T23:19:57.492205Z","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-03T06:17:57.461115Z","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:2ac57adfe49ba05f977d7116cf171af54d19613fb15b8e4da8e3c193c6f79111","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-07-11T23:19:57.492205Z","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-05T05:24:45.825658Z","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:a239d62fcdb359c366e031edc5789f46585e4eaf820d797404029fe6e4314b06","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"}}],"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-03T02:33:56.451331Z","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-07-11T23:19:57.492205Z","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:3f37d9b87dafe4ae34eed1f6e854a45d6ae552e07fcfd9114ac7e88eda73cf27","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-07-11T23:19:57.492205Z","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:85b70ac0b51c649d315a6f133ed348a90e90df8a8af463439dbab0da99bb12b5","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-07-11T23:19:57.492205Z","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:c5f0bd42b6bd122a1afa9dc75e35fd55648052980828eb88d264022a35cb4a72","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-07-11T23:19:57.492205Z","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:d78f66c13b3efbbe20828dbc750d8639b31ec386cf43fc9e61b278b9af4a3aac","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-01T23:04:38.514135Z","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-07-11T23:19:57.492205Z","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:29aef9c47177e4cee9dfc5b9b8c19f9646ebb32f124c2f8df71a0a96ba5ff0b4","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-07-11T23:19:57.492205Z","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:c5e88d01e68797f3e949fa46cf3597526f9cc62ca66827eb62c5599ceeb1ce49","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-07-11T23:19:57.492205Z","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:ac1e7638c10d8951c00bb800ba5c5eb70e3e6e20207a3bf9b7c95236e5c36be2","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-07-11T23:19:57.492205Z","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:15182e3e45f3850aef74fb7d64c9997c818af92891cb770b88bbe8a7f25ebf29","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-07-11T23:19:57.492205Z","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:05deed050694f54f5f4b49b78ba43082687495740e4b1a831b8251068f336cb2","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-04T02:58:01.815147Z","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-07-11T23:19:57.492205Z","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:eb118b42d22c599b8c6348815d0dfbb2b46811d7c994a4c6f9eb0e3aa4a78a2e","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T11:01:29.306751Z","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-07-11T23:19:57.492205Z","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:8ff47472b4c48096c61762373d0836510fd96650564645b3473a7b520ae87281","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-07-11T23:19:57.492205Z","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:c5bf18f1cff58ddde3792101d81bd733d77a56eceaabc7e5e195e0045feeef10","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-07-11T23:19:57.492205Z","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:f19a95f2a70784133eae279692c0ed63b0f3dad2be45e1da89651a068e1fefb5","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-07-11T23:19:57.492205Z","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:eb854121b2535b37198e887320da0aba2fab92abb4a89a784f538553ed451c09","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-07-11T23:19:57.492205Z","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:25d2db39125b24b5d0803df0dd4db5d071190cd1dc815cd40c95878565fddf12","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-07-11T23:19:57.492205Z","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:d0943cac9b65ac830759d975a26f86fb728333bcf53274d19b37c0c82c6e9d6e","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+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-04T06:33:57.428241+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-07-11T23:19:57.492205Z","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:4b11fd854030c3d7df557b12b20bcfaf0f9e83ffe608fe9a8e6bcc244b54e250","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-07-11T23:19:57.492205Z","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:40217e12621e86b4be6d14093ed09c63f1a47583b51e8d975e787aa9ddff47e2","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-07-11T23:19:57.492205Z","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:3437dec5cd903a58bc52a683e4e2b667e60fe29cc3ff0d8f6c92c8196ec73cf7","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-07-06T23:04:32.734175Z","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-07-11T23:19:57.492205Z","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:06cc73f46a5b937df45962942931d5e7f01ddbf08218135877445389ae737594","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-07-11T23:19:57.492205Z","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:75f669380834ff2f017619628a4f9a6a6e9d53c6a095a0ddcb3002e43c103b51","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-07-11T23:19:57.492205Z","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:c5d23c0e185286322055b97411da2f06a7b5877a7e139816de159822b2017042","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-07-11T23:19:57.492205Z","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:9eac719fe591b28bbd21afd4590c7effbeb44b5fe7c1552175f87721837602f1","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-07-11T23:19:57.492205Z","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:b4fdce13cb2da5c43ebb4d05926ea73bec336231cac5cf85b5224ebf6329ad13","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-07-11T23:19:57.492205Z","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:5d55aff8eb2627d2c7e13e13c5e117c08bca251007332690cfed6bb3fb8c9cd6","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2602.02450","doi":"10.48550/arxiv.2602.02450","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","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-07-11T23:19:57.492205Z","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":{"citing_paper":"/paper/2607.06447"},"observation_digest":"sha256:5a69aa84d56d0090fcf3d71b92265759c4bd1e42da8a28f7de9c6bb8cad0d4d4","observation_id":"d7b48deb-5f23-44ce-b0f9-256961ded305","resolution":{"observed_at":"2026-07-11T00:27:50.159077Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-07-06T22:51:00.579062Z","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-07-11T23:19:57.492205Z","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:7657814b963db4373924e1a9e9bd44397023f55c386b5181f914234a1b087354","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-07-11T23:19:57.492205Z","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:b9c3b5b32941911c9f85c1ae9bb6c15c4c6c9aa0fe84f043deeb8e58f001e081","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-07-11T23:19:57.492205Z","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:d042798041ba171e1a87edee72603ad49d11aa925686433d934e6ce9bc30f58b","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-07-06T23:33:04.856017Z","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-07-11T23:19:57.492205Z","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:3e61d3e3b3f0f710741b3954b570723cbbfdba2bcbaa15065831c1d3c7ec711c","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-07-11T23:19:57.492205Z","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:9fa23d4264c2a26b01c4508689379c47a64e6a2bf282cb02785cefad5e426c09","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-07-07T00:03:45.783349Z","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-07-11T23:19:57.492205Z","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:b72b8eadabdeb046fed8e0f2a9daf24b35a7d59871b359ccd89a47230f322c0e","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-07-11T23:19:57.492205Z","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:cbf6cf7e7d1e57076ad8b00b7840ad8f0faac42fa142b747ffae44a947d32bc4","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T12:13:14.268860Z","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-07-11T23:19:57.492205Z","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:eef47255525121e9773a3ce32d105a4828b2278b1cbf9bc450ca126f0eafb75b","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T11:55:05.582008Z","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-07-11T23:19:57.492205Z","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:192a393eed73f8c5fff27fa3e718b78c9e01e2a32e9ddd99a63f5fc7a9445097","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-07-11T23:19:57.492205Z","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:82de1f9dfb8c57f05ed7984bd99001f56c8528c37159c40b9cae7fddb8ae7613","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-07-11T23:19:57.492205Z","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:634358b374b0852fe3dc251ff7f66a8a5b8e7f3c05620ffb65815b7f3c46b824","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-07-11T23:19:57.492205Z","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:02e10fbb031ce8a8b7b1f241ac268c1298b288a49a0c967ccc14254df83c8fcd","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-07-11T23:19:57.492205Z","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:55fe49ca1ef4c8590a2f54a1e5ec2f2fb15570d2273e2ba46496fdd395230002","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-04T04:10:04.188303Z","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-07-11T23:19:57.492205Z","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:df17833cd39a73236a71c29912e3d1be8b37926c0878270597b99ff28dee7478","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-07-11T23:19:57.492205Z","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:5f1f6b4de71a3af6179deb67dd3deee3e4764701bb9e8d96bb79c2720a27c207","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-07-11T23:19:57.492205Z","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:1d75a8b48f0eaab6a7f20a28dada6e5281ac68c8dc56625adffcd063c2d516f3","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-07-11T23:19:57.492205Z","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:c2e15bf55bfa8163b11c815a1169f3aeb7ff492609ebf47cfdf90643677df37d","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-07-11T23:19:57.492205Z","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:95e158c02dd0054c83037585b21020850a2695904db091db9885ce0abe401018","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-07-11T23:19:57.492205Z","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:c12f87951b23fee51563844bc93a62b4015bb8b27034f5a2f53b4bef2aa77cf4","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-07-11T23:19:57.492205Z","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:10bb3370f293d8e2a217e95075d759d4ebb1b721c37de943cbbab488ab60b882","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-07-11T23:19:57.492205Z","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:42eafc8603ae06585effa221d6e43dd5d3a3ed05f3427338b5a9596cfee7372e","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-07-11T23:19:57.492205Z","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:26abefeceabb480deb2559ab06e7528643156a47030f595b29f91ec3034d97b4","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-07-11T23:19:57.492205Z","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:3dace4511db4d811accef36bab96223e3f4f66cc2c5ea179243ad482f4cc32f0","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-07-11T23:19:57.492205Z","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-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"thesis":"As of 5 August 2026, this Paper Citation Record lists 49 of 49 outbound references and 4 inbound Pith citation observations for arXiv:2607.06447."}