A novel method for detecting failures in formal verification systems, demonstrated on a curated dataset with strong offline metrics but limited real-world deployment evidence and no peer review.
Loading
Researcher
Nursing Department, Sir Run Run Shaw Hospital, Zhejiang University School of Medicine, China.
2 developments in the corpus
Following this puts new work involving it at the top of your briefing, with a note saying why it is there. Links are taken from the source record, never inferred.
Latest
Everything in the corpus, newest first.
A novel method for detecting failures in formal verification systems, demonstrated on a curated dataset with strong offline metrics but limited real-world deployment evidence and no peer review.
JUL 14, 2026 · JOURNAL ARTICLE
International Journal of Nursing Studies Advances
Secondary analysis of an RCT with sound design showing significant improvements in self-care and task execution ability over 3 months, but limited by surrogate behavioral endpoints, single-centre recruitment, and unclear sample size reporting.