TY  - RPRT
TI  - Twitch: Learning Abstractions for Equational Theorem Proving
AU  - Guy Axelrod
AU  - Moa Johansson
AU  - Nicholas Smallbone
PY  - 2026
UR  - https://arxiv.org/abs/2603.06849
ID  - 2603.06849
ER  -