Picture for Ndivhuwo Makondo

Ndivhuwo Makondo

Alignment Studio: Aligning Large Language Models to Particular Contextual Regulations

Add code
Mar 08, 2024
Figure 1 for Alignment Studio: Aligning Large Language Models to Particular Contextual Regulations
Figure 2 for Alignment Studio: Aligning Large Language Models to Particular Contextual Regulations
Figure 3 for Alignment Studio: Aligning Large Language Models to Particular Contextual Regulations
Figure 4 for Alignment Studio: Aligning Large Language Models to Particular Contextual Regulations
Viaarxiv icon

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

Add code
May 15, 2023
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

An Analysis of Reinforcement Learning for Malaria Control

Add code
Jul 19, 2021
Figure 1 for An Analysis of Reinforcement Learning for Malaria Control
Figure 2 for An Analysis of Reinforcement Learning for Malaria Control
Figure 3 for An Analysis of Reinforcement Learning for Malaria Control
Figure 4 for An Analysis of Reinforcement Learning for Malaria Control
Viaarxiv icon

Learning to Guide a Saturation-Based Theorem Prover

Add code
Jun 07, 2021
Figure 1 for Learning to Guide a Saturation-Based Theorem Prover
Figure 2 for Learning to Guide a Saturation-Based Theorem Prover
Figure 3 for Learning to Guide a Saturation-Based Theorem Prover
Figure 4 for Learning to Guide a Saturation-Based Theorem Prover
Viaarxiv icon

Logic Embeddings for Complex Query Answering

Add code
Feb 28, 2021
Viaarxiv icon

Question Answering over Knowledge Bases by Leveraging Semantic Parsing and Neuro-Symbolic Reasoning

Add code
Dec 03, 2020
Figure 1 for Question Answering over Knowledge Bases by Leveraging Semantic Parsing and Neuro-Symbolic Reasoning
Figure 2 for Question Answering over Knowledge Bases by Leveraging Semantic Parsing and Neuro-Symbolic Reasoning
Figure 3 for Question Answering over Knowledge Bases by Leveraging Semantic Parsing and Neuro-Symbolic Reasoning
Figure 4 for Question Answering over Knowledge Bases by Leveraging Semantic Parsing and Neuro-Symbolic Reasoning
Viaarxiv icon

Logical Neural Networks

Add code
Jun 23, 2020
Figure 1 for Logical Neural Networks
Figure 2 for Logical Neural Networks
Figure 3 for Logical Neural Networks
Figure 4 for Logical Neural Networks
Viaarxiv icon