On Interactive Proofs of Proximity with Proof-Oblivious Queries.
Oded GoldreichGuy N. RothblumTal SkvererPublished in: Electron. Colloquium Comput. Complex. (2022)
Keyphrases
- mathematical proofs
- theorem proving
- theorem prover
- query processing
- query language
- query evaluation
- interactive theorem proving
- automated theorem proving
- response time
- formal proof
- web search engines
- database queries
- query logs
- automated theorem provers
- complex queries
- computer graphics
- database
- query terms
- answering queries
- user queries
- proof search
- user interaction
- search queries
- data objects
- query refinement
- virtual reality
- user interface