Zenan Li
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 1 in the filters
on a stage with
- Baoding Heonce
- Taolue Chenonce
- Wei Sunonce
all 6 in the filters
who talks about the same things
one talk is not yet a subject
| title | conference | date |
|---|---|---|
| Neuro-Symbolic Proof Generation for Scaling Systems Software Verification | 20th USENIX Symposium on Operating Systems Design and Implementation (OSDI '26) | 2026-07-13 |
Neuro-symbolic proof search implements a best-first tree search that repeatedly queries a fine-tuned LLM for single-step tactics, executes each step in a new… | ||
| nothing matches | ||