Coq, Theorem Proving, Software Correctness, Safety-Critical Systems
A framework for modeling and optimization of mechanical equipment considering maintenance cost and dynamic reliability via deep reinforcement learning
sciencedirect.com·1d
Medical Red Teaming Protocol of Language Models: On the Importance of User Perspectives in Healthcare Settings
arxiv.org·21h
TT Self Study Journal # 2
lesswrong.com·2d
Probability-Raising Causality for Uncertain Parametric Markov Decision Processes with PAC Guarantees
arxiv.org·21h
Loading...Loading more...