Kaijing Ma
- Papers
- 8
Cite
Notes
Only stored in your browser.
8papers
Authored papers
8OProver: A Unified Framework for Agentic Formal Theorem Proving
arXiv 2026
Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving
arXiv 2025
OmniWorld: A Multi-Domain and Multi-Modal Dataset for 4D World Modeling
arXiv 2025
CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization
arXiv 2025
KORGym: A Dynamic Game Platform for LLM Reasoning Evaluation
arXiv 2025
MAP-Neo: Highly Capable and Transparent Bilingual Large Language Model Series
arXiv 2024
Beyond Uncertainty: Evidential Deep Learning for Robust Video Temporal Grounding
arXiv 2024
SciMMIR: Benchmarking Scientific Multi-modal Information Retrieval
arXiv 2024
Affiliations
No known affiliations.
Frequent co-authors
10from 8 papers