{"as_of":"2026-08-08T04:45:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:9c037db46b08f5550b9919b5e49e3aa55dc68523c2a8f28096b1dc7ef7a58078","coverage":[{"denominator":19,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":19,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T05:12:23.600904Z","state":"measured"},{"denominator":19,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":19,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-07T06:34:17.273281+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2506.08600/citation-record","integrity":"/paper/2506.08600/integrity","json":"/paper/2506.08600/citation-record.json","paper":"/paper/2506.08600"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:23.905466Z","title":"Global Lyapunov functions: a long-standing open problem in mathematics, with symbolic transformers, 2024","venue":null,"work_id":"25623e8c-9737-41ff-8ea1-f7d944226274","year":2024},"citing_paper":{"arxiv_id":"2506.08600","last_updated":"2025-06-10T09:06:41Z","snapshot_observed_at":"2026-08-07T11:26:24.329713Z","submitted_at":"2025-06-10T09:06:41Z","title":"CALT: A Library for Computer Algebra with Transformer","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-07T05:12:23.514598Z"},"links":{"citing_paper":"/paper/2506.08600"},"observation_digest":"sha256:4e46873025310a844396d38dcb253c70132f040809dc853213b9eec29bf98ac9","observation_id":"26eecbf9-5468-4857-9598-40b257ab8cf3","resolution":{"observed_at":"2026-08-07T05:12:23.910370Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:23.890321Z","title":"Linear algebra with transformers","venue":null,"work_id":"b2acea61-0995-484c-b9f1-c97fef8c99f6","year":2022},"citing_paper":{"arxiv_id":"2506.08600","last_updated":"2025-06-10T09:06:41Z","snapshot_observed_at":"2026-08-07T11:26:24.329713Z","submitted_at":"2025-06-10T09:06:41Z","title":"CALT: A Library for Computer Algebra with Transformer","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-07T05:12:23.519690Z"},"links":{"citing_paper":"/paper/2506.08600"},"observation_digest":"sha256:abdd20c533309b0436e5269c64c162f880dc430933ab7bd2019f845559d4c6b4","observation_id":"67b4f29a-d770-438e-8df1-2e5fddda003f","resolution":{"observed_at":"2026-08-07T05:12:23.895074Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:23.875663Z","title":"Int2Int : a framework for mathematics with transformers, 2025","venue":null,"work_id":"9da31c14-e90e-4f81-b00f-e753970e7f4f","year":2025},"citing_paper":{"arxiv_id":"2506.08600","last_updated":"2025-06-10T09:06:41Z","snapshot_observed_at":"2026-08-07T11:26:24.329713Z","submitted_at":"2025-06-10T09:06:41Z","title":"CALT: A Library for Computer Algebra with Transformer","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-07T05:12:23.524976Z"},"links":{"citing_paper":"/paper/2506.08600"},"observation_digest":"sha256:849751ea489a165dcb52f2c5325042a9e0ba38b5bbee6e2a2497d743cd8f8290","observation_id":"3e1c69e1-3504-4e29-be04-3e335bf8d8a3","resolution":{"observed_at":"2026-08-07T05:12:23.880605Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:23.861860Z","title":"Decision transformer: Reinforcement learning via sequence modeling","venue":null,"work_id":"36a802f3-76ad-49a5-846d-be2e51e6b39f","year":2021},"citing_paper":{"arxiv_id":"2506.08600","last_updated":"2025-06-10T09:06:41Z","snapshot_observed_at":"2026-08-07T11:26:24.329713Z","submitted_at":"2025-06-10T09:06:41Z","title":"CALT: A Library for Computer Algebra with Transformer","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-07T05:12:23.530129Z"},"links":{"citing_paper":"/paper/2506.08600"},"observation_digest":"sha256:2dbe2c78ec866e412ed07be22db6a159e446274e5149eff60ec5b017b1b93a08","observation_id":"ef97a1e5-6afa-41a5-8b12-d21d193a2231","resolution":{"observed_at":"2026-08-07T05:12:23.866367Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:23.847315Z","title":"An image is worth 16x16 words: Transformers for image recognition at scale","venue":null,"work_id":"617129c5-94b3-4756-883f-7b9915183699","year":2021},"citing_paper":{"arxiv_id":"2506.08600","last_updated":"2025-06-10T09:06:41Z","snapshot_observed_at":"2026-08-07T11:26:24.329713Z","submitted_at":"2025-06-10T09:06:41Z","title":"CALT: A Library for Computer Algebra with Transformer","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-07T05:12:23.534893Z"},"links":{"citing_paper":"/paper/2506.08600"},"observation_digest":"sha256:3224599f68c52eec9dfa70cf7a416b87768c6278b460c802f2080980441f9be6","observation_id":"fb3ba1c9-5c9f-4893-8197-d3a5d1c0acc5","resolution":{"observed_at":"2026-08-07T05:12:23.852135Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:23.831880Z","title":"R.-S., Tesileanu, T., Cho, K., and Ho, S","venue":null,"work_id":"fc353a3b-6821-41bf-851b-b55aa102f388","year":2023},"citing_paper":{"arxiv_id":"2506.08600","last_updated":"2025-06-10T09:06:41Z","snapshot_observed_at":"2026-08-07T11:26:24.329713Z","submitted_at":"2025-06-10T09:06:41Z","title":"CALT: A Library for Computer Algebra with Transformer","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-07T05:12:23.539593Z"},"links":{"citing_paper":"/paper/2506.08600"},"observation_digest":"sha256:f230a0e3d812d7d25321e1823e7c133bb99fa9f046d2c51142cb1e45637b4a95","observation_id":"80b393c3-b8df-4b70-bbe2-4e3a00e0fce4","resolution":{"observed_at":"2026-08-07T05:12:23.836404Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:23.817818Z","title":"Deep Learning","venue":null,"work_id":"c92c29ea-4810-4567-9983-ffd1f44af15f","year":2016},"citing_paper":{"arxiv_id":"2506.08600","last_updated":"2025-06-10T09:06:41Z","snapshot_observed_at":"2026-08-07T11:26:24.329713Z","submitted_at":"2025-06-10T09:06:41Z","title":"CALT: A Library for Computer Algebra with Transformer","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-07T05:12:23.544975Z"},"links":{"citing_paper":"/paper/2506.08600"},"observation_digest":"sha256:92ed81d5e104040a624cfab21d3e248f534d8aae326b8ce83672fd23a612582c","observation_id":"33ae37e0-6b9d-4050-a917-eff63d46ede5","resolution":{"observed_at":"2026-08-07T05:12:23.822764Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:23.802472Z","title":"Transformers: State-of-the-art Machine Learning for Pytorch, TensorFlow, and JAX , 2024","venue":null,"work_id":"10389481-72f5-46dc-a226-0dc5624c9592","year":2024},"citing_paper":{"arxiv_id":"2506.08600","last_updated":"2025-06-10T09:06:41Z","snapshot_observed_at":"2026-08-07T11:26:24.329713Z","submitted_at":"2025-06-10T09:06:41Z","title":"CALT: A Library for Computer Algebra with Transformer","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-07T05:12:23.549542Z"},"links":{"citing_paper":"/paper/2506.08600"},"observation_digest":"sha256:ec0caea9862dcaf72a9ad5185be45ace1c7d9872143267cc1a0335f657ea843e","observation_id":"56c96aad-538e-4f99-86d1-073f4eb8518d","resolution":{"observed_at":"2026-08-07T05:12:23.808163Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:23.787944Z","title":"Geometric generality of transformer-based gr\\\"obner basis computation, 2025","venue":null,"work_id":"4acdc321-7fd1-481a-9110-46966d7fd988","year":2025},"citing_paper":{"arxiv_id":"2506.08600","last_updated":"2025-06-10T09:06:41Z","snapshot_observed_at":"2026-08-07T11:26:24.329713Z","submitted_at":"2025-06-10T09:06:41Z","title":"CALT: A Library for Computer Algebra with Transformer","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-07T05:12:23.555211Z"},"links":{"citing_paper":"/paper/2506.08600"},"observation_digest":"sha256:2ad00ff9cb239c2724b4cb509a6389a52072d3fefe1f03fbe83d0876a5fae353","observation_id":"5e4c2e65-c0ba-40fa-b0cd-8aeee2b8fea0","resolution":{"observed_at":"2026-08-07T05:12:23.792741Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:23.772344Z","title":"Learning to compute Gr\\\"obner bases, 2024","venue":null,"work_id":"add40482-76cd-4416-840a-f646b8b9e32e","year":2024},"citing_paper":{"arxiv_id":"2506.08600","last_updated":"2025-06-10T09:06:41Z","snapshot_observed_at":"2026-08-07T11:26:24.329713Z","submitted_at":"2025-06-10T09:06:41Z","title":"CALT: A Library for Computer Algebra with Transformer","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-07T05:12:23.559602Z"},"links":{"citing_paper":"/paper/2506.08600"},"observation_digest":"sha256:922ab16ddcf90b57054630b0faabc6244dbb8652a03554f2118accac5b195a5e","observation_id":"3f0b1808-dc9e-4775-b199-9fb6c088bc4e","resolution":{"observed_at":"2026-08-07T05:12:23.777277Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:23.757860Z","title":"Computational algebra with attention: Transformer oracles for border basis algorithms, 2025","venue":null,"work_id":"779badaa-b6ae-445b-b7fc-203fb10d7286","year":2025},"citing_paper":{"arxiv_id":"2506.08600","last_updated":"2025-06-10T09:06:41Z","snapshot_observed_at":"2026-08-07T11:26:24.329713Z","submitted_at":"2025-06-10T09:06:41Z","title":"CALT: A Library for Computer Algebra with Transformer","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-07T05:12:23.563891Z"},"links":{"citing_paper":"/paper/2506.08600"},"observation_digest":"sha256:c9dfd56b203d35d8cc2d129cedfc270227b8bb04542702f7a3d73485f9b6de87","observation_id":"41f8ccc1-b207-40bc-afee-0d1c5d7ebdcb","resolution":{"observed_at":"2026-08-07T05:12:23.762706Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:23.743339Z","title":"Transformers provably solve parity efficiently with chain of thought","venue":null,"work_id":"05a3afde-8bb7-4e22-ac25-0f4c5c7b497e","year":2025},"citing_paper":{"arxiv_id":"2506.08600","last_updated":"2025-06-10T09:06:41Z","snapshot_observed_at":"2026-08-07T11:26:24.329713Z","submitted_at":"2025-06-10T09:06:41Z","title":"CALT: A Library for Computer Algebra with Transformer","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-07T05:12:23.568478Z"},"links":{"citing_paper":"/paper/2506.08600"},"observation_digest":"sha256:890732424371ac486a182e51517a631437ea26eabb41fb551d5dfdb52c42444e","observation_id":"30b7f7de-dad6-4708-9c03-c60d16d5834e","resolution":{"observed_at":"2026-08-07T05:12:23.748066Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:23.728897Z","title":"Deep learning for symbolic mathematics","venue":null,"work_id":"a9f6434a-997a-4aea-b505-406a36c42425","year":2020},"citing_paper":{"arxiv_id":"2506.08600","last_updated":"2025-06-10T09:06:41Z","snapshot_observed_at":"2026-08-07T11:26:24.329713Z","submitted_at":"2025-06-10T09:06:41Z","title":"CALT: A Library for Computer Algebra with Transformer","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-07T05:12:23.573388Z"},"links":{"citing_paper":"/paper/2506.08600"},"observation_digest":"sha256:12a10c31a2faa05a14f1ac12568dd15ce3ceb090600347ea04b17daf7d960d01","observation_id":"6af8dc57-9a62-4ab0-b666-4429ff23e8d9","resolution":{"observed_at":"2026-08-07T05:12:23.733539Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:23.713238Z","title":"P yTorch: The P yTorch Machine Learning Framework , 2024","venue":null,"work_id":"651d99a7-f517-4116-8433-c6fecd89b7ca","year":2024},"citing_paper":{"arxiv_id":"2506.08600","last_updated":"2025-06-10T09:06:41Z","snapshot_observed_at":"2026-08-07T11:26:24.329713Z","submitted_at":"2025-06-10T09:06:41Z","title":"CALT: A Library for Computer Algebra with Transformer","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-07T05:12:23.578091Z"},"links":{"citing_paper":"/paper/2506.08600"},"observation_digest":"sha256:09a8bac65ca615f4bbb63f27f0c11358678ef64ec8d304783286025221048abd","observation_id":"4966cbe0-61e7-4727-9824-7bce85752793","resolution":{"observed_at":"2026-08-07T05:12:23.718497Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:23.695930Z","title":"Teaching transformers modular arithmetic at scale, 2024","venue":null,"work_id":"0d18dccb-d403-4c5a-b59f-fb1d8e0228a5","year":2024},"citing_paper":{"arxiv_id":"2506.08600","last_updated":"2025-06-10T09:06:41Z","snapshot_observed_at":"2026-08-07T11:26:24.329713Z","submitted_at":"2025-06-10T09:06:41Z","title":"CALT: A Library for Computer Algebra with Transformer","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-07T05:12:23.582457Z"},"links":{"citing_paper":"/paper/2506.08600"},"observation_digest":"sha256:b02c11aede81adde62bca44b3a4a3fbae5e890a92e069c85f21197129230ccc4","observation_id":"358fed9f-f676-4c1d-b82c-2285c50b5052","resolution":{"observed_at":"2026-08-07T05:12:23.702142Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:23.680505Z","title":"T., Li, Y., and Zhang, Y","venue":null,"work_id":"3c2f548a-dc29-4ddb-8487-358615099cc0","year":2023},"citing_paper":{"arxiv_id":"2506.08600","last_updated":"2025-06-10T09:06:41Z","snapshot_observed_at":"2026-08-07T11:26:24.329713Z","submitted_at":"2025-06-10T09:06:41Z","title":"CALT: A Library for Computer Algebra with Transformer","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-07T05:12:23.587037Z"},"links":{"citing_paper":"/paper/2506.08600"},"observation_digest":"sha256:35f010d9ed9ff75c1de3521ad1ce3a24e9f378411467c59ecdee88fcb2b6fa83","observation_id":"59825bdc-9423-40a2-8c16-465a84e9dfe8","resolution":{"observed_at":"2026-08-07T05:12:23.685596Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:23.664162Z","title":"S ageMath, the S age M athematics S oftware S ystem ( V ersion 10.0) , 2023","venue":null,"work_id":"6b16ff5c-0ae8-4eef-99f6-557398a13e12","year":2023},"citing_paper":{"arxiv_id":"2506.08600","last_updated":"2025-06-10T09:06:41Z","snapshot_observed_at":"2026-08-07T11:26:24.329713Z","submitted_at":"2025-06-10T09:06:41Z","title":"CALT: A Library for Computer Algebra with Transformer","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-07T05:12:23.591358Z"},"links":{"citing_paper":"/paper/2506.08600"},"observation_digest":"sha256:203b962869c26d788581739cab3f8cecb3ef6b13530521076b48f71cb8e01e2b","observation_id":"5117f9d0-a774-4f1c-98dd-0838a6df54d3","resolution":{"observed_at":"2026-08-07T05:12:23.670035Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:23.649029Z","title":"N., Kaiser, L","venue":null,"work_id":"af7b9bab-74d7-4a04-93db-6c5395030108","year":2017},"citing_paper":{"arxiv_id":"2506.08600","last_updated":"2025-06-10T09:06:41Z","snapshot_observed_at":"2026-08-07T11:26:24.329713Z","submitted_at":"2025-06-10T09:06:41Z","title":"CALT: A Library for Computer Algebra with Transformer","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-07T05:12:23.596298Z"},"links":{"citing_paper":"/paper/2506.08600"},"observation_digest":"sha256:278babceea7675ef66d92ee88222e3c2bcb860f6f0baf7534a3f192daed072d1","observation_id":"1c257308-720b-496a-928a-25bcc4179e3e","resolution":{"observed_at":"2026-08-07T05:12:23.653877Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:23.632172Z","title":null,"venue":null,"work_id":"19569189-fe02-4c2c-a5fd-cfe20574860f","year":2022},"citing_paper":{"arxiv_id":"2506.08600","last_updated":"2025-06-10T09:06:41Z","snapshot_observed_at":"2026-08-07T11:26:24.329713Z","submitted_at":"2025-06-10T09:06:41Z","title":"CALT: A Library for Computer Algebra with Transformer","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-07T05:12:23.600904Z"},"links":{"citing_paper":"/paper/2506.08600"},"observation_digest":"sha256:f3c4d7b5f8c295c1b2f93d6f54bc877ef2109d4890ee596b063a1fed4378cf88","observation_id":"17dee24c-5f5a-4643-9749-6611eee4e018","resolution":{"observed_at":"2026-08-07T05:12:23.638432Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2506.08600","last_updated":"2025-06-10T09:06:41Z","latest_version":1,"primary_category":"cs.LG","snapshot_observed_at":"2026-08-07T11:26:24.329713Z","submitted_at":"2025-06-10T09:06:41Z","title":"CALT: A Library for Computer Algebra with Transformer"},"reference_resolution":{"displayed":19,"state_counts":{"malformed_identifier":1,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":1,"verified_exact":0,"verified_fuzzy":17},"total_outbound_references":19},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"thesis":"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."}