{"as_of":"2026-08-14T08:09:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:a85cb196e4a867b10c0d9cbc7da38e379647e226bc13ef15ef7ea059f3dc5b17","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-13T07:31:55.232899Z","state":"measured"},{"denominator":19,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":19,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-14T06:32:32.682623+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-01T19:48:21.864456Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2605.07782","last_updated":"2026-05-12T03:24:43Z","snapshot_observed_at":"2026-08-11T10:23:20.413224Z","submitted_at":"2026-05-08T14:20:06Z","title":"CktFormalizer: Autoformalization of Natural Language into Circuit Representations","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2605.07782","snapshot_observed_at":"2026-08-01T19:48:21.864456Z","title":"CktFormalizer: Autoformalization of natural language into circuit rep- resentations,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.16855","last_updated":"2026-07-18T15:40:06Z","snapshot_observed_at":"2026-08-11T19:01:18.635134Z","submitted_at":"2026-07-18T15:40:06Z","title":"Rtl2lean: Automated RTL-to-Lean Translation with Hierarchical Theorem Generation and Lemma Reuse","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-01T19:48:21.864456Z"},"links":{"cited_paper":"/paper/2605.07782","citing_paper":"/paper/2607.16855"},"observation_digest":"sha256:5a72ded81c29ca0112f626ab8d1da25ab68181abf5828510d24ebbdf330e9ae9","observation_id":"6e48c400-1447-4761-9394-4da72ed03172","resolution":{"observed_at":"2026-08-01T19:48:21.864456Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2605.07782","last_updated":"2026-05-12T03:24:43Z","snapshot_observed_at":"2026-08-11T10:23:20.413224Z","submitted_at":"2026-05-08T14:20:06Z","title":"CktFormalizer: Autoformalization of Natural Language into Circuit Representations","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2605.07782","snapshot_observed_at":"2026-08-01T15:51:23.480144Z","title":"arXiv preprint arXiv:2605.07782 , year=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.27259","last_updated":"2026-07-29T03:25:07Z","snapshot_observed_at":"2026-08-07T17:01:32.270378Z","submitted_at":"2026-07-29T03:25:07Z","title":"CircuitProver: Agentic Lean 4 Theorem Proving with Reusable Circuit Proof Library for Hardware Verification","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-01T15:51:23.480144Z"},"links":{"cited_paper":"/paper/2605.07782","citing_paper":"/paper/2607.27259"},"observation_digest":"sha256:df15e70f9e5df4c0fcb9d900f3af73b36781437a8b1d1981cc601d6f9e00a259","observation_id":"b671045c-6066-4662-819b-2ffe9dab9de6","resolution":{"observed_at":"2026-08-01T15:51:23.480144Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2605.07782/citation-record","integrity":"/paper/2605.07782/integrity","json":"/paper/2605.07782/citation-record.json","paper":"/paper/2605.07782"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2305.14019","doi":"10.48550/arxiv.2305.14019","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Chipgpt: How far are we from natural language hardware design","venue":"arXiv (Cornell University)","work_id":"ea22f726-6b4f-4390-980b-33a05f5a8025","year":2023},"citing_paper":{"arxiv_id":"2605.07782","last_updated":"2026-05-12T03:24:43Z","snapshot_observed_at":"2026-08-11T10:23:20.413224Z","submitted_at":"2026-05-08T14:20:06Z","title":"CktFormalizer: Autoformalization of Natural Language into Circuit Representations","version":3},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-05-13T07:31:55.232899Z"},"links":{"citing_paper":"/paper/2605.07782"},"observation_digest":"sha256:ac5f8a158b3fb0508b1c395f9a014e9fd8dc32756a22df25b6a03967f331b334","observation_id":"7571b931-0fb0-41b6-bb53-a9c777f9efb7","resolution":{"observed_at":"2026-05-13T07:32:29.454761Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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":"b722292b-d82c-4845-b073-e151ad33620f","year":null},"citing_paper":{"arxiv_id":"2605.07782","last_updated":"2026-05-12T03:24:43Z","snapshot_observed_at":"2026-08-11T10:23:20.413224Z","submitted_at":"2026-05-08T14:20:06Z","title":"CktFormalizer: Autoformalization of Natural Language into Circuit Representations","version":3},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-05-13T07:31:55.232899Z"},"links":{"citing_paper":"/paper/2605.07782"},"observation_digest":"sha256:c85ac13ca282f5c673abc5615e514f25408fbc573a9c4a9e8a8a24710608940e","observation_id":"fbfe61cf-6670-49ee-8edd-859fb5547ed9","resolution":{"observed_at":"2026-05-13T07:32:30.816939Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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":"cbbbf575-5f07-48b4-8a80-fee1903ae718","year":null},"citing_paper":{"arxiv_id":"2605.07782","last_updated":"2026-05-12T03:24:43Z","snapshot_observed_at":"2026-08-11T10:23:20.413224Z","submitted_at":"2026-05-08T14:20:06Z","title":"CktFormalizer: Autoformalization of Natural Language into Circuit Representations","version":3},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-05-13T07:31:55.232899Z"},"links":{"citing_paper":"/paper/2605.07782"},"observation_digest":"sha256:6083666bd3beb631d6503de52b6244cb1273240bc4417679036837cff0b81c60","observation_id":"b1b937e5-6afe-4f37-b73d-e5fdec5d78d4","resolution":{"observed_at":"2026-05-13T07:32:30.801962Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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":"8fac8ef8-fbf7-494c-ad4e-ca2a8324aaba","year":null},"citing_paper":{"arxiv_id":"2605.07782","last_updated":"2026-05-12T03:24:43Z","snapshot_observed_at":"2026-08-11T10:23:20.413224Z","submitted_at":"2026-05-08T14:20:06Z","title":"CktFormalizer: Autoformalization of Natural Language into Circuit Representations","version":3},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-05-13T07:31:55.232899Z"},"links":{"citing_paper":"/paper/2605.07782"},"observation_digest":"sha256:1dfa7d3f5dd3a6a5f5e5a4e1d12de3e67495921e7c73473b1073e47f40fdc13c","observation_id":"f03ddb01-9a23-478c-b7e0-4f0959b2d822","resolution":{"observed_at":"2026-05-13T07:32:30.805297Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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":"13 Table 5: Structure of the CIRCFORMALIZERagent system prompt (∼345 lines)","venue":null,"work_id":"1000dfd6-000a-408d-860e-6ec7decdcf44","year":2012},"citing_paper":{"arxiv_id":"2605.07782","last_updated":"2026-05-12T03:24:43Z","snapshot_observed_at":"2026-08-11T10:23:20.413224Z","submitted_at":"2026-05-08T14:20:06Z","title":"CktFormalizer: Autoformalization of Natural Language into Circuit Representations","version":3},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-05-13T07:31:55.232899Z"},"links":{"citing_paper":"/paper/2605.07782"},"observation_digest":"sha256:b4d11abf27b0a42371086639e7fe756a87e8041866081e6e9496721dd8fe7362","observation_id":"e349c67f-14ef-4559-a93d-e25b7ce66c93","resolution":{"observed_at":"2026-05-13T07:32:30.808722Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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":"5afc3619-79ad-445d-8cfe-d0c95355f826","year":null},"citing_paper":{"arxiv_id":"2605.07782","last_updated":"2026-05-12T03:24:43Z","snapshot_observed_at":"2026-08-11T10:23:20.413224Z","submitted_at":"2026-05-08T14:20:06Z","title":"CktFormalizer: Autoformalization of Natural Language into Circuit Representations","version":3},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-05-13T07:31:55.232899Z"},"links":{"citing_paper":"/paper/2605.07782"},"observation_digest":"sha256:9a18f394ec356a4af1403449e742d3834b88e6da7af4659796f3b2bcc62a7844","observation_id":"f5492a28-bdcf-4542-bfd0-14c324044c8e","resolution":{"observed_at":"2026-05-13T07:32:30.814157Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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":"bfaafd3c-e146-421f-bc78-920d97ef1532","year":null},"citing_paper":{"arxiv_id":"2605.07782","last_updated":"2026-05-12T03:24:43Z","snapshot_observed_at":"2026-08-11T10:23:20.413224Z","submitted_at":"2026-05-08T14:20:06Z","title":"CktFormalizer: Autoformalization of Natural Language into Circuit Representations","version":3},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-05-13T07:31:55.232899Z"},"links":{"citing_paper":"/paper/2605.07782"},"observation_digest":"sha256:f7b696a528488a8741ea9d500e90739d998c5c40b2f566a256f996f0e33c2b61","observation_id":"f5233de6-12d0-48b9-b255-2a9ffc2d58f5","resolution":{"observed_at":"2026-05-13T07:32:30.795564Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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":"8ac5d3af-5b7a-42ff-afd7-9a87aaada6ba","year":null},"citing_paper":{"arxiv_id":"2605.07782","last_updated":"2026-05-12T03:24:43Z","snapshot_observed_at":"2026-08-11T10:23:20.413224Z","submitted_at":"2026-05-08T14:20:06Z","title":"CktFormalizer: Autoformalization of Natural Language into Circuit Representations","version":3},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-05-13T07:31:55.232899Z"},"links":{"citing_paper":"/paper/2605.07782"},"observation_digest":"sha256:6a5e7f024e6a9aa8cd1c26484adde7bb0dc1c4eb7dcbc40ba529339051693951","observation_id":"8b1f32f1-6558-4ab9-b7ae-2b63ac93975c","resolution":{"observed_at":"2026-05-13T07:32:30.792781Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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":"4425c28c-da71-4c05-96db-63547334fa5d","year":null},"citing_paper":{"arxiv_id":"2605.07782","last_updated":"2026-05-12T03:24:43Z","snapshot_observed_at":"2026-08-11T10:23:20.413224Z","submitted_at":"2026-05-08T14:20:06Z","title":"CktFormalizer: Autoformalization of Natural Language into Circuit Representations","version":3},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-05-13T07:31:55.232899Z"},"links":{"citing_paper":"/paper/2605.07782"},"observation_digest":"sha256:5a25fc1b30158b09af7a164451a7c6f4b3d9e036bca23c152354fc50cbcf2c75","observation_id":"3bb3b0cd-bc52-47ae-8f4a-f7a6e130456c","resolution":{"observed_at":"2026-05-13T07:32:30.784301Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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":"The external evaluator will rerun simulation and synthesis","venue":null,"work_id":"e7ab5394-c343-480a-97d6-60cb760cd87f","year":null},"citing_paper":{"arxiv_id":"2605.07782","last_updated":"2026-05-12T03:24:43Z","snapshot_observed_at":"2026-08-11T10:23:20.413224Z","submitted_at":"2026-05-08T14:20:06Z","title":"CktFormalizer: Autoformalization of Natural Language into Circuit Representations","version":3},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-05-13T07:31:55.232899Z"},"links":{"citing_paper":"/paper/2605.07782"},"observation_digest":"sha256:39881adb6ce1244f2a1884c609190bead806468254f3667e3901ccef73f778a9","observation_id":"2ab312ed-d718-45a5-bd0d-0921ff80e85e","resolution":{"observed_at":"2026-05-13T07:32:30.788695Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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":"667cca26-99b3-4556-995c-8b2c94967bbb","year":null},"citing_paper":{"arxiv_id":"2605.07782","last_updated":"2026-05-12T03:24:43Z","snapshot_observed_at":"2026-08-11T10:23:20.413224Z","submitted_at":"2026-05-08T14:20:06Z","title":"CktFormalizer: Autoformalization of Natural Language into Circuit Representations","version":3},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-05-13T07:31:55.232899Z"},"links":{"citing_paper":"/paper/2605.07782"},"observation_digest":"sha256:308f5a701f35dab9a38055dea1e5a6a9c852e0011cd9068a071d9cb1c0359cfd","observation_id":"276a1515-41b3-4c49-afd1-bbc6e3a25b51","resolution":{"observed_at":"2026-05-13T07:32:30.798910Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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":"a9ebba30-367e-4b37-a25d-f2c3c170782a","year":null},"citing_paper":{"arxiv_id":"2605.07782","last_updated":"2026-05-12T03:24:43Z","snapshot_observed_at":"2026-08-11T10:23:20.413224Z","submitted_at":"2026-05-08T14:20:06Z","title":"CktFormalizer: Autoformalization of Natural Language into Circuit Representations","version":3},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-05-13T07:31:55.232899Z"},"links":{"citing_paper":"/paper/2605.07782"},"observation_digest":"sha256:5ce6dccc91c17dc526b0c9de9e7cf3187df4a1ad4b189a4bc051ead1e0036456","observation_id":"2f5fbe7e-608c-4e33-9222-9dca487d0419","resolution":{"observed_at":"2026-05-13T07:32:30.781065Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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":"02127862-7885-4a1d-8a3b-3a8ddfe5adf8","year":null},"citing_paper":{"arxiv_id":"2605.07782","last_updated":"2026-05-12T03:24:43Z","snapshot_observed_at":"2026-08-11T10:23:20.413224Z","submitted_at":"2026-05-08T14:20:06Z","title":"CktFormalizer: Autoformalization of Natural Language into Circuit Representations","version":3},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-05-13T07:31:55.232899Z"},"links":{"citing_paper":"/paper/2605.07782"},"observation_digest":"sha256:32370810e281600f974e4d31e5bac1d9bb06340a29fbb013a914b95e44195f64","observation_id":"a7b81cee-c61e-401a-96ed-05c60b85a864","resolution":{"observed_at":"2026-05-13T07:32:30.773146Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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":"e4dd0a00-8580-4d7f-a49b-b242f3744dbd","year":null},"citing_paper":{"arxiv_id":"2605.07782","last_updated":"2026-05-12T03:24:43Z","snapshot_observed_at":"2026-08-11T10:23:20.413224Z","submitted_at":"2026-05-08T14:20:06Z","title":"CktFormalizer: Autoformalization of Natural Language into Circuit Representations","version":3},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-05-13T07:31:55.232899Z"},"links":{"citing_paper":"/paper/2605.07782"},"observation_digest":"sha256:cb6608313efe1bc169dad5d46ee548e348be23fe1532b9fbcbe1b965462e00f4","observation_id":"46642423-3f3b-433a-999d-f22c766f0b3f","resolution":{"observed_at":"2026-05-13T07:32:30.819688Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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":"f402f3b8-9421-474b-8190-90a33a4175ef","year":null},"citing_paper":{"arxiv_id":"2605.07782","last_updated":"2026-05-12T03:24:43Z","snapshot_observed_at":"2026-08-11T10:23:20.413224Z","submitted_at":"2026-05-08T14:20:06Z","title":"CktFormalizer: Autoformalization of Natural Language into Circuit Representations","version":3},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-05-13T07:31:55.232899Z"},"links":{"citing_paper":"/paper/2605.07782"},"observation_digest":"sha256:ef37b1308dd6cd263e4264f11d0d8ddd77f70b84331ea8dcb7a2e041758d8154","observation_id":"8fb52b86-f172-49f3-b50a-d3ea8dd45bed","resolution":{"observed_at":"2026-05-13T07:32:30.822307Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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":"2ce91356-b2a1-4881-a029-1990bc834a65","year":null},"citing_paper":{"arxiv_id":"2605.07782","last_updated":"2026-05-12T03:24:43Z","snapshot_observed_at":"2026-08-11T10:23:20.413224Z","submitted_at":"2026-05-08T14:20:06Z","title":"CktFormalizer: Autoformalization of Natural Language into Circuit Representations","version":3},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-05-13T07:31:55.232899Z"},"links":{"citing_paper":"/paper/2605.07782"},"observation_digest":"sha256:353a13e3da97055b3262ea7369f3b3ff81bb29adebdca5041eb58ca0b9342f4c","observation_id":"03142cfb-477e-4686-8264-7807dc459fb3","resolution":{"observed_at":"2026-05-13T07:32:30.777742Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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":"15 Feedback Prompt 3: Architecture exploration ## Architecture Exploration -- Candidate <k> Your task: write a COMPLETELY DIFFERENT architecture for ‘<prob_id>‘","venue":null,"work_id":"5934e058-6f99-49da-a656-8a74fc791002","year":null},"citing_paper":{"arxiv_id":"2605.07782","last_updated":"2026-05-12T03:24:43Z","snapshot_observed_at":"2026-08-11T10:23:20.413224Z","submitted_at":"2026-05-08T14:20:06Z","title":"CktFormalizer: Autoformalization of Natural Language into Circuit Representations","version":3},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-05-13T07:31:55.232899Z"},"links":{"citing_paper":"/paper/2605.07782"},"observation_digest":"sha256:ffe993d9db68b394b1b43a33f5f21ba192b19e7597f5a9356960ccb14a5cf595","observation_id":"34e4ac4c-457f-4902-9aa5-7c0c2f908c1d","resolution":{"observed_at":"2026-05-13T07:32:30.811825Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2605.07782","last_updated":"2026-05-12T03:24:43Z","latest_version":3,"primary_category":"cs.CL","snapshot_observed_at":"2026-08-11T10:23:20.413224Z","submitted_at":"2026-05-08T14:20:06Z","title":"CktFormalizer: Autoformalization of Natural Language into Circuit Representations"},"reference_resolution":{"displayed":17,"state_counts":{"malformed_identifier":0,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":13,"verified_exact":0,"verified_fuzzy":3},"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-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"thesis":"As of 14 August 2026, this Paper Citation Record lists 17 of 17 outbound references and 2 inbound Pith citation observations for arXiv:2605.07782."}