David Ma
- Papers
- 4
Cite
Notes
Only stored in your browser.
4papers
Authored papers
4OProver: A Unified Framework for Agentic Formal Theorem Proving
arXiv 2026
ScaleLong: A Multi-Timescale Benchmark for Long Video Understanding
arXiv 2025
IV-Bench: A Benchmark for Image-Grounded Video Perception and Reasoning in Multimodal LLMs
arXiv 2025
AutoKaggle: A Multi-Agent Framework for Autonomous Data Science Competitions
arXiv 2024
Affiliations
No known affiliations.
Frequent co-authors
10from 4 papers