:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Kovács, Zoltán, Peng, Xicheng
Format:	Preprint
Published:	2025
Subjects:	Computational Geometry Artificial Intelligence
Online Access:	https://arxiv.org/abs/2511.14728
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Proceedings 14th International Conference on Automated Deduction in Geometry
by: Quaresma, Pedro, et al.
Published: (2024)

Solving Some Geometry Problems of the Náboj 2023 Contest with Automated Deduction in GeoGebra Discovery
by: Hota, Amela, et al.
Published: (2024)

Using Java Geometry Expert as Guide in the Preparations for Math Contests
by: Ganglmayr, Ines, et al.
Published: (2024)

Showing Proofs, Assessing Difficulty with GeoGebra Discovery
by: Kovács, Zoltán, et al.
Published: (2024)

Solving with GeoGebra Discovery an Austrian Mathematics Olympiad problem: Lessons Learned
by: Ariño-Morera, Belén, et al.
Published: (2024)

A note on Erdős's mysterious remark
by: Kovács, Zoltán
Published: (2024)

The Locus Story of a Rocking Camel in a Medical Center in the City of Freistadt
by: Käferböck, Anna, et al.
Published: (2024)

Pictorial and apictorial polygonal jigsaw puzzles from arbitrary number of crossing cuts
by: Shahar, Peleg Harel Ofir Itzhak, et al.
Published: (2020)

DL-Polycube: Deep learning enhanced polycube method for high-quality hexahedral mesh generation and volumetric spline construction
by: Yu, Yuxuan, et al.
Published: (2024)

Diffeomorphic interpolation for efficient persistence-based topological optimization
by: Carriere, Mathieu, et al.
Published: (2024)

AutoGEEval: A Multimodal and Automated Framework for Geospatial Code Generation on GEE with Large Language Models
by: Hou, Shuyang, et al.
Published: (2025)

Randomized HyperSteiner: A Stochastic Delaunay Triangulation Heuristic for the Hyperbolic Steiner Minimal Tree
by: Medbouhi, Aniss Aiman, et al.
Published: (2025)

Hand-Shadow Poser
by: Xu, Hao, et al.
Published: (2025)

Object Packing and Scheduling for Sequential 3D Printing: a Linear Arithmetic Model and a CEGAR-inspired Optimal Solver
by: Surynek, Pavel, et al.
Published: (2025)

Gold-Medal-Level Olympiad Geometry Solving with Efficient Heuristic Auxiliary Constructions
by: Duan, Boyan, et al.
Published: (2025)

Unfolding Boxes with Local Constraints
by: Qian, Long, et al.
Published: (2025)

Do Multi-Agents Solve Better Than Single? Evaluating Agentic Frameworks for Diagram-Grounded Geometry Problem Solving and Reasoning
by: Sobhani, Mahbub E, et al.
Published: (2025)

Edge-wise Topological Divergence Gaps: Guiding Search in Combinatorial Optimization
by: Trofimov, Ilya, et al.
Published: (2025)

Theorem Discovery Amongst Cyclic Polygons
by: Todd, Philip
Published: (2024)

Enhancing Roadway Safety: LiDAR-based Tree Clearance Analysis
by: Carnot, Miriam Louise, et al.
Published: (2024)

Fast and Accurate Collision Probability Estimation for Autonomous Vehicles using Adaptive Sigma-Point Sampling
by: Cossette, Charles Champagne, et al.
Published: (2025)

Search-Based Robot Motion Planning With Distance-Based Adaptive Motion Primitives
by: Kraljusic, Benjamin, et al.
Published: (2025)

Hearing the shape of an arena with spectral swarm robotics
by: Cazenille, Leo, et al.
Published: (2024)

Modelling brain connectomes networks: Solv is a worthy competitor to hyperbolic geometry!
by: Celińska-Kopczyńska, Dorota, et al.
Published: (2024)

Hologram Reasoning for Solving Algebra Problems with Geometry Diagrams
by: Huang, Litian, et al.
Published: (2024)

Bridging the Gap Between Scientific Laws Derived by AI Systems and Canonical Knowledge via Abductive Inference with AI-Noether
by: Srivastava, Karan, et al.
Published: (2025)

Empirical Analysis Of Heuristic and Approximation Algorithms for the The Mutual-Visibility Problem
by: Stojanović, Vanja, et al.
Published: (2025)

Learning Pareto-Optimal Rewards from Noisy Preferences: A Framework for Multi-Objective Inverse Reinforcement Learning
by: Cherukuri, Kalyan, et al.
Published: (2025)

From Theory to Throughput: CUDA-Optimized APML for Large-Batch 3D Learning
by: Sharifipour, Sasan, et al.
Published: (2025)

ACEV: Unsupervised Intersecting Manifold Segmentation using Adaptation to Angular Change of Eigenvectors in Intrinsic Dimension
by: Boral, Subhadip, et al.
Published: (2024)

Learning Tangent Bundles and Characteristic Classes with Autoencoder Atlases
by: Paluzo-Hidalgo, Eduardo, et al.
Published: (2026)

Towards the mathematical foundation of the minimum enclosing ball and related problems
by: Vrahatis, Michael N.
Published: (2024)

Reinforcement learning for automatic quadrilateral mesh generation: a soft actor-critic approach
by: Pan, Jie, et al.
Published: (2022)

EMP: Effective Multidimensional Persistence for Graph Representation Learning
by: Segovia-Dominguez, Ignacio, et al.
Published: (2024)

Euclidean Embedding of Data Using Local Distances
by: Arabadjis, Dimitris
Published: (2026)

Recovering Manifold Structure Using Ollivier-Ricci Curvature
by: Saidi, Tristan Luca, et al.
Published: (2024)

Generating Diverse TSP Tours via a Combination of Graph Pointer Network and Dispersion
by: Yang, Hao-Tsung, et al.
Published: (2026)

Topology-Preserving Neural Operator Learning via Hodge Decomposition
by: Zheng, Dongzhe, et al.
Published: (2026)

Message Detouring: A Simple Yet Effective Cycle Representation for Expressive Graph Learning
by: Wei, Ziquan, et al.
Published: (2024)

Towards the methodology for solving the minimum enclosing ball and related problems
by: Vrahatis, Michael N.
Published: (2024)