{"as_of":"2026-08-09T06:05:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:c7451145b751bcd8d34763f642cebc73e32798a0c04dfd6599a8557bed0dd235","coverage":[{"denominator":32,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":32,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-08T12:48:49.322911Z","state":"measured"},{"denominator":32,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":32,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+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/2502.07850/citation-record","integrity":"/paper/2502.07850/integrity","json":"/paper/2502.07850/citation-record.json","paper":"/paper/2502.07850"},"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-08T12:48:50.204041Z","title":null,"venue":null,"work_id":"3dc3b56a-fe3d-4c8f-9a97-f0633e850126","year":2019},"citing_paper":{"arxiv_id":"2502.07850","last_updated":"2025-02-11T10:35:52Z","snapshot_observed_at":"2026-08-08T12:41:52.756845Z","submitted_at":"2025-02-11T10:35:52Z","title":"Mathematical reasoning and the computer","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-08T12:48:49.065695Z"},"links":{"citing_paper":"/paper/2502.07850"},"observation_digest":"sha256:8467bb43a743ef843a66543a911d5c4fc9e0dc1931cee8c6cb104ca378f07e8d","observation_id":"4686a32c-fe06-4357-8d9e-693354d9234e","resolution":{"observed_at":"2026-08-08T12:48:50.209083Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T12:48:50.187571Z","title":"Theory 26 (2022), 1145--1191","venue":null,"work_id":"3f7729ad-0ae2-4c92-92ae-86e9f0a46ccb","year":2022},"citing_paper":{"arxiv_id":"2502.07850","last_updated":"2025-02-11T10:35:52Z","snapshot_observed_at":"2026-08-08T12:41:52.756845Z","submitted_at":"2025-02-11T10:35:52Z","title":"Mathematical reasoning and the computer","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-08T12:48:49.108725Z"},"links":{"citing_paper":"/paper/2502.07850"},"observation_digest":"sha256:48609d6ed58a5bb262e6469b7c796c356c3d8278c502574f6582c3d8d6cb5ec1","observation_id":"5d477f93-3cdf-408d-ae82-507e6831cd0a","resolution":{"observed_at":"2026-08-08T12:48:50.192813Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T12:48:50.170122Z","title":"Bloom, On a density conjecture about unit fractions, 2021","venue":null,"work_id":"8f793196-1cc7-4a16-84ed-fb101fbf5b16","year":2021},"citing_paper":{"arxiv_id":"2502.07850","last_updated":"2025-02-11T10:35:52Z","snapshot_observed_at":"2026-08-08T12:41:52.756845Z","submitted_at":"2025-02-11T10:35:52Z","title":"Mathematical reasoning and the computer","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-08T12:48:49.153462Z"},"links":{"citing_paper":"/paper/2502.07850"},"observation_digest":"sha256:99d3cb01708e5bbb89e7f7c3149cb9ac1a31d4d4c5549e9a28c4ca73bdf188ed","observation_id":"7f36296f-7087-42b5-af49-ab9f47424301","resolution":{"observed_at":"2026-08-08T12:48:50.175984Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T12:48:50.151384Z","title":"Bloom and Bhavik Mehta, Unit fractions, https://b-mehta.github.io/unit-fractions/, Accessed: 24-04-2023","venue":null,"work_id":"e9d5c8b1-05ef-4c68-ad91-d5fba6c9b606","year":2023},"citing_paper":{"arxiv_id":"2502.07850","last_updated":"2025-02-11T10:35:52Z","snapshot_observed_at":"2026-08-08T12:41:52.756845Z","submitted_at":"2025-02-11T10:35:52Z","title":"Mathematical reasoning and the computer","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-08T12:48:49.169545Z"},"links":{"citing_paper":"/paper/2502.07850"},"observation_digest":"sha256:c4871374eae601781cd9f35e41785be9dfe592627750a377057a7203092a951d","observation_id":"f689961c-7870-4400-b55b-837584237580","resolution":{"observed_at":"2026-08-08T12:48:50.157385Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T12:48:50.135245Z","title":null,"venue":null,"work_id":"abb1704e-5386-455b-9585-d12d7048bf4b","year":2023},"citing_paper":{"arxiv_id":"2502.07850","last_updated":"2025-02-11T10:35:52Z","snapshot_observed_at":"2026-08-08T12:41:52.756845Z","submitted_at":"2025-02-11T10:35:52Z","title":"Mathematical reasoning and the computer","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-08T12:48:49.175759Z"},"links":{"citing_paper":"/paper/2502.07850"},"observation_digest":"sha256:2bf01cd65a123b77cec66d859b131cca12b847912a062d7cb88b8c10bf202f07","observation_id":"091c42b4-69c7-488d-bfd5-e57f387856ea","resolution":{"observed_at":"2026-08-08T12:48:50.140369Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T12:48:50.118649Z","title":null,"venue":null,"work_id":"688e1033-716c-4ebe-a8e7-9dd6b1a79e2f","year":2023},"citing_paper":{"arxiv_id":"2502.07850","last_updated":"2025-02-11T10:35:52Z","snapshot_observed_at":"2026-08-08T12:41:52.756845Z","submitted_at":"2025-02-11T10:35:52Z","title":"Mathematical reasoning and the computer","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-08T12:48:49.181299Z"},"links":{"citing_paper":"/paper/2502.07850"},"observation_digest":"sha256:4e3b4440b2eaa6a989645b1d3edc70023709a4c5e0286307e2012d917919c38e","observation_id":"58eabec5-1de7-451b-a005-a30801eb5064","resolution":{"observed_at":"2026-08-08T12:48:50.124133Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T12:48:50.100879Z","title":"Dahn, Robbins algebras are B oolean: a revision of M c C une's computer-generated solution of R obbins problem , J","venue":null,"work_id":"3c8546e7-b8a0-46d7-8fb6-3a835828b778","year":1998},"citing_paper":{"arxiv_id":"2502.07850","last_updated":"2025-02-11T10:35:52Z","snapshot_observed_at":"2026-08-08T12:41:52.756845Z","submitted_at":"2025-02-11T10:35:52Z","title":"Mathematical reasoning and the computer","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-08T12:48:49.187616Z"},"links":{"citing_paper":"/paper/2502.07850"},"observation_digest":"sha256:6c5d83d67bb49ed46ff9e73c535f504d7ebafa29296641219f46e637124ef1a9","observation_id":"5918d665-5761-4f9c-9528-e91f2fdcf5a4","resolution":{"observed_at":"2026-08-08T12:48:50.106970Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2112.04324","last_updated":"2021-12-09T03:42:04Z","snapshot_observed_at":"2026-08-08T04:25:36.618403Z","submitted_at":"2021-12-08T15:09:14Z","title":"Deep Learning and Mathematical Intuition: A Review of (Davies et al. 2021)","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2112.04324","snapshot_observed_at":"2026-08-08T12:48:49.193135Z","title":"2021) , https://arxiv.org/abs/2112.04324, 2021","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2502.07850","last_updated":"2025-02-11T10:35:52Z","snapshot_observed_at":"2026-08-08T12:41:52.756845Z","submitted_at":"2025-02-11T10:35:52Z","title":"Mathematical reasoning and the computer","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-08T12:48:49.193135Z"},"links":{"cited_paper":"/paper/2112.04324","citing_paper":"/paper/2502.07850"},"observation_digest":"sha256:cf07d25bb1c8cb54068b88f7e4079516ef826dc1eac50d38ea6298a1c406bd76","observation_id":"fae40861-027c-42b0-a34f-01b132844616","resolution":{"observed_at":"2026-08-08T12:48:49.193135Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T12:48:50.084128Z","title":"Dahmen, Johannes H\\\" o lzl, and Robert Y","venue":null,"work_id":"81010304-9e84-4a11-aca0-6d7972d65cf1","year":2019},"citing_paper":{"arxiv_id":"2502.07850","last_updated":"2025-02-11T10:35:52Z","snapshot_observed_at":"2026-08-08T12:41:52.756845Z","submitted_at":"2025-02-11T10:35:52Z","title":"Mathematical reasoning and the computer","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-08T12:48:49.199861Z"},"links":{"citing_paper":"/paper/2502.07850"},"observation_digest":"sha256:0ae292f272dbcdc7d4d41fbb76189e1bececb87fb1f199f1f8f71dd125e07dc2","observation_id":"4a015caf-aa17-4ca5-8b9f-26fd0477889b","resolution":{"observed_at":"2026-08-08T12:48:50.089411Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T12:48:50.066447Z","title":null,"venue":null,"work_id":"5a0cd8f3-bb64-4db7-b699-5f68f119b509","year":2022},"citing_paper":{"arxiv_id":"2502.07850","last_updated":"2025-02-11T10:35:52Z","snapshot_observed_at":"2026-08-08T12:41:52.756845Z","submitted_at":"2025-02-11T10:35:52Z","title":"Mathematical reasoning and the computer","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-08T12:48:49.205820Z"},"links":{"citing_paper":"/paper/2502.07850"},"observation_digest":"sha256:0000f99e1ba67d2290c651244ad70c6b6d2a61743dec086acf900053d8db7fa0","observation_id":"0626422c-7a0f-4d65-8eee-a94fbb2f4908","resolution":{"observed_at":"2026-08-08T12:48:50.071693Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T12:48:50.048410Z","title":"Ellenberg and Dion Gijswijt, On large subsets of F^n_q with no three-term arithmetic progression , Ann","venue":null,"work_id":"45949962-fb01-4ebd-b5fc-290b692b2877","year":2017},"citing_paper":{"arxiv_id":"2502.07850","last_updated":"2025-02-11T10:35:52Z","snapshot_observed_at":"2026-08-08T12:41:52.756845Z","submitted_at":"2025-02-11T10:35:52Z","title":"Mathematical reasoning and the computer","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-08T12:48:49.211079Z"},"links":{"citing_paper":"/paper/2502.07850"},"observation_digest":"sha256:4184a9f0fe6c4dfd23c8d2c12c69fc68e76e3782fb417058bedc6ce2300b1978","observation_id":"ed74716a-5773-4715-9c0a-e5c21643d92a","resolution":{"observed_at":"2026-08-08T12:48:50.054571Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T12:48:50.029752Z","title":null,"venue":null,"work_id":"7154109b-1c39-4053-8814-401bc8639896","year":2023},"citing_paper":{"arxiv_id":"2502.07850","last_updated":"2025-02-11T10:35:52Z","snapshot_observed_at":"2026-08-08T12:41:52.756845Z","submitted_at":"2025-02-11T10:35:52Z","title":"Mathematical reasoning and the computer","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-08T12:48:49.215621Z"},"links":{"citing_paper":"/paper/2502.07850"},"observation_digest":"sha256:8b7c16553aa481177746f8396943dc8bf434db966b97b0d9ac5a467f55d63f07","observation_id":"296b20e2-0ce0-4011-a842-72fd36d4781c","resolution":{"observed_at":"2026-08-08T12:48:50.035134Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T12:48:50.011210Z","title":null,"venue":null,"work_id":"ab2ea74d-ca41-4bcc-a046-23ed9f349287","year":2021},"citing_paper":{"arxiv_id":"2502.07850","last_updated":"2025-02-11T10:35:52Z","snapshot_observed_at":"2026-08-08T12:41:52.756845Z","submitted_at":"2025-02-11T10:35:52Z","title":"Mathematical reasoning and the computer","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-08T12:48:49.220928Z"},"links":{"citing_paper":"/paper/2502.07850"},"observation_digest":"sha256:8d5344b8f76596e2b8f9b9beee226938c662d21640571aab4f8932804a820709","observation_id":"1b6678c8-4d97-4149-bc29-635ab6d72d69","resolution":{"observed_at":"2026-08-08T12:48:50.017400Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T12:48:49.994295Z","title":"Hales, A proof of the K epler conjecture , Ann","venue":null,"work_id":"3c9ac09b-f643-4e0c-be29-7b1f98ca1ccd","year":2005},"citing_paper":{"arxiv_id":"2502.07850","last_updated":"2025-02-11T10:35:52Z","snapshot_observed_at":"2026-08-08T12:41:52.756845Z","submitted_at":"2025-02-11T10:35:52Z","title":"Mathematical reasoning and the computer","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-08T12:48:49.226209Z"},"links":{"citing_paper":"/paper/2502.07850"},"observation_digest":"sha256:cabb63c8f8d3b09910e850ca8c0bc14210b3ba81a4c8ffc08dfc6c107dbd314c","observation_id":"421a8163-80cd-41f8-a9bd-492469185a2e","resolution":{"observed_at":"2026-08-08T12:48:49.999691Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T12:48:49.977520Z","title":"Notes Log., vol","venue":null,"work_id":"a1807bbc-9f09-49ec-a358-2864c01803e5","year":2014},"citing_paper":{"arxiv_id":"2502.07850","last_updated":"2025-02-11T10:35:52Z","snapshot_observed_at":"2026-08-08T12:41:52.756845Z","submitted_at":"2025-02-11T10:35:52Z","title":"Mathematical reasoning and the computer","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-08T12:48:49.231040Z"},"links":{"citing_paper":"/paper/2502.07850"},"observation_digest":"sha256:3f09eb8cba400e8fabda54dac1805fc8579ba8f0db702ccf9c907e236f38763c","observation_id":"08931de3-ccb0-4b5a-9e96-48a155adf970","resolution":{"observed_at":"2026-08-08T12:48:49.982901Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T12:48:49.960232Z","title":"2293, Springer, Cham, [2021] 2021","venue":null,"work_id":"90dd5f91-766d-41f3-b205-1d977d80c4fc","year":2021},"citing_paper":{"arxiv_id":"2502.07850","last_updated":"2025-02-11T10:35:52Z","snapshot_observed_at":"2026-08-08T12:41:52.756845Z","submitted_at":"2025-02-11T10:35:52Z","title":"Mathematical reasoning and the computer","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-08T12:48:49.237103Z"},"links":{"citing_paper":"/paper/2502.07850"},"observation_digest":"sha256:f64981d83630b2be60fba3babd84deac76831ab95fbd340cf9ae4aaeb93b541e","observation_id":"0c05c559-72d3-4df3-a1ae-8ede25b20646","resolution":{"observed_at":"2026-08-08T12:48:49.965350Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T12:48:49.943778Z","title":null,"venue":null,"work_id":"e6e27ac6-b450-4b8b-89d8-e1e3e4db381b","year":2023},"citing_paper":{"arxiv_id":"2502.07850","last_updated":"2025-02-11T10:35:52Z","snapshot_observed_at":"2026-08-08T12:41:52.756845Z","submitted_at":"2025-02-11T10:35:52Z","title":"Mathematical reasoning and the computer","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-08T12:48:49.242668Z"},"links":{"citing_paper":"/paper/2502.07850"},"observation_digest":"sha256:249631a1d98723fe6f5ca85fa12c11e4282b72c8483313045336f34fd2cef948","observation_id":"5b2317b0-19d6-4d74-9508-0a12d1f32d73","resolution":{"observed_at":"2026-08-08T12:48:49.949151Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T12:48:49.927112Z","title":null,"venue":null,"work_id":"fe46959d-2198-48cf-bc94-8f6da0139246","year":null},"citing_paper":{"arxiv_id":"2502.07850","last_updated":"2025-02-11T10:35:52Z","snapshot_observed_at":"2026-08-08T12:41:52.756845Z","submitted_at":"2025-02-11T10:35:52Z","title":"Mathematical reasoning and the computer","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-08T12:48:49.247620Z"},"links":{"citing_paper":"/paper/2502.07850"},"observation_digest":"sha256:463364013b3004f955ca82194de7a6e5cd800ce15d2179090b7579bdb59b6af3","observation_id":"fa2f2d5a-d399-476a-b6d5-564203850d83","resolution":{"observed_at":"2026-08-08T12:48:49.932875Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T12:48:49.906257Z","title":"Koyejo, S","venue":null,"work_id":"637faacd-635e-4e4e-a93f-cc1e076a075f","year":2022},"citing_paper":{"arxiv_id":"2502.07850","last_updated":"2025-02-11T10:35:52Z","snapshot_observed_at":"2026-08-08T12:41:52.756845Z","submitted_at":"2025-02-11T10:35:52Z","title":"Mathematical reasoning and the computer","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-08T12:48:49.253414Z"},"links":{"citing_paper":"/paper/2502.07850"},"observation_digest":"sha256:6e1c006fab6fa1946857612c70d7fefa05da4e6fdc394caa40bdda33e3d0b97d","observation_id":"db52e6ce-7c9d-482f-b10c-c9e126fb6718","resolution":{"observed_at":"2026-08-08T12:48:49.911663Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T12:48:49.887897Z","title":null,"venue":null,"work_id":"e0307dcf-c1f5-4c1f-a441-c7424134d2be","year":2023},"citing_paper":{"arxiv_id":"2502.07850","last_updated":"2025-02-11T10:35:52Z","snapshot_observed_at":"2026-08-08T12:41:52.756845Z","submitted_at":"2025-02-11T10:35:52Z","title":"Mathematical reasoning and the computer","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-08T12:48:49.259205Z"},"links":{"citing_paper":"/paper/2502.07850"},"observation_digest":"sha256:01b61ad36e4556844eb27962a9aad5abb951b632cce3f1e1a2a8aac315c5cdaa","observation_id":"6580402b-32fa-4509-95a0-400d53dc6b43","resolution":{"observed_at":"2026-08-08T12:48:49.893611Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T12:48:49.870074Z","title":null,"venue":null,"work_id":"c8b486af-acfe-4d02-8680-4c0d3c5d8f04","year":2023},"citing_paper":{"arxiv_id":"2502.07850","last_updated":"2025-02-11T10:35:52Z","snapshot_observed_at":"2026-08-08T12:41:52.756845Z","submitted_at":"2025-02-11T10:35:52Z","title":"Mathematical reasoning and the computer","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-08T12:48:49.264488Z"},"links":{"citing_paper":"/paper/2502.07850"},"observation_digest":"sha256:8d169e0d4971ede4a665de23ed85de6c6fd89319b992500f0dfcb0958caf77df","observation_id":"890a539e-361b-44d4-b824-3598a4b7c8bf","resolution":{"observed_at":"2026-08-08T12:48:49.876198Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T12:48:49.853056Z","title":null,"venue":null,"work_id":"31da9b40-4ce8-4cea-b968-881c6721c243","year":2023},"citing_paper":{"arxiv_id":"2502.07850","last_updated":"2025-02-11T10:35:52Z","snapshot_observed_at":"2026-08-08T12:41:52.756845Z","submitted_at":"2025-02-11T10:35:52Z","title":"Mathematical reasoning and the computer","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-08T12:48:49.269885Z"},"links":{"citing_paper":"/paper/2502.07850"},"observation_digest":"sha256:020ae9e01ae7b0ab52b97f54f56d3fd326aaa26de312dcde88001c0fa6bdbb56","observation_id":"69af1be5-c06e-40cd-9bf5-0d3f3d7df958","resolution":{"observed_at":"2026-08-08T12:48:49.858053Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T12:48:49.835109Z","title":null,"venue":null,"work_id":"cd889f83-dcfc-4af0-95ea-eab80e56cf8d","year":2022},"citing_paper":{"arxiv_id":"2502.07850","last_updated":"2025-02-11T10:35:52Z","snapshot_observed_at":"2026-08-08T12:41:52.756845Z","submitted_at":"2025-02-11T10:35:52Z","title":"Mathematical reasoning and the computer","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-08T12:48:49.275253Z"},"links":{"citing_paper":"/paper/2502.07850"},"observation_digest":"sha256:fc36caa01178bd7195a49668f1fdd02696765ef4516c586b04b2d5f2b9797e57","observation_id":"1e6064e8-f4c8-4ef8-b5d2-942028e32157","resolution":{"observed_at":"2026-08-08T12:48:49.841038Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T12:48:49.815808Z","title":"Blackwood and sons, 1889","venue":null,"work_id":"6763b2db-7239-4ff2-9d55-877f434ba6ee","year":null},"citing_paper":{"arxiv_id":"2502.07850","last_updated":"2025-02-11T10:35:52Z","snapshot_observed_at":"2026-08-08T12:41:52.756845Z","submitted_at":"2025-02-11T10:35:52Z","title":"Mathematical reasoning and the computer","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-08T12:48:49.280314Z"},"links":{"citing_paper":"/paper/2502.07850"},"observation_digest":"sha256:423fde21bf37398cef55fddcdb53d0361cb6c9476743f189c770a53eea49f6a7","observation_id":"11723e6d-e19b-4fc5-88e0-57f50392a5de","resolution":{"observed_at":"2026-08-08T12:48:49.821843Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T12:48:49.797750Z","title":null,"venue":null,"work_id":"e3fd5117-89fd-41f1-b0bb-a97ccc195065","year":2023},"citing_paper":{"arxiv_id":"2502.07850","last_updated":"2025-02-11T10:35:52Z","snapshot_observed_at":"2026-08-08T12:41:52.756845Z","submitted_at":"2025-02-11T10:35:52Z","title":"Mathematical reasoning and the computer","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-08T12:48:49.285405Z"},"links":{"citing_paper":"/paper/2502.07850"},"observation_digest":"sha256:892843e9360bf6de89bacf482b819b1ca18e56551751dda08f05a8a67757769a","observation_id":"83ea9c89-5dca-42c4-9b46-3ec95c4a6a0d","resolution":{"observed_at":"2026-08-08T12:48:49.802464Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T12:48:49.780016Z","title":null,"venue":null,"work_id":"b122c5f4-2d0d-4c9e-b89c-6bfc1b95195e","year":2023},"citing_paper":{"arxiv_id":"2502.07850","last_updated":"2025-02-11T10:35:52Z","snapshot_observed_at":"2026-08-08T12:41:52.756845Z","submitted_at":"2025-02-11T10:35:52Z","title":"Mathematical reasoning and the computer","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-08T12:48:49.290704Z"},"links":{"citing_paper":"/paper/2502.07850"},"observation_digest":"sha256:59ce8d1ecf677ba5d984fba548541db5ed24b0d6ba2b3d9c1919108f4fff285f","observation_id":"5bcc7d9c-9d44-4d85-9982-e7ea9708fd9d","resolution":{"observed_at":"2026-08-08T12:48:49.785331Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T12:48:49.762685Z","title":null,"venue":null,"work_id":"e6b10390-fbf1-4ffe-8bdf-a0e3c5d92134","year":2022},"citing_paper":{"arxiv_id":"2502.07850","last_updated":"2025-02-11T10:35:52Z","snapshot_observed_at":"2026-08-08T12:41:52.756845Z","submitted_at":"2025-02-11T10:35:52Z","title":"Mathematical reasoning and the computer","version":1},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-08T12:48:49.295808Z"},"links":{"citing_paper":"/paper/2502.07850"},"observation_digest":"sha256:ac85c433be761d24da491fd899408d5de669e5d6adaa935420f7ca6b59db7a06","observation_id":"dceb7991-18af-423c-85b4-d321a310a38b","resolution":{"observed_at":"2026-08-08T12:48:49.768336Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T12:48:49.670731Z","title":null,"venue":null,"work_id":"618d92bc-3598-496a-b2a9-596f80b8bf24","year":2012},"citing_paper":{"arxiv_id":"2502.07850","last_updated":"2025-02-11T10:35:52Z","snapshot_observed_at":"2026-08-08T12:41:52.756845Z","submitted_at":"2025-02-11T10:35:52Z","title":"Mathematical reasoning and the computer","version":1},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-08T12:48:49.301089Z"},"links":{"citing_paper":"/paper/2502.07850"},"observation_digest":"sha256:353e2e022e5cd99afa83df84e3cfa65320d989aa3093949697c4425ffed25561","observation_id":"7c16a30b-4057-408d-8d91-807aa4100064","resolution":{"observed_at":"2026-08-08T12:48:49.690124Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T12:48:49.596748Z","title":null,"venue":null,"work_id":"cb61ae33-b257-45fd-b26e-9af744364f41","year":2022},"citing_paper":{"arxiv_id":"2502.07850","last_updated":"2025-02-11T10:35:52Z","snapshot_observed_at":"2026-08-08T12:41:52.756845Z","submitted_at":"2025-02-11T10:35:52Z","title":"Mathematical reasoning and the computer","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-08T12:48:49.306420Z"},"links":{"citing_paper":"/paper/2502.07850"},"observation_digest":"sha256:c4fd5ee51596b6fb73b48f65b104a645ea292d34566ed336e87584efc2f64890","observation_id":"e25c4f99-512d-49e3-af74-2b8c3db1052e","resolution":{"observed_at":"2026-08-08T12:48:49.658632Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T12:48:49.311585Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2502.07850","last_updated":"2025-02-11T10:35:52Z","snapshot_observed_at":"2026-08-08T12:41:52.756845Z","submitted_at":"2025-02-11T10:35:52Z","title":"Mathematical reasoning and the computer","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-08T12:48:49.311585Z"},"links":{"citing_paper":"/paper/2502.07850"},"observation_digest":"sha256:bfcebd0314ae6bcc5e7e21227034f6e0e7c097f657fad988fb6d9494730db2e2","observation_id":"c832d393-76e2-4d25-b768-439410d7462e","resolution":{"observed_at":"2026-08-08T12:48:49.311585Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T12:48:49.448033Z","title":null,"venue":null,"work_id":"ea6e7d75-d47e-476f-a257-43cc3ee20af0","year":2023},"citing_paper":{"arxiv_id":"2502.07850","last_updated":"2025-02-11T10:35:52Z","snapshot_observed_at":"2026-08-08T12:41:52.756845Z","submitted_at":"2025-02-11T10:35:52Z","title":"Mathematical reasoning and the computer","version":1},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-08T12:48:49.317095Z"},"links":{"citing_paper":"/paper/2502.07850"},"observation_digest":"sha256:7a3c94115e8b23ae9ddc658673a4f664017c96b3659ac815cd51c2d6193340c6","observation_id":"b52620cb-8fc5-411f-af5e-8489bf0795ca","resolution":{"observed_at":"2026-08-08T12:48:49.494282Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T12:48:49.373979Z","title":null,"venue":null,"work_id":"fd88bb12-9dad-48f5-b875-b1176fc5c046","year":2021},"citing_paper":{"arxiv_id":"2502.07850","last_updated":"2025-02-11T10:35:52Z","snapshot_observed_at":"2026-08-08T12:41:52.756845Z","submitted_at":"2025-02-11T10:35:52Z","title":"Mathematical reasoning and the computer","version":1},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-08T12:48:49.322911Z"},"links":{"citing_paper":"/paper/2502.07850"},"observation_digest":"sha256:b28905f4e345abf3d631e51885dc9fad0e38bc37dd7acb6b62a4102201f2cfd5","observation_id":"8124d8be-b00c-4b63-b3d1-495d02e61b7a","resolution":{"observed_at":"2026-08-08T12:48:49.385013Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2502.07850","last_updated":"2025-02-11T10:35:52Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-08T12:41:52.756845Z","submitted_at":"2025-02-11T10:35:52Z","title":"Mathematical reasoning and the computer"},"reference_resolution":{"displayed":32,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":21,"verified_exact":0,"verified_fuzzy":11},"total_outbound_references":32},"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-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"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."}