Cite
Notes
Only stored in your browser.
Attribution
FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models
arXiv 2025
SimKO: Simple Pass@K Policy Optimization
Openstory++: A Large-scale Dataset and Benchmark for Instance-aware Open-domain Visual Storytelling
arXiv 2024
from 3 papers
Weiyang Liu
Yandong Wen
Zhouliang Yu
Ge Zhang
researcher
Guo-Jun Qi
Huajian Xin
Jinjin Cao
Jinxiu Liu
Keyi Ding
Minghao Liu