@misc{indiciaeba2841263ee3,
  title = {Reliable Reasoning with Large Language Models via Preference-Based Maximum Satisfiability},
  author = {Pedro Orvalho and Marta Kwiatkowska and Guillem Alenyà and Felip Manyà},
  year = {2026},
  url = {https://arxiv.org/abs/2605.29687},
  note = {Source identifier: 2605.29687}
}