Scholar
Renxi Wang
Google Scholar ID: 7FnyQbsAAAAJ
MBZUAI
Natural Language Processing
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
123
H-index
5
i10-index
3
Publications
11
Co-authors
0
Publications
12 items
SkillGym: Training Skill-Use Agents with Automatic Verifiable Environment Generation
2026
Cited
0
AoA: Theorem Proving Agent over Abstract Syntax Tree of Redesigned Language
2026
Cited
0
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
Load more
