ENTITY Haijian Lu

Haijian Lu

PulseAugur coverage of Haijian Lu — every cluster mentioning Haijian Lu across labs, papers, and developer communities, ranked by signal.

Total · 30d

1

1 over 90d

Releases · 30d

0

0 over 90d

Papers · 30d

1

1 over 90d

TIER MIX · 90D

TOPICS

RECENT · PAGE 1/1 · 1 TOTAL

TOOL · CL_58760 · May 29 · 04:00

FormalEvolve enhances autoformalization with neuro-symbolic search

Researchers have developed FormalEvolve, a novel neuro-symbolic evolutionary search method for autoformalization. This approach tackles the challenge of translating informal mathematics into formal statements by recasti…