LLM4SymbolWorldModel

non-profit

https://vmlpddl.github.io/

ZhouliangY

AI & ML interests

Symbolic Reasoning, Test-time Scaling, Large Language Models

zhouliang

authored a paper 2 months ago

FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models

Paper • 2505.02735 • Published May 5 • 32

zhouliang

authored 4 papers 3 months ago

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

Paper • 2504.11354 • Published Apr 15 • 6

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

Paper • 2405.19327 • Published May 29, 2024 • 49

CodeEditorBench: Evaluating Code Editing Capability of Large Language Models

Paper • 2404.03543 • Published Apr 4, 2024 • 18

COIG-P: A High-Quality and Large-Scale Chinese Preference Dataset for Alignment with Human Values

Paper • 2504.05535 • Published Apr 7 • 44

zhouliang

authored a paper 4 months ago

Chinese Tiny LLM: Pretraining a Chinese-Centric Large Language Model

Paper • 2404.04167 • Published Apr 5, 2024 • 14

zhouliang

authored a paper 5 months ago

Generating Symbolic World Models via Test-time Scaling of Large Language Models

Paper • 2502.04728 • Published Feb 7 • 19

zhouliang

published a dataset 5 months ago

LLM4SymbolWorldModel/ipc_bench

Viewer • Updated Feb 10 • 615 • 45 • 2

zhouliang

updated 2 datasets 5 months ago

LLM4SymbolWorldModel/ipc_bench

Viewer • Updated Feb 10 • 615 • 45 • 2

LLM4SymbolWorldModel/ipc_bench

Viewer • Updated Feb 10 • 615 • 45 • 2