PinnedLoading

1. cmu-l3/l1cmu-l3/l1Public

   L1: Controlling How Long A Reasoning Model Thinks With Reinforcement Learning

   Python 145 16

2. automix-llm/automixautomix-llm/automixPublic

   Mixing Language Models with Self-Verification and Meta-Verification

   Jupyter Notebook 102 9

3. GEO-optim/GEOGEO-optim/GEOPublic

   Python 65 14

4. AdaptiveConsistencyAdaptiveConsistencyPublic

   Let's Sample Step by Step: Adaptive-Consistency for Efficient Reasoning with LLMs

   Python 36 5

5. cmu-l3/alphaveruscmu-l3/alphaverusPublic

   AlphaVerus: Formally Verified Code Generation through Self-Improving Translation and Treefinement

   Python 8

6. ProgrammingWithPixels/PwPProgrammingWithPixels/PwPPublic

   JavaScript 5 1