Popular repositories Loading

1. Lightweight-and-LLM-Free-Semantic-Search-for-mathlib4 Lightweight-and-LLM-Free-Semantic-Search-for-mathlib4 Public

   The aim of this project is to build low cost yet powerful semantic mathlib search engine. The project is funded by Prof. Tom Hales personally with 350 usd.

   Jupyter Notebook 10

2. Euler_Sieve Euler_Sieve Public

   A Learning project in PITT MATH 1900 with Professor Hales

   Lean 2

3. sigmoid-kv-eviction sigmoid-kv-eviction Public

   Colab-friendly experiments on softmax/sigmoid attention for learned KV-cache eviction.

   Jupyter Notebook

4. cohen-lenstra-asymptotics cohen-lenstra-asymptotics Public

   2026 fall CMU 21-410 Research Project | Instructor: Prof. Theresa Anderson | Topic: Algebraic Number Theory and Computing | Advisor: Dr. Abhiram Kumar | Members: Isaac Li, Zubin Narayan, Atul Thyva…

   Python

5. verl verl Public

   Forked from verl-project/verl

   verl/HybridFlow: A Flexible and Efficient RL Post-Training Framework

   Python

6. VTC-AUDIT VTC-AUDIT Public

   Code and experimental results for VTC-AUDIT: An Interventional Reliability Audit for Visual-Token Compression under Paired Image Shifts

   Jupyter Notebook