@misc{indiciae57a6d7b80af1,
  title = {A First-Order Logic-Based Alternative to Reward Models in RLHF},
  author = {Chunjin Jian and Xinhua Zhu},
  year = {2025},
  url = {https://arxiv.org/abs/2512.14100},
  note = {Source identifier: 2512.14100}
}