Picture for Zhenbing Zeng

Zhenbing Zeng

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

Efficient and Accurate Quantized Image Super-Resolution on Mobile NPUs, Mobile AI & AIM 2022 challenge: Report

Add code
Nov 07, 2022
Figure 1 for Efficient and Accurate Quantized Image Super-Resolution on Mobile NPUs, Mobile AI & AIM 2022 challenge: Report
Figure 2 for Efficient and Accurate Quantized Image Super-Resolution on Mobile NPUs, Mobile AI & AIM 2022 challenge: Report
Figure 3 for Efficient and Accurate Quantized Image Super-Resolution on Mobile NPUs, Mobile AI & AIM 2022 challenge: Report
Figure 4 for Efficient and Accurate Quantized Image Super-Resolution on Mobile NPUs, Mobile AI & AIM 2022 challenge: Report
Viaarxiv icon