Julius Zhang
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
- Michael Walfishonce
- Noah Golubonce
- Sam Frankonce
all 5 in the filters
who talks about the same things
one talk is not yet a subject
| title | conference | date |
|---|---|---|
| Spain: Succinct Proofs for Numerical Computations | 20th USENIX Symposium on Operating Systems Design and Implementation (OSDI '26) | 2026-07-13 |
Spain introduces approximate constraints and a new proof protocol that represents numerical operations directly over rationals with bounded error, instead of… | ||
| nothing matches | ||