Sandy Han
sandyhan114
AI & ML interests
None yet
Recent Activity
authored a paper 9 days ago
Beyond Solver Verdicts: Generative Reward Models for Autoformalization upvoted a paper 10 days ago
Beyond Solver Verdicts: Generative Reward Models for AutoformalizationOrganizations
None yet