Vikash Mansinghka

Orcid: 0000-0003-2507-0833

Affiliations:
  • Massachusetts Institute of Technologyn (MIT), Cambridge, MA, USA


According to our database1, Vikash Mansinghka authored at least 85 papers between 2006 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
GenSQL: A Probabilistic Programming System for Querying Generative Models of Database Tables.
Proc. ACM Program. Lang., 2024

Probabilistic Programming with Programmable Variational Inference.
Proc. ACM Program. Lang., 2024

Understanding Epistemic Language with a Bayesian Theory of Mind.
CoRR, 2024

Building Machines that Learn and Think with People.
CoRR, 2024

Infinite Ends from Finite Samples: Open-Ended Goal Inference as Top-Down Bayesian Filtering of Bottom-Up Proposals.
CoRR, 2024

Partially Observable Task and Motion Planning with Uncertainty and Risk Awareness.
CoRR, 2024

Grounding Language about Belief in a Bayesian Theory-of-Mind.
CoRR, 2024

Pragmatic Instruction Following and Goal Assistance via Cooperative Language-Guided Inverse Planning.
Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024

2023
ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs.
Proc. ACM Program. Lang., January, 2023

Probabilistic Programming with Stochastic Probabilities.
Proc. ACM Program. Lang., 2023

Bayes3D: fast learning and inference in structured generative models of 3D objects and scenes.
CoRR, 2023

Inferring the Goals of Communicating Agents from Actions and Instructions.
CoRR, 2023

From Word Models to World Models: Translating from Natural Language to the Probabilistic Language of Thought.
CoRR, 2023

Differentiating Metropolis-Hastings to Optimize Intractable Densities.
CoRR, 2023

Sequential Monte Carlo Steering of Large Language Models using Probabilistic Programs.
CoRR, 2023

3D Neural Embedding Likelihood for Robust Sim-to-Real Transfer in Inverse Graphics.
CoRR, 2023

ωPAP Spaces: Reasoning Denotationally About Higher-Order, Recursive Probabilistic and Differentiable Programs.
Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023

Sequential Monte Carlo Learning for Time Series Structure Discovery.
Proceedings of the International Conference on Machine Learning, 2023

3D Neural Embedding Likelihood: Probabilistic Inverse Graphics for Robust 6D Pose Estimation.
Proceedings of the IEEE/CVF International Conference on Computer Vision, 2023

Language Models as Informative Goal Priors in a Bayesian Theory of Mind.
Proceedings of the 45th Annual Meeting of the Cognitive Science Society, 2023

SMCP3: Sequential Monte Carlo with Probabilistic Program Proposals.
Proceedings of the International Conference on Artificial Intelligence and Statistics, 2023

ProbNeRF: Uncertainty-Aware Inference of 3D Shapes from 2D Images.
Proceedings of the International Conference on Artificial Intelligence and Statistics, 2023

2022
Abstract Interpretation for Generalized Heuristic Search in Model-Based Planning.
CoRR, 2022

Solving the Baby Intuitions Benchmark with a Hierarchically Bayesian Theory of Mind.
CoRR, 2022

Recursive Monte Carlo and variational inference with auxiliary variables.
Proceedings of the Uncertainty in Artificial Intelligence, 2022

DURableVS: Data-efficient Unsupervised Recalibrating Visual Servoing via online learning in a structured generative model.
Proceedings of the 2022 International Conference on Robotics and Automation, 2022

Estimators of Entropy and Information via Inference in Probabilistic Models.
Proceedings of the International Conference on Artificial Intelligence and Statistics, 2022

2021
Towards Denotational Semantics of AD for Higher-Order, Recursive, Probabilistic Languages.
CoRR, 2021

From Machine Learning to Robotics: Challenges and Opportunities for Embodied Intelligence.
CoRR, 2021

A Simulation-Based Test of Identifiability for Bayesian Causal Inference.
CoRR, 2021

Hierarchical infinite relational model.
Proceedings of the Thirty-Seventh Conference on Uncertainty in Artificial Intelligence, 2021

SPPL: probabilistic programming with fast exact symbolic inference.
Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

3DP3: 3D Scene Perception via Probabilistic Programming.
Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Modeling the Mistakes of Boundedly Rational Agents Within a Bayesian Theory of Mind.
Proceedings of the 43rd Annual Meeting of the Cognitive Science Society, 2021

PClean: Bayesian Data Cleaning at Scale with Domain-Specific Probabilistic Programming.
Proceedings of the 24th International Conference on Artificial Intelligence and Statistics, 2021

2020
Optimal approximate sampling from discrete probability distributions.
Proc. ACM Program. Lang., 2020

Trace types and denotational semantics for sound programmable inference in probabilistic languages.
Proc. ACM Program. Lang., 2020

Exact Symbolic Inference in Probabilistic Programs via Sum-Product Representations.
CoRR, 2020

Deep Involutive Generative Models for Neural MCMC.
CoRR, 2020

Online Bayesian Goal Inference for Boundedly Rational Planning Agents.
Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

Causal Inference using Gaussian Processes with Structured Latent Confounders.
Proceedings of the 37th International Conference on Machine Learning, 2020

Leveraging Unstructured Statistical Knowledge in a Probabilistic Language of Thought.
Proceedings of the 42th Annual Meeting of the Cognitive Science Society, 2020

The Fast Loaded Dice Roller: A Near-Optimal Exact Sampler for Discrete Probability Distributions.
Proceedings of the 23rd International Conference on Artificial Intelligence and Statistics, 2020

2019
Bayesian synthesis of probabilistic programs for automatic data modeling.
Proc. ACM Program. Lang., 2019

Bayesian causal inference via probabilistic program synthesis.
CoRR, 2019

Compositional Inference Metaprogramming with Convergence Guarantees.
CoRR, 2019

Real-time Approximate Bayesian Computation for Scene Understanding.
CoRR, 2019

Usability of Probabilistic Programming Languages.
Proceedings of the 30th Annual Workshop of the Psychology of Programming Interest Group, 2019

Gen: a general-purpose probabilistic programming system with programmable inference.
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

A Family of Exact Goodness-of-Fit Tests for High-Dimensional Discrete Distributions.
Proceedings of the 22nd International Conference on Artificial Intelligence and Statistics, 2019

2018
Using probabilistic programs as proposals.
CoRR, 2018

Probabilistic programming with programmable inference.
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

Incremental inference for probabilistic programs.
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

A design proposal for Gen: probabilistic programming with fast custom inference via code generation.
Proceedings of the 2nd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, 2018

Temporally-Reweighted Chinese Restaurant Process Mixtures for Clustering, Imputing, and Forecasting Multivariate Time Series.
Proceedings of the International Conference on Artificial Intelligence and Statistics, 2018

2017
Variational Particle Approximations.
J. Mach. Learn. Res., 2017

A Bayesian Nonparametric Method for Clustering Imputation, and Forecasting in Multivariate Time Series.
CoRR, 2017

Probabilistic Search for Structured Data via Probabilistic Programming and Nonparametric Bayes.
CoRR, 2017

Probabilistic programs for inferring the goals of autonomous agents.
CoRR, 2017

AIDE: An algorithm for measuring the accuracy of probabilistic inference algorithms.
Proceedings of the Advances in Neural Information Processing Systems 30: Annual Conference on Neural Information Processing Systems 2017, 2017

Detecting Dependencies in Sparse, Multivariate Databases Using Probabilistic Programming and Non-parametric Bayes.
Proceedings of the 20th International Conference on Artificial Intelligence and Statistics, 2017

2016
CrossCat: A Fully Bayesian Nonparametric Method for Analyzing Heterogeneous, High Dimensional Data.
J. Mach. Learn. Res., 2016

Detecting Dependencies in High-Dimensional, Sparse Databases Using Probabilistic Programming and Non-parametric Bayes.
CoRR, 2016

Probabilistic Data Analysis with Probabilistic Programming.
CoRR, 2016

Encapsulating models and approximate inference programs in probabilistic modules.
CoRR, 2016

Measuring the non-asymptotic convergence of sequential Monte Carlo samplers using probabilistic programming.
CoRR, 2016

Quantifying the probable approximation error of probabilistic inference programs.
CoRR, 2016

A Probabilistic Programming Approach To Probabilistic Data Analysis.
Proceedings of the Advances in Neural Information Processing Systems 29: Annual Conference on Neural Information Processing Systems 2016, 2016

2015
Probabilistic Programming with Gaussian Process Memoization.
CoRR, 2015

BayesDB: A probabilistic programming system for querying the probable implications of data.
CoRR, 2015

JUMP-Means: Small-Variance Asymptotics for Markov Jump Processes.
Proceedings of the 32nd International Conference on Machine Learning, 2015

Picture: A probabilistic programming language for scene perception.
Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2015

Particle Gibbs with Ancestor Sampling for Probabilistic Programs.
Proceedings of the Eighteenth International Conference on Artificial Intelligence and Statistics, 2015

2014
Venture: a higher-order probabilistic programming platform with programmable inference.
CoRR, 2014

Building fast Bayesian computing machines out of intentionally stochastic, digital parts.
CoRR, 2014

Inverse Graphics with Probabilistic CAD Models.
CoRR, 2014

A New Approach to Probabilistic Programming Inference.
Proceedings of the Seventeenth International Conference on Artificial Intelligence and Statistics, 2014

2013
ClusterCluster: Parallel Markov Chain Monte Carlo for Dirichlet Process Mixtures
CoRR, 2013

Approximate Bayesian Image Interpretation using Generative Probabilistic Graphics Programs.
Proceedings of the Advances in Neural Information Processing Systems 26: 27th Annual Conference on Neural Information Processing Systems 2013. Proceedings of a meeting held December 5-8, 2013

Markov chain algorithms: A template for building future robust low power systems.
Proceedings of the 2013 Asilomar Conference on Signals, 2013

2009
Exact and Approximate Sampling by Systematic Stochastic Search.
Proceedings of the Twelfth International Conference on Artificial Intelligence and Statistics, 2009

2008
Church: a language for generative models.
Proceedings of the UAI 2008, 2008

2007
AClass: A simple, online, parallelizable algorithm for probabilistic classification.
Proceedings of the Eleventh International Conference on Artificial Intelligence and Statistics, 2007

2006
Structured Priors for Structure Learning.
Proceedings of the UAI '06, 2006

Learning annotated hierarchies from relational data.
Proceedings of the Advances in Neural Information Processing Systems 19, 2006


  Loading...