Vikash Mansinghka
- Church: a language for generative models
2012/06/13 by Noah Goodman, Noah D. Goodman, Vikash K. Mansinghka +9 · 19 citations
Computer Science · #AI-based Problem Solving and Planning #Advanced Database Systems and Queries #Artificial Intelligence (cs.AI) #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL) #cs.AI #cs.LO #cs.PL
- Pragmatic Instruction Following and Goal Assistance via Cooperative Language-Guided Inverse Planning
2024/02/27 by Tan Zhi-Xuan, Tan Zhi‐Xuan, Zhi-Xuan, Tan +7 · 3 voices · 10 citations
Computer Science · Psychology · #AI-based Problem Solving and Planning #Innovative Teaching and Learning Methods #Model-Driven Software Engineering Techniques
- Fast Controlled Generation from Language Models with Adaptive Weighted Rejection Sampling
2025/04/07 by Benjamin Lipkin, Lipkin, Benjamin, Benjamin LeBrun +23 · 2 voices · 6 citations
Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning and Algorithms #Natural Language Processing Techniques #Topic Modeling #cs.AI #cs.CL #cs.LG
- Partially Observable Task and Motion Planning with Uncertainty and Risk Awareness
2024/03/15 by Aidan Curtis, George Matheos, Curtis, Aidan +14 · 1 voice · 8 citations
Computer Science · Engineering · #AI-based Problem Solving and Planning #Robot Manipulation and Learning #Robotic Path Planning Algorithms #cs.AI #cs.RO
- Structured Priors for Structure Learning
2012/06/27 by Vikash Mansinghka, Charles Kemp, Mansinghka, Vikash +5 · 2 citations
Computer Science · Mathematics · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #cs.AI #cs.LG #stat.ML
- Venture: a higher-order probabilistic programming platform with programmable inference
2014/04/01 by Vikash Mansinghka, Mansinghka, Vikash, Daniel Selsam +3 · 1 citation
Computer Science · Mathematics · #Artificial Intelligence (cs.AI) #Computation (stat.CO) #FOS: Computer and information sciences #Machine Learning (stat.ML) #Programming Languages (cs.PL) #cs.AI #cs.PL #stat.CO #stat.ML
- Sublinear-Time Approximate MCMC Transitions for Probabilistic Programs
2014/11/06 by Yutian Chen, Vikash Mansinghka, Vikash K. Mansinghka +4 · 1 citation
Computer Science · Mathematics · #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #Machine Learning (stat.ML) #Machine Learning and Algorithms #Markov Chains and Monte Carlo Methods #stat.ML
- Particle Gibbs with Ancestor Sampling for Probabilistic Programs
2015/01/27 by Jan-Willem van de Meent, van de Meent, Jan-Willem, Hongseok Yang +6 · 2 citations
Computer Science · Mathematics · #Artificial Intelligence (cs.AI) #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #Gaussian Processes and Bayesian Inference #Machine Learning (stat.ML) #Machine Learning and Algorithms #Programming Languages (cs.PL) #cs.AI #cs.PL #stat.ML