arXiv / arXiv/html_feedback

Problem with thmtools / thm-restate packages in html

Open
#5,541 1 comment 0 reactions 0 assignees View on GitHub
latexml-oxide needs-latex-package
Dominant language
No language data
Stars
42
Forks
40
PR merge metrics
No merged PRs in 30d

Description

### Description

We use the "restatable" theorem functionality from the latex packages thmtools and thm-restate in our paper. While they typeset fine in the arxiv pdf, they do not get processed in the arxiv generated html file.

### (Optional:) Please add any files, screenshots, or other information here.

_No response_

### (Required) What is this issue most closely related to? Select one.

Other

### Internal issue ID

df61a6f3-bd68-4919-89e4-6dfe213e21e6

### Paper URL

https://arxiv.org/html/2512.13307v1

### Browser

Chrome/143.0.0.0

### Device Type

Desktop

Contributor guide

Open the contributing guide

Research direction

Open the paper URL and compare the arXiv PDF with its generated HTML, focusing on the restatable theorem output from thmtools and thm-restate. Trace how these packages are handled during HTML rendering; done means the theorem functionality is processed correctly in the HTML as well as the PDF.

Written by the indexing model from the issue text.

Assessment

Tech stack
html, latex
Domain
web-dev
Issue type
Bug
Difficulty
4/5
Estimated time
3-5 days
Activity status
Stale
Clarity
Needs clarification
Newbie friendliness
30/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.