Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-05-10T05:32:30.216388Z
Paper Citation Record · LEDGER
Matlas: A Semantic Search Engine for Mathematics
As of 27 July 2026, this Paper Citation Record lists 13 of 13 outbound references and 3 inbound Pith citation observations for arXiv:2604.17484.
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-07-27T06:30:09.085275+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-07-11T19:30:43.940487Z
A source-named dated measurement, never combined with another source.
Source: pith, observed 2026-07-11T00:27:50.197103Z
Reference resolution
13 of 13 outbound references displayed
- verified exact11
- verified fuzzy1
- unresolved0
- parse uncertain0
- malformed identifier0
- metadata mismatch1
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 56e46146-33d8-4864-9398-dd66cf087a25 · outbound
This paper cites Semantic search over 9 million mathematical theorems.
Matlas: A Semantic Search Engine for Mathematics Semantic search over 9 million mathematical theorems
Reference 1
- Resolution
- verified exact
- arxiv_id, observed 2026-05-10T05:36:01.933040Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-27T06:30:09.085275+00:00.
Observation 48bec025-70cc-4b3b-b822-5238d3036e5e · outbound
This paper cites LeanExplore: A search engine for Lean 4 declarations.
Matlas: A Semantic Search Engine for Mathematics LeanExplore: A search engine for Lean 4 declarations
Reference 2
- Resolution
- verified exact
- arxiv_id, observed 2026-05-10T05:36:01.927892Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-27T06:30:09.085275+00:00.
Observation fd1d17cc-affd-43b3-9c9c-702667570213 · outbound
This paper cites Eigenweights for arithmetic hirzebruch proportionality.
Matlas: A Semantic Search Engine for Mathematics Eigenweights for arithmetic hirzebruch proportionality
Reference 3
- Resolution
- verified exact
- arxiv_id, observed 2026-05-10T05:36:01.922806Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-27T06:30:09.085275+00:00.
Observation 61021e26-db9f-44aa-82c6-20b83874bf56 · outbound
This paper cites Aletheia tackles firstproof autonomously.
Matlas: A Semantic Search Engine for Mathematics Aletheia tackles firstproof autonomously
Reference 4
- Resolution
- verified exact
- arxiv_id, observed 2026-05-10T05:36:01.920433Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-27T06:30:09.085275+00:00.
Observation ce350345-7031-4942-abef-95c5a268a292 · outbound
This paper cites Trinh, Garrett Bingham, Dawsen Hwang, Yuri Chervonyi, Junehyuk Jung,JoonkyungLee,CarloPagano,SanghyunKim,FedericoPasqualotto,SergeiGukov, Jonathan N.
Matlas: A Semantic Search Engine for Mathematics Trinh, Garrett Bingham, Dawsen Hwang, Yuri Chervonyi, Junehyuk Jung,JoonkyungLee,CarloPagano,SanghyunKim,FedericoPasqualotto,SergeiGukov, Jonathan N
Reference 5
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-05-10T05:36:01.907260Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-27T06:30:09.085275+00:00.
Observation bb6138a8-2f6a-462b-a5bc-79669652c989 · outbound
This paper cites A Semantic Search Engine for Mathlib4.
Matlas: A Semantic Search Engine for Mathematics A Semantic Search Engine for Mathlib4
Reference 6
- Resolution
- verified exact
- doi, observed 2026-05-10T05:36:01.396648Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-27T06:30:09.085275+00:00.
Observation 1abbed4e-1941-4ddb-b718-54761607792e · outbound
This paper cites Automated Conjecture Resolution with Formal Verification.
Matlas: A Semantic Search Engine for Mathematics Automated Conjecture Resolution with Formal Verification
Reference 7
- Resolution
- verified exact
- local_arxiv, observed 2026-05-10T05:36:01.912447Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-27T06:30:09.085275+00:00.
Observation f52cc58d-d938-40da-aa0d-d89d305a83f7 · outbound
This paper cites Lower bounds for multivariate independence polynomials and their generalisa- tions.
Matlas: A Semantic Search Engine for Mathematics Lower bounds for multivariate independence polynomials and their generalisa- tions
Reference 8
- Resolution
- verified exact
- arxiv_id, observed 2026-05-10T05:36:01.909844Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-27T06:30:09.085275+00:00.
Observation 4ed46c93-a32e-48ec-9d25-a3df915ab42f · outbound
This paper cites DeepSeek-V3.2: Pushing the Frontier of Open Large Language Models.
Matlas: A Semantic Search Engine for Mathematics DeepSeek-V3.2: Pushing the Frontier of Open Large Language Models
Reference 9
- Resolution
- verified exact
- arxiv_id, observed 2026-05-10T13:05:26.778195Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-27T06:30:09.085275+00:00.
Observation 2284e260-74e2-4e6d-8023-5b264fb4d07e · outbound
This paper cites Lean Finder: Semantic Search for Mathlib That Understands User Intents.
Matlas: A Semantic Search Engine for Mathematics Lean Finder: Semantic Search for Mathlib That Understands User Intents
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-21T20:14:21.129513Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-27T06:30:09.085275+00:00.
Observation 026c39f0-97d2-4950-b00e-05a00f2ef750 · outbound
This paper cites The Simplicity of the Hodge Bundle.
Matlas: A Semantic Search Engine for Mathematics The Simplicity of the Hodge Bundle
Reference 11
- Resolution
- verified exact
- arxiv_id, observed 2026-05-26T02:02:31.331660Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-27T06:30:09.085275+00:00.
Observation 6390744e-bf5f-4833-b8f9-ae9a27e484e0 · outbound
This paper cites LemmaBench: A Live, Research-Level Benchmark to Evaluate LLM Capabilities in Mathematics.
Matlas: A Semantic Search Engine for Mathematics LemmaBench: A Live, Research-Level Benchmark to Evaluate LLM Capabilities in Mathematics
Reference 12
- Resolution
- verified exact
- arxiv_id, observed 2026-06-23T04:13:44.884775Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-27T06:30:09.085275+00:00.
Observation b1c34084-355c-4424-a99a-da106f34fe29 · outbound
This paper cites Qwen3 Embedding: Advancing Text Embedding and Reranking Through Foundation Models.
Matlas: A Semantic Search Engine for Mathematics Qwen3 Embedding: Advancing Text Embedding and Reranking Through Foundation Models
Reference 13
- Resolution
- verified exact
- arxiv_id, observed 2026-05-10T13:46:09.919088Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-27T06:30:09.085275+00:00.
Pith citing papers
Observation aa5a3021-8a39-4680-844e-194bc6de3d94 · inbound
MechMath Agent Team: LLM Driven Agents for Mathematical Research cites this paper.
MechMath Agent Team: LLM Driven Agents for Mathematical Research Matlas: A Semantic Search Engine for Mathematics
Reference 25
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T19:30:43.940487Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation bc2538b0-e2fb-45a8-a2eb-d5dda751599f · inbound
Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory cites this paper.
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-08T05:44:36.011375Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-27T06:30:09.085275+00:00.
Observation 94c43630-27bb-40b5-8dbf-84f62179bbfa · inbound
Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory cites this paper.
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-07-27T06:30:09.085275+00:00.