LLM4SymbolWorldModel

AI & ML interests

Symbolic Reasoning, Test-time Scaling, Large Language Models

Recent Activity

zhouliang  authored a paper 15 days ago

FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models

zhouliang  authored a paper about 1 month ago

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

zhouliang  authored a paper about 1 month ago

MAP-Neo: Highly Capable and Transparent Bilingual Large Language Model Series

View all activity

Team members 1