LLM4Lean

AI & ML interests

None defined yet.

Recent Activity

zhouliang  authored a paper 22 days ago

CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization

zhouliang  authored a paper 3 months ago

FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models

zhouliang  authored a paper 3 months ago

Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning

View all activity

Team members 1