C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Certifying Zero-Knowledge Circuits with Refinement Types.
Junrui Liu
Ian Kretz
Hanzhi Liu
Bryan Tan
Jonathan Wang
Yi Sun
Luke Pearson
Anders Miltner
Isil Dillig
Yu Feng
Published in:
CoRR (2023)
Keyphrases
</>
knowledge base
knowledge acquisition
domain knowledge
knowledge management
high speed
domain experts
knowledge extraction
knowledge sources
learning systems
analog vlsi
database
human experts
knowledge sharing
domain ontology
data mining techniques
knowledge representation
artificial intelligence
neural network