Quentin Heinrich is an author at ETH Zurich specializing in formal verification, argument mining, and computational complexity.
Top concepts
EngineeringFormal MethodsArgument MiningComputer ScienceAutomated ReasoningFormal VerificationComputational Complexity
Publications per year
2020–2021
3
3
FQuAD: French Question Answering Dataset
Martin d’Hoffschmidt, Wacim Belblidia, Quentin Heinrich et al. · 2020 · 62 citations · Full text
FQuAD: French Question Answering Dataset
Martin d’Hoffschmidt, Wacim Belblidia, Tom Brendlé et al. · arXiv (Cornell University) · 2020 · 20 citations · Full text
Rows per page
1–3 of 3