Author

Hai-Jian Lu

1 paper indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

#artificial intelligence Preprint Mar 2026

FormalEvolve: Neuro-Symbolic Evolutionary Search for Diverse Autoformalization

FormalEvolve maintains a compilation-feasible archive for reuse and returns a deduplicated, semantically accepted repertoire for evaluation and downstream proving, and shows that archive-search gains persist with stronger seed and repair models.

Hai-Jian Lu, Wei Wang, Jing Liu · 0 citations