An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations
- Achille Fokoue
- Ibrahim Abdelaziz
- et al.
- 2023
- IJCAI 2023
Publications
Date
Featured collections
Popular topics
34 results for Radu Marinescu
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
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