NL2Lean

AI & ML interests

None defined yet.

Recent Activity

invokerliang  authored a paper 1 day ago

Apodex 1.1: Scaling Agentic Intelligence for Complex Work

invokerliang  authored a paper 7 months ago

Group Distributionally Robust Optimization-Driven Reinforcement Learning for LLM Reasoning

invokerliang  authored a paper 8 months ago

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

View all activity

Team members 4