Black-Box Constructive Proofs Are Unavoidable.

Lijie Chen Ryan Williams Tianqi Yang

Published in: ITCS (2023)

Keyphrases

black box
black boxes
white box
hybrid systems
theorem proving
rule extraction
theorem prover
integration testing
equational theories
test cases
white box testing
databases