{"as_of":"2026-08-02T23:43:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:114038ea9c2c2b5e585875f28fed7d898db9091df4c8fc65c7c9a549d200357e","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-02T06:30:47.504484+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-02T18:02:48.181878Z","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-01T19:48:19.828261Z","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:b4de164c93868cf4f5dccca7f86465b9551200f29ea60e276e0268522b34900b","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-02T18:02:48.181878Z","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-02T23:21:34.151102Z","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:eae8f03a990b42d0a73c855556262b1c8dd6fe11e8f6e960e8670c8453bae74e","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-07-10T06:15:00.866473Z","title":"Chipgpt: How far are we from natural language hardware design","venue":null,"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-02T18:02:48.181878Z","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:ff544ecc0c8a6e938f5c884d24c0a5eee85d48b74684e732c6ab9f352b084a9e","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-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+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-02T18:02:48.181878Z","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:9fe32a0a3480eb879b53d806593fdb5d6cb271d77149fd69b869c65250c767e1","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-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+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-02T18:02:48.181878Z","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:cae012539b4a9d43304106ae99ccdbcc2b9ffb86391af6df87dee28fe59101c6","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-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+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-02T18:02:48.181878Z","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:b97c7cdae5af91628fa3678faa11334d8521c90037e3474ffb04d50f9540b05a","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-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+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-02T18:02:48.181878Z","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:2422dc3bd6a2f17fd659995174d9b9c371b34b42f581e4c4778f38fb22fd2ac1","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-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+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-02T18:02:48.181878Z","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:6bb1743ff4baf8d864d4824e810b0c7851a285158f60e1d4c24b4784857a75e3","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-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+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-02T18:02:48.181878Z","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:7e071706f49d7482e6bef35149da72ab16e27fe119c64b29ca28af2abc7dfb72","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-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+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-02T18:02:48.181878Z","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:e117d21f253c0c8d103d5333a374c82c063d15d5dac2bd7aa01637024ed0190a","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-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+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-02T18:02:48.181878Z","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:c52636bb6464c87a93d16872672fc750b676e836b0077951b40252a3ccad2dbb","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-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+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-02T18:02:48.181878Z","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:f8908eb5c3f5b3cc59f1729cc4b1f9abc56622e4e38a8dab8969a24e99705fcf","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-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+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-02T18:02:48.181878Z","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:7eee8822607edd002f7416f8d1d24e50bb7f10b3e5a77c4c5937476da9639cd8","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-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+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-02T18:02:48.181878Z","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:a62c7e6acc19d3b9e06796682b50fcf72fc52ed57699049dbf47f62effbeafd7","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-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+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-02T18:02:48.181878Z","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:ed86b5e9b806462aeed722d5635a4e40d20f5d557b4a5760d600d3e1f25bc276","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-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+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-02T18:02:48.181878Z","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:d3e7d7a58d7f735ce050b412c55472f543e16459bbf638000cc8e3e1906075c3","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-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+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-02T18:02:48.181878Z","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:57e2c8a006c0ef8967f9ca30a9b5cf60534ddce2ef884e182a21d202464d2c58","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-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+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-02T18:02:48.181878Z","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:880e7fa54b1a7c42b7d4b7563aacf269e75d42173abb435086144c45f2b93f4f","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-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+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-02T18:02:48.181878Z","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:c93ed466ae9d991bc7beca3c65516517d538ade248a11e8986eea1996eb03495","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-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+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-02T18:02:48.181878Z","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-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"thesis":"As of 2 August 2026, this Paper Citation Record lists 17 of 17 outbound references and 2 inbound Pith citation observations for arXiv:2605.07782."}