Login / Signup
Automated Detection of Under-Constrained Circuits in Zero-Knowledge Proofs.
Shankara Pailoor
Yanju Chen
Franklyn Wang
Clara Rodríguez
Jacob Van Geffen
Jason Morton
Michael Chu
Brian Gu
Yu Feng
Isil Dillig
Published in:
Proc. ACM Program. Lang. (2023)
Keyphrases
</>
automated detection
knowledge base
domain knowledge
automated analysis
knowledge management
knowledge acquisition
expert systems
knowledge representation
data mining
knowledge discovery
anomaly detection
theorem proving
lung cancer
ultrasonic images