Author

Rui-Da Wang

2 papers indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

#machine learning Preprint Oct 2026

Lean4AgenticRL: Advancing Agentic RL with Verifiable Multi-level Process Rewards

The proposed **Lean4AgenticRL** is the first framework that grounds multi-level process rewards in the unified Lean4 formalization schema for open-ended agentic RL, and provides multi-level rewards to support more effective agentic RL with the workflow-stage-normalized GRPO algorithm.

Rui-Da Wang, Gerald Friedland, Tong Zhang et al. · 0 citations

#natural language process... Preprint Oct 2026

Red-TTT: Test-Time Training for Automated Jailbreaking Large Language Models

Large language models remain vulnerable to jailbreaks, and automated red teaming is the standard way to find jailbreaks in large language models at scale. Current methods either draw more samples at test time through search, rewriting, and tree expansion, or train a stronger attacker offline with reinforcement learning...

Tong-Yan Hu, Hao Li, Xiaogeng Liu et al. · 0 citations