Paper Citation Record · LEDGER

In between myth and reality: AI for math -- a case study in category theory

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

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

pith.paper-citation-record.v1
2504.13360 v1

Coverage vector

measured 13 of 13 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-16T12:15:57.690155Z

measured 13 of 13 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-23T06:30:58.430688+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

13 of 13 outbound references displayed

verified exact0
verified fuzzy9
unresolved4
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation f4c0572d-de57-4576-91d4-c6b0f11a7d5a · outbound

This paper cites Birkh ¨auser (2025).

In between myth and reality: AI for math -- a case study in category theory Birkh ¨auser (2025)

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T12:15:57.924185Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 23dda438-946c-469d-9df4-6cc38cf9cbf3 · outbound

This paper cites an unresolved cited work.

In between myth and reality: AI for math -- a case study in category theory Unresolved cited work

Reference 2

Resolution: unresolved; raw_fallback, observed 2026-08-16T12:15:57.909464Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation dc01b0b9-f190-4b6e-9a82-191da7b33cd8 · outbound

This paper cites FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI.

In between myth and reality: AI for math -- a case study in category theory FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-16T12:15:57.639459Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 62b259f2-b945-435b-9ceb-0d65767e2120 · outbound

This paper cites Springer (1998).

In between myth and reality: AI for math -- a case study in category theory Springer (1998)

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T12:15:57.891425Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 2504d271-c2e6-4e4e-ac91-db05553fce48 · outbound

This paper cites URL https://openai.com/index/learning-to-reason-with-ll ms/.

In between myth and reality: AI for math -- a case study in category theory URL https://openai.com/index/learning-to-reason-with-ll ms/

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T12:15:57.875594Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 9d0d1ea8-6ed7-48d8-a05a-ccd81b827624 · outbound

This paper cites https://o3-mini.org.

In between myth and reality: AI for math -- a case study in category theory https://o3-mini.org

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T12:15:57.858824Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 640ac47a-eefa-4c21-bd4d-5517b4203d0a · outbound

This paper cites Oxford University P ress (2016).

In between myth and reality: AI for math -- a case study in category theory Oxford University P ress (2016)

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T12:15:57.842660Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 6fe9fa1a-4a67-4bd3-a6e1-a362bbb9dd2e · outbound

This paper cites AI Commun.

In between myth and reality: AI for math -- a case study in category theory AI Commun

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T12:15:57.827446Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation d54b51ba-f3c3-4d97-adfc-c83926c35be7 · outbound

This paper cites an unresolved cited work.

In between myth and reality: AI for math -- a case study in category theory Unresolved cited work

Reference 9

Resolution: unresolved; raw_fallback, observed 2026-08-16T12:15:57.810143Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation ca04cead-2918-4768-9a5e-34f0da855c1f · outbound

This paper cites In: Automated Deduction, LNCS, vol.

In between myth and reality: AI for math -- a case study in category theory In: Automated Deduction, LNCS, vol

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T12:15:57.794116Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation d8452dd0-9527-404e-b4a4-f0efc45cf1bf · outbound

This paper cites inclusion-morphisms.

In between myth and reality: AI for math -- a case study in category theory inclusion-morphisms

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T12:15:57.778715Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation daa9ce9e-6581-4b2b-842c-206a5886dd5d · outbound

This paper cites an unresolved cited work.

In between myth and reality: AI for math -- a case study in category theory Unresolved cited work

Reference 12

Resolution: unresolved; raw_fallback, observed 2026-08-16T12:15:57.762005Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation edfbbd39-21b4-4db4-92d2-0fe73dff525d · outbound

This paper cites consisting of abstract inclusions.

In between myth and reality: AI for math -- a case study in category theory consisting of abstract inclusions

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T12:15:57.746543Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Pith citing papers

No inbound Pith citation observations are available.