FormalMATH

university

https://scholar.google.com/citations?user=qUMjnPcAAAAJ&hl=en

AI & ML interests

None defined yet.

Recent Activity

zhouliang authored a paper 10 days ago

CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization

prt66 authored a paper 2 months ago

FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models

zhouliang authored a paper 2 months ago

FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models

View all activity

models 0

None public yet

datasets 2

FOMA-colm/goedel-lite-3200

Preview • Updated Apr 14 • 11

FOMA-colm/break0328

Viewer • Updated Mar 28 • 496 • 6