Alert button
Picture for Radu Marinescu

Radu Marinescu

Alert button

Foundation Model Sherpas: Guiding Foundation Models through Knowledge and Reasoning

Feb 02, 2024
Debarun Bhattacharjya, Junkyu Lee, Don Joven Agravante, Balaji Ganesan, Radu Marinescu

Viaarxiv icon

Boosting AND/OR-Based Computational Protein Design: Dynamic Heuristics and Generalizable UFO

Aug 31, 2023
Bobak Pezeshki, Radu Marinescu, Alexander Ihler, Rina Dechter

Figure 1 for Boosting AND/OR-Based Computational Protein Design: Dynamic Heuristics and Generalizable UFO
Figure 2 for Boosting AND/OR-Based Computational Protein Design: Dynamic Heuristics and Generalizable UFO
Figure 3 for Boosting AND/OR-Based Computational Protein Design: Dynamic Heuristics and Generalizable UFO
Figure 4 for Boosting AND/OR-Based Computational Protein Design: Dynamic Heuristics and Generalizable UFO
Viaarxiv icon

Iterative Reward Shaping using Human Feedback for Correcting Reward Misspecification

Aug 30, 2023
Jasmina Gajcin, James McCarthy, Rahul Nair, Radu Marinescu, Elizabeth Daly, Ivana Dusparic

Figure 1 for Iterative Reward Shaping using Human Feedback for Correcting Reward Misspecification
Figure 2 for Iterative Reward Shaping using Human Feedback for Correcting Reward Misspecification
Figure 3 for Iterative Reward Shaping using Human Feedback for Correcting Reward Misspecification
Figure 4 for Iterative Reward Shaping using Human Feedback for Correcting Reward Misspecification
Viaarxiv icon

An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations

May 15, 2023
Achille Fokoue, Ibrahim Abdelaziz, Maxwell Crouse, Shajith Ikbal, Akihiro Kishimoto, Guilherme Lima, Ndivhuwo Makondo, Radu Marinescu

Figure 1 for An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations
Figure 2 for An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations
Figure 3 for An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations
Figure 4 for An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations
Viaarxiv icon

AutoDOViz: Human-Centered Automation for Decision Optimization

Feb 19, 2023
Daniel Karl I. Weidele, Shazia Afzal, Abel N. Valente, Cole Makuch, Owen Cornec, Long Vu, Dharmashankar Subramanian, Werner Geyer, Rahul Nair, Inge Vejsbjerg, Radu Marinescu, Paulito Palmes, Elizabeth M. Daly, Loraine Franke, Daniel Haehn

Figure 1 for AutoDOViz: Human-Centered Automation for Decision Optimization
Figure 2 for AutoDOViz: Human-Centered Automation for Decision Optimization
Figure 3 for AutoDOViz: Human-Centered Automation for Decision Optimization
Figure 4 for AutoDOViz: Human-Centered Automation for Decision Optimization
Viaarxiv icon

Boolean Decision Rules for Reinforcement Learning Policy Summarisation

Jul 18, 2022
James McCarthy, Rahul Nair, Elizabeth Daly, Radu Marinescu, Ivana Dusparic

Figure 1 for Boolean Decision Rules for Reinforcement Learning Policy Summarisation
Figure 2 for Boolean Decision Rules for Reinforcement Learning Policy Summarisation
Figure 3 for Boolean Decision Rules for Reinforcement Learning Policy Summarisation
Figure 4 for Boolean Decision Rules for Reinforcement Learning Policy Summarisation
Viaarxiv icon

Contrastive Explanations for Comparing Preferences of Reinforcement Learning Agents

Dec 17, 2021
Jasmina Gajcin, Rahul Nair, Tejaswini Pedapati, Radu Marinescu, Elizabeth Daly, Ivana Dusparic

Figure 1 for Contrastive Explanations for Comparing Preferences of Reinforcement Learning Agents
Figure 2 for Contrastive Explanations for Comparing Preferences of Reinforcement Learning Agents
Figure 3 for Contrastive Explanations for Comparing Preferences of Reinforcement Learning Agents
Figure 4 for Contrastive Explanations for Comparing Preferences of Reinforcement Learning Agents
Viaarxiv icon

Logical Credal Networks

Sep 25, 2021
Haifeng Qian, Radu Marinescu, Alexander Gray, Debarun Bhattacharjya, Francisco Barahona, Tian Gao, Ryan Riegel, Pravinda Sahu

Figure 1 for Logical Credal Networks
Figure 2 for Logical Credal Networks
Figure 3 for Logical Credal Networks
Figure 4 for Logical Credal Networks
Viaarxiv icon

Designing Machine Learning Pipeline Toolkit for AutoML Surrogate Modeling Optimization

Jul 14, 2021
Paulito P. Palmes, Akihiro Kishimoto, Radu Marinescu, Parikshit Ram, Elizabeth Daly

Figure 1 for Designing Machine Learning Pipeline Toolkit for AutoML Surrogate Modeling Optimization
Figure 2 for Designing Machine Learning Pipeline Toolkit for AutoML Surrogate Modeling Optimization
Figure 3 for Designing Machine Learning Pipeline Toolkit for AutoML Surrogate Modeling Optimization
Figure 4 for Designing Machine Learning Pipeline Toolkit for AutoML Surrogate Modeling Optimization
Viaarxiv icon