Learning to Repair Lean Proofs from Compiler Feedback
1 points
3 hours ago
| 0 comments
| arxiv.org
| HN
No one has commented on this post.