Co-occurring keywords · papers mentioning both
Papers
VisAidMath: Benchmarking Visual-Aided Mathematical Reasoning
ACL 2026
FGeo-HyperGNet: Geometric Problem Solving Integrating FormalGeo Symbolic System and Hypergraph Neural Network
IJCAI 2025
GeoX: Geometric Problem Solving Through Unified Formalized Vision-Language Pre-training
ICLR 2025
Integrating Visual Interpretation and Linguistic Reasoning for Geometric Problem Solving
ICCV 2025
An Augmented Benchmark Dataset for Geometric Question Answering through Dual Parallel Text Encoding
COLING 2022