1 code implementation • Computer Vision Winter Workshop 2023 • Jiří Vyskočil, Lukáš Picek
In this paper, we describe a novel method - VinVL+L - that enriches the visual representations (i. e. object tags and region features) of the State-of-the-Art Vision and Language (VL) method - VinVL - with Location information.
Ranked #10 on Visual Question Answering (VQA) on GQA Test2019
no code implementations • 29 Nov 2016 • Cezary Kaliszyk, Josef Urban, Jiří Vyskočil
We study methods for automated parsing of informal mathematical expressions into formal ones, a main prerequisite for deep computer understanding of informal mathematical texts.
no code implementations • 11 Feb 2014 • Cezary Kaliszyk, Josef Urban, Jiří Vyskočil
Machine Learner for Automated Reasoning (MaLARea) is a learning and reasoning system for proving in large formal libraries where thousands of theorems are available when attacking a new conjecture, and a large number of related problems and proofs can be used to learn specific theorem-proving knowledge.