y0news
AnalyticsDigestsSourcesTopicsRSSAICrypto

#maxsat News & Analysis

2 articles tagged with #maxsat. AI-curated summaries with sentiment analysis and key takeaways from 50+ sources.

2 articles
AINeutralarXiv – CS AI · May 296/10
🧠

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

Researchers propose a hybrid reasoning system that combines Large Language Models with preference-based Maximum Satisfiability solvers to tackle complex optimization problems with multiple constraints. The approach achieves over 80% correctness rates on preference-based reasoning tasks, substantially outperforming traditional LLM baselines that rarely produce feasible solutions.

AINeutralarXiv – CS AI · Mar 174/10
🧠

LLM Routing as Reasoning: A MaxSAT View

Researchers propose a new constraint-based approach to LLM routing that formulates the problem as weighted MaxSAT/MaxSMT optimization, using natural language feedback to create constraints over model attributes. Testing on a 25-model benchmark shows this method can effectively route queries to appropriate LLMs based on user preferences expressed in natural language.