Login / Signup
Brian Gu
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 2
Top Topics
Theorem Proving
Automated Detection
Lung Cancer
Open Source
Top Venues
Proc. ACM Program. Lang.
IACR Cryptol. ePrint Arch.
</>
Publications
</>
Shankara Pailoor
,
Yanju Chen
,
Franklyn Wang
,
Clara Rodríguez
,
Jacob Van Geffen
,
Jason Morton
,
Michael Chu
,
Brian Gu
,
Yu Feng
,
Isil Dillig
Automated Detection of Under-Constrained Circuits in Zero-Knowledge Proofs.
Proc. ACM Program. Lang.
7 (PLDI) (2023)
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)