FormalMATH

AI & ML interests

None defined yet.

Recent Activity

prt66  authored a paper 3 days ago

FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models

zhouliang  authored a paper 3 days ago

FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models

happzy2633  authored a paper 16 days ago

IV-Bench: A Benchmark for Image-Grounded Video Perception and Reasoning in Multimodal LLMs

View all activity

Team members 5