Login / Signup
Jacob Van Gaffen
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Open Source
Lung Cancer
Theorem Proving
Knowledge Representation
Top Venues
IACR Cryptol. ePrint Arch.
</>
Publications
</>
Shankara Pailoor
,
Yanju Chen
,
Franklyn Wang
,
Clara Rodríguez
,
Jacob Van Gaffen
,
Jason Morton
,
Michael Chu
,
Brian Gu
,
Yu Feng
,
Isil Dillig
Automated Detection of Underconstrained Circuits for Zero-Knowledge Proofs.
IACR Cryptol. ePrint Arch.
2023 (2023)