LLM4Lean

AI & ML interests

None defined yet.

Recent Activity

zhouliang  authored a paper about 1 hour ago

Stabilizing Rubric Integration Training via Decoupled Advantage Normalization

zhouliang  authored a paper 6 months ago

SimKO: Simple Pass@K Policy Optimization

zhouliang  authored a paper 9 months ago

CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization

View all activity

Team members 1