503 citations · 1.3k across the 34 of their papers we have counts for
3 papers · 1 filter
Learning dynamic polynomial proofs
Alhussein Fawzi, Mateusz Malinowski, Hamza Fawzi +1
Polynomial inequalities lie at the heart of many mathematical disciplines. In this paper, we consider the fundamental computational task of automatically searching for proofs of po…
The StreetLearn Environment and Dataset
Piotr Mirowski, Andras Banki-Horvath, Keith Anderson +8
Navigation is a rich and well-grounded problem domain that drives progress in many different areas of research: perception, planning, memory, exploration, and optimisation in parti…
Learning To Follow Directions in Street View
Karl Moritz Hermann, Mateusz Malinowski, Piotr Mirowski +3
Navigating and understanding the real world remains a key challenge in machine learning and inspires a great variety of research in areas such as language grounding, planning, navi…