Haijian Lu

According to our database¹, Haijian Lu authored at least 2 papers between 2021 and 2026.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

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

[DOI]

CoRR, March, 2026

2021

Cooperative Simultaneous Localization and Mapping with Local Measurements in 2D Space.

[DOI]

Proceedings of the 6th International Conference on Automation, 2021