Picture for Na Zhu

Na Zhu

Diagram Formalization Enhanced Multi-Modal Geometry Problem Solver

Add code
Sep 09, 2024
Figure 1 for Diagram Formalization Enhanced Multi-Modal Geometry Problem Solver
Figure 2 for Diagram Formalization Enhanced Multi-Modal Geometry Problem Solver
Figure 3 for Diagram Formalization Enhanced Multi-Modal Geometry Problem Solver
Figure 4 for Diagram Formalization Enhanced Multi-Modal Geometry Problem Solver
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

FGeo-DRL: Deductive Reasoning for Geometric Problems through Deep Reinforcement Learning

Add code
Feb 15, 2024
Figure 1 for FGeo-DRL: Deductive Reasoning for Geometric Problems through Deep Reinforcement Learning
Figure 2 for FGeo-DRL: Deductive Reasoning for Geometric Problems through Deep Reinforcement Learning
Figure 3 for FGeo-DRL: Deductive Reasoning for Geometric Problems through Deep Reinforcement Learning
Figure 4 for FGeo-DRL: Deductive Reasoning for Geometric Problems through Deep Reinforcement Learning
Viaarxiv icon

FGeo-TP: A Language Model-Enhanced Solver for Geometry Problems

Add code
Feb 14, 2024
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

On Mining IoT Data for Evaluating the Operation of Public Educational Buildings

Add code
Jun 20, 2019
Figure 1 for On Mining IoT Data for Evaluating the Operation of Public Educational Buildings
Figure 2 for On Mining IoT Data for Evaluating the Operation of Public Educational Buildings
Figure 3 for On Mining IoT Data for Evaluating the Operation of Public Educational Buildings
Figure 4 for On Mining IoT Data for Evaluating the Operation of Public Educational Buildings
Viaarxiv icon