זרות יחסית, זרות חלשה וערבוב חלש (Relative disjointness, weak disjointness and weakly mixing.). - Reuven Peleg (1971)

Talking with Verifiers: Automatic Specification Generation for Neural Network Verification. - Yizhak Yisrael Elboher; Reuven Peleg; Zhouxing Shi; Guy Katz; Jan Kretínský (CoRR, 2026)