Login / Signup
Tal Skverer
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 2
Top Topics
Automated Theorem Provers
Search Queries
Formal Proof
Top Venues
ITCS
Electron. Colloquium Comput. Complex.
</>
Publications
</>
Oded Goldreich
,
Guy N. Rothblum
,
Tal Skverer
On Interactive Proofs of Proximity with Proof-Oblivious Queries.
ITCS
(2023)
Oded Goldreich
,
Guy N. Rothblum
,
Tal Skverer
On Interactive Proofs of Proximity with Proof-Oblivious Queries.
Electron. Colloquium Comput. Complex.
(2022)