Qishuo Yin

Princeton University

Papers on Lattice

Total citations

Topics

Publication activitypapers/week, last 8 weeks

Research focus

Code Generation & Program Synthesis (1)Reasoning & Chain-of-Thought (1)Tool Use & Agents (1)

Frequent co-authors

Jui-Hui Chung (1)Ziyang Cai (1)Zihao Li (1)Rohit Agarwal (1)

Papers (1)

Jun 4, 2026

1w ago

Goedel-Architect: Streamlining Formal Theorem Proving with Blueprint Generation and Refinement

Achieving 100% success on challenging theorem proving tasks, Goedel-Architect redefines efficiency in formal proofs by leveraging natural language guidance and adaptive blueprint refinement.

Jui-Hui Chung, Ziyang Cai, Zihao Li +14

Code Generation & Program Synthesis Reasoning & Chain-of-Thought Tool Use & Agents

Search

Qishuo Yin

Publication activitypapers/week, last 8 weeks

Research focus

Frequent co-authors

Papers (1)