Generalized Security-Preserving Refinement for Concurrent Systems
arxiv.org·3d
🔓Lock-Free Programming
Flag this post
Rebellion: Noise-Robust Reasoning Training for Audio Reasoning Models
arxiv.org·43m
📦Folly
Flag this post
Temporal Properties of Conditional Independence in Dynamic Bayesian Networks
arxiv.org·43m
✅Model Checking
Flag this post
Supervised fine-tuning as a method for training-based AI control
lesswrong.com·7h
🛡️AI Security
Flag this post
Unlearning Imperative: Securing Trustworthy and Responsible LLMs through Engineered Forgetting
arxiv.org·43m
🛡️AI Security
Flag this post
Vascura FRONT - Open Source (Apache 2.0), Bloat Free, Portable and Lightweight (300~ kb) LLM Frontend (Single HTML file). Now with GitHub - github.com/Unmortan-...
🦙Ollama
Flag this post
Investigating CoT Monitorability in Large Reasoning Models
arxiv.org·2d
🦙Ollama
Flag this post
Omnidirectional type inference for ML: principality any way
arxiv.org·43m
🎯Hindley-Milner
Flag this post
Loading...Loading more...