{"as_of":"2026-08-07T03:28:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:04bd60cb97aebbd3c27d76259f14706726ad5cbc28a10905e329b28b0dbb85ee","coverage":[{"denominator":20,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":20,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-16T13:23:20.746776Z","state":"measured"},{"denominator":22,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":22,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-06T06:34:29.942622+00:00","state":"measured"},{"denominator":2,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":2,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-02T13:56:09.320746Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"pith","source_observed_at":"2026-05-19T21:52:48.422736Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2604.03232","last_updated":"2026-01-18T12:37:27Z","snapshot_observed_at":"2026-07-06T22:52:25.307426Z","submitted_at":"2026-01-18T12:37:27Z","title":"IC3-Evolve: Proof-/Witness-Gated Offline LLM-Driven Heuristic Evolution for IC3 Hardware Model Checking","version":1},"cited_work":{"arxiv_id":"2604.03232","doi":null,"metadata_source":"pith","pith_arxiv_id":"2604.03232","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"IC3-Evolve: Proof-/Witness-Gated Offline LLM-Driven Heuristic Evolution for IC3 Hardware Model Checking","venue":"cs.AI","work_id":"ee10ee7e-f7d8-4318-99c3-b28bc6970322","year":2026},"citing_paper":{"arxiv_id":"2605.16472","last_updated":"2026-07-30T10:20:49Z","snapshot_observed_at":"2026-08-02T23:57:47.195713Z","submitted_at":"2026-05-15T14:15:33Z","title":"Certificate-Aware Property-Directed Reachability","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-05-19T21:48:00.775074Z"},"links":{"cited_paper":"/paper/2604.03232","citing_paper":"/paper/2605.16472"},"observation_digest":"sha256:e3e4abe1e1050045688b2b68fd5dd3e3c29e87c85dd97e50557939d1ad3821f0","observation_id":"4b0ca917-1852-4a66-9578-9dcb527fb7cc","resolution":{"observed_at":"2026-05-19T21:52:48.424165Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2604.03232","last_updated":"2026-01-18T12:37:27Z","snapshot_observed_at":"2026-07-06T22:52:25.307426Z","submitted_at":"2026-01-18T12:37:27Z","title":"IC3-Evolve: Proof-/Witness-Gated Offline LLM-Driven Heuristic Evolution for IC3 Hardware Model Checking","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2604.03232","snapshot_observed_at":"2026-08-02T13:56:09.320746Z","title":"Ic3-evolve: Proof-/witness- gated offline llm-driven heuristic evolution for ic3 hardware model checking,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2605.16472","last_updated":"2026-07-30T10:20:49Z","snapshot_observed_at":"2026-08-02T23:57:47.195713Z","submitted_at":"2026-05-15T14:15:33Z","title":"Certificate-Aware Property-Directed Reachability","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-02T13:56:09.320746Z"},"links":{"cited_paper":"/paper/2604.03232","citing_paper":"/paper/2605.16472"},"observation_digest":"sha256:b9f0523c89e120abe96764e17d8c445d277fd726e12a454d78fb0fd441c2d363","observation_id":"5e63b83d-2bec-4cb3-80d0-5175b867c582","resolution":{"observed_at":"2026-08-02T13:56:09.320746Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2604.03232/citation-record","integrity":"/paper/2604.03232/integrity","json":"/paper/2604.03232/citation-record.json","paper":"/paper/2604.03232"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"CaDiCaL 2.0","venue":null,"work_id":"8f7eee5e-b9e9-4886-a80b-ccfc36729b8f","year":2024},"citing_paper":{"arxiv_id":"2604.03232","last_updated":"2026-01-18T12:37:27Z","snapshot_observed_at":"2026-07-06T22:52:25.307426Z","submitted_at":"2026-01-18T12:37:27Z","title":"IC3-Evolve: Proof-/Witness-Gated Offline LLM-Driven Heuristic Evolution for IC3 Hardware Model Checking","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-05-16T13:23:20.746776Z"},"links":{"citing_paper":"/paper/2604.03232"},"observation_digest":"sha256:e1089461d0bf3478daa64f02bf0ddec03a63ea76f366e255cc0b12d8314073c2","observation_id":"05eeb89f-a704-4ec1-9475-4ddda11c8b31","resolution":{"observed_at":"2026-05-16T13:27:56.811658Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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":"Aiger and-inverter-graph library and utilities (incl","venue":null,"work_id":"3c7fa767-e72d-4215-b35b-e67607931440","year":2014},"citing_paper":{"arxiv_id":"2604.03232","last_updated":"2026-01-18T12:37:27Z","snapshot_observed_at":"2026-07-06T22:52:25.307426Z","submitted_at":"2026-01-18T12:37:27Z","title":"IC3-Evolve: Proof-/Witness-Gated Offline LLM-Driven Heuristic Evolution for IC3 Hardware Model Checking","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-05-16T13:23:20.746776Z"},"links":{"citing_paper":"/paper/2604.03232"},"observation_digest":"sha256:bd6a989c7738c0fc6efeaa3b8100d22bdf1529f71ad3bdf5e810badfe902d02c","observation_id":"0b9acde5-9dcf-4385-98f5-a25e376d5ef7","resolution":{"observed_at":"2026-05-16T13:27:56.814131Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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":"2868b6c9-eb35-42c7-be03-83e515c66af7","year":2011},"citing_paper":{"arxiv_id":"2604.03232","last_updated":"2026-01-18T12:37:27Z","snapshot_observed_at":"2026-07-06T22:52:25.307426Z","submitted_at":"2026-01-18T12:37:27Z","title":"IC3-Evolve: Proof-/Witness-Gated Offline LLM-Driven Heuristic Evolution for IC3 Hardware Model Checking","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-05-16T13:23:20.746776Z"},"links":{"citing_paper":"/paper/2604.03232"},"observation_digest":"sha256:b037563dfd90f1c950cb0778f01223354dd149b1d5245457903672fd6b8a711e","observation_id":"93ef8861-1eac-411d-9dbe-32fd60905a7f","resolution":{"observed_at":"2026-05-16T13:27:56.801545Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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":"[Bradley, 2013] Aaron R","venue":null,"work_id":"e07a620a-cab7-4a91-bcd6-0f931d824ca8","year":2013},"citing_paper":{"arxiv_id":"2604.03232","last_updated":"2026-01-18T12:37:27Z","snapshot_observed_at":"2026-07-06T22:52:25.307426Z","submitted_at":"2026-01-18T12:37:27Z","title":"IC3-Evolve: Proof-/Witness-Gated Offline LLM-Driven Heuristic Evolution for IC3 Hardware Model Checking","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-05-16T13:23:20.746776Z"},"links":{"citing_paper":"/paper/2604.03232"},"observation_digest":"sha256:58851d3741809dec09c9247add2b92f0b5e094ab7c3baa0ca8777fd9d62ccb8c","observation_id":"a8a7367a-434d-45c6-a659-42b9d2ec7974","resolution":{"observed_at":"2026-05-16T13:27:56.804326Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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":"Abc: An academic industrial-strength ver- ification tool","venue":null,"work_id":"02057291-336b-4ff0-b71b-05127cb9215d","year":2010},"citing_paper":{"arxiv_id":"2604.03232","last_updated":"2026-01-18T12:37:27Z","snapshot_observed_at":"2026-07-06T22:52:25.307426Z","submitted_at":"2026-01-18T12:37:27Z","title":"IC3-Evolve: Proof-/Witness-Gated Offline LLM-Driven Heuristic Evolution for IC3 Hardware Model Checking","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-05-16T13:23:20.746776Z"},"links":{"citing_paper":"/paper/2604.03232"},"observation_digest":"sha256:ad680e791fa52a35c4dc25a03bb673eded7658a7592cfafc24c629afe8064092","observation_id":"040894e9-20f8-4f50-8993-2f44b2e8bf4d","resolution":{"observed_at":"2026-05-16T13:27:56.807232Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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":"Efficient implementation of property directed reachability","venue":null,"work_id":"e72dd6fc-4c19-4235-9004-6962f8002a7a","year":2011},"citing_paper":{"arxiv_id":"2604.03232","last_updated":"2026-01-18T12:37:27Z","snapshot_observed_at":"2026-07-06T22:52:25.307426Z","submitted_at":"2026-01-18T12:37:27Z","title":"IC3-Evolve: Proof-/Witness-Gated Offline LLM-Driven Heuristic Evolution for IC3 Hardware Model Checking","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-05-16T13:23:20.746776Z"},"links":{"citing_paper":"/paper/2604.03232"},"observation_digest":"sha256:8dffd1e812f195ebf6bfc36dbf942c7ee8da647172853a158e0730621ac6fe19","observation_id":"e5b7dbec-6481-4707-a544-f5f6eb058e6c","resolution":{"observed_at":"2026-05-16T13:27:56.809566Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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":"Neuropdr: Integrating neural networks in the pdr algorithm for hardware model checking","venue":null,"work_id":"9b1d4378-a7bc-4e37-a76c-1a898759f77c","year":2023},"citing_paper":{"arxiv_id":"2604.03232","last_updated":"2026-01-18T12:37:27Z","snapshot_observed_at":"2026-07-06T22:52:25.307426Z","submitted_at":"2026-01-18T12:37:27Z","title":"IC3-Evolve: Proof-/Witness-Gated Offline LLM-Driven Heuristic Evolution for IC3 Hardware Model Checking","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-05-16T13:23:20.746776Z"},"links":{"citing_paper":"/paper/2604.03232"},"observation_digest":"sha256:5b09f704f93c125bb0512cef9d4e01a36dd44b614ba835e144883164a51d2a66","observation_id":"961597ae-c5d1-44fd-9778-6ded98939f9d","resolution":{"observed_at":"2026-05-16T13:27:56.841518Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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":"Deepic3: Guiding ic3 algorithms by graph neural network clause prediction","venue":null,"work_id":"793ef82d-077a-4003-a693-e313a8592030","year":2024},"citing_paper":{"arxiv_id":"2604.03232","last_updated":"2026-01-18T12:37:27Z","snapshot_observed_at":"2026-07-06T22:52:25.307426Z","submitted_at":"2026-01-18T12:37:27Z","title":"IC3-Evolve: Proof-/Witness-Gated Offline LLM-Driven Heuristic Evolution for IC3 Hardware Model Checking","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-05-16T13:23:20.746776Z"},"links":{"citing_paper":"/paper/2604.03232"},"observation_digest":"sha256:831d3ba437a3af80d2d57f1af15636eade75e01baa66fdf9a5189b9d11bed67e","observation_id":"22b983da-d59a-44df-b881-347a92fe6db1","resolution":{"observed_at":"2026-05-16T13:27:56.838878Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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":"https://hwmcc.github.io/2024/","venue":null,"work_id":"09539731-2e38-4972-b599-5e2df46a26f8","year":2024},"citing_paper":{"arxiv_id":"2604.03232","last_updated":"2026-01-18T12:37:27Z","snapshot_observed_at":"2026-07-06T22:52:25.307426Z","submitted_at":"2026-01-18T12:37:27Z","title":"IC3-Evolve: Proof-/Witness-Gated Offline LLM-Driven Heuristic Evolution for IC3 Hardware Model Checking","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-05-16T13:23:20.746776Z"},"links":{"citing_paper":"/paper/2604.03232"},"observation_digest":"sha256:50fa7b6112bff3332f301c422856b0b91e53954ea0ddc776efe605ea399d342e","observation_id":"1d5a81ac-e081-43cf-b577-d65625eba49d","resolution":{"observed_at":"2026-05-16T13:27:56.836409Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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":"https://hwmcc.github.io/2025/","venue":null,"work_id":"c16222b8-746f-4a8d-aa24-dd0cb264bae8","year":2025},"citing_paper":{"arxiv_id":"2604.03232","last_updated":"2026-01-18T12:37:27Z","snapshot_observed_at":"2026-07-06T22:52:25.307426Z","submitted_at":"2026-01-18T12:37:27Z","title":"IC3-Evolve: Proof-/Witness-Gated Offline LLM-Driven Heuristic Evolution for IC3 Hardware Model Checking","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-05-16T13:23:20.746776Z"},"links":{"citing_paper":"/paper/2604.03232"},"observation_digest":"sha256:349f8351ec3430012173ffd082d7bdd2b63abcd5b0758558cf4c874836eb7164","observation_id":"2ae260b8-a8ff-48fd-8635-9a8aae8c262d","resolution":{"observed_at":"2026-05-16T13:27:56.834137Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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":"Can chatgpt support software veri- fication? InInternational Conference on Fundamen- tal Approaches to Software Engineering, pages 266–279","venue":null,"work_id":"5118c3a3-9daa-4933-8bf7-5b7f60e4b2d9","year":2024},"citing_paper":{"arxiv_id":"2604.03232","last_updated":"2026-01-18T12:37:27Z","snapshot_observed_at":"2026-07-06T22:52:25.307426Z","submitted_at":"2026-01-18T12:37:27Z","title":"IC3-Evolve: Proof-/Witness-Gated Offline LLM-Driven Heuristic Evolution for IC3 Hardware Model Checking","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-05-16T13:23:20.746776Z"},"links":{"citing_paper":"/paper/2604.03232"},"observation_digest":"sha256:0a80c17a44aa00564a85865eddd5ba26c71eff0b10050eac27ab3f313d9c8136","observation_id":"0a15646f-5137-45e1-aa32-226f0ffd9530","resolution":{"observed_at":"2026-05-16T13:27:56.831914Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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":"Data-driven optimization of inductive generalization","venue":null,"work_id":"86a76bbb-8646-4234-8244-b60f5ace508d","year":2021},"citing_paper":{"arxiv_id":"2604.03232","last_updated":"2026-01-18T12:37:27Z","snapshot_observed_at":"2026-07-06T22:52:25.307426Z","submitted_at":"2026-01-18T12:37:27Z","title":"IC3-Evolve: Proof-/Witness-Gated Offline LLM-Driven Heuristic Evolution for IC3 Hardware Model Checking","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-05-16T13:23:20.746776Z"},"links":{"citing_paper":"/paper/2604.03232"},"observation_digest":"sha256:a4fa28bb1affd7c35f9e6d67945fc99c1e5efa1fd36abc69faccbb6468d1c35b","observation_id":"52d98a1f-d02d-4f15-9e43-fe0846d693f6","resolution":{"observed_at":"2026-05-16T13:27:56.829263Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2506.13131","last_updated":"2025-06-16T06:37:18Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2025-06-16T06:37:18Z","title":"AlphaEvolve: A coding agent for scientific and algorithmic discovery","version":1},"cited_work":{"arxiv_id":"2506.13131","doi":"10.1016/j.shpsa.2017.03.005","metadata_source":"pith","pith_arxiv_id":"2506.13131","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"AlphaEvolve: A coding agent for scientific and algorithmic discovery","venue":"cs.AI","work_id":"76a0f850-d490-4e4f-ab98-8d25df82cd23","year":2025},"citing_paper":{"arxiv_id":"2604.03232","last_updated":"2026-01-18T12:37:27Z","snapshot_observed_at":"2026-07-06T22:52:25.307426Z","submitted_at":"2026-01-18T12:37:27Z","title":"IC3-Evolve: Proof-/Witness-Gated Offline LLM-Driven Heuristic Evolution for IC3 Hardware Model Checking","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-05-16T13:23:20.746776Z"},"links":{"cited_paper":"/paper/2506.13131","citing_paper":"/paper/2604.03232"},"observation_digest":"sha256:4a9522e77365f5e253ead66c87f57d4fa7d832585469e72e77e25d1b10b3ee03","observation_id":"9cc1f798-abc5-4c11-834c-9ffc2ac0de99","resolution":{"observed_at":"2026-05-16T13:27:55.888454Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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":"Addendum to gpt-5 system card: Gpt-5-codex","venue":null,"work_id":"358a6cab-e792-402d-bcea-d8533c933453","year":2025},"citing_paper":{"arxiv_id":"2604.03232","last_updated":"2026-01-18T12:37:27Z","snapshot_observed_at":"2026-07-06T22:52:25.307426Z","submitted_at":"2026-01-18T12:37:27Z","title":"IC3-Evolve: Proof-/Witness-Gated Offline LLM-Driven Heuristic Evolution for IC3 Hardware Model Checking","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-05-16T13:23:20.746776Z"},"links":{"citing_paper":"/paper/2604.03232"},"observation_digest":"sha256:9bfc4ebf55b84e27a704384126b852f5b813d33a04fd816a6fdedc67e87d1da2","observation_id":"672dc85b-6178-41fb-a8f9-689b1bc5df23","resolution":{"observed_at":"2026-05-16T13:27:56.826902Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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":"Llm-generated invariants for bounded model checking without loop un- rolling","venue":null,"work_id":"bb89cb91-1f9a-43e3-9c97-43d68c3c3961","year":2024},"citing_paper":{"arxiv_id":"2604.03232","last_updated":"2026-01-18T12:37:27Z","snapshot_observed_at":"2026-07-06T22:52:25.307426Z","submitted_at":"2026-01-18T12:37:27Z","title":"IC3-Evolve: Proof-/Witness-Gated Offline LLM-Driven Heuristic Evolution for IC3 Hardware Model Checking","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-05-16T13:23:20.746776Z"},"links":{"citing_paper":"/paper/2604.03232"},"observation_digest":"sha256:147aaaff45fe55e03500e46766d9a1be9a7131e7fdd5f243bcd9402b43dfd02f","observation_id":"f0940534-65ae-4b98-ae02-7e0c0fbdb76a","resolution":{"observed_at":"2026-05-16T13:27:56.824674Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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":"Predicting lemmas in generalization of ic3","venue":null,"work_id":"9b7bbbc4-2819-4c8d-92b5-f9ba78c12574","year":2024},"citing_paper":{"arxiv_id":"2604.03232","last_updated":"2026-01-18T12:37:27Z","snapshot_observed_at":"2026-07-06T22:52:25.307426Z","submitted_at":"2026-01-18T12:37:27Z","title":"IC3-Evolve: Proof-/Witness-Gated Offline LLM-Driven Heuristic Evolution for IC3 Hardware Model Checking","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-05-16T13:23:20.746776Z"},"links":{"citing_paper":"/paper/2604.03232"},"observation_digest":"sha256:0a3babaa1687b8869b88b8b58694111e39fc9360cc020d413943a9c2e093b0fa","observation_id":"53bd0cd5-5e59-43e6-a728-94e133647cce","resolution":{"observed_at":"2026-05-16T13:27:56.821930Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.10705","last_updated":"2024-11-13T15:46:08Z","snapshot_observed_at":"2026-07-06T17:31:08.762955Z","submitted_at":"2024-02-16T14:04:56Z","title":"AutoSAT: Automatically Optimize SAT Solvers via Large Language Models","version":3},"cited_work":{"arxiv_id":"2402.10705","doi":"10.48550/arxiv.2402.10705","metadata_source":"arxiv_reference","pith_arxiv_id":"2402.10705","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"arXiv preprint arXiv:2402.10705 (2024)","venue":"arXiv (Cornell University)","work_id":"60f3ca65-c2ee-431f-abb5-c4de65a664b1","year":2024},"citing_paper":{"arxiv_id":"2604.03232","last_updated":"2026-01-18T12:37:27Z","snapshot_observed_at":"2026-07-06T22:52:25.307426Z","submitted_at":"2026-01-18T12:37:27Z","title":"IC3-Evolve: Proof-/Witness-Gated Offline LLM-Driven Heuristic Evolution for IC3 Hardware Model Checking","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-05-16T13:23:20.746776Z"},"links":{"cited_paper":"/paper/2402.10705","citing_paper":"/paper/2604.03232"},"observation_digest":"sha256:4f72550b8acb27a7fa7af617c70f4787908562b11c059f6d481d1a50761c9027","observation_id":"fd757683-e1cb-4f82-9d6d-d2657da3fdd7","resolution":{"observed_at":"2026-05-16T13:27:55.893010Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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":"Llm meets bounded model checking: Neuro-symbolic loop invariant inference","venue":null,"work_id":"89023d18-fa5a-4b77-a315-fe26dd87fad3","year":2024},"citing_paper":{"arxiv_id":"2604.03232","last_updated":"2026-01-18T12:37:27Z","snapshot_observed_at":"2026-07-06T22:52:25.307426Z","submitted_at":"2026-01-18T12:37:27Z","title":"IC3-Evolve: Proof-/Witness-Gated Offline LLM-Driven Heuristic Evolution for IC3 Hardware Model Checking","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-05-16T13:23:20.746776Z"},"links":{"citing_paper":"/paper/2604.03232"},"observation_digest":"sha256:f3356143439d2379626592bd798f6f6c41f25b5a60f0949c4d5fd6d1777e2f71","observation_id":"f6e2d788-21bc-4f25-a8f7-23154ad0a63b","resolution":{"observed_at":"2026-05-16T13:27:56.819438Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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":"Progress in certifying hardware model checking results","venue":null,"work_id":"614f7869-766f-43a1-95e7-31ce92fb3f41","year":2021},"citing_paper":{"arxiv_id":"2604.03232","last_updated":"2026-01-18T12:37:27Z","snapshot_observed_at":"2026-07-06T22:52:25.307426Z","submitted_at":"2026-01-18T12:37:27Z","title":"IC3-Evolve: Proof-/Witness-Gated Offline LLM-Driven Heuristic Evolution for IC3 Hardware Model Checking","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-05-16T13:23:20.746776Z"},"links":{"citing_paper":"/paper/2604.03232"},"observation_digest":"sha256:47424209ba7fa1634de9d6f8baed0d2e10ba45bb6d24c60c60c10bc4fd642bc0","observation_id":"00164917-b0d8-453f-ae10-bf77342f3299","resolution":{"observed_at":"2026-05-16T13:27:56.816591Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2509.07367","last_updated":"2025-09-09T03:28:06Z","snapshot_observed_at":"2026-08-04T22:22:09.316735Z","submitted_at":"2025-09-09T03:28:06Z","title":"Autonomous Code Evolution Meets NP-Completeness","version":1},"cited_work":{"arxiv_id":"2509.07367","doi":"10.48550/arxiv.2509.07367","metadata_source":"arxiv_reference","pith_arxiv_id":"2509.07367","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"doi:10.48550/arXiv.2509.07367 , url =","venue":"ArXiv.org","work_id":"ffda1f17-4527-4646-bd96-7f69c909d1c4","year":2025},"citing_paper":{"arxiv_id":"2604.03232","last_updated":"2026-01-18T12:37:27Z","snapshot_observed_at":"2026-07-06T22:52:25.307426Z","submitted_at":"2026-01-18T12:37:27Z","title":"IC3-Evolve: Proof-/Witness-Gated Offline LLM-Driven Heuristic Evolution for IC3 Hardware Model Checking","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-05-16T13:23:20.746776Z"},"links":{"cited_paper":"/paper/2509.07367","citing_paper":"/paper/2604.03232"},"observation_digest":"sha256:1e3d6a229afb3a757089ebce39b68627c6f1d04bbc8b5fc81949b2a706fef226","observation_id":"7b07f1a5-39e7-4145-90bb-118d7cea5364","resolution":{"observed_at":"2026-05-16T13:27:55.899728Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2604.03232","last_updated":"2026-01-18T12:37:27Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-07-06T22:52:25.307426Z","submitted_at":"2026-01-18T12:37:27Z","title":"IC3-Evolve: Proof-/Witness-Gated Offline LLM-Driven Heuristic Evolution for IC3 Hardware Model Checking"},"reference_resolution":{"displayed":20,"state_counts":{"malformed_identifier":0,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":1,"verified_exact":2,"verified_fuzzy":16},"total_outbound_references":20},"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-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"thesis":"As of 7 August 2026, this Paper Citation Record lists 20 of 20 outbound references and 2 inbound Pith citation observations for arXiv:2604.03232."}