Chenchen Ding

Identifiers

No identifiers captured yet.

Papers (1)

1. CktFormalizer: Autoformalization of Natural Language into Circuit Representations cs.CL · 2026 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Chaofan Tao 1 shared papers
• He Xiao 1 shared papers
• Jing Xiong 1 shared papers
• Ngai Wong 1 shared papers
• Qi Han 1 shared papers
• Zunhai Su 1 shared papers