#machine learning — Thursday, October 08, 2026 (3 items)
| 1 | ℹ |
Advancing mathematics research with AI-driven formal proof search.
(science.org)
|
Science 2026-10-08 | #formal verification #theorem proving #machine learning #automated-reasoning | |
| 0 | ℹ |
Streamlined 2D multimodal fusion framework predicts 90 day functional outcomes in acute ischemic stroke.
(linkinghub.elsevier.com)
|
iScience 2026-10-08 | #stroke #prognosis #machine learning #radiomics #neuroimaging | |
| 0 | ℹ |
Lactate as a predictive biomarker and therapeutic target in cardiopulmonary bypass-associated acute kidney injury.
(linkinghub.elsevier.com)
|
iScience 2026-10-08 | #aki #lactate #biomarker #cardiopulmonary-bypass #machine learning |