Cite
Notes
Only stored in your browser.
Attribution
Leanabell-Prover: Posttraining Scaling in Formal Reasoning
arXiv 2025
Capybara-OMNI: An Efficient Paradigm for Building Omni-Modal Language Models
TUNA: Comprehensive Fine-grained Temporal Understanding Evaluation on Dense Dynamic Videos
from 3 papers
Fuzheng Zhang
Jingyuan Zhang
Hongzhi Zhang
Qi Wang
Yahui Liu
Chenxi Sun
Daling Wang
Di Zhang
Fanheng Kong
Guorui Zhou