Simon Chess
sgvtc
ยท
AI & ML interests
None yet
Recent Activity
authored
a paper
about 6 hours ago
Learning to Repair Lean Proofs from Compiler Feedback
upvoted
a
paper
about 8 hours ago
Learning to Repair Lean Proofs from Compiler Feedback
new activity
2 days ago
uw-math-ai/APRIL:Update README.md
Organizations
