2 papers
cs.AI2026
Satisfiability Solving with LLMs: A Matched-Pair Evaluation of Reasoning Capability
Leizhen Zhang, Shuhan Chen, Sheng Chen
Large language models (LLMs) are increasingly used for tasks that implicitly reduce to Boolean satisfiability (SAT), yet their reasoning ability on SAT remains unclear. We present…
cs.LG2025
BLIA: Detect model memorization in binary classification model through passive Label Inference attack
Mohammad Wahiduzzaman Khan, Sheng Chen, Ilya Mironov +2
Model memorization has implications for both the generalization capacity of machine learning models and the privacy of their training data. This paper investigates label memorizati…