The Consistency Hypothesis in Uncertainty Quantification for Large Language Models
- Quan Xiao
- Debarun Bhattacharjya
- et al.
- 2025
- UAI 2025
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
AT4TS: Autotune for Time Series Foundation Models
- Shivani Tomar
- Seshu Tirupathi
- et al.
- 2025
- TMLR
An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations
- Achille Fokoue
- Ibrahim Abdelaziz
- et al.
- 2023
- IJCAI 2023
Approximate Inference in Logical Credal Networks
- Radu Marinescu
- Haifeng Qian
- et al.
- 2023
- IJCAI 2023
Boosting AND/OR-Based Computational Protein Design: Dynamic Heuristics and Generalizable UFO
- Bobak Pezeshki
- Radu Marinescu
- et al.
- 2023
- UAI 2023
AutoDOViz: Human-Centered Automation for Decision Optimization
- Daniel Karl I. Weidele
- Shazia Afzal
- et al.
- 2023
- IUI 2023
Logical Credal Networks
- Radu Marinescu
- Haifeng Qian
- et al.
- 2022
- NeurIPS 2022
Hedging as Reward Augmentation in Probabilistic Graphical Models
- Debarun Bhattacharjya
- Radu Marinescu
- 2022
- NeurIPS 2022
AND/OR Branch-and-Bound for Computational Protein Design Optimizing K*
- Bobak Pezeshki
- Radu Marinescu
- et al.
- 2022
- UAI 2022