Search Results for author:
Found 6 papers, 4 papers with code
FGeo-HyperGNet: Geometry Problem Solving Integrating Formal Symbolic System and Hypergraph Neural Network
The symbolic part is a formal system built on FormalGeo, which can automatically perform geomertic relational reasoning and algebraic calculations and organize the solving process into a solution hypertree with conditions as hypernodes and theorems as hyperedges.
FGeo-DRL: Deductive Reasoning for Geometric Problems through Deep Reinforcement Learning
We built a neural-symbolic system, called FGeoDRL, to automatically perform human-like geometric deductive reasoning.
FGeo-TP: A Language Model-Enhanced Solver for Geometry Problems
The application of contemporary artificial intelligence techniques to address geometric problems and automated deductive proof has always been a grand challenge to the interdiscipline field of mathematics and artificial Intelligence.
FormalGeo: An Extensible Formalized Framework for Olympiad Geometric Problem Solving
In this paper, we have constructed a consistent formal plane geometry system.
Towards Better Orthogonality Regularization with Disentangled Norm in Training Deep CNNs
The relaxed kernel orthogonality achieves enhanced performance on models with increased capacity, shedding light on the burden of strict kernel orthogonality on deep model performance.
Variational AutoEncoder For Regression: Application to Brain Aging Analysis
While unsupervised variational autoencoders (VAE) have become a powerful tool in neuroimage analysis, their application to supervised learning is under-explored.
