{"as_of":"2026-08-11T15:36:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:33b83e367199f3549639bd11b527f784a0a7720f330fe16d6eba0a6daad49fb9","coverage":[{"denominator":10,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":10,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-10T10:19:24.920725Z","state":"measured"},{"denominator":10,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":10,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-11T06:34:44.6726+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/2604.16538/citation-record","integrity":"/paper/2604.16538/integrity","json":"/paper/2604.16538/citation-record.json","paper":"/paper/2604.16538"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-09T08:36:07.226215Z","title":"write newline","venue":null,"work_id":"8481976a-f196-4822-833d-e487ae5a1e81","year":null},"citing_paper":{"arxiv_id":"2604.16538","last_updated":"2026-04-16T21:15:46Z","snapshot_observed_at":"2026-08-11T10:19:37.183721Z","submitted_at":"2026-04-16T21:15:46Z","title":"Understanding Tool-Augmented Agents for Lean Formalization: A Factorial Analysis","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-05-10T10:19:24.920725Z"},"links":{"citing_paper":"/paper/2604.16538"},"observation_digest":"sha256:7af9b88da21154c6ed14ac605cb0c33a2f1f6450e6b1e1090736b16881443bdc","observation_id":"48b7fc4b-d1e3-431b-81f8-c95466eedf3f","resolution":{"observed_at":"2026-05-20T00:13:18.917790Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-06-05T21:23:00.469572Z","title":"AI models solve maths problems at level of top students","venue":null,"work_id":"a128d9a9-aee3-46d1-8285-88a5ae04a488","year":2025},"citing_paper":{"arxiv_id":"2604.16538","last_updated":"2026-04-16T21:15:46Z","snapshot_observed_at":"2026-08-11T10:19:37.183721Z","submitted_at":"2026-04-16T21:15:46Z","title":"Understanding Tool-Augmented Agents for Lean Formalization: A Factorial Analysis","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-05-10T10:19:24.920725Z"},"links":{"citing_paper":"/paper/2604.16538"},"observation_digest":"sha256:27a4a951fb976d3fb89359ffde3d7977e0a949558ab8b679e84518c0e74c265e","observation_id":"1deb673f-2e7b-4a4b-a226-61fd50b8ae45","resolution":{"observed_at":"2026-05-20T00:13:18.922026Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-79876-5_37","metadata_source":"crossref","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-22T14:57:51.162680Z","title":"The lean 4 theorem prover and programming language","venue":"Lecture Notes in Computer Science","work_id":"580a7df0-08ad-410d-89d6-34fd91a3e676","year":2021},"citing_paper":{"arxiv_id":"2604.16538","last_updated":"2026-04-16T21:15:46Z","snapshot_observed_at":"2026-08-11T10:19:37.183721Z","submitted_at":"2026-04-16T21:15:46Z","title":"Understanding Tool-Augmented Agents for Lean Formalization: A Factorial Analysis","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-05-10T10:19:24.920725Z"},"links":{"citing_paper":"/paper/2604.16538"},"observation_digest":"sha256:be3a796e19d3a3b060791f92b980edf0dfd3711ba2bbd1ced7d164d51b287bda","observation_id":"855f0e5e-8295-45d7-987b-7a5604e5418d","resolution":{"observed_at":"2026-05-10T10:24:21.182790Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-08T10:38:15.551174+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-08T10:38:15.551174+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-11T06:34:36.301508+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"73aa2b0b-92e3-4ae4-a3f3-a30606b30b8c","year":2025},"citing_paper":{"arxiv_id":"2604.16538","last_updated":"2026-04-16T21:15:46Z","snapshot_observed_at":"2026-08-11T10:19:37.183721Z","submitted_at":"2026-04-16T21:15:46Z","title":"Understanding Tool-Augmented Agents for Lean Formalization: A Factorial Analysis","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-05-10T10:19:24.920725Z"},"links":{"citing_paper":"/paper/2604.16538"},"observation_digest":"sha256:b04cd68e9bb1a699841da43b463f222eb35eadad0e158e8f95ce5d50661da375","observation_id":"1fa67a81-e68f-4f81-baf8-212825f08e0b","resolution":{"observed_at":"2026-05-20T00:13:18.911824Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-06-05T21:23:00.469572Z","title":"Herald: A natural language annotated lean 4 dataset","venue":null,"work_id":"3e0631f6-af01-4191-8485-18e7dcaf402f","year":2025},"citing_paper":{"arxiv_id":"2604.16538","last_updated":"2026-04-16T21:15:46Z","snapshot_observed_at":"2026-08-11T10:19:37.183721Z","submitted_at":"2026-04-16T21:15:46Z","title":"Understanding Tool-Augmented Agents for Lean Formalization: A Factorial Analysis","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-05-10T10:19:24.920725Z"},"links":{"citing_paper":"/paper/2604.16538"},"observation_digest":"sha256:7e07c2613957f84f416e8b196472687a0cf810f343f9ce188a68c72750ff2d60","observation_id":"6dbc87f7-f88d-44be-92c7-caf3c1faf9b2","resolution":{"observed_at":"2026-05-20T00:13:18.899441Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-06-05T21:23:00.469572Z","title":"Missing undergraduate mathematics in M athlib","venue":null,"work_id":"b98ed9e7-9ec2-409c-82df-2eb731e4c4b8","year":2025},"citing_paper":{"arxiv_id":"2604.16538","last_updated":"2026-04-16T21:15:46Z","snapshot_observed_at":"2026-08-11T10:19:37.183721Z","submitted_at":"2026-04-16T21:15:46Z","title":"Understanding Tool-Augmented Agents for Lean Formalization: A Factorial Analysis","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-05-10T10:19:24.920725Z"},"links":{"citing_paper":"/paper/2604.16538"},"observation_digest":"sha256:9f3c6838bbd7729901fdeb4db32668201245758b5381eeb188c4ca565786f3e0","observation_id":"82300f90-8945-46ba-b458-03ba4f93349f","resolution":{"observed_at":"2026-05-20T00:13:18.903926Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-06-05T21:23:00.469572Z","title":"Basic analysis: Introduction to real analysis","venue":null,"work_id":"e246af7b-306c-4555-9880-21e21b4140f6","year":2025},"citing_paper":{"arxiv_id":"2604.16538","last_updated":"2026-04-16T21:15:46Z","snapshot_observed_at":"2026-08-11T10:19:37.183721Z","submitted_at":"2026-04-16T21:15:46Z","title":"Understanding Tool-Augmented Agents for Lean Formalization: A Factorial Analysis","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-05-10T10:19:24.920725Z"},"links":{"citing_paper":"/paper/2604.16538"},"observation_digest":"sha256:edfa0418f320cad52a8ab7e26ec6d416960d912324a1b0d0a29d428932902610","observation_id":"09c5940b-4e9b-4dba-b97c-5577f04e4099","resolution":{"observed_at":"2026-05-20T00:13:18.895853Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-06-05T21:23:00.469572Z","title":"Guide to cultivating complex analysis: Working the complex field","venue":null,"work_id":"057eeafd-3a5d-4704-a158-6edacd003fae","year":2025},"citing_paper":{"arxiv_id":"2604.16538","last_updated":"2026-04-16T21:15:46Z","snapshot_observed_at":"2026-08-11T10:19:37.183721Z","submitted_at":"2026-04-16T21:15:46Z","title":"Understanding Tool-Augmented Agents for Lean Formalization: A Factorial Analysis","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-05-10T10:19:24.920725Z"},"links":{"citing_paper":"/paper/2604.16538"},"observation_digest":"sha256:c19e8a7a77fcb88edfee486e8ac790970d79fbf450047a1cd3f49ac066f24030","observation_id":"bbff29b2-a380-47c3-9561-dba7d3c82a86","resolution":{"observed_at":"2026-05-20T00:13:18.908208Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-06-05T21:23:00.469572Z","title":"Topology lecture notes","venue":null,"work_id":"65c57601-5972-4db7-bbcf-5951011794d0","year":2025},"citing_paper":{"arxiv_id":"2604.16538","last_updated":"2026-04-16T21:15:46Z","snapshot_observed_at":"2026-08-11T10:19:37.183721Z","submitted_at":"2026-04-16T21:15:46Z","title":"Understanding Tool-Augmented Agents for Lean Formalization: A Factorial Analysis","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-05-10T10:19:24.920725Z"},"links":{"citing_paper":"/paper/2604.16538"},"observation_digest":"sha256:f17126008c54867d3f79c52d7bb596d222820ff95bff98fea6a2eca521228f3f","observation_id":"963ff4ff-f503-4b89-bc69-623ddea5701f","resolution":{"observed_at":"2026-05-20T00:13:18.914554Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2504.11354","last_updated":"2025-04-15T16:23:44Z","snapshot_observed_at":"2026-08-03T03:38:06.953412Z","submitted_at":"2025-04-15T16:23:44Z","title":"Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning","version":1},"cited_work":{"arxiv_id":"2504.11354","doi":"10.18653/v1/2025.acl-long.1565","metadata_source":"pith","pith_arxiv_id":"2504.11354","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning","venue":"cs.AI","work_id":"0ff53eb8-7b88-4c00-8ba0-5f90f9a97f90","year":2025},"citing_paper":{"arxiv_id":"2604.16538","last_updated":"2026-04-16T21:15:46Z","snapshot_observed_at":"2026-08-11T10:19:37.183721Z","submitted_at":"2026-04-16T21:15:46Z","title":"Understanding Tool-Augmented Agents for Lean Formalization: A Factorial Analysis","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-05-10T10:19:24.920725Z"},"links":{"cited_paper":"/paper/2504.11354","citing_paper":"/paper/2604.16538"},"observation_digest":"sha256:223c76b5c04303433aa8a6aacb3d66d327f54b097f7faacca6c1d6d5e5d457a2","observation_id":"cfd70356-a2e1-44e5-a00d-44e9d4551a16","resolution":{"observed_at":"2026-05-17T18:32:40.989755Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-07-12T16:19:43.22822+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-12T16:19:43.22822+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2604.16538","last_updated":"2026-04-16T21:15:46Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-11T10:19:37.183721Z","submitted_at":"2026-04-16T21:15:46Z","title":"Understanding Tool-Augmented Agents for Lean Formalization: A Factorial Analysis"},"reference_resolution":{"displayed":10,"state_counts":{"malformed_identifier":0,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":1,"verified_exact":1,"verified_fuzzy":7},"total_outbound_references":10},"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-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"thesis":"As of 11 August 2026, this Paper Citation Record lists 10 of 10 outbound references and 0 inbound Pith citation observations for arXiv:2604.16538."}