namely scientific plots such as bar plots, line plots, and dot-line plots. This work is to be presented at WACV 2020. PlotQA is a VQA dataset with 28.9 million question-answer pairs grounded over ...

Tactician is a tactic learner and prover for the Coq Proof Assistant. The system will help users make tactical proof decisions while they retain control over the general proof strategy. To this end, ...