Yuichiro Oyabu

Generating author description...

All published works

Action	Title	Year	Authors
+ PDF Chat	Control-data separation and logical condition propagation for efficient inference on probabilistic programs	2023	Ichiro Hasuo Yuichiro Oyabu Clovis Eberhart Kohei Suenaga Kenta Cho Shin-ya Katsumata
+	Hierarchical Sampler for Probabilistic Programs via Separation of Control and Data	2021	Ichiro Hasuo Yuichiro Oyabu Clovis Eberhart Kohei Suenaga Kenta Cho Shin-ya Katsumata
+	Control-Data Separation and Logical Condition Propagation for Efficient Inference on Probabilistic Programs	2021	Ichiro Hasuo Yuichiro Oyabu Clovis Eberhart Kohei Suenaga Kenta Cho Shin-ya Katsumata
+	Ranking and Repulsing Supermartingales for Approximating Reachability.	2018	Toru Takisaka Yuichiro Oyabu Natsuki Urabe Ichiro Hasuo
+ PDF Chat	Ranking and Repulsing Supermartingales for Reachability in Probabilistic Programs	2018	Toru Takisaka Yuichiro Oyabu Natsuki Urabe Ichiro Hasuo

Common Coauthors

Coauthor	Papers Together
Ichiro Hasuo	5
Shin-ya Katsumata	3
Kohei Suenaga	3
Clovis Eberhart	3
Kenta Cho	3
Natsuki Urabe	2
Toru Takisaka	2

Commonly Cited References

Action	Title	Year	Authors	# of times referenced
+ PDF Chat	<i>Stan</i>: A Probabilistic Programming Language	2017	Bob Carpenter Andrew Gelman Matthew D. Hoffman Daniel C. Lee Ben Goodrich Michael Betancourt Marcus A. Brubaker Jiqiang Guo Peter Li Allen Riddell	3
+	Divide, Conquer, and Combine: a New Inference Strategy for Probabilistic Programs with Stochastic Support	2020	Yuan Zhou Hongseok Yang Yee Whye Teh Tom Rainforth	2
+	Venture: a higher-order probabilistic programming platform with programmable inference	2014	Vikash K. Mansinghka Daniel Selsam Yura Perov	2
+	An Introduction to Probabilistic Programming	2018	Jan-Willem van de Meent Brooks Paige Hongseok Yang Frank Wood	2
+	Pyro: Deep Universal Probabilistic Programming	2018	Eli Bingham Jonathan P. Chen Martin Jankowiak Fritz Obermeyer Neeraj Pradhan Theofanis Karaletsos Rohit Singh Paul Szerlip Paul Horsfall Noah D. Goodman	2
+ PDF Chat	Lexicographic ranking supermartingales: an efficient approach to termination of probabilistic programs	2017	Sheshansh Agrawal Krishnendu Chatterjee Petr Novotný	2
+ PDF Chat	Design and Implementation of Probabilistic Programming Language Anglican	2016	David Tolpin Jan-Willem van de Meent Hongseok Yang Frank Wood	1
+	Stochastic invariants for probabilistic termination	2016	Krishnendu Chatterjee Petr Novotný Đorđe Žikelić	1
+	Termination of Nondeterministic Recursive Probabilistic Programs	2017	Krishnendu Chatterjee Hongfei Fu	1
+ PDF Chat	Conditioning in Probabilistic Programming	2018	Federico Olmedo Friedrich Gretz Nils Jansen Benjamin Lucien Kaminski Joost-Pieter Katoen Annabelle McIver	1
+	On Probabilistic Term Rewriting	2018	Martin Avanzini Ugo Dal Lago Akihisa Yamada	1
+	Pyro: Deep Universal Probabilistic Programming	2018	Eli Bingham Jonathan P. Chen Martin Jankowiak Fritz Obermeyer Neeraj Pradhan Theofanis Karaletsos Rohit Singh Paul Szerlip Paul Horsfall Noah D. Goodman	1
+	Proceedings of the 25th international conference on Machine learning	2008	William W. Cohen Andrew McCallum Sam T. Roweis	1
+ PDF Chat	Stochastic invariants for probabilistic termination	2017	Krishnendu Chatterjee Petr Novotný Đorđe Žikelić	1
+ PDF Chat	Categorical liveness checking by corecursive algebras	2017	Natsuki Urabe Masaki Hara Ichiro Hasuo	1
+ PDF Chat	Regret Analysis of Stochastic and Nonstochastic Multi-armed Bandit Problems	2012	Sébastien Bubeck	1
+	Design and Implementation of Probabilistic Programming Language Anglican	2016	David Tolpin Jan Willem van de Meent Hongseok Yang Frank Wood	1
+	Inference Compilation and Universal Probabilistic Programming	2016	Tuan Anh Le Atılım Güneş Baydin Frank Wood	1
+ PDF Chat	Automated learning with a probabilistic programming language: Birch	2018	Lawrence M. Murray Thomas B. Schön	1
+	On probabilistic term rewriting	2019	Martin Avanzini Ugo Dal Lago Akihisa Yamada	1
+ PDF Chat	Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs	2016	Krishnendu Chatterjee Hongfei Fu Petr Novotný Rouzbeh Hasheminezhad	1
+ PDF Chat	Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints	2016	Sam Staton Frank Wood Hongseok Yang Chris Heunen Ohad Kammar	1
+	TheK-moment problem for compact semi-algebraic sets	1991	Konrad Schmüdgen	1
+	A Decision Method for Elementary Algebra and Geometry	1951	Alfred Tarski J. C. C. McKinsey	1
+	Motzkin Transposition Theorem	2008	Arkadi Nemirovski C. Roos	1
+	Positivity and Sums of Squares: A Guide to Recent Results	2008	Claus Scheiderer	1
+	Categorical Liveness Checking by Corecursive Algebras	2017	Natsuki Urabe Masaki Hara Ichiro Hasuo	1
+ PDF Chat	Regret Analysis of Stochastic and Nonstochastic Multi-armed Bandit Problems	2012	Sébastien Bubeck Nicolò Cesa‐Bianchi	1
+ PDF Chat	Constructive versions of Tarski’s fixed point theorems	1979	Patrick Cousot Radhia Cousot	1
+ PDF Chat	Weakest Precondition Reasoning for Expected Run–Times of Probabilistic Programs	2016	Benjamin Lucien Kaminski Joost-Pieter Katoen Christoph Matheja Federico Olmedo	1
+ PDF Chat	Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs	2016	Krishnendu Chatterjee Hongfei Fu Petr Novotný Rouzbeh Hasheminezhad	1
+ PDF Chat	Termination Analysis of Probabilistic Programs Through Positivstellensatz’s	2016	Krishnendu Chatterjee Hongfei Fu Amir Kafshdar Goharshady	1