Efficient Rational Proofs with Strong Utility-Gap Guarantees.

Jing Chen Samuel McCauley Shikha Singh

Published in: SAGT (2018)

Keyphrases

computationally expensive
data mining
learning algorithm
knowledge base
website
high level
cost effective
information retrieval
information systems
optimal solution
theorem proving