Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-07-11T00:26:17.026355Z
Paper Citation Record · LEDGER
Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory
As of 21 August 2026, this Paper Citation Record lists 49 of 49 outbound references and 10 inbound Pith citation observations for arXiv:2607.06447.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-21T06:32:19.484+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-16T00:41:39.504500Z
A source-named dated measurement, never combined with another source.
Source: pith, observed 2026-07-11T02:07:43.711329Z
Reference resolution
49 of 49 outbound references displayed
- verified exact19
- verified fuzzy28
- unresolved0
- parse uncertain0
- malformed identifier0
- metadata mismatch2
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation e58679e1-9f7b-441b-a14e-6f1062f6a60a · outbound
This paper cites First Proof Second Batch.
Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory First Proof Second Batch
Reference 1
- Resolution
- verified exact
- local_arxiv, observed 2026-07-11T00:27:49.745529Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 636ae7b4-62df-4d9c-a492-7fcc1952d434 · outbound
This paper cites Hodge theory for combinatorial geometries.Annals of Mathematics, 188(2):381–452, 2018.
Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory Hodge theory for combinatorial geometries.Annals of Mathematics, 188(2):381–452, 2018
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-11T00:27:52.130300Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 29fca037-8360-4f7e-96ca-a25ded938faf · outbound
This paper cites Two two-dimensional terminations.Duke Mathematical Journal, 69(3):527–545, 1993.
Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory Two two-dimensional terminations.Duke Mathematical Journal, 69(3):527–545, 1993
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-11T00:27:52.158501Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation e1bf24b7-945c-40a3-a857-0d6e43085168 · outbound
This paper cites Boundedness andK2 for log surfaces.International Journal of Mathematics, 5(6):779–810, 1994.
Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory Boundedness andK2 for log surfaces.International Journal of Mathematics, 5(6):779–810, 1994
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-11T00:27:52.221537Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation e465237c-2d27-4b69-898e-0d1fc864a094 · outbound
This paper cites QED: An Open-Source Multi-Agent System for Generating Mathematical Proofs on Open Problems.
Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory QED: An Open-Source Multi-Agent System for Generating Mathematical Proofs on Open Problems
Reference 5
- Resolution
- verified exact
- local_arxiv, observed 2026-07-11T00:27:49.828103Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 9ec7f50e-c10b-4eee-9a91-5bec2d59adda · outbound
This paper cites Ardila-Mantilla, N.
Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory Ardila-Mantilla, N
Reference 6
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-07-11T00:27:49.801144Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 0bd11df6-5c1c-48d4-80c3-b74ddfaaa337 · outbound
This paper cites Cosmohedra.Journal of High Energy Physics, 2025(11):Paper No.
Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory Cosmohedra.Journal of High Energy Physics, 2025(11):Paper No
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-11T00:27:52.003844Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 30975657-aa0f-4f21-8d06-1f2af84900b9 · outbound
This paper cites Rational curves on foliated varieties.
Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory Rational curves on foliated varieties
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-11T00:27:52.244615Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 50c22e50-b8aa-46aa-9a59-f4754208a166 · outbound
This paper cites Foliations with positive slopes and birational stability of orbifold cotangent bundles.
Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory Foliations with positive slopes and birational stability of orbifold cotangent bundles
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-11T00:27:52.200447Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation e1a7ea3f-8ac9-4dba-aee6-c42932ce0ec5 · outbound
This paper cites Tangent classes for matroid building sets.
Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory Tangent classes for matroid building sets
Reference 10
- Resolution
- verified exact
- local_arxiv, observed 2026-07-11T00:27:49.920988Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 50635642-6a83-47d2-8a6d-c97365b9ad3d · outbound
This paper cites Tangent classes of matroids and wonderful compactifications.
Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory Tangent classes of matroids and wonderful compactifications
Reference 11
- Resolution
- verified exact
- local_arxiv, observed 2026-07-11T00:27:49.888620Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 507f21e8-a730-4234-86f3-fb3df54e284e · outbound
This paper cites Wonderful models of subspace arrangements.Selecta Mathematica, 1 (3):459–494, 1995.
Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory Wonderful models of subspace arrangements.Selecta Mathematica, 1 (3):459–494, 1995
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-11T00:27:51.982560Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 9f33755b-c305-4578-895f-08b7e22c7c4f · outbound
This paper cites Degenerate constants in degree inequalities for Sobolev circle maps: on some problems posed by Brezis.
Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory Degenerate constants in degree inequalities for Sobolev circle maps: on some problems posed by Brezis
Reference 13
- Resolution
- verified exact
- local_arxiv, observed 2026-07-11T00:27:49.717038Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 7110aa4e-0bfa-43b8-8e13-68ca5dcdba99 · outbound
This paper cites Chow rings of toric varieties defined by atomic lattices.Inventiones mathematicae, 155(3):515–536, 2004.
Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory Chow rings of toric varieties defined by atomic lattices.Inventiones mathematicae, 155(3):515–536, 2004
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-11T00:27:52.187223Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 5551ce45-3242-4306-9bc7-43616aba5296 · outbound
This paper cites Eigenweights for arithmetic Hirzebruch proportionality.PNAS Nexus, 5(5):pgag143, 2026.
Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory Eigenweights for arithmetic Hirzebruch proportionality.PNAS Nexus, 5(5):pgag143, 2026
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-11T00:27:52.212547Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation e459d044-50a3-4c7c-b22f-d3ae81b0058c · outbound
This paper cites Trinh, Garrett Bingham, Dawsen Hwang, Yuri Chervonyi, Junehyuk Jung,JoonkyungLee,CarloPagano,SanghyunKim,FedericoPasqualotto,SergeiGukov, Jonathan N.
Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory Trinh, Garrett Bingham, Dawsen Hwang, Yuri Chervonyi, Junehyuk Jung,JoonkyungLee,CarloPagano,SanghyunKim,FedericoPasqualotto,SergeiGukov, Jonathan N
Reference 16
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-07-11T00:27:49.889253Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation eef81255-5fe7-4a4b-a43b-2a31501c7467 · outbound
This paper cites Total cartier index of a bounded family.Pure and Applied Mathematics Quarterly, 22(1):171–179, 2026.
Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory Total cartier index of a bounded family.Pure and Applied Mathematics Quarterly, 22(1):171–179, 2026
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-11T00:27:52.625636Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation f3e45d27-974b-4599-9970-f8a1078b3dfc · outbound
This paper cites On some open problems in commutative algebra resolved by Rethlas.
Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory On some open problems in commutative algebra resolved by Rethlas
Reference 18
- Resolution
- verified exact
- local_arxiv, observed 2026-07-11T00:27:49.985194Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation ee54a2e7-3241-4832-8453-6b63c9faaa09 · outbound
This paper cites Optimal bounds in bend-and-break.Forum of Mathematics, Pi, 14:e16, 2026.
Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory Optimal bounds in bend-and-break.Forum of Mathematics, Pi, 14:e16, 2026
Reference 19
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-11T00:27:52.420492Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 94c43630-27bb-40b5-8dbf-84f62179bbfa · outbound
This paper cites Matlas: A Semantic Search Engine for Mathematics.
Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory Matlas: A Semantic Search Engine for Mathematics
Reference 20
- Resolution
- verified exact
- local_arxiv, observed 2026-07-11T00:27:50.223897Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 4411a9c5-99c6-426e-ba47-48da2f6ddccb · outbound
This paper cites Automated Conjecture Resolution with Formal Verification.
Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory Automated Conjecture Resolution with Formal Verification
Reference 21
- Resolution
- verified exact
- local_arxiv, observed 2026-07-11T00:27:50.190768Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 356bf069-6df5-4ac0-aebc-963aaa7dff5b · outbound
This paper cites Rationally connected foliations after bogomolov and mc- quillan.
Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory Rationally connected foliations after bogomolov and mc- quillan
Reference 22
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-11T00:27:52.522683Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 85ed1d75-6bce-44c4-9fad-173304d6b065 · outbound
This paper cites Maps between local picard groups.Algebraic Geometry, 3(4):461–495, 2016.
Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory Maps between local picard groups.Algebraic Geometry, 3(4):461–495, 2016
Reference 23
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-11T00:27:52.549218Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 97f666d0-4c77-4d16-b279-c2a5d829f18c · outbound
This paper cites Threefolds and deformations of surface singularities.Inventiones mathematicae, 91(2):299–338, 1988.
Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory Threefolds and deformations of surface singularities.Inventiones mathematicae, 91(2):299–338, 1988
Reference 24
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-11T00:27:52.469194Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 4fa45def-984a-4e7a-a444-a50eaef48ccb · outbound
This paper cites K-rings of wonderful varieties and matroids.
Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory K-rings of wonderful varieties and matroids
Reference 25
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-11T00:27:52.445390Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation d7b48deb-5f23-44ce-b0f9-256961ded305 · outbound
This paper cites Lower bounds for multivariate independence polynomials and their generalisations.
Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory Lower bounds for multivariate independence polynomials and their generalisations
Reference 26
- Resolution
- verified exact
- arxiv_id, observed 2026-08-07T01:32:41.829734Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation a18af53a-18ea-437f-a088-6440b7b55229 · outbound
This paper cites Meta-Harness: End-to-End Optimization of Model Harnesses.
Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory Meta-Harness: End-to-End Optimization of Model Harnesses
Reference 27
- Resolution
- verified exact
- local_arxiv, observed 2026-07-11T00:27:50.095718Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 9114ddd2-89cb-4c64-ac08-c5a2eb491a54 · outbound
This paper cites On Injectivity of Phase Retrieval.
Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory On Injectivity of Phase Retrieval
Reference 28
- Resolution
- verified exact
- local_arxiv, observed 2026-07-11T00:27:50.064837Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 082adf95-7d3b-4c09-933e-9feb949250a5 · outbound
This paper cites Factorial asymptotics of the Matryoshka numbers.
Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory Factorial asymptotics of the Matryoshka numbers
Reference 29
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-11T00:27:52.424056Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 2225247b-747b-483a-bff3-4aea3a29e397 · outbound
This paper cites Shokurov's global index conjecture for threefold foliations.
Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory Shokurov's global index conjecture for threefold foliations
Reference 30
- Resolution
- verified exact
- local_arxiv, observed 2026-07-11T00:27:50.126361Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation f3d7dca9-6b1f-44ca-a8ea-d54f32ab3945 · outbound
This paper cites Criteria of isolated weighted homogeneous hypersurface singularities using Logarithmic vector fields.
Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory Criteria of isolated weighted homogeneous hypersurface singularities using Logarithmic vector fields
Reference 31
- Resolution
- verified exact
- local_arxiv, observed 2026-07-11T00:27:49.999900Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation b338b71a-e845-4b18-987f-18371e94faf4 · outbound
This paper cites A Criteria of Weighted Homogeneity via Logarithmic Vector Fields.
Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory A Criteria of Weighted Homogeneity via Logarithmic Vector Fields
Reference 32
- Resolution
- verified exact
- local_arxiv, observed 2026-07-11T00:27:49.971397Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation c708bce6-f8a1-4516-8aed-44e830a04933 · outbound
This paper cites Complements, index theorem, and minimal log discrepancies of foliated surface singularities.European Journal of Mathematics, 10(1):Paper No.
Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory Complements, index theorem, and minimal log discrepancies of foliated surface singularities.European Journal of Mathematics, 10(1):Paper No
Reference 33
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-11T00:27:52.401715Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 76f1f7b8-6cf2-4d92-a618-71983e147df5 · outbound
This paper cites Boundedness of total Cartier indices for rational singularities in families.
Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory Boundedness of total Cartier indices for rational singularities in families
Reference 34
- Resolution
- verified exact
- local_arxiv, observed 2026-07-11T00:27:49.914577Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation e1946201-e48b-4b53-a5ac-45bce9d3bf0e · outbound
This paper cites Optimal bend-and-break for foliations.
Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory Optimal bend-and-break for foliations
Reference 35
- Resolution
- verified exact
- local_arxiv, observed 2026-07-11T00:27:49.954580Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation e41935e1-7a4f-494a-913b-668e867c4748 · outbound
This paper cites Generic vector fields on isolated complex hypersurface germs.
Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory Generic vector fields on isolated complex hypersurface germs
Reference 36
- Resolution
- verified exact
- local_arxiv, observed 2026-07-11T00:27:50.031629Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation b3db9153-aeb3-47b7-8d8b-e810f7e38b7a · outbound
This paper cites A numerical criterion for uniruledness.Annals of Mathematics, 124(1): 65–69, 1986.
Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory A numerical criterion for uniruledness.Annals of Mathematics, 124(1): 65–69, 1986
Reference 37
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-11T00:27:52.495357Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 40b2f0a6-57d7-45ed-8373-77c5fc788eb0 · outbound
This paper cites Threefolds whose canonical bundles are not numerically effective.Annals of Mathematics, 116: 133–176, 1982.
Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory Threefolds whose canonical bundles are not numerically effective.Annals of Mathematics, 116: 133–176, 1982
Reference 38
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-11T00:27:52.446286Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation ada9c683-ce76-45b0-bcae-3605a9ecae5c · outbound
This paper cites Entry A177384.
Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory Entry A177384
Reference 39
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-11T00:27:52.047378Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 1e4144a5-bd02-4c1b-a0b7-690978698c4e · outbound
This paper cites Lift-independence problem in the $P$-adic Simpson correspondence for curves.
Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory Lift-independence problem in the $P$-adic Simpson correspondence for curves
Reference 40
- Resolution
- verified exact
- local_arxiv, observed 2026-07-11T00:27:50.254847Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation e224d91e-84d2-4d34-bac0-d87cdc788a50 · outbound
This paper cites The simplicity of the hodge bundle.Proceedings of the National Academy of Sciences, 123(21): e2610183123, 2026.
Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory The simplicity of the hodge bundle.Proceedings of the National Academy of Sciences, 123(21): e2610183123, 2026
Reference 41
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-11T00:27:52.601491Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation ed31422f-dcff-494d-9e64-a240edf81ecf · outbound
This paper cites On the height of foliated surfaces with vanishing kodaira dimension.
Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory On the height of foliated surfaces with vanishing kodaira dimension
Reference 42
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-11T00:27:52.377537Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation b8d23c69-cd3c-432d-8926-6494f6efa6af · outbound
This paper cites Quasihomogene isolierte Singularitäten von Hyperflächen.Inventionesmathematicae, 14(2):123–142, 1971.
Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory Quasihomogene isolierte Singularitäten von Hyperflächen.Inventionesmathematicae, 14(2):123–142, 1971
Reference 43
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-11T00:27:52.651532Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation ef619584-f406-402e-932c-9cdaf95c6690 · outbound
This paper cites Proof- Council: An llm agent for solving open mathematical problems.https://github.com/eth-sri/proof-council, 2026.
Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory Proof- Council: An llm agent for solving open mathematical problems.https://github.com/eth-sri/proof-council, 2026
Reference 44
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-11T00:27:52.326966Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 6a48981c-1c11-41da-95bb-cd9903783404 · outbound
This paper cites 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.
Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory 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
Reference 45
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-11T00:27:52.352631Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 78a77047-1db4-4088-a033-5f279600b21b · outbound
This paper cites Higher-dimensional foliated mori theory.Compositio Mathematica, 156(1):1–38, 2020.
Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory Higher-dimensional foliated mori theory.Compositio Mathematica, 156(1):1–38, 2020
Reference 46
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-11T00:27:52.576447Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 88f16646-3794-48b6-b912-28eeeca4a500 · outbound
This paper cites Complements on log canonical Fano varieties and index conjecture of log Calabi–Yauvarieties.
Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory Complements on log canonical Fano varieties and index conjecture of log Calabi–Yauvarieties
Reference 47
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-11T00:27:52.239965Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation c3decc4b-12d5-4495-8b33-f6d8f92283a4 · outbound
This paper cites Swe-agent: Agent-computer interfaces enable automated software engineering.Advances in Neural Information Processing Systems, 37:50528–50652, 2024.
Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory Swe-agent: Agent-computer interfaces enable automated software engineering.Advances in Neural Information Processing Systems, 37:50528–50652, 2024
Reference 48
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-11T00:27:52.270043Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 664b3e6f-c7f6-4f97-ae99-8910c1b08fb1 · outbound
This paper cites AI co-mathematician: Accelerating mathematicians with agentic AI.
Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory AI co-mathematician: Accelerating mathematicians with agentic AI
Reference 49
- Resolution
- verified exact
- local_arxiv, observed 2026-07-11T00:27:49.861801Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Pith citing papers
Observation 3a66dc2a-c819-460d-8cd6-cc40a1a561eb · inbound
Tangent classes of matroids and wonderful compactifications cites this paper.
Tangent classes of matroids and wonderful compactifications Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory
Reference 10
- Resolution
- verified exact
- local_arxiv, observed 2026-07-11T02:07:43.741605Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation ef434678-0e2f-41c6-ac7a-18065e1e990d · inbound
Twelve common flex lines in a general pencil of cubics cites this paper.
Twelve common flex lines in a general pencil of cubics Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory
Reference 6
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T15:40:08.492519Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c758d7c6-fc67-4f22-8f54-fce17f9830d2 · inbound
Removing the Torsion-free Hypothesis in a Positivity Theorem on Deligne-Mumford Stacks cites this paper.
Removing the Torsion-free Hypothesis in a Positivity Theorem on Deligne-Mumford Stacks Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory
Reference 4
- Resolution
- unresolved
- no resolver link, observed 2026-07-30T14:47:38.155485Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6e33e507-f397-4c59-888e-0f8900cb67db · inbound
Albilich: Steerable Proof-State Orchestration for LLM-Based Mathematical Research with CAS Integration cites this paper.
Albilich: Steerable Proof-State Orchestration for LLM-Based Mathematical Research with CAS Integration Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory
Reference 9
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T03:02:28.334364Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 597f31ca-1852-432e-8bfa-bf0ef7cfc14c · inbound
The equality case of Ehrhart's volume conjecture cites this paper.
The equality case of Ehrhart's volume conjecture Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory
Reference 23
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T00:50:02.109873Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation eff3bfc5-fc39-46c8-82c0-c3a9403d43f5 · inbound
The equality case of Ehrhart's volume conjecture cites this paper.
The equality case of Ehrhart's volume conjecture Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory
Reference 27
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T01:17:15.144101Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7b91e54c-6ab0-4d60-924a-2cf3b83718d2 · inbound
ICC property(T) groups without W$^*$-superrigidity cites this paper.
ICC property(T) groups without W$^*$-superrigidity Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory
Reference 15
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T09:31:37.044270Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 06809221-dfda-4394-b603-eed24eeb9ac5 · inbound
The crisis of AI-generated mathematics cites this paper.
The crisis of AI-generated mathematics Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory
Reference 12
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T14:59:24.963040Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ecd5d651-50b9-475d-b312-f066496eab28 · inbound
A klt generalized pair with infinitely generated canonical ring cites this paper.
A klt generalized pair with infinitely generated canonical ring Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory
Reference 13
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T22:37:26.515884Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f5140db0-6301-493a-96e3-3c60583c9682 · inbound
Conifold Gap Theorem for Topological Recursion cites this paper.
Conifold Gap Theorem for Topological Recursion Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory
Reference 24
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T00:41:39.504500Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.