Joost-Pieter Katoen

Joost-Pieter Katoen

Distinguished Professor of Computer Science, RWTH Aachen University and University of …
Email confirmado em cs.rwth-aachen.de
Citado por 29233
formal methods model checking concurrency theory probabilistic programming program verification
Luc De Raedt

Luc De Raedt

professor, KU Leuven & guestprofessor, Örebro University
Email confirmado em cs.kuleuven.be
Citado por 25630
artificial intelligence machine learning statistical relational AI probabilistic programming neurosymbolic ai
Andrew D Gordon

Andrew D Gordon

Microsoft Research and University of Edinburgh
Email confirmado em microsoft.com
Citado por 17291
Programming Languages Security Probabilistic Programming Spreadsheets
Bob Carpenter

Bob Carpenter

Flatiron Institute, Center for Computational Mathematics
Email confirmado em flatironinstitute.org
Citado por 16669
computational statistics probabilistic programming automatic differentiation natural language processing
Jonah Gabry

Jonah Gabry

Columbia University
Email confirmado em columbia.edu
Citado por 11546
Bayesian statistics probabilistic programming statistical software development
Hongseok Yang

Hongseok Yang

Professor, School of Computing, KAIST
Email confirmado em kaist.ac.kr
Citado por 9881
Probabilistic Programming Programming Languages Machine Learning Software Verification Distributed System
Alp Kucukelbir

Alp Kucukelbir

Adjunct Professor of Computer Science, Columbia University
Email confirmado em cs.columbia.edu
Citado por 9323
machine learning statistics probabilistic programming
Frank Wood

Frank Wood

University of British Columbia
Email confirmado em cs.ubc.ca
Citado por 7157
Machine Learning Artificial Intelligence Probabilistic Programming
Guy Van den Broeck

Guy Van den Broeck

Professor and Samueli Fellow, UCLA
Email confirmado em cs.ucla.edu
Citado por 6207
Artificial Intelligence Probabilistic Programming Probabilistic Circuits Neurosymbolic AI
Atılım Güneş Baydin

Atılım Güneş Baydin

University of Oxford
Email confirmado em robots.ox.ac.uk
Citado por 5792
Machine Learning Probabilistic Programming Simulation-based Inference Physical Sciences
1 - 10