Beyond Compilation: Evaluating Faithful Natural-Language-to-Lean Statement Formalization
Paper • 2606.31002 • Published • 9
Ke Zhang
grenadeComing
AI & ML interests
None yet
Recent Activity
new activity about 21 hours ago
grenadeComing/beyond-compilation-benchmark:Add task_categories and remove arxiv tag from metadata updated a dataset 5 days ago
grenadeComing/lean-refactor-envs published a dataset 5 days ago
grenadeComing/lean-refactor-envsOrganizations
None yet