Hugging Face's logo
Activity Feed

AI & ML interests

None defined yet.

Recent Activity
grenadeComing  submitted a paper about 12 hours 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

models 0

None public yet

datasets 0

None public yet