4 papers
RealChart2Code: Advancing Chart-to-Code Generation with Real Data and Multi-Task Evaluation
Jiajun Zhang, Yuying Li, Zhixun Li +13
Vision-Language Models (VLMs) have demonstrated impressive capabilities in code generation across various domains. However, their ability to replicate complex, multi-panel visualiz…
The Unsolvability of the Homeomorphism Problem
Stefan Friedl, Tobias Hirsch, Marc Kegel
In this short expository note, we give a detailed proof of Markov's theorem on the unsolvability of the homeomorphism problem and of the existence of unrecognizable manifolds in al…
Braid positive surgery diagrams
Marc Kegel, Paula Truöl
In this short note, we prove that every closed, oriented, connected 3-manifold arises as Dehn surgery along a braid positive link.
Algorithms in 4-manifold topology
Stefan Bastl, Rhuaidi Burke, Rima Chatterjee +28
We show that there exists an algorithm that takes as input two closed, simply connected, topological 4-manifolds and decides whether or not these 4-manifolds are homeomorphic. In p…