Showing 2026Show all
2 papers · 1 filter
cs.PL2026
CaVE: A Constraint Storage Approach to Handling Integrity Constraints
Xiangyu Guo, Ajay Bansal
This paper presents Constraints as Verifiers and Emitters (CaVE), a constraint storage approach for handling integrity constraints in stableKanren. stableKanren is a normal logic-p…
cs.AI2026
HintMR: Eliciting Stronger Mathematical Reasoning in Small Language Models
Jawad Hossain, Xiangyu Guo, Jiawei Zhou +1
Small language models (SLMs) often struggle with complex mathematical reasoning due to limited capacity to maintain long chains of intermediate steps and to recover from early erro…