Research author

Haijian Lu

1 AI research paper in the One9Founders library, with summaries and links to original sources.

Papers by Haijian Lu

Mar 20, 2026
cs.AI

FormalEvolve: Neuro-Symbolic Evolutionary Search for Diverse and Prover-Effective Autoformalization

Haijian Lu, Wei Wang, Jing Liu

Haijian Lu — AI Research Papers | One9Founders