Informal-to-formal Style Transfer

Papers

Showing 1–1 of 1 papers

Title	Date	Tasks	Status	Hype
Improving Autoformalization using Type Checking	Jun 11, 2024	Informal-to-formal Style Transfer	CodeCode Available	2

Show:10 25 50

No leaderboard results yet.