Jian Fang

Ministry of Education, School of Computer Science, Key Laboratory of High Confidence Software Technologies (, Peking University), Peking University

Papers on Lattice

Total citations

Topics

Research focus

Code Generation & Program Synthesis (1)Eval Frameworks & Benchmarks (1)

Frequent co-authors

Yingfei Xiong (1)

Papers (1)

May 25, 2026

Ministry of EducationMay 25, 2026·also Key Laboratory of High Confidence, PKU, School of Computer Science

Trustworthy Software Project Generation : a Case Study with an Interactive Theorem Prover

LLMs can now automatically generate verified, project-scale software that passes rigorous testing, thanks to a novel interactive theorem proving approach.

Jian Fang, Yingfei Xiong

Code Generation & Program Synthesis Eval Frameworks & Benchmarks

Search

Jian Fang

Research focus

Frequent co-authors

Papers (1)