82 citations · 369 across the 63 of their papers we have counts for
4 papers · 1 filter
SAT-RL: Training Language Models for Logical Reasoning with Symbolic Solvers
Jialiang Sun, Kuldeep Meel
Large language models (LLMs) have achieved strong performance in mathematical and logical reasoning, yet they still suffer from the curse of complexity and struggle as problem diff…
Provably Tractable NFA-Constrained Language Generation via HMMs
Jialiang Sun, Kuldeep Meel
Constrained generation aims to sample from language models (LMs) conditioned on hard constraints. Existing constrained-generation techniques for nondeterministic finite automaton (…
Scaling Zero Knowledge UNSAT Verification via Normalized Chaining
Ashwin Karthikeyan, Ethan Kharitonov, Kuldeep S. Meel +1
Proofs of UNSAT are a standard primitive in formal verification and software assurance. In many real-world settings, the proof itself encodes proprietary or security-sensitive info…
Quantifying Sensitivity for Tree Ensembles: A symbolic and compositional approach
Ajinkya Naik, Chaitanya Garg, S. Akshay +2
Decision tree ensembles (DTE) are a popular model for a wide range of AI classification tasks, used in multiple safety critical domains, and hence verifying properties on these mod…