Microsoft veteran wants to replace every single line of C/C++ code with Rust and AI

A Microsoft veteran has highlighted his goal to eliminate every single line of C and C++ code and replace it with Rust, ...

Zero-One Integer Programming: Understanding and Practical Examples

Explore zero-one integer programming, a key method in logical problem-solving, using binary choices for optimal decisions in finance, production, and more.
GitHub

microsoft/vptq

Vector Post-Training Quantization (VPTQ) is a novel Post-Training Quantization method that leverages Vector Quantization to high accuracy on LLMs at an extremely low bit-width (<2-bit). VPTQ can ...
GitHub

Multi-vector latent space steering adapter module for language models.

Responsible Use & AI Safety Research: This tool is designed for AI safety research, red-teaming, and studying model behavior. It enables researchers to understand and analyze how language models can ...