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