Ran Wang
- Papers
- 4
Cite
Notes
Only stored in your browser.
4papers
Authored papers
4Numina-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
Subgoal-based Hierarchical Reinforcement Learning for Multi-Agent Collaboration
arXiv 2024
CharacterChat: Learning towards Conversational AI with Personalized Social Support
arXiv 2023
Affiliations
No known affiliations.
Frequent co-authors
10from 4 papers