Picture for Amir Dezfouli

Amir Dezfouli

Approximate Nearest Neighbour Search on Dynamic Datasets: An Investigation

Add code
Apr 30, 2024
Viaarxiv icon

BAIT: Benchmarking (Embedding) Architectures for Interactive Theorem-Proving

Add code
Mar 06, 2024
Viaarxiv icon

Cross-Entropy Estimators for Sequential Experiment Design with Reinforcement Learning

Add code
May 29, 2023
Viaarxiv icon

Transformed Distribution Matching for Missing Value Imputation

Add code
Feb 20, 2023
Viaarxiv icon

The Contextual Lasso: Sparse Linear Models via Deep Neural Networks

Add code
Feb 02, 2023
Viaarxiv icon

Bayesian Optimisation for Mixed-Variable Inputs using Value Proposals

Add code
Feb 17, 2022
Figure 1 for Bayesian Optimisation for Mixed-Variable Inputs using Value Proposals
Figure 2 for Bayesian Optimisation for Mixed-Variable Inputs using Value Proposals
Figure 3 for Bayesian Optimisation for Mixed-Variable Inputs using Value Proposals
Figure 4 for Bayesian Optimisation for Mixed-Variable Inputs using Value Proposals
Viaarxiv icon

Optimizing Sequential Experimental Design with Deep Reinforcement Learning

Add code
Feb 02, 2022
Figure 1 for Optimizing Sequential Experimental Design with Deep Reinforcement Learning
Figure 2 for Optimizing Sequential Experimental Design with Deep Reinforcement Learning
Figure 3 for Optimizing Sequential Experimental Design with Deep Reinforcement Learning
Figure 4 for Optimizing Sequential Experimental Design with Deep Reinforcement Learning
Viaarxiv icon

TacticZero: Learning to Prove Theorems from Scratch with Deep Reinforcement Learning

Add code
Feb 19, 2021
Figure 1 for TacticZero: Learning to Prove Theorems from Scratch with Deep Reinforcement Learning
Figure 2 for TacticZero: Learning to Prove Theorems from Scratch with Deep Reinforcement Learning
Figure 3 for TacticZero: Learning to Prove Theorems from Scratch with Deep Reinforcement Learning
Figure 4 for TacticZero: Learning to Prove Theorems from Scratch with Deep Reinforcement Learning
Viaarxiv icon

EAPS: Edge-Assisted Predictive Sleep Scheduling for 802.11 IoT Stations

Add code
Jun 28, 2020
Figure 1 for EAPS: Edge-Assisted Predictive Sleep Scheduling for 802.11 IoT Stations
Figure 2 for EAPS: Edge-Assisted Predictive Sleep Scheduling for 802.11 IoT Stations
Figure 3 for EAPS: Edge-Assisted Predictive Sleep Scheduling for 802.11 IoT Stations
Figure 4 for EAPS: Edge-Assisted Predictive Sleep Scheduling for 802.11 IoT Stations
Viaarxiv icon

Generic Inference in Latent Gaussian Process Models

Add code
Nov 05, 2018
Figure 1 for Generic Inference in Latent Gaussian Process Models
Figure 2 for Generic Inference in Latent Gaussian Process Models
Figure 3 for Generic Inference in Latent Gaussian Process Models
Figure 4 for Generic Inference in Latent Gaussian Process Models
Viaarxiv icon