Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Hangyeol Yu
Towards Verified Stochastic Variational Inference for Probabilistic Programs
Proceedings of the ACM on Programming Languages
Related publications
Evaluating Probabilistic Programming and Fast Variational Bayesian Inference in Phylogenetics
PeerJ
Genetics
Molecular Biology
Biochemistry
Biological Sciences
Medicine
Agricultural
Neuroscience
Streaming Stochastic Variational Bayes; An Improved Approach for Bayesian Inference With Data Streams
Robustness Analysis of Stochastic Programs With Joint Probabilistic Constraints
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
Variational Mean-Field Algorithm for Efficient Inference in Large Systems of Stochastic Differential Equations
Physical Review E
Inference and Learning in Probabilistic Logic Programs Using Weighted Boolean Formulas
Theory and Practice of Logic Programming
Hardware
Architecture
Mathematics
Computational Theory
Theoretical Computer Science
Artificial Intelligence
Software
Developing Verified Programs With Dafny
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Variational Principles for Stochastic Soliton Dynamics
Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences
Mathematics
Engineering
Astronomy
Physics
Determinacy Inference for Logic Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Probabilistic Inference in General Graphical Models Through Sampling in Stochastic Networks of Spiking Neurons
PLoS Computational Biology
Molecular Neuroscience
Evolution
Ecology
Genetics
Behavior
Molecular Biology
Systematics
Simulation
Cellular
Computational Theory
Mathematics
Modeling
