Hugging Face's logo
Activity Feed

AI & ML interests

None defined yet.

Recent Activity
grenadeComing  submitted a paper 1 day ago
Beyond Compilation: Evaluating Faithful Natural-Language-to-Lean Statement Formalization
View all activity

Papers

Beyond Compilation: Evaluating Faithful Natural-Language-to-Lean Statement Formalization

View all Papers

ucriverside 's papers 1