Shorter Quadratic QA-NIZK Proofs.
Vanesa DazaAlonso GonzálezZaira PindadoCarla RàfolsJavier SilvaPublished in: Public Key Cryptography (1) (2019)
Keyphrases
- question answering
- question answer
- computational complexity
- theorem prover
- theorem proving
- question classification
- formal proofs
- pairwise
- open domain
- sequential quadratic programming
- quadratic function
- open domain question answering
- real time
- spline interpolation
- natural language questions
- computer programs
- social networks