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 12 days ago
Draft-and-Prune: Improving the Reliability of Auto-formalization for Logical ReasoningOrganizations
upvoted a paper 12 days ago