Search Results for author:
Found 6 papers, 2 papers with code
AlphaMapleSAT: An MCTS-based Cube-and-Conquer SAT Solver for Hard Combinatorial Problems
We perform an extensive comparison of AlphaMapleSAT against the March CnC solver on challenging combinatorial problems such as the minimum Kochen-Specker and Ramsey problems.
CTAGE: Curvature-Based Topology-Aware Graph Embedding for Learning Molecular Representations
Therefore, it is necessary to develop a method for predicting molecular properties that effectively combines spatial structural information while maintaining the simplicity and efficiency of graph neural networks.
Multi-scale Geometry-aware Transformer for 3D Point Cloud Classification
At first, the MGT divides point cloud data into patches with multiple scales.
RMMDet: Road-Side Multitype and Multigroup Sensor Detection System for Autonomous Driving
Then we implement muti-type sensor detection and multi-group sensors fusion in this environment, including camera-radar and camera-lidar detection based on result-level fusion.
A Survey of Geometric Optimization for Deep Learning: From Euclidean Space to Riemannian Manifold
Although Deep Learning (DL) has achieved success in complex Artificial Intelligence (AI) tasks, it suffers from various notorious problems (e. g., feature redundancy, and vanishing or exploding gradients), since updating parameters in Euclidean space cannot fully exploit the geometric structure of the solution space.
