Login / Signup
Guy Goldberg
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 3
Top Topics
Error Minimization
Formal Proofs
Randomly Selected
Theorem Proving
Top Venues
Electron. Colloquium Comput. Complex.
ITCS
</>
Publications
</>
Guy Goldberg
Linear Relaxed Locally Decodable and Correctable Codes Do Not Need Adaptivity and Two-Sided Error.
Electron. Colloquium Comput. Complex.
(2023)
Guy Goldberg
,
Guy N. Rothblum
Sample-Based Proofs of Proximity.
ITCS
(2022)
Guy Goldberg
,
Guy N. Rothblum
Sample-Based Proofs of Proximity.
Electron. Colloquium Comput. Complex.
28 (2021)