NL2Lean

AI & ML interests

None defined yet.

Recent Activity

invokerliang  authored a paper 22 days ago

Group Distributionally Robust Optimization-Driven Reinforcement Learning for LLM Reasoning

invokerliang  authored a paper 2 months ago

Can LLMs Guide Their Own Exploration? Gradient-Guided Reinforcement Learning for LLM Reasoning

kiaia  authored a paper 4 months ago

OS-Sentinel: Towards Safety-Enhanced Mobile GUI Agents via Hybrid Validation in Realistic Workflows

View all activity

Team members 4