Login / Signup
Kieran Mastel
ORCID
Publication Activity (10 Years)
Years Active: 2020-2024
Publications (10 Years): 3
Top Topics
Deep Learning
Weakly Supervised
Automated Theorem Proving
Knowledge Sharing
Top Venues
Mach. Learn. Sci. Technol.
CoRR
STOC
</>
Publications
</>
Kieran Mastel
,
William Slofstra
Two Prover Perfect Zero Knowledge for MIP.
STOC
(2024)
Kieran Mastel
,
William Slofstra
Two prover perfect zero knowledge for MIP.
CoRR
(2024)
Mohammad Rashidi
,
Jeremiah Croshaw
,
Kieran Mastel
,
Marcus Tamura
,
Hedieh Hosseinzadeh
,
Robert A. Wolkow
Deep learning-guided surface characterization for autonomous hydrogen lithography.
Mach. Learn. Sci. Technol.
1 (2) (2020)