Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-05-13T07:31:55.232899Z
Paper Citation Record · LEDGER
CktFormalizer: Autoformalization of Natural Language into Circuit Representations
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.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-02T06:30:47.504484+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-01T19:48:21.864456Z
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
17 of 17 outbound references displayed
- verified exact0
- verified fuzzy3
- unresolved13
- parse uncertain0
- malformed identifier0
- metadata mismatch1
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 7571b931-0fb0-41b6-bb53-a9c777f9efb7 · outbound
This paper cites Chipgpt: How far are we from natural language hardware design.
CktFormalizer: Autoformalization of Natural Language into Circuit Representations Chipgpt: How far are we from natural language hardware design
Reference 1
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-05-13T07:32:29.454761Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation fbfe61cf-6670-49ee-8edd-859fb5547ed9 · outbound
This paper cites an unresolved cited work.
CktFormalizer: Autoformalization of Natural Language into Circuit Representations Unresolved cited work
Reference 2
- Resolution
- unresolved
- raw_fallback, observed 2026-05-13T07:32:30.816939Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation b1b937e5-6afe-4f37-b73d-e5fdec5d78d4 · outbound
This paper cites an unresolved cited work.
CktFormalizer: Autoformalization of Natural Language into Circuit Representations Unresolved cited work
Reference 3
- Resolution
- unresolved
- raw_fallback, observed 2026-05-13T07:32:30.801962Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation f03ddb01-9a23-478c-b7e0-4f0959b2d822 · outbound
This paper cites an unresolved cited work.
CktFormalizer: Autoformalization of Natural Language into Circuit Representations Unresolved cited work
Reference 4
- Resolution
- unresolved
- raw_fallback, observed 2026-05-13T07:32:30.805297Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation e349c67f-14ef-4559-a93d-e25b7ce66c93 · outbound
This paper cites 13 Table 5: Structure of the CIRCFORMALIZERagent system prompt (∼345 lines).
CktFormalizer: Autoformalization of Natural Language into Circuit Representations 13 Table 5: Structure of the CIRCFORMALIZERagent system prompt (∼345 lines)
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-13T07:32:30.808722Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation f5492a28-bdcf-4542-bfd0-14c324044c8e · outbound
This paper cites an unresolved cited work.
CktFormalizer: Autoformalization of Natural Language into Circuit Representations Unresolved cited work
Reference 6
- Resolution
- unresolved
- raw_fallback, observed 2026-05-13T07:32:30.814157Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation f5233de6-12d0-48b9-b255-2a9ffc2d58f5 · outbound
This paper cites an unresolved cited work.
CktFormalizer: Autoformalization of Natural Language into Circuit Representations Unresolved cited work
Reference 7
- Resolution
- unresolved
- raw_fallback, observed 2026-05-13T07:32:30.795564Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation 8b1f32f1-6558-4ab9-b7ae-2b63ac93975c · outbound
This paper cites an unresolved cited work.
CktFormalizer: Autoformalization of Natural Language into Circuit Representations Unresolved cited work
Reference 8
- Resolution
- unresolved
- raw_fallback, observed 2026-05-13T07:32:30.792781Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation 3bb3b0cd-bc52-47ae-8f4a-f7a6e130456c · outbound
This paper cites an unresolved cited work.
CktFormalizer: Autoformalization of Natural Language into Circuit Representations Unresolved cited work
Reference 9
- Resolution
- unresolved
- raw_fallback, observed 2026-05-13T07:32:30.784301Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation 2ab312ed-d718-45a5-bd0d-0921ff80e85e · outbound
This paper cites The external evaluator will rerun simulation and synthesis.
CktFormalizer: Autoformalization of Natural Language into Circuit Representations The external evaluator will rerun simulation and synthesis
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-13T07:32:30.788695Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation 276a1515-41b3-4c49-afd1-bbc6e3a25b51 · outbound
This paper cites an unresolved cited work.
CktFormalizer: Autoformalization of Natural Language into Circuit Representations Unresolved cited work
Reference 11
- Resolution
- unresolved
- raw_fallback, observed 2026-05-13T07:32:30.798910Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation 2f5fbe7e-608c-4e33-9222-9dca487d0419 · outbound
This paper cites an unresolved cited work.
CktFormalizer: Autoformalization of Natural Language into Circuit Representations Unresolved cited work
Reference 12
- Resolution
- unresolved
- raw_fallback, observed 2026-05-13T07:32:30.781065Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation a7b81cee-c61e-401a-96ed-05c60b85a864 · outbound
This paper cites an unresolved cited work.
CktFormalizer: Autoformalization of Natural Language into Circuit Representations Unresolved cited work
Reference 13
- Resolution
- unresolved
- raw_fallback, observed 2026-05-13T07:32:30.773146Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation 46642423-3f3b-433a-999d-f22c766f0b3f · outbound
This paper cites an unresolved cited work.
CktFormalizer: Autoformalization of Natural Language into Circuit Representations Unresolved cited work
Reference 14
- Resolution
- unresolved
- raw_fallback, observed 2026-05-13T07:32:30.819688Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation 8fb52b86-f172-49f3-b50a-d3ea8dd45bed · outbound
This paper cites an unresolved cited work.
CktFormalizer: Autoformalization of Natural Language into Circuit Representations Unresolved cited work
Reference 15
- Resolution
- unresolved
- raw_fallback, observed 2026-05-13T07:32:30.822307Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation 03142cfb-477e-4686-8264-7807dc459fb3 · outbound
This paper cites an unresolved cited work.
CktFormalizer: Autoformalization of Natural Language into Circuit Representations Unresolved cited work
Reference 16
- Resolution
- unresolved
- raw_fallback, observed 2026-05-13T07:32:30.777742Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation 34e4ac4c-457f-4902-9aa5-7c0c2f908c1d · outbound
This paper cites 15 Feedback Prompt 3: Architecture exploration ## Architecture Exploration -- Candidate <k> Your task: write a COMPLETELY DIFFERENT architecture for ‘<prob_id>‘.
CktFormalizer: Autoformalization of Natural Language into Circuit Representations 15 Feedback Prompt 3: Architecture exploration ## Architecture Exploration -- Candidate <k> Your task: write a COMPLETELY DIFFERENT architecture for ‘<prob_id>‘
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-13T07:32:30.811825Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Pith citing papers
Observation 6e48c400-1447-4761-9394-4da72ed03172 · inbound
Rtl2lean: Automated RTL-to-Lean Translation with Hierarchical Theorem Generation and Lemma Reuse cites this paper.
Rtl2lean: Automated RTL-to-Lean Translation with Hierarchical Theorem Generation and Lemma Reuse CktFormalizer: Autoformalization of Natural Language into Circuit Representations
Reference 11
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T19:48:21.864456Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b671045c-6066-4662-819b-2ffe9dab9de6 · inbound
CircuitProver: Agentic Lean 4 Theorem Proving with Reusable Circuit Proof Library for Hardware Verification cites this paper.
CircuitProver: Agentic Lean 4 Theorem Proving with Reusable Circuit Proof Library for Hardware Verification CktFormalizer: Autoformalization of Natural Language into Circuit Representations
Reference 21
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T15:51:23.480144Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.