Draft-and-Prune: Improving the Reliability of Auto-formalization for Logical Reasoning
Paper • 2603.17233 • Published • 1
ZL
zhliang-work
·
AI & ML interests
None yet
Recent Activity
upvoted a paper about 1 month ago
Draft-and-Prune: Improving the Reliability of Auto-formalization for Logical ReasoningOrganizations
upvoted a paper about 1 month ago