LLM4SymbolWorldModel

AI & ML interests

Symbolic Reasoning, Test-time Scaling, Large Language Models

Recent Activity

zhouliang  authored a paper 13 days ago

SimKO: Simple Pass@K Policy Optimization

zhouliang  authored a paper 4 months ago

CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization

zhouliang  authored a paper 6 months ago

FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models

View all activity

Team members 1