On Interactive Proofs of Proximity with Proof-Oblivious Queries.
Oded GoldreichGuy N. RothblumTal SkvererPublished in: ITCS (2023)
Keyphrases
- theorem prover
- theorem proving
- mathematical proofs
- query processing
- interactive theorem proving
- formal proof
- natural deduction
- web search engines
- automated theorem provers
- decision procedures
- response time
- proof search
- query language
- database
- user interaction
- search engine
- automated theorem proving
- search queries
- data sources
- user queries
- user friendly
- cut elimination
- range queries
- sequent calculus
- query evaluation
- query logs
- efficient processing
- query formulation
- database queries
- inference rules
- boolean queries
- complex queries
- data structure
- computer graphics