Copertina

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

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Zhang, Xiaokai, Li, Yang, Zhu, Na, Qin, Cheng, Zeng, Zhenbing, Leng, Tuo
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Density Decomposition on Hypergraphs
di: Leng, Xiaoyu, et al.
Pubblicazione: (2026)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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