ENTITY
Zenan Li
Zenan Li
PulseAugur coverage of Zenan Li — every cluster mentioning Zenan Li across labs, papers, and developer communities, ranked by signal.
Total · 30d
1
2 over 90d
Releases · 30d
0
0 over 90d
Papers · 30d
1
2 over 90d
TIER MIX · 90D
TOPICS
SENTIMENT · 30D
1 day(s) with sentiment data
RECENT · PAGE 1/1 · 2 TOTAL
-
New LLM methods boost verified code generation with integrated planning and proof search
Researchers have developed new methods for verified code generation, where large language models (LLMs) produce both executable programs and machine-checkable proofs of correctness. The first approach, P$^{3}$, integrat…
-
Neuro-symbolic AI framework automates software verification proofs
Researchers have developed a novel neuro-symbolic framework to automate the generation of proofs for systems software verification. This approach combines large language models (LLMs) with interactive theorem proving (I…