Cover Image

FGeo-HyperGNet: Geometric Problem Solving Integrating FormalGeo Symbolic System and Hypergraph Neural Network

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Zhang, Xiaokai, Li, Yang, Zhu, Na, Qin, Cheng, Zeng, Zhenbing, Leng, Tuo
Format:	Preprint
Published:	2024
Subjects:	Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

FormalGeo: An Extensible Formalized Framework for Olympiad Geometric Problem Solving
by: Zhang, Xiaokai, et al.
Published: (2023)

FGeo-DRL: Deductive Reasoning for Geometric Problems through Deep Reinforcement Learning
by: Zou, Jia, et al.
Published: (2024)

FGeo-TP: A Language Model-Enhanced Solver for Geometry Problems
by: He, Yiming, et al.
Published: (2024)

Diagram Formalization Enhanced Multi-Modal Geometry Problem Solver
by: Zhang, Zeren, et al.
Published: (2024)

Hilbert-Geo: Solving Solid Geometric Problems by Neural-Symbolic Reasoning
by: Xu, Ruoran, et al.
Published: (2026)

Enhancing the Geometric Problem-Solving Ability of Multimodal LLMs via Symbolic-Neural Integration
by: Pan, Yicheng, et al.
Published: (2025)

HyperSAT: Unsupervised Hypergraph Neural Networks for Weighted MaxSAT Problems
by: Chen, Qiyue, et al.
Published: (2025)

WiGNet: Windowed Vision Graph Neural Network
by: Spadaro, Gabriele, et al.
Published: (2024)

GeoX: Geometric Problem Solving Through Unified Formalized Vision-Language Pre-training
by: Xia, Renqiu, et al.
Published: (2024)

Learning to Select Cutting Planes in Mixed Integer Linear Programming Solving
by: Zhang, Xuefeng, et al.
Published: (2024)

E2E-GNet: An End-to-End Skeleton-based Geometric Deep Neural Network for Human Motion Recognition
by: Olaoluwa, Mubarak, et al.
Published: (2026)

TrustGeoGen: Formal-Verified Data Engine for Trustworthy Multi-modal Geometric Problem Solving
by: Fu, Daocheng, et al.
Published: (2025)

MaGNet: A Mamba Dual-Hypergraph Network for Stock Prediction via Temporal-Causal and Global Relational Learning
by: Tan, Peilin, et al.
Published: (2025)

Algebraic Curve Interpolation for Intervals via Symbolic-Numeric Computation
by: Dehbi, Lydia, et al.
Published: (2024)

Solving Boolean Satisfiability Problems Using A Hypergraph-based Probabilistic Computer
by: He, Yihan, et al.
Published: (2025)

HyperNQ: A Hypergraph Neural Network Decoder for Quantum LDPC Codes
by: Bhave, Ameya S., et al.
Published: (2025)

HyperIMTS: Hypergraph Neural Network for Irregular Multivariate Time Series Forecasting
by: Li, Boyuan, et al.
Published: (2025)

HyperMagNet: A Magnetic Laplacian based Hypergraph Neural Network
by: Benko, Tatyana, et al.
Published: (2024)

DisGNet: A Distance Graph Neural Network for Forward Kinematics Learning of Gough-Stewart Platform
by: Zhu, Huizhi, et al.
Published: (2024)

UnSegGNet: Unsupervised Image Segmentation using Graph Neural Networks
by: Reddy, Kovvuri Sai Gopal, et al.
Published: (2024)

Density Decomposition on Hypergraphs
by: Leng, Xiaoyu, et al.
Published: (2026)

MAD-SmaAt-GNet: A Multimodal Advection-Guided Neural Network for Precipitation Nowcasting
by: van Wonderen, Samuel, et al.
Published: (2026)

GA-SmaAt-GNet: Generative Adversarial Small Attention GNet for Extreme Precipitation Nowcasting
by: Reulen, Eloy, et al.
Published: (2024)

Hyper-distance Oracles in Hypergraphs
by: Preti, Giulia, et al.
Published: (2023)

On Zarankiewicz's Problem for Intersection Hypergraphs of Geometric Objects
by: Chan, Timothy M., et al.
Published: (2024)

Towards Solving Polynomial-Objective Integer Programming with Hypergraph Neural Networks
by: Li, Minshuo, et al.
Published: (2026)

Speak It Out: Solving Symbol-Related Problems with Symbol-to-Language Conversion for Language Models
by: Wang, Yile, et al.
Published: (2024)

HyperBrain: Anomaly Detection for Temporal Hypergraph Brain Networks
by: Sadeghian, Sadaf, et al.
Published: (2024)

HyperKAN: Hypergraph Representation Learning with Kolmogorov-Arnold Networks
by: Fang, Xiangfei, et al.
Published: (2025)

BIPNN: Learning to Solve Binary Integer Programming via Hypergraph Neural Networks
by: Bai, Sen, et al.
Published: (2025)

Efficient Computation of Hyper-triangles on Hypergraphs
by: Yin, Haozhe, et al.
Published: (2025)

Solving the Wide-band Inverse Scattering Problem via Equivariant Neural Networks
by: Zhang, Borong, et al.
Published: (2022)

Formally Solving Answer-Construction Problems in Lean
by: Sun, Jialiang, et al.
Published: (2025)

Quantum Neural Networks for Solving Power System Transient Simulation Problem
by: Soltaninia, Mohammadreza, et al.
Published: (2024)

HyperJoin: LLM-augmented Hypergraph Link Prediction for Joinable Table Discovery
by: Liu, Shiyuan, et al.
Published: (2026)

GeoBench: Rethinking Multimodal Geometric Problem-Solving via Hierarchical Evaluation
by: Feng, Yuan, et al.
Published: (2025)

Hyper-STTN: Hypergraph Augmented Spatial-Temporal Transformer Network for Trajectory Prediction
by: Wang, Weizheng, et al.
Published: (2024)

HyperDet: Source Detection in Hypergraphs via Interactive Relationship Construction and Feature-rich Attention Fusion
by: Cheng, Le, et al.
Published: (2025)

Solving Hypergraph Laplacian Systems in Almost-Linear Time
by: Yoshida, Yuichi
Published: (2026)

RC-GeoCP: Geometric Consensus for Radar-Camera Collaborative Perception
by: Bai, Xiaokai, et al.
Published: (2026)