TY - RPRT TI - Propositional Logic for Probing Generalization in Neural Networks AU - Anna Langedijk AU - Jaap Jumelet AU - Willem Zuidema PY - 2025 UR - https://arxiv.org/abs/2506.08978 ID - 2506.08978 ER -