NL2Lean

AI & ML interests

None defined yet.

Recent Activity

invokerliang  authored a paper 23 days ago

CLUE: Non-parametric Verification from Experience via Hidden-State Clustering

invokerliang  authored a paper about 1 month ago

Evolving Language Models without Labels: Majority Drives Selection, Novelty Promotes Variation

kiaia  authored a paper about 1 month ago

VLFeedback: A Large-Scale AI Feedback Dataset for Large Vision-Language Models Alignment

View all activity

Team members 4