Haoyu Zhao

3 papers Princeton University

• AlgoTune: Can Language Models Speed Up General-Purpose Numerical Programs?
• Coresets for Clustering Under Stochastic Noise
• Ineq-Comp: Benchmarking Human-Intuitive Compositional Reasoning in Automated Theorem Proving of Inequalities