We do not yet have a stated policy on the use/documentation of AI tools.

• On one hand, these tools are tightly integrated (see examples below for innocuous examples); such a policy would be a moving target and may not merit substantial consideration.
• On the other hand, we aim to empower authors via clear guidelines and there are likely both authors that have higher standards than what frontier models produce and authors who would not contribute under some versions of a policy.

This issue is to simply start the conversation, even if it is brief.