Benchmark Harmonization and Model Similarity Analysis
Harmonizing major AI evaluation benchmarks (LiveBench, HELM, LMSYS Arena) and developing model similarity maps at FORESEER Lab, University of Michigan.
Posts by Collection
portfolio
Trajectory-Level Web Agent Evaluation
Developed evaluation frameworks for web agents that assess both action sequences and value alignment at SaNDwich Lab (IBM–Notre Dame collaboration).
ML Verification Benchmarks and Reproducibility
Improving machine learning verification benchmarks and addressing numerical reproducibility challenges with the alpha-beta-CROWN verification tool at UIUC.