Jiajun Shi
- Papers
- 6
Cite
Notes
Only stored in your browser.
6papers
Authored papers
6OProver: A Unified Framework for Agentic Formal Theorem Proving
arXiv 2026
P2P: Automated Paper-to-Poster Generation and Fine-Grained Benchmark
arXiv 2025
UI-TARS-2 Technical Report: Advancing GUI Agent with Multi-Turn Reinforcement Learning
arXiv 2025
COIG-Writer: A High-Quality Dataset for Chinese Creative Writing with Thought Processes
arXiv 2025
KORGym: A Dynamic Game Platform for LLM Reasoning Evaluation
arXiv 2025
VeriGUI: Verifiable Long-Chain GUI Dataset
arXiv 2025
Affiliations
No known affiliations.
Frequent co-authors
10from 6 papers