TY - RPRT TI - Tensor Program Optimization for the RISC-V Vector Extension Using Probabilistic Programs AU - Federico Nicolas Peccia AU - Frederik Haxel AU - Oliver Bringmann PY - 2025 UR - https://arxiv.org/abs/2507.01457 ID - 2507.01457 ER -