Popular repositories Loading

1. DMML2025 DMML2025 Public

   用于复现南开大学统计与数据科学学院机器学习课程王飞鸣小组的代码实现，使用条件随机场（CRF）进行图像分割后处理. To reproduce the code implementation by Wang Feiming's group at the School of Statistics and Data Science, Nankai University, employing cond…

   Python 12 1

2. DTSPLG_NYTX DTSPLG_NYTX Public

   这是数据采集方法小组的代码实现

   Python 1

3. LeanDojo_Evaler LeanDojo_Evaler Public

   分析 LLM 与 Lean 交互过程中，搜索出现失败的瓶颈原因。

   Python 1

4. SharpSAR SharpSAR Public

   SharpSAR 的官方实现

   Jupyter Notebook 1

5. AI4M_Note AI4M_Note Public

   A note for AI4M

   1

6. LeanRAG LeanRAG Public

   探索 Quary 和检索机制对 ReProver 质量的影响

   Python 1