workspace_add_arxiv_paper
Add an arXiv paper to the active workspace as a LaTeX project, replacing an existing project when needed, so its theorems and dependencies can be analyzed in PaperGraph.
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 |