Buchumschlag

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

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Zhang, Xiaokai, Li, Yang, Zhu, Na, Qin, Cheng, Zeng, Zhenbing, Leng, Tuo
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Artificial Intelligence
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

FormalGeo: An Extensible Formalized Framework for Olympiad Geometric Problem Solving
von: Zhang, Xiaokai, et al.
Veröffentlicht: (2023)

FGeo-DRL: Deductive Reasoning for Geometric Problems through Deep Reinforcement Learning
von: Zou, Jia, et al.
Veröffentlicht: (2024)

FGeo-TP: A Language Model-Enhanced Solver for Geometry Problems
von: He, Yiming, et al.
Veröffentlicht: (2024)

Diagram Formalization Enhanced Multi-Modal Geometry Problem Solver
von: Zhang, Zeren, et al.
Veröffentlicht: (2024)

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

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

HyperSAT: Unsupervised Hypergraph Neural Networks for Weighted MaxSAT Problems
von: Chen, Qiyue, et al.
Veröffentlicht: (2025)

WiGNet: Windowed Vision Graph Neural Network
von: Spadaro, Gabriele, et al.
Veröffentlicht: (2024)

GeoX: Geometric Problem Solving Through Unified Formalized Vision-Language Pre-training
von: Xia, Renqiu, et al.
Veröffentlicht: (2024)

Learning to Select Cutting Planes in Mixed Integer Linear Programming Solving
von: Zhang, Xuefeng, et al.
Veröffentlicht: (2024)

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

TrustGeoGen: Formal-Verified Data Engine for Trustworthy Multi-modal Geometric Problem Solving
von: Fu, Daocheng, et al.
Veröffentlicht: (2025)

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

Algebraic Curve Interpolation for Intervals via Symbolic-Numeric Computation
von: Dehbi, Lydia, et al.
Veröffentlicht: (2024)

Solving Boolean Satisfiability Problems Using A Hypergraph-based Probabilistic Computer
von: He, Yihan, et al.
Veröffentlicht: (2025)

HyperNQ: A Hypergraph Neural Network Decoder for Quantum LDPC Codes
von: Bhave, Ameya S., et al.
Veröffentlicht: (2025)

HyperIMTS: Hypergraph Neural Network for Irregular Multivariate Time Series Forecasting
von: Li, Boyuan, et al.
Veröffentlicht: (2025)

HyperMagNet: A Magnetic Laplacian based Hypergraph Neural Network
von: Benko, Tatyana, et al.
Veröffentlicht: (2024)

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

UnSegGNet: Unsupervised Image Segmentation using Graph Neural Networks
von: Reddy, Kovvuri Sai Gopal, et al.
Veröffentlicht: (2024)

Density Decomposition on Hypergraphs
von: Leng, Xiaoyu, et al.
Veröffentlicht: (2026)

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

GA-SmaAt-GNet: Generative Adversarial Small Attention GNet for Extreme Precipitation Nowcasting
von: Reulen, Eloy, et al.
Veröffentlicht: (2024)

Hyper-distance Oracles in Hypergraphs
von: Preti, Giulia, et al.
Veröffentlicht: (2023)

On Zarankiewicz's Problem for Intersection Hypergraphs of Geometric Objects
von: Chan, Timothy M., et al.
Veröffentlicht: (2024)

Towards Solving Polynomial-Objective Integer Programming with Hypergraph Neural Networks
von: Li, Minshuo, et al.
Veröffentlicht: (2026)

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

HyperBrain: Anomaly Detection for Temporal Hypergraph Brain Networks
von: Sadeghian, Sadaf, et al.
Veröffentlicht: (2024)

HyperKAN: Hypergraph Representation Learning with Kolmogorov-Arnold Networks
von: Fang, Xiangfei, et al.
Veröffentlicht: (2025)

BIPNN: Learning to Solve Binary Integer Programming via Hypergraph Neural Networks
von: Bai, Sen, et al.
Veröffentlicht: (2025)

Efficient Computation of Hyper-triangles on Hypergraphs
von: Yin, Haozhe, et al.
Veröffentlicht: (2025)

Solving the Wide-band Inverse Scattering Problem via Equivariant Neural Networks
von: Zhang, Borong, et al.
Veröffentlicht: (2022)

Formally Solving Answer-Construction Problems in Lean
von: Sun, Jialiang, et al.
Veröffentlicht: (2025)

Quantum Neural Networks for Solving Power System Transient Simulation Problem
von: Soltaninia, Mohammadreza, et al.
Veröffentlicht: (2024)

HyperJoin: LLM-augmented Hypergraph Link Prediction for Joinable Table Discovery
von: Liu, Shiyuan, et al.
Veröffentlicht: (2026)

GeoBench: Rethinking Multimodal Geometric Problem-Solving via Hierarchical Evaluation
von: Feng, Yuan, et al.
Veröffentlicht: (2025)

Hyper-STTN: Hypergraph Augmented Spatial-Temporal Transformer Network for Trajectory Prediction
von: Wang, Weizheng, et al.
Veröffentlicht: (2024)

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

Solving Hypergraph Laplacian Systems in Almost-Linear Time
von: Yoshida, Yuichi
Veröffentlicht: (2026)

RC-GeoCP: Geometric Consensus for Radar-Camera Collaborative Perception
von: Bai, Xiaokai, et al.
Veröffentlicht: (2026)