AIBullisharXiv – CS AI · 6h ago7/10
🧠
Logic-Regularized Verifier Elicits Reasoning from LLMs
Researchers introduce LOVER, an unsupervised verifier that uses logical constraints to improve LLM reasoning without requiring expensive labeled datasets. The method achieves performance comparable to supervised approaches by enforcing logical consistency rules across multiple reasoning paths.