Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-07T05:12:23.600904Z
Paper Citation Record · LEDGER
CALT: A Library for Computer Algebra with Transformer
As of 8 August 2026, this Paper Citation Record lists 19 of 19 outbound references and 0 inbound Pith citation observations for arXiv:2506.08600.
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-07T06:34:17.273281+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
19 of 19 outbound references displayed
- verified exact0
- verified fuzzy17
- unresolved1
- parse uncertain0
- malformed identifier1
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 26eecbf9-5468-4857-9598-40b257ab8cf3 · outbound
This paper cites Global Lyapunov functions: a long-standing open problem in mathematics, with symbolic transformers, 2024.
CALT: A Library for Computer Algebra with Transformer Global Lyapunov functions: a long-standing open problem in mathematics, with symbolic transformers, 2024
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T05:12:23.910370Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 67b4f29a-d770-438e-8df1-2e5fddda003f · outbound
This paper cites Linear algebra with transformers.
CALT: A Library for Computer Algebra with Transformer Linear algebra with transformers
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T05:12:23.895074Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 3e1c69e1-3504-4e29-be04-3e335bf8d8a3 · outbound
This paper cites Int2Int : a framework for mathematics with transformers, 2025.
CALT: A Library for Computer Algebra with Transformer Int2Int : a framework for mathematics with transformers, 2025
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T05:12:23.880605Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation ef97a1e5-6afa-41a5-8b12-d21d193a2231 · outbound
This paper cites Decision transformer: Reinforcement learning via sequence modeling.
CALT: A Library for Computer Algebra with Transformer Decision transformer: Reinforcement learning via sequence modeling
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T05:12:23.866367Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation fb3ba1c9-5c9f-4893-8197-d3a5d1c0acc5 · outbound
This paper cites An image is worth 16x16 words: Transformers for image recognition at scale.
CALT: A Library for Computer Algebra with Transformer An image is worth 16x16 words: Transformers for image recognition at scale
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T05:12:23.852135Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 80b393c3-b8df-4b70-bbe2-4e3a00e0fce4 · outbound
This paper cites R.-S., Tesileanu, T., Cho, K., and Ho, S.
CALT: A Library for Computer Algebra with Transformer R.-S., Tesileanu, T., Cho, K., and Ho, S
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T05:12:23.836404Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 33ae37e0-6b9d-4050-a917-eff63d46ede5 · outbound
This paper cites Deep Learning.
CALT: A Library for Computer Algebra with Transformer Deep Learning
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T05:12:23.822764Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 56c96aad-538e-4f99-86d1-073f4eb8518d · outbound
This paper cites Transformers: State-of-the-art Machine Learning for Pytorch, TensorFlow, and JAX , 2024.
CALT: A Library for Computer Algebra with Transformer Transformers: State-of-the-art Machine Learning for Pytorch, TensorFlow, and JAX , 2024
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T05:12:23.808163Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 5e4c2e65-c0ba-40fa-b0cd-8aeee2b8fea0 · outbound
This paper cites Geometric generality of transformer-based gr\"obner basis computation, 2025.
CALT: A Library for Computer Algebra with Transformer Geometric generality of transformer-based gr\"obner basis computation, 2025
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T05:12:23.792741Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 3f0b1808-dc9e-4775-b199-9fb6c088bc4e · outbound
This paper cites Learning to compute Gr\"obner bases, 2024.
CALT: A Library for Computer Algebra with Transformer Learning to compute Gr\"obner bases, 2024
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T05:12:23.777277Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 41f8ccc1-b207-40bc-afee-0d1c5d7ebdcb · outbound
This paper cites Computational algebra with attention: Transformer oracles for border basis algorithms, 2025.
CALT: A Library for Computer Algebra with Transformer Computational algebra with attention: Transformer oracles for border basis algorithms, 2025
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T05:12:23.762706Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 30b7f7de-dad6-4708-9c03-c60d16d5834e · outbound
This paper cites Transformers provably solve parity efficiently with chain of thought.
CALT: A Library for Computer Algebra with Transformer Transformers provably solve parity efficiently with chain of thought
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T05:12:23.748066Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 6af8dc57-9a62-4ab0-b666-4429ff23e8d9 · outbound
This paper cites Deep learning for symbolic mathematics.
CALT: A Library for Computer Algebra with Transformer Deep learning for symbolic mathematics
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T05:12:23.733539Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 4966cbe0-61e7-4727-9824-7bce85752793 · outbound
This paper cites P yTorch: The P yTorch Machine Learning Framework , 2024.
CALT: A Library for Computer Algebra with Transformer P yTorch: The P yTorch Machine Learning Framework , 2024
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T05:12:23.718497Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 358fed9f-f676-4c1d-b82c-2285c50b5052 · outbound
This paper cites Teaching transformers modular arithmetic at scale, 2024.
CALT: A Library for Computer Algebra with Transformer Teaching transformers modular arithmetic at scale, 2024
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T05:12:23.702142Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 59825bdc-9423-40a2-8c16-465a84e9dfe8 · outbound
This paper cites T., Li, Y., and Zhang, Y.
CALT: A Library for Computer Algebra with Transformer T., Li, Y., and Zhang, Y
Reference 16
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T05:12:23.685596Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 5117f9d0-a774-4f1c-98dd-0838a6df54d3 · outbound
This paper cites S ageMath, the S age M athematics S oftware S ystem ( V ersion 10.0) , 2023.
CALT: A Library for Computer Algebra with Transformer S ageMath, the S age M athematics S oftware S ystem ( V ersion 10.0) , 2023
Reference 17
- Resolution
- malformed identifier
- raw_fallback, observed 2026-08-07T05:12:23.670035Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 1c257308-720b-496a-928a-25bcc4179e3e · outbound
This paper cites N., Kaiser, L.
CALT: A Library for Computer Algebra with Transformer N., Kaiser, L
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T05:12:23.653877Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 17dee24c-5f5a-4643-9749-6611eee4e018 · outbound
This paper cites an unresolved cited work.
CALT: A Library for Computer Algebra with Transformer Unresolved cited work
Reference 19
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T05:12:23.638432Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Pith citing papers
No inbound Pith citation observations are available.