{"as_of":"2026-08-05T23:58:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:e6665b6e9ca01700b943c56464ea656427aabc365012eae6591ee361246e7936","coverage":[{"denominator":17,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":17,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-17T18:32:40.880435Z","state":"measured"},{"denominator":69,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":69,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-05T06:32:48.257954+00:00","state":"measured"},{"denominator":52,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":52,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-05T22:28:12.156010Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":1,"source":"pith","source_observed_at":"2026-08-05T02:28:24.338817Z","state":"measured"}],"external_citation_measurements":[{"count":2,"observed_at":"2026-08-05T02:28:24.338817Z","source":"pith"}],"inbound":[{"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":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2504.11354","snapshot_observed_at":"2026-08-05T22:28:12.156010Z","title":"Kimina-prover preview: Towards large formal reasoning models with reinforcement learning.arXiv preprint arXiv:2504.11354,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2508.06926","last_updated":"2025-08-09T10:41:03Z","snapshot_observed_at":"2026-08-05T22:28:11.642803Z","submitted_at":"2025-08-09T10:41:03Z","title":"Integrating Rules and Semantics for LLM-Based C-to-Rust Translation","version":1},"reference_index":2000,"source":"pdf_text","source_observed_at":"2026-08-05T22:28:12.156010Z"},"links":{"cited_paper":"/paper/2504.11354","citing_paper":"/paper/2508.06926"},"observation_digest":"sha256:a1b6610c22a26fd1732dcae42e3e4a37e717efbd9cc68ba1842d8890cda640b9","observation_id":"5a528dcd-c725-41af-94dc-c1a8012840f1","resolution":{"observed_at":"2026-08-05T22:28:12.156010Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"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":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2504.11354","snapshot_observed_at":"2026-08-04T16:07:41.846576Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.16679","last_updated":"2025-09-20T13:11:28Z","snapshot_observed_at":"2026-08-04T16:07:24.699834Z","submitted_at":"2025-09-20T13:11:28Z","title":"Reinforcement Learning Meets Large Language Models: A Survey of Advancements and Applications Across the LLM Lifecycle","version":1},"reference_index":174,"source":"pdf_text","source_observed_at":"2026-08-04T16:07:41.846576Z"},"links":{"cited_paper":"/paper/2504.11354","citing_paper":"/paper/2509.16679"},"observation_digest":"sha256:64f976fc8364ef6cf82a8c8d9c1b8c6402bb675ca0cf71e80c18c39120712203","observation_id":"fbd6d0f8-cae7-4bd5-ae09-6850fc9dda92","resolution":{"observed_at":"2026-08-04T16:07:41.846576Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"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":"2510.01346","last_updated":"2025-10-10T20:12:14Z","snapshot_observed_at":"2026-08-02T06:00:59.770868Z","submitted_at":"2025-10-01T18:21:13Z","title":"Aristotle: IMO-level Automated Theorem Proving","version":2},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-05-15T08:51:37.827144Z"},"links":{"cited_paper":"/paper/2504.11354","citing_paper":"/paper/2510.01346"},"observation_digest":"sha256:c91194b0ee215be8a7c4fb50685f386a983c3a5bfb45ddfd29cd9f433dfdcb0c","observation_id":"8e1f6bae-0293-4329-bf67-66c20aea9593","resolution":{"observed_at":"2026-05-17T18:32:40.989755Z","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-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-05T06:32:44.755628+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":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2504.11354","snapshot_observed_at":"2026-08-04T11:31:39.456999Z","title":"Kimina-prover preview: Towards large formal reasoning models with reinforcement learning","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2510.04520","last_updated":"2026-07-02T09:05:29Z","snapshot_observed_at":"2026-08-04T11:31:34.257102Z","submitted_at":"2025-10-06T06:25:11Z","title":"Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph","version":2},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-04T11:31:39.456999Z"},"links":{"cited_paper":"/paper/2504.11354","citing_paper":"/paper/2510.04520"},"observation_digest":"sha256:8782cfbad89e0b37876cea3eccb89f46483c6f1d9286aae3713048841ee09ec5","observation_id":"0320c9f1-ea2f-452c-b7b8-9c9a1f785981","resolution":{"observed_at":"2026-08-04T11:31:39.456999Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"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":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-05-25T07:46:30.936002Z"},"links":{"cited_paper":"/paper/2504.11354","citing_paper":"/paper/2510.12787"},"observation_digest":"sha256:2b2e37cbd13d6f911e42d9568a288c2781d23bbed34a1d633ad7eefdb61d9108","observation_id":"eae7a43f-8abf-4edc-93a5-fe965241db31","resolution":{"observed_at":"2026-05-25T07:46:42.205219Z","resolver_source":"local_arxiv","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-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-05T06:32:44.755628+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":"2601.13209","last_updated":"2026-05-02T15:26:09Z","snapshot_observed_at":"2026-07-06T22:42:08.271837Z","submitted_at":"2026-01-19T16:38:18Z","title":"AI for Mathematics: Progress, Challenges, and Prospects","version":5},"reference_index":140,"source":"pdf_text","source_observed_at":"2026-05-16T13:24:57.923863Z"},"links":{"cited_paper":"/paper/2504.11354","citing_paper":"/paper/2601.13209"},"observation_digest":"sha256:62e8b8e826241c29114dfcd4035c87792ae0e7a74e6c0fdc513547d466cc1c48","observation_id":"7f7afc58-f7d6-462c-a248-14016eea67d1","resolution":{"observed_at":"2026-05-17T18:32:40.989755Z","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-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-05T06:32:44.755628+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":"2602.24273","last_updated":"2026-05-14T16:23:55Z","snapshot_observed_at":"2026-08-02T04:41:42.758635Z","submitted_at":"2026-02-27T18:43:47Z","title":"A Minimal Agent for Automated Theorem Proving","version":3},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-05-15T18:44:35.600033Z"},"links":{"cited_paper":"/paper/2504.11354","citing_paper":"/paper/2602.24273"},"observation_digest":"sha256:a2262e92382202db5a09d4da7686f82eca07a6792b34c4596fb4cc6f8f846f46","observation_id":"6405a1b9-21ac-40d1-9342-bff94af999f8","resolution":{"observed_at":"2026-05-17T18:32:40.989755Z","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-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-05T06:32:44.755628+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":"2603.19500","last_updated":"2026-04-23T23:00:01Z","snapshot_observed_at":"2026-08-02T12:53:52.187936Z","submitted_at":"2026-03-19T22:08:53Z","title":"Teaching an Agent to Sketch One Part at a Time","version":2},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-05-15T07:53:15.953601Z"},"links":{"cited_paper":"/paper/2504.11354","citing_paper":"/paper/2603.19500"},"observation_digest":"sha256:cce244277076c41ce3e422099ea88c15e72747204d75aa494eb3fe21efb7d816","observation_id":"e068384a-4931-4afa-8b03-4808e6019ab3","resolution":{"observed_at":"2026-05-17T18:32:40.989755Z","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-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-05T06:32:44.755628+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.02709","last_updated":"2026-04-15T09:12:39Z","snapshot_observed_at":"2026-07-06T22:52:02.162758Z","submitted_at":"2026-04-03T04:06:39Z","title":"Evaluating the Formal Reasoning Capabilities of Large Language Models through Chomsky Hierarchy","version":2},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-05-13T19:51:08.304741Z"},"links":{"cited_paper":"/paper/2504.11354","citing_paper":"/paper/2604.02709"},"observation_digest":"sha256:3aca96ee274ea467cb23c7d67190cfc7161a769a3dbbabf32a604c70934be305","observation_id":"9cabc5b3-0b32-4d18-ba38-4c859df65dee","resolution":{"observed_at":"2026-05-17T18:32:40.989755Z","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-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-05T06:32:44.755628+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":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2504.11354","snapshot_observed_at":"2026-07-13T13:34:41.548490Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2604.03070","last_updated":"2026-06-19T04:47:04Z","snapshot_observed_at":"2026-07-13T13:34:41.070446Z","submitted_at":"2026-04-03T14:50:16Z","title":"How Your Credentials Are Leaked by LLM Agent Skills: An Empirical Study","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-07-13T13:34:41.548490Z"},"links":{"cited_paper":"/paper/2504.11354","citing_paper":"/paper/2604.03070"},"observation_digest":"sha256:ad3ca0092fbfe7b9dd0560cacd149d04c18d49be14c37fe7da4365c38f6cef4b","observation_id":"e2765feb-9124-440e-a788-650787328a15","resolution":{"observed_at":"2026-07-13T13:34:41.548490Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"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.03071","last_updated":"2026-04-03T14:51:01Z","snapshot_observed_at":"2026-08-03T21:01:45.224658Z","submitted_at":"2026-04-03T14:51:01Z","title":"Automatic Textbook Formalization","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-05-13T20:08:10.087342Z"},"links":{"cited_paper":"/paper/2504.11354","citing_paper":"/paper/2604.03071"},"observation_digest":"sha256:31807f73d8a9d5fc87e186ca9b02e4e01325d18dff74f83c1c6bbd67d4e1c87a","observation_id":"9d2bba17-7031-4c0f-884e-2f7863531e81","resolution":{"observed_at":"2026-05-17T18:32:40.989755Z","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-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-05T06:32:44.755628+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.13515","last_updated":"2026-04-15T06:00:25Z","snapshot_observed_at":"2026-08-02T05:07:14.262340Z","submitted_at":"2026-04-15T06:00:25Z","title":"SFT-GRPO Data Overlap as a Post-Training Hyperparameter for Autoformalization","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-05-10T13:21:52.225115Z"},"links":{"cited_paper":"/paper/2504.11354","citing_paper":"/paper/2604.13515"},"observation_digest":"sha256:577d5d614d081cee7cc9249f3c9d79310f99dd425a3a0ec042ddf1422cfd8916","observation_id":"fd5c6528-d7cb-40c6-8bd7-3539b52f7c4c","resolution":{"observed_at":"2026-05-17T18:32:40.989755Z","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-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-05T06:32:44.755628+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.16347","last_updated":"2026-03-16T14:19:33Z","snapshot_observed_at":"2026-07-06T23:03:43.854612Z","submitted_at":"2026-03-16T14:19:33Z","title":"Lean Atlas: An Integrated Proof Environment for Scalable Human-AI Collaborative Formalization","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-05-15T10:24:19.295736Z"},"links":{"cited_paper":"/paper/2504.11354","citing_paper":"/paper/2604.16347"},"observation_digest":"sha256:505c1a2a77928df8a1377932bf7bdb5b9e41aba355f500aada48e24a4c8c839d","observation_id":"5bf98367-b332-45c5-92dc-478417e3e393","resolution":{"observed_at":"2026-05-17T18:32:40.989755Z","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-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-05T06:32:44.755628+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-07-06T23:03:52.631613Z","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:6d23c9cc4ed183a13e868a9133e843d022e93d379a2260ae582508c2086a35fd","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-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-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-05T06:32:44.755628+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.20209","last_updated":"2026-04-22T05:50:23Z","snapshot_observed_at":"2026-07-06T23:06:40.154278Z","submitted_at":"2026-04-22T05:50:23Z","title":"Scaling Self-Play with Self-Guidance","version":1},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-05-10T01:31:06.090698Z"},"links":{"cited_paper":"/paper/2504.11354","citing_paper":"/paper/2604.20209"},"observation_digest":"sha256:99a6ff00934a045defcf6c94f99b2e123f2fa81a8a822dcbf3ffa7d17d39496b","observation_id":"172336cf-aea5-4426-b4b0-126b5d832403","resolution":{"observed_at":"2026-05-17T18:32:40.989755Z","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-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-05T06:32:44.755628+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.23135","last_updated":"2026-05-17T15:51:14Z","snapshot_observed_at":"2026-07-06T23:09:23.591544Z","submitted_at":"2026-04-25T04:26:19Z","title":"Characterizing Paraphrase-Induced Failures in Lean 4 Autoformalization","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-05-08T08:33:34.423179Z"},"links":{"cited_paper":"/paper/2504.11354","citing_paper":"/paper/2604.23135"},"observation_digest":"sha256:3e44c968c71ff35a82ddcb8abcb0a56ef1d0a551dc433376beeee2e14a88c832","observation_id":"16f50ddf-70bf-47b7-b670-9ce52dd0a8b7","resolution":{"observed_at":"2026-05-17T18:32:40.989755Z","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-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-05T06:32:44.755628+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.23135","last_updated":"2026-05-17T15:51:14Z","snapshot_observed_at":"2026-07-06T23:09:23.591544Z","submitted_at":"2026-04-25T04:26:19Z","title":"Characterizing Paraphrase-Induced Failures in Lean 4 Autoformalization","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-05-21T00:49:58.959331Z"},"links":{"cited_paper":"/paper/2504.11354","citing_paper":"/paper/2604.23135"},"observation_digest":"sha256:5ae87ff0a2fac0b913337d5866b908d97969eec65f44abc2c725b9f0e5c89281","observation_id":"9a733aab-2a66-431e-9187-1e51790e4780","resolution":{"observed_at":"2026-05-21T00:53:53.708292Z","resolver_source":"local_arxiv","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-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-05T06:32:44.755628+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.23712","last_updated":"2026-04-28T04:48:08Z","snapshot_observed_at":"2026-07-06T23:09:52.860780Z","submitted_at":"2026-04-26T13:54:28Z","title":"OptProver: Bridging Olympiad and Optimization through Continual Training in Formal Theorem Proving","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-05-08T06:33:29.860024Z"},"links":{"cited_paper":"/paper/2504.11354","citing_paper":"/paper/2604.23712"},"observation_digest":"sha256:d155abd00856f96e6bea8686b6e58e16a9f34d3f41a4c40ec50b188ced153cd0","observation_id":"24d45de2-b825-4ed7-97c7-583722be66e1","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-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-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-05T06:32:44.755628+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.25155","last_updated":"2026-04-28T02:57:20Z","snapshot_observed_at":"2026-08-04T04:22:10.934988Z","submitted_at":"2026-04-28T02:57:20Z","title":"Rethinking Wireless Communications through Formal Mathematical AI Reasoning","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-05-07T15:42:24.167986Z"},"links":{"cited_paper":"/paper/2504.11354","citing_paper":"/paper/2604.25155"},"observation_digest":"sha256:02a5d6e8ebee4f89f91a83e39d7bdca00863c35fce7d2ff819cc3bc1efac60a8","observation_id":"05af7fc1-ce4f-4ac0-bb3d-1bc01a968eb4","resolution":{"observed_at":"2026-05-17T18:32:40.989755Z","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-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-05T06:32:44.755628+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":"2605.06184","last_updated":"2026-05-07T13:01:06Z","snapshot_observed_at":"2026-07-06T23:18:41.400741Z","submitted_at":"2026-05-07T13:01:06Z","title":"Teaching LLMs Program Semantics via Symbolic Execution Traces","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-05-08T08:56:25.022619Z"},"links":{"cited_paper":"/paper/2504.11354","citing_paper":"/paper/2605.06184"},"observation_digest":"sha256:2be8a0812cb9b205db41b727140eb89aa75ca23c0ea17c6e9617ae60e8a72460","observation_id":"c594ec54-ab30-4b89-9fe6-72f10a6a3d02","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-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-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-05T06:32:44.755628+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":"2605.08678","last_updated":"2026-07-06T13:36:13Z","snapshot_observed_at":"2026-07-31T14:41:52.251938Z","submitted_at":"2026-05-09T04:29:46Z","title":"MLS-Bench: A Holistic and Rigorous Assessment of AI Systems on Building Better AI","version":1},"reference_index":102,"source":"pdf_text","source_observed_at":"2026-05-12T01:13:35.990078Z"},"links":{"cited_paper":"/paper/2504.11354","citing_paper":"/paper/2605.08678"},"observation_digest":"sha256:94f06a3dd10c3a96f615888e36e34d98244c046a0fc97866f86372364111f695","observation_id":"f778f802-077a-4187-a2e9-6da81670d696","resolution":{"observed_at":"2026-05-17T18:32:40.989755Z","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-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-05T06:32:44.755628+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":"2605.08678","last_updated":"2026-07-06T13:36:13Z","snapshot_observed_at":"2026-07-31T14:41:52.251938Z","submitted_at":"2026-05-09T04:29:46Z","title":"MLS-Bench: A Holistic and Rigorous Assessment of AI Systems on Building Better AI","version":2},"reference_index":104,"source":"pdf_text","source_observed_at":"2026-06-30T23:12:57.154537Z"},"links":{"cited_paper":"/paper/2504.11354","citing_paper":"/paper/2605.08678"},"observation_digest":"sha256:82b46ff7681620c9d43dd940d1342804616722903372765f4ef53ae9150577b1","observation_id":"efa5ab79-9eb0-4b5b-88fe-1ec1ba58768c","resolution":{"observed_at":"2026-07-01T13:25:46.060761Z","resolver_source":"local_arxiv","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-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-05T06:32:44.755628+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":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2504.11354","snapshot_observed_at":"2026-07-12T17:14:49.310598Z","title":"Kimina-prover preview: Towards large formal reasoning models with reinforcement learning.arXiv preprint arXiv:2504.11354, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2605.08678","last_updated":"2026-07-06T13:36:13Z","snapshot_observed_at":"2026-07-31T14:41:52.251938Z","submitted_at":"2026-05-09T04:29:46Z","title":"MLS-Bench: A Holistic and Rigorous Assessment of AI Systems on Building Better AI","version":3},"reference_index":103,"source":"pdf_text","source_observed_at":"2026-07-12T17:14:49.310598Z"},"links":{"cited_paper":"/paper/2504.11354","citing_paper":"/paper/2605.08678"},"observation_digest":"sha256:1906317ae9d7fa2237d216254f3ceff7d5b59595dfba912435ed081cb886466a","observation_id":"d6852bd3-2a37-4063-a002-f48fa178176b","resolution":{"observed_at":"2026-07-12T17:14:49.310598Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"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":"2605.14061","last_updated":"2026-05-13T19:35:46Z","snapshot_observed_at":"2026-07-30T05:07:50.321371Z","submitted_at":"2026-05-13T19:35:46Z","title":"MathAtlas: A Benchmark for Autoformalization in the Wild","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-05-15T05:09:32.268677Z"},"links":{"cited_paper":"/paper/2504.11354","citing_paper":"/paper/2605.14061"},"observation_digest":"sha256:bff9d41e51ee55eb6db9ac6803384b49b5503e838880549d67f0fcc2e1031f36","observation_id":"16f3cbb4-56dc-400d-8fff-d2f9a61c2e24","resolution":{"observed_at":"2026-05-17T18:32:40.989755Z","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-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-05T06:32:44.755628+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":"2605.17255","last_updated":"2026-05-17T04:53:47Z","snapshot_observed_at":"2026-08-02T00:45:01.850467Z","submitted_at":"2026-05-17T04:53:47Z","title":"CAM-Bench: A Benchmark for Computational and Applied Mathematics in Lean","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-05-20T13:35:04.729506Z"},"links":{"cited_paper":"/paper/2504.11354","citing_paper":"/paper/2605.17255"},"observation_digest":"sha256:ce52d8cbcefe6e4ac81e704473b6f390a1720d65cfcd3984517aa66b8ef5bdf4","observation_id":"e3a5cc6b-db02-4263-ac03-92d815dabf12","resolution":{"observed_at":"2026-05-20T13:38:19.325545Z","resolver_source":"local_arxiv","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-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-05T06:32:44.755628+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":"2605.17283","last_updated":"2026-05-17T06:39:05Z","snapshot_observed_at":"2026-08-02T16:55:37.869194Z","submitted_at":"2026-05-17T06:39:05Z","title":"OProver: A Unified Framework for Agentic Formal Theorem Proving","version":1},"reference_index":154,"source":"arxiv_source","source_observed_at":"2026-05-20T14:43:46.517807Z"},"links":{"cited_paper":"/paper/2504.11354","citing_paper":"/paper/2605.17283"},"observation_digest":"sha256:0e107c75582b6ec4bb4ecd76246f29c0afcd65d65522dc2663955b69b52cef0c","observation_id":"b0b7cafe-8c1b-46c0-bd36-a63d1ba35330","resolution":{"observed_at":"2026-05-20T14:48:23.574380Z","resolver_source":"local_arxiv","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-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-05T06:32:44.755628+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":"2605.18747","last_updated":"2026-05-18T17:59:03Z","snapshot_observed_at":"2026-07-06T23:29:33.702647Z","submitted_at":"2026-05-18T17:59:03Z","title":"Code as Agent Harness","version":1},"reference_index":88,"source":"pdf_text","source_observed_at":"2026-05-20T10:54:54.558241Z"},"links":{"cited_paper":"/paper/2504.11354","citing_paper":"/paper/2605.18747"},"observation_digest":"sha256:05a4a30b9b087c0e8b8c00e0a7522439d2ac8b4af93e199f9f35631fd05e109b","observation_id":"f8de2b03-5ae1-479b-824b-0d8c99637418","resolution":{"observed_at":"2026-05-20T10:58:14.386753Z","resolver_source":"local_arxiv","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-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-05T06:32:44.755628+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":"2605.22257","last_updated":"2026-05-21T10:00:47Z","snapshot_observed_at":"2026-08-02T16:57:37.118659Z","submitted_at":"2026-05-21T10:00:47Z","title":"What are the Right Symmetries for Formal Theorem Proving?","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-05-22T08:15:17.849584Z"},"links":{"cited_paper":"/paper/2504.11354","citing_paper":"/paper/2605.22257"},"observation_digest":"sha256:4545e1607e3f6c7f0bc2c33699f5c2967184dad3f4bde116f2a07612e7761a12","observation_id":"f63c915f-fd6f-4210-a8c0-2e174720201b","resolution":{"observed_at":"2026-05-22T08:16:16.058423Z","resolver_source":"local_arxiv","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-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-05T06:32:44.755628+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":"2605.22763","last_updated":"2026-06-08T12:23:48Z","snapshot_observed_at":"2026-08-01T12:58:29.630459Z","submitted_at":"2026-05-21T17:24:57Z","title":"Advancing Mathematics Research with AI-Driven Formal Proof Search","version":1},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-05-22T05:10:45.453144Z"},"links":{"cited_paper":"/paper/2504.11354","citing_paper":"/paper/2605.22763"},"observation_digest":"sha256:a00243e4043cfeccba2649cee0d0e8b1631c732fcb6c93a4a4d1963fec38ba96","observation_id":"296e701e-29ba-49c6-9995-7dd025b1f4f0","resolution":{"observed_at":"2026-05-22T05:11:06.350843Z","resolver_source":"local_arxiv","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-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-05T06:32:44.755628+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":"2605.22763","last_updated":"2026-06-08T12:23:48Z","snapshot_observed_at":"2026-08-01T12:58:29.630459Z","submitted_at":"2026-05-21T17:24:57Z","title":"Advancing Mathematics Research with AI-Driven Formal Proof Search","version":2},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-06-30T16:56:39.110356Z"},"links":{"cited_paper":"/paper/2504.11354","citing_paper":"/paper/2605.22763"},"observation_digest":"sha256:c0b9458e27516a4cf92ca1a634ed2ab251b4be9f5ac7bb60137d10931faef0d7","observation_id":"637912c5-ac68-41b6-af6b-d0a97cb92cdd","resolution":{"observed_at":"2026-06-30T17:04:57.660142Z","resolver_source":"local_arxiv","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-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-05T06:32:44.755628+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":"2605.23109","last_updated":"2026-05-22T00:05:36Z","snapshot_observed_at":"2026-07-06T23:33:24.215365Z","submitted_at":"2026-05-22T00:05:36Z","title":"Inductive Deductive Synthesis: Enabling AI to Generate Formally Verified Systems","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-05-25T04:52:06.456555Z"},"links":{"cited_paper":"/paper/2504.11354","citing_paper":"/paper/2605.23109"},"observation_digest":"sha256:90a986ba01f360d31136c07bd9fbc1865667b7c4638af93f5ad322b0e571f320","observation_id":"cb817cf0-b078-46d2-ae5c-15a036094ddb","resolution":{"observed_at":"2026-05-25T04:55:23.739229Z","resolver_source":"local_arxiv","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-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-05T06:32:44.755628+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":"2605.23772","last_updated":"2026-05-22T15:41:27Z","snapshot_observed_at":"2026-08-01T14:43:06.310592Z","submitted_at":"2026-05-22T15:41:27Z","title":"Agentic Proving for Program Verification","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-05-25T04:02:22.170884Z"},"links":{"cited_paper":"/paper/2504.11354","citing_paper":"/paper/2605.23772"},"observation_digest":"sha256:21dd721f5c825cad4e2758497d4c05ddb4b0c4fefdb97bab3789c4d683696491","observation_id":"c5e8be51-d435-4be1-b335-10afe56ed427","resolution":{"observed_at":"2026-05-25T04:05:20.699555Z","resolver_source":"local_arxiv","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-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-05T06:32:44.755628+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":"2605.27485","last_updated":"2026-05-26T14:50:47Z","snapshot_observed_at":"2026-08-02T13:15:11.614769Z","submitted_at":"2026-05-26T14:50:47Z","title":"Automating Formal Verification with Agent-Guided Tree Search","version":1},"reference_index":87,"source":"pdf_text","source_observed_at":"2026-06-29T14:54:59.333847Z"},"links":{"cited_paper":"/paper/2504.11354","citing_paper":"/paper/2605.27485"},"observation_digest":"sha256:0d5c49f54f4b793986e58e2bd184b79c5869022c2f3f1bafe05bb13a283ef059","observation_id":"c68aef80-e9c5-4a6e-886b-ad1d6644b321","resolution":{"observed_at":"2026-06-29T15:03:31.419072Z","resolver_source":"local_arxiv","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-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-05T06:32:44.755628+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":"2605.29955","last_updated":"2026-05-28T14:00:22Z","snapshot_observed_at":"2026-08-05T14:45:53.065328Z","submitted_at":"2026-05-28T14:00:22Z","title":"Formalizing Mathematics at Scale","version":1},"reference_index":48,"source":"arxiv_source","source_observed_at":"2026-06-29T07:35:06.858835Z"},"links":{"cited_paper":"/paper/2504.11354","citing_paper":"/paper/2605.29955"},"observation_digest":"sha256:56d6ec40e4c3eede05695dfd448d43fba29cc7f15e1ef6aafe6f5f2f1d57fa9b","observation_id":"e4000446-c4e5-45e0-8b0a-cde5cd0dfa00","resolution":{"observed_at":"2026-06-29T07:53:14.290821Z","resolver_source":"local_arxiv","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-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-05T06:32:44.755628+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":"2605.30914","last_updated":"2026-05-29T06:59:28Z","snapshot_observed_at":"2026-08-04T08:48:12.582835Z","submitted_at":"2026-05-29T06:59:28Z","title":"Automating Formal Verification with Reinforcement Learning and Recursive Inference","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-06-28T23:52:36.891080Z"},"links":{"cited_paper":"/paper/2504.11354","citing_paper":"/paper/2605.30914"},"observation_digest":"sha256:ecf6a98205a01cccfbf0bdb3cd4acf8b6b07f6976ffc50d17af5dab72beb18ab","observation_id":"d3311491-8d3d-4de8-9e7e-4cfc2ff1412f","resolution":{"observed_at":"2026-06-28T23:52:49.278143Z","resolver_source":"local_arxiv","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-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-05T06:32:44.755628+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":"2606.03303","last_updated":"2026-06-03T06:16:05Z","snapshot_observed_at":"2026-07-06T23:43:36.420646Z","submitted_at":"2026-06-02T08:16:42Z","title":"LEAP: Supercharging LLMs for Formal Mathematics with Agentic Frameworks","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-07-11T11:50:26.030339Z"},"links":{"cited_paper":"/paper/2504.11354","citing_paper":"/paper/2606.03303"},"observation_digest":"sha256:07719653062d41f25451bf9331bbe0f3ecb1a8d007bf015d58ddc54e289dfec9","observation_id":"cbeda18d-ad17-4fe7-abc0-a88d6ace03cc","resolution":{"observed_at":"2026-06-28T09:51:50.343361Z","resolver_source":"local_arxiv","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-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-05T06:32:44.755628+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":"2606.05400","last_updated":"2026-06-03T20:09:39Z","snapshot_observed_at":"2026-08-02T19:19:40.682112Z","submitted_at":"2026-06-03T20:09:39Z","title":"LeanMarathon: Toward Reliable AI Co-Mathematicians through Long-Horizon Lean Autoformalization","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-06-28T05:48:56.691155Z"},"links":{"cited_paper":"/paper/2504.11354","citing_paper":"/paper/2606.05400"},"observation_digest":"sha256:273b538b8c9557fd921d4d3c4e593d5d453a56d60075410843bd3b1cd7390dc6","observation_id":"fc64ad38-ff6e-4fcd-8be7-c79eacbf3312","resolution":{"observed_at":"2026-07-02T08:36:48.806829Z","resolver_source":"local_arxiv","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-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-05T06:32:44.755628+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":"2606.06468","last_updated":"2026-06-04T17:54:44Z","snapshot_observed_at":"2026-08-01T01:11:45.256948Z","submitted_at":"2026-06-04T17:54:44Z","title":"Goedel-Architect: Streamlining Formal Theorem Proving with Blueprint Generation and Refinement","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-06-28T00:59:54.485343Z"},"links":{"cited_paper":"/paper/2504.11354","citing_paper":"/paper/2606.06468"},"observation_digest":"sha256:aca199213810827a68c2bd2e9f1941ac656ab4f5274e52bccd794849369d16ad","observation_id":"d827a116-d217-4c86-b7c9-f932406bc869","resolution":{"observed_at":"2026-07-02T13:46:59.588211Z","resolver_source":"local_arxiv","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-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-05T06:32:44.755628+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":"2606.08728","last_updated":"2026-07-26T11:27:42Z","snapshot_observed_at":"2026-08-02T12:04:58.846884Z","submitted_at":"2026-06-07T16:50:07Z","title":"Artificial Intelligence for Mathematical Reasoning: An Integrated Survey of Language Models, Neuro-symbolic Systems, and Verified Discovery","version":1},"reference_index":80,"source":"pdf_text","source_observed_at":"2026-06-27T18:39:44.696961Z"},"links":{"cited_paper":"/paper/2504.11354","citing_paper":"/paper/2606.08728"},"observation_digest":"sha256:2436b50502850f02952ee9b535ff3d958cecf6da58b736bd20eeeb225878e096","observation_id":"97591987-bada-4f00-a8b5-b5628202a0bd","resolution":{"observed_at":"2026-07-02T22:47:26.048051Z","resolver_source":"local_arxiv","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-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-05T06:32:44.755628+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":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2504.11354","snapshot_observed_at":"2026-08-02T12:05:10.375005Z","title":"Kimina-Prover Preview: Towards large for- mal reasoning models with reinforcement learning,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.08728","last_updated":"2026-07-26T11:27:42Z","snapshot_observed_at":"2026-08-02T12:04:58.846884Z","submitted_at":"2026-06-07T16:50:07Z","title":"Artificial Intelligence for Mathematical Reasoning: An Integrated Survey of Language Models, Neuro-symbolic Systems, and Verified Discovery","version":4},"reference_index":80,"source":"pdf_text","source_observed_at":"2026-08-02T12:05:10.375005Z"},"links":{"cited_paper":"/paper/2504.11354","citing_paper":"/paper/2606.08728"},"observation_digest":"sha256:92dd04f40e3f5cfb5da627215f51c620c55d70b51dec31f3349fba0a57d732e5","observation_id":"e0285d5b-d6c9-4397-9d01-d904bf173c4c","resolution":{"observed_at":"2026-08-02T12:05:10.375005Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"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":"2606.09450","last_updated":"2026-06-08T12:57:18Z","snapshot_observed_at":"2026-08-02T11:29:46.747086Z","submitted_at":"2026-06-08T12:57:18Z","title":"TheoremBench: Evaluating LLMs on Theorem Proving in Formal Mathematics","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-06-27T16:19:11.123994Z"},"links":{"cited_paper":"/paper/2504.11354","citing_paper":"/paper/2606.09450"},"observation_digest":"sha256:2daf8e531d5dba907861392b58f04b418256bc800a545da668a69b7b7a80f734","observation_id":"fc91b50c-72e6-48f3-a32b-8738cdc011d5","resolution":{"observed_at":"2026-07-03T01:47:31.573906Z","resolver_source":"local_arxiv","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-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-05T06:32:44.755628+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":"2606.12594","last_updated":"2026-06-10T18:43:11Z","snapshot_observed_at":"2026-07-06T23:51:31.502574Z","submitted_at":"2026-06-10T18:43:11Z","title":"Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-06-27T09:55:35.227340Z"},"links":{"cited_paper":"/paper/2504.11354","citing_paper":"/paper/2606.12594"},"observation_digest":"sha256:5a9ab9f1fda5c73165ee5d6dcc689bc3d0d568cda46729061b742f5a1231dff9","observation_id":"8540c0f6-1351-4a8c-92ba-fce8160cbd76","resolution":{"observed_at":"2026-07-03T10:37:56.850589Z","resolver_source":"local_arxiv","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-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-05T06:32:44.755628+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":"2606.17581","last_updated":"2026-06-16T06:43:08Z","snapshot_observed_at":"2026-07-06T23:53:07.149182Z","submitted_at":"2026-06-16T06:43:08Z","title":"Visored: A Controlled-Natural-Language Prover for LLM-Generated Mathematics","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-06-26T22:23:42.299674Z"},"links":{"cited_paper":"/paper/2504.11354","citing_paper":"/paper/2606.17581"},"observation_digest":"sha256:bf2df2f49335ca6494251f56aa4599f1992d6b3fcb9c4f9b2ee5beebd1a5a792","observation_id":"31bc909f-bc39-49c8-a786-1e671085ba7a","resolution":{"observed_at":"2026-07-03T23:29:01.970058Z","resolver_source":"local_arxiv","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-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-05T06:32:44.755628+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":"2606.24443","last_updated":"2026-06-23T11:24:49Z","snapshot_observed_at":"2026-07-06T23:59:03.724013Z","submitted_at":"2026-06-23T11:24:49Z","title":"Verifiable Auto-Formalization of Mathematics Using a Relaxed Natural Formal Language","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-06-25T21:59:02.948726Z"},"links":{"cited_paper":"/paper/2504.11354","citing_paper":"/paper/2606.24443"},"observation_digest":"sha256:13267e1f490895f5da6686e0a0013e6ffe97b6baa8611cce2262a44fd5376730","observation_id":"e06a66dc-9548-498a-9621-c1150df7eb2d","resolution":{"observed_at":"2026-07-04T19:10:04.269278Z","resolver_source":"local_arxiv","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-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-05T06:32:44.755628+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":"2606.26442","last_updated":"2026-06-24T23:09:49Z","snapshot_observed_at":"2026-08-04T12:22:08.237594Z","submitted_at":"2026-06-24T23:09:49Z","title":"AXLE: A Cloud Infrastructure for Lean 4 Theorem Proving Utilities","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-06-26T00:26:02.757706Z"},"links":{"cited_paper":"/paper/2504.11354","citing_paper":"/paper/2606.26442"},"observation_digest":"sha256:345233c3e8026977f9081dbba0d3402778270ee1d6e10edc6df83933fb2ee1b5","observation_id":"152e99fe-91b6-4b30-b248-e9d5ee3f318a","resolution":{"observed_at":"2026-07-04T16:39:57.360035Z","resolver_source":"local_arxiv","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-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-05T06:32:44.755628+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":"2606.28841","last_updated":"2026-06-27T09:58:09Z","snapshot_observed_at":"2026-08-02T19:18:42.790580Z","submitted_at":"2026-06-27T09:58:09Z","title":"LAMP: Lean-based Agentic framework with MCP and Proof Repair","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-06-30T08:35:40.617232Z"},"links":{"cited_paper":"/paper/2504.11354","citing_paper":"/paper/2606.28841"},"observation_digest":"sha256:236d461be935242ff1453f6e36b598d89b1cb688ae87a83fa239096e2820f5c0","observation_id":"f1ef3889-1fd5-4810-9db7-f563f2dc8d2f","resolution":{"observed_at":"2026-06-30T08:44:27.797384Z","resolver_source":"local_arxiv","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-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-05T06:32:44.755628+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":"2606.31002","last_updated":"2026-06-30T00:27:53Z","snapshot_observed_at":"2026-08-01T10:19:09.703226Z","submitted_at":"2026-06-30T00:27:53Z","title":"Beyond Compilation: Evaluating Faithful Natural-Language-to-Lean Statement Formalization","version":1},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-07-01T00:58:00.053021Z"},"links":{"cited_paper":"/paper/2504.11354","citing_paper":"/paper/2606.31002"},"observation_digest":"sha256:092cce32e616f730eb4cd767f3e32a1ca729a06888575b72c5f9414abb588413","observation_id":"c757c556-eb7b-4b90-aa78-d8bfbcdedb43","resolution":{"observed_at":"2026-07-01T13:15:45.406957Z","resolver_source":"local_arxiv","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-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-05T06:32:44.755628+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":"2606.31134","last_updated":"2026-07-01T19:08:57Z","snapshot_observed_at":"2026-07-07T00:04:53.774826Z","submitted_at":"2026-06-30T05:05:03Z","title":"Beyond the Library: An Agentic Framework for Autoformalizing Research Mathematics","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-07-01T05:54:51.200436Z"},"links":{"cited_paper":"/paper/2504.11354","citing_paper":"/paper/2606.31134"},"observation_digest":"sha256:e9b52b503102e2bfc7fa4050300f323fbe8d1ff44662df1a7167405406992bb6","observation_id":"d3422080-b6dc-4eca-a3e4-15e72f0db72f","resolution":{"observed_at":"2026-07-01T10:05:40.898017Z","resolver_source":"local_arxiv","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-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-05T06:32:44.755628+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":"2606.31134","last_updated":"2026-07-01T19:08:57Z","snapshot_observed_at":"2026-07-07T00:04:53.774826Z","submitted_at":"2026-06-30T05:05:03Z","title":"Beyond the Library: An Agentic Framework for Autoformalizing Research Mathematics","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-07-03T22:34:08.241014Z"},"links":{"cited_paper":"/paper/2504.11354","citing_paper":"/paper/2606.31134"},"observation_digest":"sha256:78a07795c8e324b4621331ede8a302d81ef7976ea1dcb5e8b308187f1760cd10","observation_id":"7bc01492-2624-4374-933f-2ddaeeebd992","resolution":{"observed_at":"2026-07-03T22:39:01.186780Z","resolver_source":"local_arxiv","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-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-05T06:32:44.755628+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":"2607.06820","last_updated":"2026-07-07T21:29:59Z","snapshot_observed_at":"2026-08-02T07:33:22.663091Z","submitted_at":"2026-07-07T21:29:59Z","title":"Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-07-10T20:39:42.009312Z"},"links":{"cited_paper":"/paper/2504.11354","citing_paper":"/paper/2607.06820"},"observation_digest":"sha256:40b03fbfaae8117e0a9934b6c3b029fc474aab2ed9ec6ff520ee8154f39e3b3c","observation_id":"e2bb967b-34d4-46b3-a364-45c78cada465","resolution":{"observed_at":"2026-07-10T20:47:34.624607Z","resolver_source":"local_arxiv","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-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-05T06:32:44.755628+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":"2607.07779","last_updated":"2026-07-08T17:46:36Z","snapshot_observed_at":"2026-07-12T23:17:59.879344Z","submitted_at":"2026-07-08T17:46:36Z","title":"From Solvers to Research: Large Language Model-Driven Formal Mathematics at the Research Frontier","version":1},"reference_index":235,"source":"pdf_text","source_observed_at":"2026-07-10T18:16:31.176239Z"},"links":{"cited_paper":"/paper/2504.11354","citing_paper":"/paper/2607.07779"},"observation_digest":"sha256:d5380bb87dfcd15e957a7f7eb171124e0cc8efafedf2e9ecd9c0f066eebf8f0d","observation_id":"b3a5e4cb-5bfe-4639-9729-b480832a55c4","resolution":{"observed_at":"2026-07-10T18:17:33.871321Z","resolver_source":"local_arxiv","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-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-05T06:32:44.755628+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":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2504.11354","snapshot_observed_at":"2026-08-01T21:40:02.651495Z","title":"Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.16372","last_updated":"2026-07-17T14:43:43Z","snapshot_observed_at":"2026-08-02T01:55:22.278621Z","submitted_at":"2026-07-17T14:43:43Z","title":"AoA: Theorem Proving Agent over Abstract Syntax Tree of Redesigned Language","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-01T21:40:02.651495Z"},"links":{"cited_paper":"/paper/2504.11354","citing_paper":"/paper/2607.16372"},"observation_digest":"sha256:55747e524250979fefa89f5098ea2a2b50532f9b58deece2f5a352e1d9df9016","observation_id":"018212f7-f213-49ca-abea-042fcf77dd7b","resolution":{"observed_at":"2026-08-01T21:40:02.651495Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2504.11354/citation-record","integrity":"/paper/2504.11354/integrity","json":"/paper/2504.11354/citation-record.json","paper":"/paper/2504.11354"},"outbound":[{"citation":{"cited_paper":{"arxiv_id":"2407.11214","last_updated":"2024-11-03T17:14:37Z","snapshot_observed_at":"2026-08-05T18:50:54.811289Z","submitted_at":"2024-07-15T19:57:15Z","title":"PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition","version":2},"cited_work":{"arxiv_id":"2407.11214","doi":"10.48550/arxiv.2407.11214","metadata_source":"pith","pith_arxiv_id":"2407.11214","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"CoRR , volume=","venue":"cs.AI","work_id":"0cad43ad-ae3a-4db7-8d68-131238a0ad95","year":2024},"citing_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},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-05-17T18:32:40.880435Z"},"links":{"cited_paper":"/paper/2407.11214","citing_paper":"/paper/2504.11354"},"observation_digest":"sha256:8cafe10ed3e832b9662474af5a35e93d7d240a6f74dd6f21d1f65ee58e9842c4","observation_id":"1640ce97-cb64-4d6a-ae3f-fe1c9ff09528","resolution":{"observed_at":"2026-05-17T18:32:40.910676Z","resolver_source":"arxiv_id","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-05-23T14:52:47.84618+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-23T14:52:47.84618+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2310.00656","last_updated":"2023-10-27T12:44:32Z","snapshot_observed_at":"2026-08-04T09:49:13.140822Z","submitted_at":"2023-10-01T12:47:59Z","title":"LEGO-Prover: Neural Theorem Proving with Growing Libraries","version":3},"cited_work":{"arxiv_id":"2310.00656","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2310.00656","snapshot_observed_at":"2026-07-04T19:10:04.276956Z","title":"URL: https://arxiv.org/abs/2310.00656","venue":null,"work_id":"ba7b923c-31a8-402f-8437-764efbd6e2ba","year":2023},"citing_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},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-05-17T18:32:40.880435Z"},"links":{"cited_paper":"/paper/2310.00656","citing_paper":"/paper/2504.11354"},"observation_digest":"sha256:d3515c37ff3126ce777ccb8ecc78f2502c5f2848fdbec2d44af75a5abae908d2","observation_id":"c2fc0635-efa5-402a-9fa1-f88516b75ac9","resolution":{"observed_at":"2026-05-17T18:32:40.918717Z","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":"Li et al","venue":null,"work_id":"4af7420b-3157-4eed-9ad0-ca4e8ccbb7a0","year":2024},"citing_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},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-05-17T18:32:40.880435Z"},"links":{"citing_paper":"/paper/2504.11354"},"observation_digest":"sha256:f9c24ca844f51b44ad333975a151d0df9871818fd6d380209052c0d6fe02f322","observation_id":"d526dd9f-3454-4e43-8b20-2d7db4e39456","resolution":{"observed_at":"2026-05-17T18:32:40.924036Z","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":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Problems involving geometry and combinatorics are excluded to form a dataset more suitable for autoformalization","venue":null,"work_id":"4c2d829f-d0a9-425a-9aa5-1dbcc69f5f88","year":null},"citing_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},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-05-17T18:32:40.880435Z"},"links":{"citing_paper":"/paper/2504.11354"},"observation_digest":"sha256:b5e7d47e0eee123f470e619e61b666dd7966301af5e6ff0ca3330dbe0ba85333","observation_id":"6264ecaa-4906-4731-a5f1-5167e09e3cf4","resolution":{"observed_at":"2026-05-17T18:32:40.930812Z","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":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"This step converts natural language mathematical problems into formal statements compatible with the Lean 4 proof assistant","venue":null,"work_id":"1869929e-4d68-44ad-9b8a-7ee3b7c2c976","year":null},"citing_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},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-05-17T18:32:40.880435Z"},"links":{"citing_paper":"/paper/2504.11354"},"observation_digest":"sha256:b79058cf0792ab947731ca2ff289a0de2e90b1ed52964f7e6d8323ada0f6c445","observation_id":"ba03caa3-c5ad-41ff-949d-c5860701d9a6","resolution":{"observed_at":"2026-05-17T18:32:40.934833Z","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":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Annotated outputs are categorized as follows: • Human Statements: Statements refined by human annotators","venue":null,"work_id":"84ec8241-a2d7-48e2-87f9-2b8e43a39563","year":null},"citing_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},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-05-17T18:32:40.880435Z"},"links":{"citing_paper":"/paper/2504.11354"},"observation_digest":"sha256:5be98855811a4da7e69c63d5ca98bf645379c2e516998631158ef36ea8dfc23b","observation_id":"e1c56aa2-3179-459b-9ac7-0ae7db094c29","resolution":{"observed_at":"2026-05-17T18:32:40.939653Z","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":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"ef0aa79d-9803-4371-ae86-4f28a7dff5eb","year":2024},"citing_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},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-05-17T18:32:40.880435Z"},"links":{"citing_paper":"/paper/2504.11354"},"observation_digest":"sha256:b0869e0206748d99e1a0395fee85b77a9241a70e0783b439b50f24d7dfc021f4","observation_id":"e0001949-a537-4bcc-9344-351f35259638","resolution":{"observed_at":"2026-05-17T18:32:40.944439Z","resolver_source":"raw_fallback","status":"unresolved"},"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":"From the two equations, we can eliminate a to solve for d","venue":null,"work_id":"17ae9b9a-1179-4d8f-9020-7be9d483b49d","year":1962},"citing_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},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-05-17T18:32:40.880435Z"},"links":{"citing_paper":"/paper/2504.11354"},"observation_digest":"sha256:a98690d2c7c5dc63f3c518cbf1c10ecae3742f0c0174c3d205a0b4ff0f902bb7","observation_id":"b8026e55-789c-44c1-9375-a5a2511f73f6","resolution":{"observed_at":"2026-05-17T18:32:40.948198Z","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":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"47ce5ff6-c6db-409c-a2d8-529ed35bea47","year":null},"citing_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},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-05-17T18:32:40.880435Z"},"links":{"citing_paper":"/paper/2504.11354"},"observation_digest":"sha256:554e0f3c5de82bc6d47678abcf8a8f30f074f29fa94bdaabfa359a52d493795a","observation_id":"1d48843f-6463-4bfa-b2d3-f0acb0c8770f","resolution":{"observed_at":"2026-05-17T18:32:40.952907Z","resolver_source":"raw_fallback","status":"unresolved"},"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":null,"venue":null,"work_id":"29e782e2-1988-49ec-8232-8c04236fa87f","year":null},"citing_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},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-05-17T18:32:40.880435Z"},"links":{"citing_paper":"/paper/2504.11354"},"observation_digest":"sha256:7dddaa4ad04b6174d25517d86755353d2bec58890fa242a49e34acc06f753da4","observation_id":"661f8701-97ee-432a-8381-65e62486be42","resolution":{"observed_at":"2026-05-17T18:32:40.956414Z","resolver_source":"raw_fallback","status":"unresolved"},"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":null,"venue":null,"work_id":"7ed88b8a-dfa6-4e96-b7e1-29606aa9bd84","year":null},"citing_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},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-05-17T18:32:40.880435Z"},"links":{"citing_paper":"/paper/2504.11354"},"observation_digest":"sha256:996ae207396d3007bc5961e5467d727cad63ba3fc4b0a3fb5413ff1f6beee325","observation_id":"1c30c06d-9cb8-4fae-802f-5f1a4ba6454c","resolution":{"observed_at":"2026-05-17T18:32:40.959949Z","resolver_source":"raw_fallback","status":"unresolved"},"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":null,"venue":null,"work_id":"76a92545-a5a4-443f-a214-29bffc7ad0a7","year":null},"citing_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},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-05-17T18:32:40.880435Z"},"links":{"citing_paper":"/paper/2504.11354"},"observation_digest":"sha256:7f2a1f68cc8f2befbba5b1bbc6cf6091d2012186d74b66342e304b8c35fa69ad","observation_id":"040e6b1b-a4ee-469c-a0b3-633de14e1b85","resolution":{"observed_at":"2026-05-17T18:32:40.963333Z","resolver_source":"raw_fallback","status":"parse_uncertain"},"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":null,"venue":null,"work_id":"0ffef537-00b3-49f4-a79f-e8f5e7e97ee6","year":null},"citing_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},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-05-17T18:32:40.880435Z"},"links":{"citing_paper":"/paper/2504.11354"},"observation_digest":"sha256:63b29da3cf3c44b7f0327ca2e14302a4208299a4ece41f717bce927f51ed0595","observation_id":"6b2c3618-d253-4799-8f50-09065354f6b1","resolution":{"observed_at":"2026-05-17T18:32:40.966747Z","resolver_source":"raw_fallback","status":"unresolved"},"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":"human-like","venue":null,"work_id":"a23cefbd-41f0-4ccc-bc55-39945e5b57d9","year":null},"citing_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},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-05-17T18:32:40.880435Z"},"links":{"citing_paper":"/paper/2504.11354"},"observation_digest":"sha256:cb8c012764cbc100bc286679323fb263c7a9a163817e6fa96168a032a9b2eb40","observation_id":"0bb45c4d-426b-421e-9248-81623e03d5f1","resolution":{"observed_at":"2026-05-17T18:32:40.970407Z","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":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"0ad8b1a3-98b5-4887-8f68-b4915213e4cd","year":null},"citing_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},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-05-17T18:32:40.880435Z"},"links":{"citing_paper":"/paper/2504.11354"},"observation_digest":"sha256:ed94cc31c19e6c149c1e088a9c0c4125763a53187aa277afa4325d7d34f73cfa","observation_id":"45f4802e-76cc-4378-96b2-12ff8adff4b7","resolution":{"observed_at":"2026-05-17T18:32:40.977095Z","resolver_source":"raw_fallback","status":"unresolved"},"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":null,"venue":null,"work_id":"3026d2b1-5f74-4719-ae8c-267bfd584da3","year":null},"citing_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},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-05-17T18:32:40.880435Z"},"links":{"citing_paper":"/paper/2504.11354"},"observation_digest":"sha256:cd3bb31c911e728378c91dfde45b7d06df262aacb98cb29429b858d0f85b33d0","observation_id":"39fd493a-c1dc-45da-bcf1-8d76765843f2","resolution":{"observed_at":"2026-05-17T18:32:40.982380Z","resolver_source":"raw_fallback","status":"unresolved"},"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":"observation of small cases → conjecture formulation → rigorous proof","venue":null,"work_id":"b93834a3-af8e-4376-99eb-45a8faad8db0","year":null},"citing_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},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-05-17T18:32:40.880435Z"},"links":{"citing_paper":"/paper/2504.11354"},"observation_digest":"sha256:7b0a155584ddcd8fa29fc16c34d01ae39443e53f87c49095435cf7ecf3e36cac","observation_id":"0ca3e927-53e6-42bf-9326-a8c2ef09a3b5","resolution":{"observed_at":"2026-05-17T18:32:40.987822Z","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":"2504.11354","last_updated":"2025-04-15T16:23:44Z","latest_version":1,"primary_category":"cs.AI","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"},"reference_resolution":{"displayed":17,"state_counts":{"malformed_identifier":0,"metadata_mismatch":1,"parse_uncertain":1,"unresolved":7,"verified_exact":1,"verified_fuzzy":7},"total_outbound_references":17},"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 17 of 17 outbound references and 52 inbound Pith citation observations for arXiv:2504.11354."}