workspace_add_arxiv_paper
Import an arXiv paper into your workspace for theorem dependency analysis. Specify the arXiv ID, with optional refresh and main file selection.
Instructions
Add or replace an arXiv LaTeX project in the active workspace.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| refresh | No | ||
| arxiv_id | Yes | ||
| main_file | No |