load_arxiv_request
Validate a raw arXiv request, then load the paper into a theorem dependency graph only when the request is unambiguous.
Instructions
Validate a raw arXiv request, then load it only if unambiguous.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| input | Yes | ||
| refresh | No | ||
| main_file | No |