{"as_of":"2026-08-05T22:53:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:c5a00150ac2eafe093b59f733bcac5511d1a67ed89812e74a65b398c0b9e121f","coverage":[{"denominator":9,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":9,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-10T17:52:29.710350Z","state":"measured"},{"denominator":9,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":9,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-05T06:32:48.257954+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.08388/citation-record","integrity":"/paper/2604.08388/integrity","json":"/paper/2604.08388/citation-record.json","paper":"/paper/2604.08388"},"outbound":[{"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":"Mitigating catastrophic forgetting in language transfer via model merging","venue":null,"work_id":"9ef1d043-bd22-49e9-a091-e7652cc456bb","year":2024},"citing_paper":{"arxiv_id":"2604.08388","last_updated":"2026-04-09T15:47:29Z","snapshot_observed_at":"2026-07-06T22:57:31.046146Z","submitted_at":"2026-04-09T15:47:29Z","title":"Awakening the Sleeping Agent: Lean-Specific Agentic Data Reactivates General Tool Use in Goedel Prover","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-05-10T17:52:29.710350Z"},"links":{"citing_paper":"/paper/2604.08388"},"observation_digest":"sha256:1a0b6eeb45da524e40b66e78066cb4df835bd0a51440337306a57137b5e6ea7a","observation_id":"fc3184ed-7e6c-4640-b56f-cb543b6b7409","resolution":{"observed_at":"2026-05-17T08:31:40.375333Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/s1364-6613(99)01294-2","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"doi: 10.1016/S1364-6613(99)01294-2","venue":"Trends in Cognitive Sciences","work_id":"e58fc480-6f1e-4f99-b8a7-95f481ec480a","year":1999},"citing_paper":{"arxiv_id":"2604.08388","last_updated":"2026-04-09T15:47:29Z","snapshot_observed_at":"2026-07-06T22:57:31.046146Z","submitted_at":"2026-04-09T15:47:29Z","title":"Awakening the Sleeping Agent: Lean-Specific Agentic Data Reactivates General Tool Use in Goedel Prover","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-05-10T17:52:29.710350Z"},"links":{"citing_paper":"/paper/2604.08388"},"observation_digest":"sha256:9e4a6026ca7e29fa8c566d9d45b96cf82ca0effd98ebf0c6d7fb0335f74ec7c2","observation_id":"83976651-388f-4b2d-9297-c76bb7c16250","resolution":{"observed_at":"2026-05-10T20:40:48.496267Z","resolver_source":"doi","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-07-12T05:19:16.366522+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-12T05:19:16.366522+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1073/pnas.1611835114","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T00:26:39.056637Z","title":"doi: 10.1073/pnas.1611835114","venue":"Proceedings of the National Academy of Sciences","work_id":"6c82f0ba-a185-45cb-a5eb-efcbacd90a09","year":2017},"citing_paper":{"arxiv_id":"2604.08388","last_updated":"2026-04-09T15:47:29Z","snapshot_observed_at":"2026-07-06T22:57:31.046146Z","submitted_at":"2026-04-09T15:47:29Z","title":"Awakening the Sleeping Agent: Lean-Specific Agentic Data Reactivates General Tool Use in Goedel Prover","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-05-10T17:52:29.710350Z"},"links":{"citing_paper":"/paper/2604.08388"},"observation_digest":"sha256:0a2cc6188256ed4e166de941c8b6d0a1fb37ca60d3bb0758f2b57eec5ae73bc6","observation_id":"632e45bf-47d1-40eb-9d7b-0df90f17f265","resolution":{"observed_at":"2026-05-10T20:40:48.503652Z","resolver_source":"doi","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-07-11T05:49:41.441758+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-11T05:49:41.441758+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-05T06:32:44.755628+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":"Revisiting catastrophic forget- ting in large language model tuning","venue":null,"work_id":"9f6410bb-70b2-4fdc-bc52-0f91dabdeff4","year":2024},"citing_paper":{"arxiv_id":"2604.08388","last_updated":"2026-04-09T15:47:29Z","snapshot_observed_at":"2026-07-06T22:57:31.046146Z","submitted_at":"2026-04-09T15:47:29Z","title":"Awakening the Sleeping Agent: Lean-Specific Agentic Data Reactivates General Tool Use in Goedel Prover","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-05-10T17:52:29.710350Z"},"links":{"citing_paper":"/paper/2604.08388"},"observation_digest":"sha256:ac68a25beeb89b4464bafba97a792c3c8d088be2658365ef74413d4db157b348","observation_id":"c6b8da04-f19c-46f6-9873-87a86d2c4457","resolution":{"observed_at":"2026-05-17T08:31:40.383128Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.18653/v1/2024.findings-emnlp.249","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"URLhttps://aclanthology","venue":null,"work_id":"ae75fdc3-a083-4ce0-b943-3dcbf998f639","year":2024},"citing_paper":{"arxiv_id":"2604.08388","last_updated":"2026-04-09T15:47:29Z","snapshot_observed_at":"2026-07-06T22:57:31.046146Z","submitted_at":"2026-04-09T15:47:29Z","title":"Awakening the Sleeping Agent: Lean-Specific Agentic Data Reactivates General Tool Use in Goedel Prover","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-05-10T17:52:29.710350Z"},"links":{"citing_paper":"/paper/2604.08388"},"observation_digest":"sha256:06419118f03d112c5f53a1496928a7365253008a1efa0605f629f3e7a884f85d","observation_id":"00cc964a-7ac0-4e80-a989-3a86637f0486","resolution":{"observed_at":"2026-05-10T20:40:48.498947Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2601.14027","doi":"10.48550/arxiv.2601.14027","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics","venue":"arXiv (Cornell University)","work_id":"34238340-e9f4-4013-858e-3d9d2c91ae53","year":2026},"citing_paper":{"arxiv_id":"2604.08388","last_updated":"2026-04-09T15:47:29Z","snapshot_observed_at":"2026-07-06T22:57:31.046146Z","submitted_at":"2026-04-09T15:47:29Z","title":"Awakening the Sleeping Agent: Lean-Specific Agentic Data Reactivates General Tool Use in Goedel Prover","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-05-10T17:52:29.710350Z"},"links":{"citing_paper":"/paper/2604.08388"},"observation_digest":"sha256:d74b96b39403fb3ea78f07e4b6057244b5023907eb5dd023ba714d607ce81521","observation_id":"134fce26-57dd-4be0-9da7-6a4840fb8054","resolution":{"observed_at":"2026-05-11T05:55:59.555859Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/s0079-7421(08)60536-8","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"URL https://www.sciencedirect.com/science/article/ pii/S0079742108605368","venue":"˜The œPsychology of learning and motivation/˜The œpsychology of learning and motivation","work_id":"4c768ff9-a308-44a5-bae3-100fb1007723","year":1989},"citing_paper":{"arxiv_id":"2604.08388","last_updated":"2026-04-09T15:47:29Z","snapshot_observed_at":"2026-07-06T22:57:31.046146Z","submitted_at":"2026-04-09T15:47:29Z","title":"Awakening the Sleeping Agent: Lean-Specific Agentic Data Reactivates General Tool Use in Goedel Prover","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-05-10T17:52:29.710350Z"},"links":{"citing_paper":"/paper/2604.08388"},"observation_digest":"sha256:97a38737d9413a540539652efed7b3e95429e6967b471dd56c6ee86f3ac2456d","observation_id":"acfde6cd-045a-4d68-a131-0078b9136f6b","resolution":{"observed_at":"2026-05-10T20:40:48.493590Z","resolver_source":"doi","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-07-11T13:49:14.641305+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-11T13:49:14.641305+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2505.20613","doi":"10.48550/arxiv.2505.20613","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Real-prover: Retrieval augmented lean prover for mathematical reasoning","venue":"ArXiv.org","work_id":"1f113043-f703-4d3d-b8b0-a20750115b8b","year":2025},"citing_paper":{"arxiv_id":"2604.08388","last_updated":"2026-04-09T15:47:29Z","snapshot_observed_at":"2026-07-06T22:57:31.046146Z","submitted_at":"2026-04-09T15:47:29Z","title":"Awakening the Sleeping Agent: Lean-Specific Agentic Data Reactivates General Tool Use in Goedel Prover","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-05-10T17:52:29.710350Z"},"links":{"citing_paper":"/paper/2604.08388"},"observation_digest":"sha256:7e2bc33c8cc46eaf77dc755418afd0fdfaadcade4a7181b2683951a957bc1f2b","observation_id":"f251eebf-40f1-43f1-bd6b-2d60c01d0330","resolution":{"observed_at":"2026-05-11T05:55:59.575612Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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":"type\": \"function","venue":null,"work_id":"18fcf3d3-c669-430b-9f0b-efdb49992d6c","year":1959},"citing_paper":{"arxiv_id":"2604.08388","last_updated":"2026-04-09T15:47:29Z","snapshot_observed_at":"2026-07-06T22:57:31.046146Z","submitted_at":"2026-04-09T15:47:29Z","title":"Awakening the Sleeping Agent: Lean-Specific Agentic Data Reactivates General Tool Use in Goedel Prover","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-05-10T17:52:29.710350Z"},"links":{"citing_paper":"/paper/2604.08388"},"observation_digest":"sha256:54a831f86e1d3fad05ffb0394c0ac706087b08f4dcc6f7190e98f72e02b66e76","observation_id":"531f655d-4c32-46f9-ad32-62202885a2dd","resolution":{"observed_at":"2026-05-17T08:31:40.379026Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2604.08388","last_updated":"2026-04-09T15:47:29Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-07-06T22:57:31.046146Z","submitted_at":"2026-04-09T15:47:29Z","title":"Awakening the Sleeping Agent: Lean-Specific Agentic Data Reactivates General Tool Use in Goedel Prover"},"reference_resolution":{"displayed":9,"state_counts":{"malformed_identifier":0,"metadata_mismatch":3,"parse_uncertain":0,"unresolved":0,"verified_exact":3,"verified_fuzzy":3},"total_outbound_references":9},"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-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"thesis":"As of 5 August 2026, this Paper Citation Record lists 9 of 9 outbound references and 0 inbound Pith citation observations for arXiv:2604.08388."}