Derandomization vs Refutation: A Unified Framework for Characterizing Derandomization.

Lijie Chen Roei Tell Ryan Williams

Published in: FOCS (2023)

Keyphrases

artificial intelligence
theorem prover
machine learning
general purpose
inductive inference
high level
domain knowledge
fuzzy logic
semi supervised
object oriented
graphical models
sufficient conditions
utility function