English
Related papers

Related papers: Automatically Building Diagrams for Olympiad Geome…

200 papers

We introduce autoboot, a Mathematica program which automatically generates mixed-correlator bootstrap equations of an arbitrary number of scalar external operators, given the global symmetry group and the representations of the operators.…

High Energy Physics - Theory · Physics 2019-05-07 Mocho Go , Yuji Tachikawa

Recent advancements have seen Large Language Models (LLMs) and Large Multimodal Models (LMMs) surpassing general human capabilities in various tasks, approaching the proficiency level of human experts across multiple domains. With…

Computation and Language · Computer Science 2024-06-07 Chaoqun He , Renjie Luo , Yuzhuo Bai , Shengding Hu , Zhen Leng Thai , Junhao Shen , Jinyi Hu , Xu Han , Yujie Huang , Yuxiang Zhang , Jie Liu , Lei Qi , Zhiyuan Liu , Maosong Sun

Graph model generation from natural language description is an important task with many applications in software engineering. With the rise of large language models (LLMs), there is a growing interest in using LLMs for graph model…

Software Engineering · Computer Science 2025-08-04 Boqi Chen , Ou Wei , Bingzhou Zheng , Gunter Mussbacher

We give new results for problems in computational and statistical machine learning using tools from high-dimensional geometry and probability. We break up our treatment into two parts. In Part I, we focus on computational considerations in…

Optimization and Control · Mathematics 2025-04-24 Naren Sarayu Manoj

Graph neural networks (GNNs) have emerged as state-of-the-art methods to learn from graph-structured data for recommendation. However, most existing GNN-based recommendation methods focus on the optimization of model structures and learning…

Information Retrieval · Computer Science 2025-07-02 Rong Shan , Jianghao Lin , Chenxu Zhu , Bo Chen , Menghui Zhu , Kangning Zhang , Jieming Zhu , Ruiming Tang , Yong Yu , Weinan Zhang

Networks representing many complex systems in nature and society share some common structural properties like heterogeneous degree distributions and strong clustering. Recent research on network geometry has shown that those real networks…

Physics and Society · Physics 2015-09-23 Rodrigo Aldecoa , Chiara Orsini , Dmitri Krioukov

Researchers working with mathematical models are often confronted by the related problems of parameter estimation, model validation, and model selection. These are all optimization problems, well-known to be challenging due to…

Quantitative Methods · Quantitative Biology 2016-04-04 Elizabeth Gross , Brent Davis , Kenneth L. Ho , Daniel J. Bates , Heather A. Harrington

Designs generated by density-based topology optimization (TO) exhibit jagged and/or smeared boundaries, which forms an obstacle to their integration with existing CAD tools. Addressing this problem by smoothing or manual design adjustments…

Computational Engineering, Finance, and Science · Computer Science 2020-04-14 Marco K. Swierstra , Deepak K. Gupta , Matthijs Langelaar

Geometry problem solving presents distinctive challenges in artificial intelligence, requiring exceptional multimodal comprehension and rigorous mathematical reasoning capabilities. Existing approaches typically fall into two categories:…

Artificial Intelligence · Computer Science 2026-02-16 Bowen Ping , Minnan Luo , Zhuohang Dang , Chenxi Wang , Chengyou Jia

Recent years have witnessed an upsurge in research interests and applications of machine learning on graphs. However, manually designing the optimal machine learning algorithms for different graph datasets and tasks is inflexible,…

Meibography is a non-contact imaging technique used by ophthalmologists to assist in the evaluation and diagnosis of meibomian gland dysfunction (MGD). While artificial qualitative analysis of meibography images could lead to low…

Image and Video Processing · Electrical Eng. & Systems 2020-10-30 Peng Xiao , Zhongzhou Luo , Yuqing Deng , Gengyuan Wang , Jin Yuan

Geometric reasoning inherently requires "thinking with constructions" -- the dynamic manipulation of visual aids to bridge the gap between problem conditions and solutions. However, existing Multimodal Large Language Models (MLLMs) are…

Artificial Intelligence · Computer Science 2026-03-20 Haokun Zhao , Wanshi Xu , Haidong Yuan , Songjun Cao , Long Ma , Yanghua Xiao

The human-like automatic deductive reasoning has always been one of the most challenging open problems in the interdiscipline of mathematics and artificial intelligence. This paper is the third in a series of our works. We built a…

Artificial Intelligence · Computer Science 2024-02-16 Jia Zou , Xiaokai Zhang , Yiming He , Na Zhu , Tuo Leng

We develop a new meshfree geometric multilevel (MGM) method for solving linear systems that arise from discretizing elliptic PDEs on surfaces represented by point clouds. The method uses a Poisson disk sampling-type technique for coarsening…

Numerical Analysis · Mathematics 2022-04-14 Grady B. Wright , Andrew M. Jones , Varun Shankar

This paper introduces GLLM, an innovative tool that leverages Large Language Models (LLMs) to automatically generate G-code from natural language instructions for Computer Numerical Control (CNC) machining. GLLM addresses the challenges of…

Software Engineering · Computer Science 2025-01-30 Mohamed Abdelaal , Samuel Lokadjaja , Gilbert Engert

Large Language Models (LLMs) are increasingly being adopted as tools for learning; however, most tools remain text-only, limiting their usefulness for domains where visualizations are essential, such as mathematics. Recent work shows that…

Artificial Intelligence · Computer Science 2025-11-12 Vishal Kumar , Shubhra Mishra , Rebecca Hao , Rizwaan Malik , David Broman , Dorottya Demszky

We describe the first version (v1.0.0) of the code ADG that automatically (1) generates all valid Bogoliubov many-body perturbation theory (BMBPT) diagrams and (2) evaluates their algebraic expression to be implemented for numerical…

A tutorial of the Mathematica package CGAlgebra, for conformal geometric algebra calculations is presented. Using rule-based programming, the 5-dimensional conformal geometric algebra is implemented and defined functions simplify the…

Mathematical Software · Computer Science 2022-07-01 E. Alejandra Ortiz-Duran , Jose L. Aragon

Learning to optimize is a rapidly growing area that aims to solve optimization problems or improve existing optimization algorithms using machine learning (ML). In particular, the graph neural network (GNN) is considered a suitable ML model…

Machine Learning · Computer Science 2023-05-29 Ziang Chen , Jialin Liu , Xinshang Wang , Jianfeng Lu , Wotao Yin

This paper presents GO-GAN, a novel Generative Adversarial Network (GAN) architecture for geometry optimization (GO), specifically to generate structures based on user-specified input parameters. The architecture for GO-GAN proposed here…

Computational Engineering, Finance, and Science · Computer Science 2025-02-04 A. Padmaprabhan , Shriram Hari , Nived Philip Thomas , Khaish Singh Chadha , Sai Sidhardh , Viswanath Chinthapenta , Prabhat Kumar