Reliable Reasoning with Large Language Models via Preference-Based Maximum Satisfiability 文章

ArXiv CS.AI2026-05-29NEWSen作者: Pedro Orvalho, Marta Kwiatkowska, Guillem Aleny\`a, Felip Many\`a

Reliable Reasoning with Large Language Models via Preference-Based Maximum Satisfiability · 相关技术