TLA+, Model Checking, Coq, Theorem Proving, Specification Languages
DF/IR Lemonade
brettshavers.comΒ·2d
Rapid Prototyping a Safe, Logless Reconfiguration Protocol for MongoDB with TLA+ | MongoDB
mongodb.comΒ·2d
Think How to Think: Mitigating Overthinking with Autonomous Difficulty Cognition in Large Reasoning Models
arxiv.orgΒ·3d
Loading...Loading more...