A fundamental challenge for explainable and accountable language models is revealing how external information influences their answers. This paper examines whether models are self-attributive: that is, whether they indicate when -- and only when -- their responses to questions are influenced by information provided alo...
Zing Z. X. Zhou, Jia-Cheng Sang, Yi-Lin Xu et al.· 0 citations
SatIR is proposed, a scalable, efficient, high-precision, high-recall, interpretable clinical trial retrieval method based on formal constraint satisfaction that consistently improves eligibility-aware retrieval over similarity-based baselines on the SIGIR 2016 dataset and a benchmark derived from TREC 2022.
Zikai Zhou, Yu-Fei Jin, Yi-Lin Xu et al.· 1 citation
VERDICT is introduced, an LLM-based agent that translates a decision task, its constraints, and its policy into Satisfiability Modulo Theories (SMT), then derives the decision with SMT and MaxSMT solvers -- so policies are applied consistently and decisions are accountable by construction.
Zing Z. X. Zhou, Yu-Fei Jin, Yi-Lin Xu et al.· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.