Pinned Loading

1. SITA SITA Public

   (AAAI 2026) SITA: A Framework for Structure-to-Instance Theorem Autoformalization

   Lean 6 3

2. SetPO SetPO Public

   (ICML 2026) SetPO: Set-Level Policy Optimization for Diversity-Preserving LLM Reasoning

   Python 3

3. Teacher_feature_drifting Teacher_feature_drifting Public

   Python 2

4. bfgs-minimum-q-order bfgs-minimum-q-order Public

   Lean4 formalization of https://arxiv.org/abs/2609.00596

   Lean

5. optsuite/optlib optsuite/optlib Public

   Lean 110 19

6. optpku/ReasBook optpku/ReasBook Public

   ReasBook main branch mirror for self-hosted CI

   Python 60 14