Automated Theorem Proving WiSe 2024/25 (live recordings)