TY  - RPRT
TI  - Intentmaking and Sensemaking: Human Interaction with AI-Guided Mathematical Discovery
AU  - Alex Bäuerle
AU  - Adam Connors
AU  - Alexander Novikov
AU  - Adam Zsolt Wagner
AU  - Ngân Vũ
AU  - Fernanda Viegas
AU  - Martin Wattenberg
AU  - Lucas Dixon
PY  - 2026
UR  - https://arxiv.org/abs/2605.05921
ID  - 2605.05921
ER  -