{"as_of":"2026-08-10T01:50:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:f6544fa6cceab2307afd7b491889b2bec7bbc31b68cb9844270c398ec6295565","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-09T06:31:02.800959+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:91dea4cc06e440b9e062005b31d1ef60c727f5a621f0bc5160ec7487fdf52c78","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:58ca13c84c10321a49c3235ac830af2d836ae2f250c3c747354d80283744b25c","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:04742be3ad659e9df4f9267ebc6d82f92737b5316d442e30294d1a19ea4e1b57","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:c08787e50744a5a44289cb89b49cebb07935370680c190e9b847696fc977a6ad","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:7beba4f0df6ef820b2a261a7bd3047c17e56c6f3a8b226018c34ccbf05da7ec8","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:db03a65429368600a5332466c1f7e680a9019566fc6d61e9ed1fd0657f74d596","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:94ce7d1f9075a51b17621f237ead3c6a8fbc28b5fd01cdd4166700b0b000a085","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:313142137ff7849b9ab42ada61cdb7478ef9e2bca0c8fadd5d7d60432dabfc92","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:37f797d17a60e5294c80eb11d79b8aa4e3fbc2fd60e16ecc8be5e092f779384b","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:e4334f5fe6ca32183f4b80d726137d308a857de00aa77d36012a25f91d677793","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:fdd1f167c0670982630e254fa8b88dabe9d82030329fa8e8325c7a9bcb68567e","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:a33f1b13eb7f4e62459e3f7efa7eaa8287eb26f533a9880e53165719f62c47b3","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:dcc18958bcee2b9de42a85bc4e4f294feb665bf3f3b1204cd681b77c7a26e12d","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:d043b7b0b60dc7f0e2d485d34bea2db89c2f7459c3e3f1f52d9e59627991b656","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:a30bba3f7954f7482de7f6a2ff8547ed104dd413610ec8a5257c66fb5a90db3e","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:6c00521400d3ff2a629ba72c4fc33ce56a2f3be544e7650bfd05ee25960877eb","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:5e64505c13b697651064f783b8680f8cab1d8c97aaf442405e3dc1d7856e3f0f","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:b2cb5fe5b0929c896e6abd914f2529f75f79f281d38d083a1b08df6b1746e0af","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:cceaef4f0466cf3235b618d2469f55c86518bacb63ca00f8af636d7d03c39ac6","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:391cbab2c4f02640cee940ea5332263f1ee8c45472920b46884667759b317a0e","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:77e196aff5d4adf49e1aa75d6db59c6d63a4733f1c2bd8da1d3cebff04c38556","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:7c5923d4d652e1ec54329db8ac6ad7627e1dbbb56f311e9efc1c2281e79476c1","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:17cffaa9c22d4c1ae709dc6b3036a08e4b99dc398a79898721ab5deb18dafc94","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:f786b10da9990ae93cd90b18f67e710e22e042d7f74238c7d9980667bfb27357","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:8e0b7c893115501176c492bce4215a020b5074c76a4275786ccb647ef249f788","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:f0d3eb7dd797b50933013c9ce7d8bb5f7494f7c141fe5dff6164e5386fd81a1b","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:84cdc9c419fe7c123b0c658623d1d50a408b1c8bde65e401c06cd8cd3ec9fd9f","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:d333e654bdf8b959336e85a26bb1bd6236dc6d7a7c0d41172633d4749ce124e7","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:3250e8dec1af424af6c107a3dae476927ace4da67f1ba8b4a3e0fd3f544557a1","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:a0b3e8bf2cfd12f2727ce5b3e868cfc2484f1dafc1990318456e4d9cf77b713a","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"thesis":"As of 10 August 2026, this Paper Citation Record lists 32 of 32 outbound references and 0 inbound Pith citation observations for arXiv:2502.07850."}