Yuan Yao
where else to find them
no profile links on file
what they talk about
all 4 in the filters
where they keep going back
no series more than once — all 4 in the filters
on a stage with
- Baoding Heonce
- Chinedum Okwudireonce
- Chuan Heonce
all 9 in the filters
who talks about the same things
nobody close enough yet
| 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… | ||
| Towards Trustworthy AI: Reflections on Learning and Smale's Legacy | Smale@95: A Conference in Honor of Steve Smale | 2025-07-21 |
Two decades of work trace a throughline from the Smale 18 problem to concrete limits and fixes for modern ML: learnability requires condition number and… | ||
| Cosmic: Cost-Effective Support for Cloud-Assisted 3D Printing | USENIX ATC '25 | 2025-07-07 |
Cloud controller called Cosmic partitions serverless workers into groups and issues timely speculation to hide ~10 ms invocation delays measured on AWS Lambda… | ||
| Applied Hodge Theory | Spectral Algorithms: From Theory to Practice 2014 | 2014-10-27 |
Linear-algebra Hodge theory on clique complexes decomposes pairwise edge data exactly into orthogonal components: a solvable gradient (global) component found… | ||
| nothing matches | ||