The Consistency Hypothesis in Uncertainty Quantification for Large Language Models
- Quan Xiao
- Debarun Bhattacharjya
- et al.
- 2025
- UAI 2025
Conference paper
Publications
37 results for Radu Marinescu
Dealing with cycles in graph-based probabilistic models: the case of Logical Credal Networks
- Fabio G. Cozman
- Radu Marinescu
- et al.
- 2025
- ISIPTA 2025
Conference paperAT4TS: Autotune for Time Series Foundation Models
- Shivani Tomar
- Seshu Tirupathi
- et al.
- 2025
- TMLR
PaperAn Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations
- Achille Fokoue
- Ibrahim Abdelaziz
- et al.
- 2023
- IJCAI 2023
Conference paperApproximate Inference in Logical Credal Networks
- Radu Marinescu
- Haifeng Qian
- et al.
- 2023
- IJCAI 2023
Conference paperBoosting AND/OR-Based Computational Protein Design: Dynamic Heuristics and Generalizable UFO
- Bobak Pezeshki
- Radu Marinescu
- et al.
- 2023
- UAI 2023
Conference paperAutoDOViz: Human-Centered Automation for Decision Optimization
- Daniel Karl I. Weidele
- Shazia Afzal
- et al.
- 2023
- IUI 2023
Conference paperLogical Credal Networks
- Radu Marinescu
- Haifeng Qian
- et al.
- 2022
- NeurIPS 2022
Conference paperHedging as Reward Augmentation in Probabilistic Graphical Models
- Debarun Bhattacharjya
- Radu Marinescu
- 2022
- NeurIPS 2022
Conference paperAND/OR Branch-and-Bound for Computational Protein Design Optimizing K*
- Bobak Pezeshki
- Radu Marinescu
- et al.
- 2022
- UAI 2022
Conference paper