Oct 13 24 days ago

1. 02:40

   Upload lean_lemma_retriever.py

   flyyinghui
   Verified signature

   ff241f2
2. 02:40

   Upload build_18w_index.py

   flyyinghui
   Verified signature

   ca2d5fc
3. 02:40

   Upload parse_lean_declarations.py

   flyyinghui
   Verified signature

   d7c04c9
4. 02:40

   Upload index/names.json

   flyyinghui
   Verified signature

   6fad8d6
5. 02:40

   Upload index/emb.npy (预建索引 16.7万×768)

   flyyinghui
   Verified signature

   9fb8934
6. 02:37

   Upload declarations_18w.jsonl (16.7万 精选 theorem)

   flyyinghui
   Verified signature

   179ebee
7. 02:37

   Upload declarations.jsonl (185万 Lean 声明库)

   flyyinghui
   Verified signature

   7d63c01
8. 02:36

   Upload embeddinggemma-2-lean sentence-transformers model (finetuned on openai_math 377K dep pairs)

   flyyinghui
   Verified signature

   46607a6
9. 02:34

   initial commit

   flyyinghui
   Verified signature

   04e919d