FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models
Paper
•
2505.02735
•
Published
•
25
Multimodal Benchmarking IR
university
AI & ML interests
None defined yet.
Recent Activity
View all activity
MBEIR's activity
zhangysk
authored
a
paper
4 days ago
zhangysk
authored
a
paper
17 days ago
zhangysk
authored
a
paper
23 days ago
zhangysk
authored
a
paper
about 1 month ago
CongWei1230
authored
a
paper
about 1 month ago
zhangysk
authored
3
papers
about 2 months ago
Video SimpleQA: Towards Factuality Evaluation in Large Video Language Models
Paper
•
2503.18923
•
Published
•
12
FlexWorld: Progressively Expanding 3D Scenes for Flexiable-View Synthesis
Paper
•
2503.13265
•
Published
•
15
Vamba: Understanding Hour-Long Videos with Hybrid Mamba-Transformers
Paper
•
2503.11579
•
Published
•
20
zhangysk
authored
5
papers
2 months ago
SimpleVQA: Multimodal Factuality Evaluation for Multimodal Large Language Models
Paper
•
2502.13059
•
Published
SuperGPQA: Scaling LLM Evaluation across 285 Graduate Disciplines
Paper
•
2502.14739
•
Published
•
103
Can Large Language Models Detect Errors in Long Chain-of-Thought Reasoning?
Paper
•
2502.19361
•
Published
•
28
CodeCriticBench: A Holistic Code Critique Benchmark for Large Language Models
Paper
•
2502.16614
•
Published
•
27
Audio-FLAN: A Preliminary Release
Paper
•
2502.16584
•
Published
•
37
zhangysk
authored
4
papers
3 months ago
FullStack Bench: Evaluating LLMs as Full Stack Coder
Paper
•
2412.00535
•
Published
MdEval: Massively Multilingual Code Debugging
Paper
•
2411.02310
•
Published
Aligning Instruction Tuning with Pre-training
Paper
•
2501.09368
•
Published
Generating Symbolic World Models via Test-time Scaling of Large Language Models
Paper
•
2502.04728
•
Published
•
19
hexianghu
authored
a
paper
4 months ago
zhangysk
authored
a
paper
4 months ago
ychenNLP
authored
a
paper
5 months ago