Why Extension-Based Proofs Fail.

Dan Alistarh James Aspnes Faith Ellen Rati Gelashvili Leqi Zhu

Published in: SIAM J. Comput. (2023)

Keyphrases

theorem proving
computer vision
decision making
real world
social networks
search algorithm
relational databases
theorem prover