research
∙
05/30/2021
GeoQA: A Geometric Question Answering Benchmark Towards Multimodal Numerical Reasoning
Automatic math problem solving has recently attracted increasing attenti...
share
research
∙
11/04/2020
Reactive Proof Labeling Schemes for Distributed Decision
We generalize the definition of Proof Labeling Schemes to reactive syste...
research
∙
11/18/2019
