Pinned Loading

1. PKU-Alignment/AlignmentSurvey PKU-Alignment/AlignmentSurvey Public

   AI Alignment: A Comprehensive Survey

   138 1

2. PKU-Alignment/align-anything PKU-Alignment/align-anything Public

   Align Anything: Training All-modality Model with Feedback

   Python 4.7k 503

3. sunblaze-ucb/vero sunblaze-ucb/vero Public

   Lean 118 18

4. Beneficial-AI-Foundation/FloatSpec Beneficial-AI-Foundation/FloatSpec Public

   Formally Verified Float Implementation with lean4

   Lean 25 6

5. FormalJudge FormalJudge Public

   FormalJudge: A Neuro-Symbolic Paradigm for Agentic Oversight

   Python 16 8

6. PKU-Alignment/SAE-V PKU-Alignment/SAE-V Public

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

   18 1