Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-08T12:48:49.322911Z
Paper Citation Record · LEDGER
Mathematical reasoning and the computer
As of 9 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.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-09T06:31:02.800959+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
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-09T06:31:02.800959+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-09T06:31:02.800959+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-09T06:31:02.800959+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-09T06:31:02.800959+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-09T06:31:02.800959+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-09T06:31:02.800959+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-09T06:31:02.800959+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-09T06:31:02.800959+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-09T06:31:02.800959+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-09T06:31:02.800959+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-09T06:31:02.800959+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-09T06:31:02.800959+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-09T06:31:02.800959+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-09T06:31:02.800959+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-09T06:31:02.800959+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-09T06:31:02.800959+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-09T06:31:02.800959+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-09T06:31:02.800959+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-09T06:31:02.800959+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-09T06:31:02.800959+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-09T06:31:02.800959+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-09T06:31:02.800959+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-09T06:31:02.800959+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-09T06:31:02.800959+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-09T06:31:02.800959+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-09T06:31:02.800959+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-09T06:31:02.800959+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-09T06:31:02.800959+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-09T06:31:02.800959+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-09T06:31:02.800959+00:00.
Pith citing papers
No inbound Pith citation observations are available.