An Empirical Study of Conformal Prediction in LLM with ASP Scaffolds for Robust Reasoning