NL2Lean

AI & ML interests

None defined yet.

Recent Activity

kiaia  authored a paper about 1 month ago

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

invokerliang  authored a paper 2 months ago

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

invokerliang  authored a paper 3 months ago

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

View all activity

Team members 4