A First-Order Logic-Based Alternative to Reward Models in RLHF. - Chunjin Jian; Xinhua Zhu (CoRR, 2025)