Shorter Quadratic QA-NIZK Proofs.
Vanesa DazaAlonso GonzálezZaira PindadoCarla RàfolsJavier SilvaPublished in: IACR Cryptol. ePrint Arch. (2019)
Keyphrases
- question answering
- objective function
- theorem proving
- theorem prover
- open domain question answering
- mathematical proofs
- question classification
- formal proofs
- pairwise
- question answer
- equational theories
- formal proof
- natural deduction
- decision procedures
- computational complexity
- neural network
- interactive question answering
- natural language questions
- open domain
- probabilistic model
- expert systems
- information retrieval