Zhi Zhou

FormalML: A Benchmark for Evaluating Formal Subgoal Completion in Machine Learning Theory

Handling Tabular Data under Coupled Shifts of Feature Missingness and Distributional Change

NeSyGeo: A Neuro-Symbolic Framework for Multimodal Geometric Reasoning Data Generation

Contrast-Aware Calibration for Fine-Tuned CLIP: Leveraging Image-Text Alignment

Detecting Scarce and Sparse Anomalous: Solving Dual Imbalance in Multi-Instance Learning

TabularGSM: Understanding the Limitations of LLMs in Tabular Math Reasoning

CARTS: Advancing Neural Theorem Proving with Diversified Tactic Calibration and Bias-Resistant Tree Search

A Theoretical Study on Bridging Internal Probability and Self-Consistency for LLM Reasoning

Pre-Trained Vision-Language Model Selection and Reuse for Downstream Tasks

Vision-Language Model Selection and Reuse for Downstream Adaptation

TabFSBench: Tabular Benchmark for Feature Shifts in Open Environments

OpenPL: Realistic Evaluation of Prompt Learning for VLM in Open Environments

Towards Efficient Confidence Estimation for Large Language Model Reasoning