NL2Lean

AI & ML interests

None defined yet.

Recent Activity

invokerliang  authored a paper 9 days ago

Self-Rewarding Vision-Language Model via Reasoning Decomposition

freesunshine0316  authored a paper about 2 months ago

The Trickle-down Impact of Reward (In-)consistency on RLHF

freesunshine0316  authored a paper about 2 months ago

Iterative Nash Policy Optimization: Aligning LLMs with General Preferences via No-Regret Learning

View all activity

Team members 4