Paper Citation Record · LEDGER

Matlas: A Semantic Search Engine for Mathematics

As of 4 August 2026, this Paper Citation Record lists 13 of 13 outbound references and 4 inbound Pith citation observations for arXiv:2604.17484.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2604.17484 v1

Coverage vector

measured 13 of 13 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-05-10T05:32:30.216388Z

measured 17 of 17 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-04T06:34:03.388597+00:00

measured 4 of 4 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-01T03:02:27.985220Z

measured 0 of 1 external citation measurements

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-08-04T06:34:03.388597+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-08-04T06:34:03.388597+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-08-04T06:34:03.388597+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-08-04T06:34:03.388597+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-08-04T06:34:03.388597+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-08-04T06:34:03.388597+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-08-04T06:34:03.388597+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-08-04T06:34:03.388597+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-08-04T06:34:03.388597+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-08-04T06:34:03.388597+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-08-04T06:34:03.388597+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-08-04T06:34:03.388597+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-08-04T06:34:03.388597+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-08-04T06:34:03.388597+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-08-04T06:34:03.388597+00:00.

Observation e44483d1-9c02-4483-b107-1a71fd470f50 · 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 Matlas: A Semantic Search Engine for Mathematics

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-01T03:02:27.985220Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.