pith. sign in

arxiv: 2510.21697 · v2 · submitted 2025-10-24 · 💻 cs.CV · cs.LG

Visual Diffusion Models are Geometric Solvers

Pith reviewed 2026-05-18 04:13 UTC · model grok-4.3

classification 💻 cs.CV cs.LG
keywords visual diffusion modelsgeometric solversinscribed square problemSteiner tree problemimage space reasoningdiffusion for geometryJordan curvegeometric problem solving
0
0 comments X

The pith

Visual diffusion models can solve hard geometric problems by generating approximate solutions directly as images from noise.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes that standard visual diffusion models can function as geometric solvers by operating entirely in pixel space on images of problem instances. Training such a model allows it to convert Gaussian noise into images that depict valid approximate solutions for challenges like the Inscribed Square Problem on Jordan curves, the Steiner Tree Problem, and the Simple Polygon Problem. This recasts geometric reasoning as an image generation task rather than requiring parametric optimization or custom architectures. A sympathetic reader would care because it proposes a general and accessible route to approximating notoriously difficult geometry tasks using widely available generative tools. The results indicate that image-space methods could extend to a broader set of computational geometry problems.

Core claim

The authors claim that a standard visual diffusion model trained on images of geometric problem instances transforms Gaussian noise into images representing valid approximate solutions that closely match exact configurations. This holds for the Inscribed Square Problem where four points form a square on a Jordan curve, the Steiner Tree Problem for minimal connecting structures, and the Simple Polygon Problem. The model learns to correct noisy geometric structures into proper ones, showing that geometric problem solving can be performed through generative modeling in pixel space without specialized adaptations.

What carries the argument

A standard visual diffusion model that takes images of problem instances as input and performs iterative denoising to output solution configurations in pixel space.

If this is right

  • Approximate solutions to the Inscribed Square Problem can be produced as images for arbitrary Jordan curves.
  • Minimal Steiner trees for given point sets can be approximated through generated images of connecting structures.
  • Simple polygons satisfying the required properties can be output directly as solution images.
  • Geometric reasoning tasks in general can be reframed as learning to generate correct visual configurations from noise.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same image-space approach might provide useful initial approximations for other hard visualization-based optimization problems such as point-set packing.
  • Pairing the generated images with traditional exact solvers could accelerate computation by supplying strong starting points.
  • Problems involving visual or perceptual constraints that resist clean mathematical parameterization could become more tractable in this framework.

Load-bearing premise

That training a standard visual diffusion model on images of problem instances is sufficient to produce configurations that closely match exact geometric solutions without requiring problem-specific architectures or post-processing.

What would settle it

Testing the trained model on held-out instances of Jordan curves and measuring whether the generated images contain four points forming a square within a small tolerance would falsify the claim if success rates remain low.

Figures

Figures reproduced from arXiv: 2510.21697 by Andrey Voynov, Daniel Cohen-Or, Nir Goren, Omer Dahary, Or Patashnik, Shai Yehezkel.

Figure 1
Figure 1. Figure 1: We introduce a visual diffusion approach to solving [PITH_FULL_IMAGE:figures/full_fig_p001_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Example of a curve (black) with three inscribed [PITH_FULL_IMAGE:figures/full_fig_p002_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Inscribed square 𝑥0 predictions across denoising steps. Each row corresponds to a different seed (inscribed square). Columns show selected 𝑥0 predictions for decreasing timesteps 𝑡 from left to right (leftmost: 𝑡=𝑇 ; penultimate: 𝑡=0). For 𝑡 ≠ 0 we render only the filled mask; at 𝑡=0 we also draw square edges and the minimum-area bounding box. The rightmost column (“snapped”) shows the rigidly snapped vers… view at source ↗
Figure 4
Figure 4. Figure 4: Solutions produced by our model. Each Jordan curve (black) is accompanied by predicted inscribed squares (colored). [PITH_FULL_IMAGE:figures/full_fig_p004_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: Example of a Steiner Minimal Tree. Left: The input [PITH_FULL_IMAGE:figures/full_fig_p005_5.png] view at source ↗
Figure 7
Figure 7. Figure 7: Optimal solutions (left) vs. our model’s solutions (middle) and the difference between them (right). Input points are [PITH_FULL_IMAGE:figures/full_fig_p006_7.png] view at source ↗
Figure 8
Figure 8. Figure 8: Qualitative examples of maximum area polygons (left) vs. polygons produced by our model (middle) and the difference [PITH_FULL_IMAGE:figures/full_fig_p007_8.png] view at source ↗
Figure 9
Figure 9. Figure 9: Maximum area polygon𝑥0 predictions across denois￾ing steps. Each row corresponds to a different seed. Columns show selected 𝑥0 predictions for decreasing timesteps 𝑡 from left to right (leftmost: 𝑡=𝑇 ; rightmost: 𝑡=0). Input points are overlayed in red. differences often balance out, with areas lost in one region largely compensated elsewhere (see instances 9, 10 in the figure). Owing to the non-local natu… view at source ↗
read the original abstract

In this paper we show that visual diffusion models can serve as effective geometric solvers: they can directly reason about geometric problems by working in pixel space. We first demonstrate this on the Inscribed Square Problem, a long-standing problem in geometry that asks whether every Jordan curve contains four points forming a square. We then extend the approach to two other well-known hard geometric problems: the Steiner Tree Problem and the Simple Polygon Problem. Our method treats each problem instance as an image and trains a standard visual diffusion model that transforms Gaussian noise into an image representing a valid approximate solution that closely matches the exact one. The model learns to transform noisy geometric structures into correct configurations, effectively recasting geometric reasoning as image generation. Unlike prior work that necessitates specialized architectures and domain-specific adaptations when applying diffusion to parametric geometric representations, we employ a standard visual diffusion model that operates on the visual representation of the problem. This simplicity highlights a surprising bridge between generative modeling and geometric problem solving. Beyond the specific problems studied here, our results point toward a broader paradigm: operating in image space provides a general and practical framework for approximating notoriously hard problems, and opens the door to tackling a far wider class of challenging geometric tasks.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

3 major / 1 minor

Summary. The paper claims that visual diffusion models can serve as effective geometric solvers: they can directly reason about geometric problems by working in pixel space. It demonstrates this on the Inscribed Square Problem and extends to the Steiner Tree Problem and Simple Polygon Problem by treating each instance as an image and training a standard visual diffusion model to transform noise into images of valid approximate solutions that closely match exact ones, without specialized architectures or post-processing.

Significance. If the results hold with rigorous validation, this would establish a simple, general paradigm for approximating notoriously hard geometric problems via off-the-shelf generative image models. The approach recasts geometric reasoning as image generation and highlights an unexpected bridge between visual diffusion and geometry, potentially applicable to a wider class of tasks. The avoidance of problem-specific adaptations is a notable strength if empirically supported.

major comments (3)
  1. Abstract: The assertion that the trained model produces 'a valid approximate solution that closely matches the exact one' lacks any quantitative performance metrics, error analysis, comparisons to exact solvers, or baseline methods. This absence makes it impossible to assess whether the generated configurations are sufficiently accurate for the central claim of effective geometric solving.
  2. Abstract (method description): The claim that a 'standard visual diffusion model' operating in pixel space suffices without 'problem-specific architectures or post-processing' is undermined by the inherent discretization of the image grid. Continuous geometric properties (e.g., exact 90° angles for inscribed squares or 120° Steiner points) cannot be guaranteed at the pixel level, and extracting usable continuous coordinates from raster outputs would itself require post-processing, contradicting the stated simplicity.
  3. Abstract: While the Inscribed Square Problem is used as the primary demonstration, the extension to Steiner Tree and Simple Polygon problems provides no details on how image-based representations enforce problem constraints, validate solution quality, or handle varying instance complexities.
minor comments (1)
  1. Abstract: The description of the Inscribed Square Problem as 'a long-standing problem in geometry' would benefit from a brief citation to foundational references for context.

Simulated Author's Rebuttal

3 responses · 0 unresolved

We thank the referee for their detailed and constructive comments on our manuscript. We address each of the major comments below and have incorporated revisions to improve the clarity and rigor of our presentation. We believe these changes will better support the claims made in the paper.

read point-by-point responses
  1. Referee: Abstract: The assertion that the trained model produces 'a valid approximate solution that closely matches the exact one' lacks any quantitative performance metrics, error analysis, comparisons to exact solvers, or baseline methods. This absence makes it impossible to assess whether the generated configurations are sufficiently accurate for the central claim of effective geometric solving.

    Authors: We agree that quantitative metrics are essential for rigorously evaluating the performance. Although the full manuscript provides extensive qualitative visualizations and some error measurements in the experimental sections, we acknowledge that the abstract does not highlight these. In the revised version, we will include specific quantitative results, such as mean squared error against exact solutions, success rates for valid configurations, and comparisons to traditional geometric solvers and baseline generative models, directly in the abstract or as a summary in the introduction. revision: yes

  2. Referee: Abstract (method description): The claim that a 'standard visual diffusion model' operating in pixel space suffices without 'problem-specific architectures or post-processing' is undermined by the inherent discretization of the image grid. Continuous geometric properties (e.g., exact 90° angles for inscribed squares or 120° Steiner points) cannot be guaranteed at the pixel level, and extracting usable continuous coordinates from raster outputs would itself require post-processing, contradicting the stated simplicity.

    Authors: This is a valid point regarding the nature of pixel-based representations. Our method indeed operates in discrete pixel space, and the generated images approximate the continuous geometric properties. However, the diffusion model itself requires no problem-specific architecture or post-processing during the generation process; it directly outputs the solution image from noise. Any subsequent extraction of coordinates for precise comparison or application is an evaluation step, not part of the core solving mechanism. We will revise the manuscript to explicitly clarify this distinction and discuss the approximation quality due to discretization, including examples of how close the pixel-level solutions are to continuous optima. revision: partial

  3. Referee: Abstract: While the Inscribed Square Problem is used as the primary demonstration, the extension to Steiner Tree and Simple Polygon problems provides no details on how image-based representations enforce problem constraints, validate solution quality, or handle varying instance complexities.

    Authors: We appreciate the need for more details on the extensions. In the full manuscript, we describe the specific image encodings used for each problem (e.g., rendering the curve and points for inscribed square, graph edges for Steiner tree) and how the model is trained on datasets of valid solutions to implicitly learn the constraints. Validation is performed by checking geometric properties on the output images. To make this more accessible, we will expand the abstract slightly and add a dedicated paragraph in the introduction summarizing the approach for each problem, including how complexities are handled through diverse training instances. revision: yes

Circularity Check

0 steps flagged

No circularity: empirical training on image instances is self-contained

full rationale

The paper's central claim rests on training a standard visual diffusion model to map noise to images of approximate geometric solutions for problems like inscribed squares and Steiner trees. This is a conventional supervised generative modeling procedure with no mathematical derivation chain, no self-definitional equations, and no load-bearing predictions that reduce to fitted inputs by construction. The method explicitly contrasts itself with prior specialized architectures, relying instead on pixel-space training data and standard diffusion objectives. No self-citation is invoked to justify uniqueness or to smuggle in an ansatz; results are presented as empirical outcomes evaluated against geometric ground truth. The approach is therefore independent of its own outputs and does not exhibit any of the enumerated circularity patterns.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

The abstract does not specify any free parameters, axioms, or invented entities; the method relies on standard diffusion training assumptions that are not detailed here.

pith-pipeline@v0.9.0 · 5753 in / 1034 out tokens · 22411 ms · 2026-05-18T04:13:05.998803+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

52 extracted references · 52 canonical work pages · 5 internal anchors

  1. [1]

    Computing steiner trees using graph neural networks, 2021

    Reyan Ahmed, Md Asadullah Turja, Faryad Darabi Sahneh, Mithun Ghosh, Keaton Hamm, and Stephen Kobourov. Computing steiner trees using graph neural networks, 2021. URL https://arxiv.org/abs/2108.08368

  2. [2]

    Polynomial-time approximation schemes for Euclidean TSP and other geometric problems.Journal of the ACM, 45(5):753–782, 1998

    Sanjeev Arora. Polynomial-time approximation schemes for Euclidean TSP and other geometric problems.Journal of the ACM, 45(5):753–782, 1998. doi: 10.1145/290179.290180

  3. [3]

    Flexibility of steiner trees in uniform orientation metrics

    Marcus Brazil, Pawel Winter, and Martin Zachariasen. Flexibility of steiner trees in uniform orientation metrics. pp. 196–208, 12 2004. ISBN 978-3-540-24131-7. doi: 10.1007/978-3-540-30551-4_19

  4. [4]

    square-peg

    Jason Cantarella, Elizabeth Denne, and John McCleary. Transversality for con- figuration spaces and the "square-peg" theorem, 2021. URL https://arxiv.org/abs/ 1402.6174

  5. [5]

    The Polygon Containment Problem.Advances in Computing Research, 1(1):1–33, 1983

    Bernard Chazelle. The Polygon Containment Problem.Advances in Computing Research, 1(1):1–33, 1983. URL https://www.cs.princeton.edu/~chazelle/pubs/ PolygContainmentProb.pdf

  6. [6]

    Chris Chu and Yiu-Chung Wong. Flute: Fast lookup table based rectilinear steiner minimal tree algorithm for VLSI design.IEEE Transactions on Computer- Aided Design of Integrated Circuits and Systems, 27(1):70–83, 2008. URL https: //www.engineering.iastate.edu/~cnchu/pubs/j29.pdf

  7. [7]

    da Fonseca, and Yan Gerard

    Loïc Crombez, Guilherme D. da Fonseca, and Yan Gerard. Greedy and local search heuristics to build area-optimal polygons.ACM J. Exp. Algorithmics, 27,

  8. [8]

    doi: 10.1145/3503999

    ISSN 1084-6654. doi: 10.1145/3503999. URL https://doi.org/10.1145/3503999

  9. [9]

    Optimization of pipeline network layout for multiple heat sources distributed energy systems con- sidering reliability evaluation.Processes, 9(8):1308, 2021

    Ziyuan Cui, Hai Lin, Yan Wu, Yufei Wang, and Xiao Feng. Optimization of pipeline network layout for multiple heat sources distributed energy systems con- sidering reliability evaluation.Processes, 9(8):1308, 2021. doi: 10.3390/pr9081308. URL https://www.mdpi.com/2227-9717/9/8/1308

  10. [10]

    Demaine, Sándor P

    Erik D. Demaine, Sándor P. Fekete, Phillip Keldenich, Dominik Krupke, and Joseph S. B. Mitchell. Area-optimal simple polygonalizations: The cg challenge 2019.ACM J. Exp. Algorithmics, 27, March 2022. ISSN 1084-6654. doi: 10.1145/ 3504000. URL https://doi.org/10.1145/3504000

  11. [11]

    Vulcan: Solving the steiner tree problem with graph neural networks and deep reinforcement learn- ing.arXiv, 2021

    Haizhou Du, Zong Yan, Qiao Xiang, and Qinqing Zhan. Vulcan: Solving the steiner tree problem with graph neural networks and deep reinforcement learn- ing.arXiv, 2021

  12. [12]

    Some properties of closed convex curves in a plane.American Journal of Mathematics, 35(4):407–412, 1913

    Arnold Emch. Some properties of closed convex curves in a plane.American Journal of Mathematics, 35(4):407–412, 1913. ISSN 00029327, 10806377. URL http://www.jstor.org/stable/2370404

  13. [13]

    On the medians of a closed convex polygon.American Journal of Mathematics, 37(1):19–28, 1915

    Arnold Emch. On the medians of a closed convex polygon.American Journal of Mathematics, 37(1):19–28, 1915. ISSN 00029327, 10806377. URL http://www.jstor. org/stable/2370252

  14. [14]

    On some properties of the medians of closed continuous curves formed by analytic arcs.American Journal of Mathematics, 38(1):6–18, 1916

    Arnold Emch. On some properties of the medians of closed continuous curves formed by analytic arcs.American Journal of Mathematics, 38(1):6–18, 1916. ISSN 00029327, 10806377. URL http://www.jstor.org/stable/2370541

  15. [15]

    Sándor P Fekete.Geometry and the travelling salesman problem.University of Waterloo, 1992

  16. [16]

    Area optimization of simple poly- gons

    Sándor P Fekete and William R Pulleyblank. Area optimization of simple poly- gons. InProceedings of the ninth annual symposium on computational geometry, pp. 173–182, 1993

  17. [17]

    Fekete, Andreas Haas, Phillip Keldenich, Michael Perk, and Arne Schmidt

    Sándor P. Fekete, Andreas Haas, Phillip Keldenich, Michael Perk, and Arne Schmidt. Computing area-optimal simple polygonizations, 2021. URL https: //arxiv.org/abs/2111.05386

  18. [18]

    M. R. Garey, R. L. Graham, and D. S. Johnson. The complexity of computing steiner minimal trees.SIAM Journal on Applied Mathematics, 32(4):835–859, 1977. ISSN 00361399. URL http://www.jstor.org/stable/2100193

  19. [19]

    Gilbert and Henry O

    Edgar N. Gilbert and Henry O. Pollak. Steiner minimal trees.Siam Journal on Applied Mathematics, 16:1–29, 1968. URL https://api.semanticscholar.org/ CorpusID:123196263

  20. [20]

    Area optimal polygonization using simulated annealing.ACM J

    Nir Goren, Efi Fogel, and Dan Halperin. Area optimal polygonization using simulated annealing.ACM J. Exp. Algorithmics, 27, 2022. ISSN 1084-6654. doi: 10.1145/3500911. URL https://doi.org/10.1145/3500911

  21. [21]

    Jonathan Ho, Ajay Jain, and Pieter Abbeel

    Alexandros Graikos, Nikolay Malkin, Nebojsa Jojic, and Dimitris Samaras. Diffu- sion models as plug-and-play priors, 2023. URL https://arxiv.org/abs/2206.09012

  22. [22]

    Optimal area polygonisation problems: Mixed integer linear programming models.European Journal of Operational Re- search, 2025

    Hipólito Hernández-Pérez, Jorge Riera-Ledesma, Inmaculada Rodríguez-Martín, and Juan-José Salazar-González. Optimal area polygonisation problems: Mixed integer linear programming models.European Journal of Operational Re- search, 2025. ISSN 0377-2217. doi: 10.1016/j.ejor.2025.08.023. URL https: //www.sciencedirect.com/science/article/pii/S0377221725006393

  23. [23]

    F. K. Hwang and Dana S. Richards. Steiner tree problems.Networks, 22(1):55–89,

  24. [24]

    URL https://onlinelibrary

    doi: https://doi.org/10.1002/net.3230220105. URL https://onlinelibrary. wiley.com/doi/abs/10.1002/net.3230220105

  25. [25]

    D. Juhl, D. M. Warme, P. Winter, and M. Zachariasen. The GeoSteiner software package for computing steiner trees in the plane: An updated computational study.Mathematical Programming Computation, 10(4):487–532, 2018. doi: 10. 1007/s12532-018-0135-8

  26. [26]

    Kahng, Robert R

    Andrew B. Kahng, Robert R. Nerem, Yusu Wang, and Chien-Yi Yang. Nn-steiner: A mixed neural-algorithmic approach for the rectilinear steiner minimum tree problem, 2023. URL https://arxiv.org/abs/2312.10589

  27. [27]

    Optimal area polygo- nization by triangulation and visibility search.ACM J

    Julien Lepagnot, Laurent Moalic, and Dominique Schmitt. Optimal area polygo- nization by triangulation and visibility search.ACM J. Exp. Algorithmics, 27, 2023. ISSN 1084-6654. doi: 10.1145/3503953. URL https://doi.org/10.1145/3503953

  28. [28]

    T2t: From distribution learning in training to gradient search in testing for combinatorial optimization

    Yang Li, Jinpei Guo, Runzhong Wang, and Junchi Yan. T2t: From distribution learning in training to gradient search in testing for combinatorial optimization. InAdvances in Neural Information Processing Systems, 2023

  29. [29]

    Fast t2t: Optimization consistency speeds up diffusion-based training-to-testing solving for combinatorial optimization

    Yang Li, Jinpei Guo, Runzhong Wang, Hongyuan Zha, and Junchi Yan. Fast t2t: Optimization consistency speeds up diffusion-based training-to-testing solving for combinatorial optimization. InThe Thirty-eighth Annual Conference on Neural Information Processing Systems, 2024. URL https://openreview.net/forum?id= xDrKZOZEOc

  30. [30]

    Jinwei Liu, Guojie Chen, and Evangeline F. Young. Rest: Constructing rectilinear steiner minimum tree via reinforcement learning. InProc. DAC, pp. 1135–1140,

  31. [31]

    doi: 10.1109/DAC18074.2021.9586209

  32. [32]

    Neuralsteiner: Learning steiner tree for overflow-avoiding global routing in chip design

    Ruizhi Liu, Zhisheng Zeng, Shizhe Ding, Jingyan Sui, Xingquan Li, and Dongbo Bu. Neuralsteiner: Learning steiner tree for overflow-avoiding global routing in chip design. InProc. NeurIPS, 2024

  33. [33]

    Joseph S. B. Mitchell. Guillotine subdivisions approximate polygonal subdivi- sions: A simple PTAS for geometric TSP, 𝑘-MST, and related problems.SIAM Journal on Computing, 28(4):1298–1309, 1999. doi: 10.1137/S0097539796309764

  34. [34]

    Cambridge University Press, 2 edition, 1998

    Joseph O’Rourke.Computational Geometry in C. Cambridge University Press, 2 edition, 1998. Section 1.3: Area of Polygon

  35. [35]

    Steben: Steiner tree problem benchmark for neural combinatorial optimization on graphs, 2025

    Youngjoon Park, Han-Seul Jeong, Kyunghyun Lee, Sungdong Yoo, Hyungseok Song, and Woohyung Lim. Steben: Steiner tree problem benchmark for neural combinatorial optimization on graphs, 2025. URL https://openreview.net/forum? id=tKif2rXQ6V

  36. [36]

    Pettersson, Helge A

    Ville H. Pettersson, Helge A. Tverberg, and Patric R.J. Östergård. A note on toeplitz’ conjecture.Discrete & Computational Geometry, 51(3):722–728, 2014. doi: 10.1007/s00454-014-9578-5

  37. [37]

    High-Resolution Image Synthesis with Latent Diffusion Models

    Robin Rombach, Andreas Blattmann, Dominik Lorenz, Patrick Esser, and Björn Ommer. High-resolution image synthesis with latent diffusion models, 2022. URL https://arxiv.org/abs/2112.10752

  38. [38]

    U-Net: Convolutional Networks for Biomedical Image Segmentation

    Olaf Ronneberger, Philipp Fischer, and Thomas Brox. U-net: Convolutional networks for biomedical image segmentation, 2015. URL https://arxiv.org/abs/ 1505.04597

  39. [39]

    A diffusion model framework for unsupervised neural combinatorial optimization, 2025

    Sebastian Sanokowski, Sepp Hochreiter, and Sebastian Lehner. A diffusion model framework for unsupervised neural combinatorial optimization, 2025. URL https://arxiv.org/abs/2406.01661

  40. [40]

    Computing lower bounds for steiner trees in road network design

    Justus Schwartz and Jürg Stückelberger. Computing lower bounds for steiner trees in road network design. InProceedings of the 7th International Symposium on Operations Research and Its Applications (ISORA’08), pp. 172–181, Lijiang, China,

  41. [41]

    URL https://www.aporc.org/LNOR/8/ISORA2008F22.pdf

    ORSC & APORC. URL https://www.aporc.org/LNOR/8/ISORA2008F22.pdf

  42. [42]

    External polygon containment problems.Com- putational Geometry, 4(2):99–118, 1994

    Micha Sharir and Sivan Toledo. External polygon containment problems.Com- putational Geometry, 4(2):99–118, 1994. ISSN 0925-7721. doi: https://doi.org/10. 1016/0925-7721(94)90011-6. URL https://www.sciencedirect.com/science/article/ pii/0925772194900116

  43. [43]

    Inscribed squares and square-like quadrilaterals in closed curves.Mathematika, 36(2):187–197, 1989

    Walter Stromquist. Inscribed squares and square-like quadrilaterals in closed curves.Mathematika, 36(2):187–197, 1989. doi: https://doi.org/10.1112/ S0025579300013061. URL https://londmathsoc.onlinelibrary.wiley.com/doi/abs/ 10.1112/S0025579300013061. Visual Diffusion Models are Geometric Solvers

  44. [44]

    Difusco: Graph-based diffusion solvers for com- binatorial optimization, 2023

    Zhiqing Sun and Yiming Yang. Difusco: Graph-based diffusion solvers for com- binatorial optimization, 2023. URL https://arxiv.org/abs/2302.08224

  45. [45]

    An integration approach to the Toeplitz square peg problem

    Terence Tao. An integration approach to the toeplitz square peg problem, 2017. URL https://arxiv.org/abs/1611.07441

  46. [46]

    The algebraic square peg problem

    Wouter van Heijst. The algebraic square peg problem, 2014. URL https://arxiv. org/abs/1403.5979

  47. [47]

    Attention Is All You Need

    Ashish Vaswani, Noam Shazeer, Niki Parmar, Jakob Uszkoreit, Llion Jones, Aidan N. Gomez, Lukasz Kaiser, and Illia Polosukhin. Attention is all you need. CoRR, abs/1706.03762, 2017. URL http://arxiv.org/abs/1706.03762

  48. [48]

    Stefan Voss.Steiner Tree Problems in Telecommunications, pp. 459–492. 01 2006. ISBN 9780387306629. doi: 10.1007/978-0-387-30165-5_18

  49. [49]

    Deep-steiner: Learning to solve the euclidean steiner tree problem, 2022

    Siqi Wang, Yifan Wang, and Guangmo Tong. Deep-steiner: Learning to solve the euclidean steiner tree problem, 2022. URL https://arxiv.org/abs/2209.09983

  50. [50]

    D. M. Warme, P. Winter, and M. Zachariasen.Exact Algorithms for Plane Steiner Tree Problems: A Computational Study, pp. 81–116. Springer US, Boston, MA,

  51. [51]

    doi: 10.1007/978-1-4757-3171-2_6

    ISBN 978-1-4757-3171-2. doi: 10.1007/978-1-4757-3171-2_6. URL https: //doi.org/10.1007/978-1-4757-3171-2_6

  52. [52]

    arXiv preprint arXiv:2502.21075 , year =

    Christopher Wewer, Bart Pogodzinski, Bernt Schiele, and Jan Eric Lenssen. Spatial reasoning with denoising models, 2025. URL https://arxiv.org/abs/2502.21075. Goren and Yehezkel et al. Appendix A Regression Model Ablation For certain geometric problems, each input instance admits a unique optimal solution. In such cases, one may wonder whether training a ...