Yihan Yang
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 2 in the filters
on a stage with
- Alvin Hong Yao Yanonce
- Ignacio Lagunaonce
- JIALIN LIonce
all 8 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Lemonshark: Asynchronous DAG-BFT With Early Finality | NSDI '26 | 2026-05-04 |
Lemonshark is an asynchronous DAG‑BFT that reinterprets the DAG at the transactional level to deliver early finality for blocks before leader commitment by… | ||
| Towards Verified Linear Algebra Programs Through Equivalence | CoqPL 2025 | 2025-01-25 |
Extends the Coq mathcomp libraries with dot product, projection and basis theorems and uses them to mechanize Classical Gram‑Schmidt, proving nonzero outputs… | ||
| nothing matches | ||