Picture for Cheng Qin

Cheng Qin

MTBench: A Multimodal Time Series Benchmark for Temporal Reasoning and Question Answering

Add code
Mar 21, 2025
Viaarxiv icon

FGeo-HyperGNet: Geometry Problem Solving Integrating Formal Symbolic System and Hypergraph Neural Network

Add code
Feb 18, 2024
Figure 1 for FGeo-HyperGNet: Geometry Problem Solving Integrating Formal Symbolic System and Hypergraph Neural Network
Figure 2 for FGeo-HyperGNet: Geometry Problem Solving Integrating Formal Symbolic System and Hypergraph Neural Network
Figure 3 for FGeo-HyperGNet: Geometry Problem Solving Integrating Formal Symbolic System and Hypergraph Neural Network
Figure 4 for FGeo-HyperGNet: Geometry Problem Solving Integrating Formal Symbolic System and Hypergraph Neural Network
Viaarxiv icon

FormalGeo: The First Step Toward Human-like IMO-level Geometric Automated Reasoning

Add code
Oct 30, 2023
Figure 1 for FormalGeo: The First Step Toward Human-like IMO-level Geometric Automated Reasoning
Figure 2 for FormalGeo: The First Step Toward Human-like IMO-level Geometric Automated Reasoning
Figure 3 for FormalGeo: The First Step Toward Human-like IMO-level Geometric Automated Reasoning
Figure 4 for FormalGeo: The First Step Toward Human-like IMO-level Geometric Automated Reasoning
Viaarxiv icon