Paper Citation Record · LEDGER

Mathematical reasoning and the computer

As of 21 August 2026, this Paper Citation Record lists 32 of 32 outbound references and 0 inbound Pith citation observations for arXiv:2502.07850.

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

pith.paper-citation-record.v1
2502.07850 v1

Coverage vector

measured 32 of 32 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-08T12:48:49.322911Z

measured 32 of 32 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-21T06:32:19.484+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

32 of 32 outbound references displayed

verified exact0
verified fuzzy11
unresolved21
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 4686a32c-fe06-4357-8d9e-693354d9234e · outbound

This paper cites an unresolved cited work.

Mathematical reasoning and the computer Unresolved cited work

Reference 1

Resolution: unresolved; raw_fallback, observed 2026-08-08T12:48:50.209083Z

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 5d477f93-3cdf-408d-ae82-507e6831cd0a · outbound

This paper cites Theory 26 (2022), 1145--1191.

Mathematical reasoning and the computer Theory 26 (2022), 1145--1191

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T12:48:50.192813Z

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 7f36296f-7087-42b5-af49-ab9f47424301 · outbound

This paper cites Bloom, On a density conjecture about unit fractions, 2021.

Mathematical reasoning and the computer Bloom, On a density conjecture about unit fractions, 2021

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T12:48:50.175984Z

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 f689961c-7870-4400-b55b-837584237580 · outbound

This paper cites Bloom and Bhavik Mehta, Unit fractions, https://b-mehta.github.io/unit-fractions/, Accessed: 24-04-2023.

Mathematical reasoning and the computer Bloom and Bhavik Mehta, Unit fractions, https://b-mehta.github.io/unit-fractions/, Accessed: 24-04-2023

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T12:48:50.157385Z

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 091c42b4-69c7-488d-bfd5-e57f387856ea · outbound

This paper cites an unresolved cited work.

Mathematical reasoning and the computer Unresolved cited work

Reference 5

Resolution: unresolved; raw_fallback, observed 2026-08-08T12:48:50.140369Z

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 58eabec5-1de7-451b-a005-a30801eb5064 · outbound

This paper cites an unresolved cited work.

Mathematical reasoning and the computer Unresolved cited work

Reference 6

Resolution: unresolved; raw_fallback, observed 2026-08-08T12:48:50.124133Z

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 5918d665-5761-4f9c-9528-e91f2fdcf5a4 · outbound

This paper cites Dahn, Robbins algebras are B oolean: a revision of M c C une's computer-generated solution of R obbins problem , J.

Mathematical reasoning and the computer Dahn, Robbins algebras are B oolean: a revision of M c C une's computer-generated solution of R obbins problem , J

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T12:48:50.106970Z

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 fae40861-027c-42b0-a34f-01b132844616 · outbound

This paper cites Deep Learning and Mathematical Intuition: A Review of (Davies et al. 2021).

Mathematical reasoning and the computer Deep Learning and Mathematical Intuition: A Review of (Davies et al. 2021)

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-08T12:48:49.193135Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4a015caf-aa17-4ca5-8b9f-26fd0477889b · outbound

This paper cites Dahmen, Johannes H\" o lzl, and Robert Y.

Mathematical reasoning and the computer Dahmen, Johannes H\" o lzl, and Robert Y

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T12:48:50.089411Z

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 0626422c-7a0f-4d65-8eee-a94fbb2f4908 · outbound

This paper cites an unresolved cited work.

Mathematical reasoning and the computer Unresolved cited work

Reference 10

Resolution: unresolved; raw_fallback, observed 2026-08-08T12:48:50.071693Z

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 ed74716a-5773-4715-9c0a-e5c21643d92a · outbound

This paper cites Ellenberg and Dion Gijswijt, On large subsets of F^n_q with no three-term arithmetic progression , Ann.

Mathematical reasoning and the computer Ellenberg and Dion Gijswijt, On large subsets of F^n_q with no three-term arithmetic progression , Ann

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T12:48:50.054571Z

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 296b20e2-0ce0-4011-a842-72fd36d4781c · outbound

This paper cites an unresolved cited work.

Mathematical reasoning and the computer Unresolved cited work

Reference 12

Resolution: unresolved; raw_fallback, observed 2026-08-08T12:48:50.035134Z

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 1b6678c8-4d97-4149-bc29-635ab6d72d69 · outbound

This paper cites an unresolved cited work.

Mathematical reasoning and the computer Unresolved cited work

Reference 13

Resolution: unresolved; raw_fallback, observed 2026-08-08T12:48:50.017400Z

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 421a8163-80cd-41f8-a9bd-492469185a2e · outbound

This paper cites Hales, A proof of the K epler conjecture , Ann.

Mathematical reasoning and the computer Hales, A proof of the K epler conjecture , Ann

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T12:48:49.999691Z

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 08931de3-ccb0-4b5a-9e96-48a155adf970 · outbound

This paper cites Notes Log., vol.

Mathematical reasoning and the computer Notes Log., vol

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T12:48:49.982901Z

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 0c05c559-72d3-4df3-a1ae-8ede25b20646 · outbound

This paper cites 2293, Springer, Cham, [2021] 2021.

Mathematical reasoning and the computer 2293, Springer, Cham, [2021] 2021

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T12:48:49.965350Z

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 5b2317b0-19d6-4d74-9508-0a12d1f32d73 · outbound

This paper cites an unresolved cited work.

Mathematical reasoning and the computer Unresolved cited work

Reference 17

Resolution: unresolved; raw_fallback, observed 2026-08-08T12:48:49.949151Z

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 fa2f2d5a-d399-476a-b6d5-564203850d83 · outbound

This paper cites an unresolved cited work.

Mathematical reasoning and the computer Unresolved cited work

Reference 18

Resolution: unresolved; raw_fallback, observed 2026-08-08T12:48:49.932875Z

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 db52e6ce-7c9d-482f-b10c-c9e126fb6718 · outbound

This paper cites Koyejo, S.

Mathematical reasoning and the computer Koyejo, S

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T12:48:49.911663Z

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 6580402b-32fa-4509-95a0-400d53dc6b43 · outbound

This paper cites an unresolved cited work.

Mathematical reasoning and the computer Unresolved cited work

Reference 20

Resolution: unresolved; raw_fallback, observed 2026-08-08T12:48:49.893611Z

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 890a539e-361b-44d4-b824-3598a4b7c8bf · outbound

This paper cites an unresolved cited work.

Mathematical reasoning and the computer Unresolved cited work

Reference 21

Resolution: unresolved; raw_fallback, observed 2026-08-08T12:48:49.876198Z

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 69af1be5-c06e-40cd-9bf5-0d3f3d7df958 · outbound

This paper cites an unresolved cited work.

Mathematical reasoning and the computer Unresolved cited work

Reference 22

Resolution: unresolved; raw_fallback, observed 2026-08-08T12:48:49.858053Z

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 1e6064e8-f4c8-4ef8-b5d2-942028e32157 · outbound

This paper cites an unresolved cited work.

Mathematical reasoning and the computer Unresolved cited work

Reference 23

Resolution: unresolved; raw_fallback, observed 2026-08-08T12:48:49.841038Z

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 11723e6d-e19b-4fc5-88e0-57f50392a5de · outbound

This paper cites Blackwood and sons, 1889.

Mathematical reasoning and the computer Blackwood and sons, 1889

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T12:48:49.821843Z

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 83ea9c89-5dca-42c4-9b46-3ec95c4a6a0d · outbound

This paper cites an unresolved cited work.

Mathematical reasoning and the computer Unresolved cited work

Reference 25

Resolution: unresolved; raw_fallback, observed 2026-08-08T12:48:49.802464Z

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 5bcc7d9c-9d44-4d85-9982-e7ea9708fd9d · outbound

This paper cites an unresolved cited work.

Mathematical reasoning and the computer Unresolved cited work

Reference 26

Resolution: unresolved; raw_fallback, observed 2026-08-08T12:48:49.785331Z

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 dceb7991-18af-423c-85b4-d321a310a38b · outbound

This paper cites an unresolved cited work.

Mathematical reasoning and the computer Unresolved cited work

Reference 27

Resolution: unresolved; raw_fallback, observed 2026-08-08T12:48:49.768336Z

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 7c16a30b-4057-408d-8d91-807aa4100064 · outbound

This paper cites an unresolved cited work.

Mathematical reasoning and the computer Unresolved cited work

Reference 28

Resolution: unresolved; raw_fallback, observed 2026-08-08T12:48:49.690124Z

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 e25c4f99-512d-49e3-af74-2b8c3db1052e · outbound

This paper cites an unresolved cited work.

Mathematical reasoning and the computer Unresolved cited work

Reference 29

Resolution: unresolved; raw_fallback, observed 2026-08-08T12:48:49.658632Z

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 c832d393-76e2-4d25-b768-439410d7462e · outbound

This paper cites an unresolved cited work.

Mathematical reasoning and the computer Unresolved cited work

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-08T12:48:49.311585Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b52620cb-8fc5-411f-af5e-8489bf0795ca · outbound

This paper cites an unresolved cited work.

Mathematical reasoning and the computer Unresolved cited work

Reference 31

Resolution: unresolved; raw_fallback, observed 2026-08-08T12:48:49.494282Z

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 8124d8be-b00c-4b63-b3d1-495d02e61b7a · outbound

This paper cites an unresolved cited work.

Mathematical reasoning and the computer Unresolved cited work

Reference 32

Resolution: unresolved; raw_fallback, observed 2026-08-08T12:48:49.385013Z

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

No inbound Pith citation observations are available.