Model Checking, Theorem Proving, Specification Languages, Correctness, Proof Assistants, Correctness Guarantees, Logic Systems, Specification, Proof Assistants, Coq, Lean, Program Correctness, Agda, TLA+, Model Checking, Safety Properties, Specifications
Notes from the bottom of the sea
markjgsmith.comยท1d
5 Fun Generative AI Projects for Absolute Beginners
kdnuggets.comยท1d
Exploring the Frontiers of kNN Noisy Feature Detection and Recovery for Self-Driving Labs
arxiv.orgยท20h
Explainable Collaborative Problem Solving Diagnosis with BERT using SHAP and its Implications for Teacher Adoption
arxiv.orgยท2d
How LLMs Comprehend Temporal Meaning in Narratives: A Case Study in Cognitive Evaluation of LLMs
arxiv.orgยท2d
Tabular Diffusion based Actionable Counterfactual Explanations for Network Intrusion Detection
arxiv.orgยท20h
Loading...Loading more...