Radu Marinescu

Branch and Bound Search for Exact MAP Inference in Credal Networks

Interpreting LLM-as-a-Judge Policies via Verifiable Global Explanations

Consistency-based Black-box Uncertainty Quantification for Text-to-SQL by Similarity Aggregation

AutoTune for Time Series Transformers using Low Rank Adaptation and Limited Discrepancy Search