Cite
Notes
Only stored in your browser.
Attribution
Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics
arXiv 2026
Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
arXiv 2025
End-to-End Human Object Interaction Detection with HOI Transformer
arXiv 2021
from 3 papers
Jia Li
researcher
Jiawei Liu
Marco Dos Santos
Ran Wang
Zekai Zhu
Bohan Wang
Bolton Bailey
Boxun Li
Chendong Song
Cheng Zou