Pinned Loading

1. PKU-Alignment/AlignmentSurveyPKU-Alignment/AlignmentSurveyPublic

   AI Alignment: A Comprehensive Survey

   139 1

2. PKU-Alignment/align-anythingPKU-Alignment/align-anythingPublic

   Align Anything: Training All-modality Model with Feedback

   Python 4.7k 505

3. stream-alignerstream-alignerPublic

   [AAAI Alignment Track 25 Poster] Stream Aligner: Efficient Sentence-Level Alignment via Distribution Induction

   Python 9

4. PKU-Alignment/SAE-VPKU-Alignment/SAE-VPublic

   [ICML 2025 Poster] SAE-V: Interpreting Multimodal Models for Enhanced Alignment

   18 1

5. Beneficial-AI-Foundation/NumpySpecBeneficial-AI-Foundation/NumpySpecPublic

   numpy -> lean 4 through ai

   Lean 5 1

6. Beneficial-AI-Foundation/FloatSpecBeneficial-AI-Foundation/FloatSpecPublic

   Formally Verified Float Implementation with lean4

   Lean 17 3