TY - RPRT TI - Learning Weighted Automata over Number Rings, Concretely and Categorically AU - Quentin Aristote AU - Sam van Gool AU - Daniela Petrişan AU - Mahsa Shirmohammadi PY - 2025 DO - 10.1109/lics65433.2025.00038 UR - https://arxiv.org/abs/2504.16596 ID - 2504.16596 ER -