Publications

34 results for Radu Marinescu

Approximate Inference in Logical Credal Networks
- - Radu Marinescu
  - Haifeng Qian
  - et al.
- 2023
- IJCAI 2023
An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations
- - Achille Fokoue
  - Ibrahim Abdelaziz
  - 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
Hedging as Reward Augmentation in Probabilistic Graphical Models
- - Debarun Bhattacharjya
  - Radu Marinescu
- 2022
- NeurIPS 2022
Logical Credal Networks
- - Radu Marinescu
  - Haifeng Qian
  - et al.
- 2022
- NeurIPS 2022
AND/OR Branch-and-Bound for Computational Protein Design Optimizing K*
- - Bobak Pezeshki
  - Radu Marinescu
  - et al.
- 2022
- UAI 2022
Bandit Limited Discrepancy Search and Application to Machine Learning Pipeline Optimization
- - Akihiro Kishimoto
  - Djallel Bouneffouf
  - et al.
- 2022
- AAAI 2022
Finding Sub-task Structure with Natural Language Instruction
- - Ryokan Ri
  - Yufang Hou
  - et al.
- 2022
- ACL 2022
Counting Vertex-Disjoint Shortest Paths in Graphs
- - Adi Botea
  - Massimiliano Mattetti
  - et al.
- 2021
- SoCS 2021