Renxi Wang
Scholar

Renxi Wang

Google Scholar ID: 7FnyQbsAAAAJ
MBZUAI
Natural Language Processing
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
123
 
H-index
5
 
i10-index
3
 
Publications
11
 
Co-authors
0
 
Contact
No contact links provided.
Publications
10 items
SimuScene: Training and Benchmarking Code Generation to Simulate Physical Scenarios
2026
Cited
0
Neural Theorem Proving for Verification Conditions: A Real-World Benchmark
2026
Cited
0
Concise Reasoning in the Lens of Lagrangian Optimization
2025
Cited
0
IsaMini: Redesigned Isabelle Proof Lanugage for Machine Learning
2025
Cited
0
AgentFly: Extensible and Scalable Reinforcement Learning for LM Agents
2025
Cited
0
SCALAR: Scientific Citation-based Live Assessment of Long-context Academic Reasoning
2025
Cited
0
LLM360 K2: Scaling Up 360-Open-Source Large Language Models
2025
Cited
0
Libra-Leaderboard: Towards Responsible AI through a Balanced Leaderboard of Safety and Capability
2024
Cited
0
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)