5 papers
Vertex Ordering for Exact Triangle Listing: Concave Geometry and Certified Rounding
Kourosh Mirsohi, Melika Gorgi, Erfan Hajihashemi
Exact forward triangle listers orient each edge of a graph by a vertex order. The order does not change the output, but it changes the work. For the adaptive lister, which scans th…
Online Verification of Language Model Responses Under Cost Constraints
Erfan Hajihashemi, Yanning Shen
As large language models are increasingly deployed for multi-step reasoning, verifying the correctness of their outputs has become essential for maintaining reliability at scale. V…
Enhanced Multi-model Online Conformal Prediction
Erfan Hajihashemi, Yanning Shen
Conformal prediction is a framework for uncertainty quantification that constructs prediction sets for previously unseen data, guaranteeing coverage of the true label with a specif…
Multi-model Online Conformal Prediction with Graph-Structured Feedback
Erfan Hajihashemi, Yanning Shen
Online conformal prediction has demonstrated its capability to construct a prediction set for each incoming data point that covers the true label with a predetermined probability.…
Multi-model Ensemble Conformal Prediction in Dynamic Environments
Erfan Hajihashemi, Yanning Shen
Conformal prediction is an uncertainty quantification method that constructs a prediction set for a previously unseen datum, ensuring the true label is included with a predetermine…