FormalMATH

AI & ML interests

None defined yet.

Recent Activity

zhouliang  authored a paper about 21 hours ago

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

zhouliang  authored a paper 1 day ago

CodeEditorBench: Evaluating Code Editing Capability of Large Language Models

zhouliang  authored a paper 1 day ago

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

View all activity

Team members 5