Perfis

Joost-Pieter Katoen

Distinguished Professor of Computer Science, RWTH Aachen University and University of …

E-mail confirmado em cs.rwth-aachen.de

Citado por 29961

formal methods model checking concurrency theory probabilistic programming program verification

Luc De Raedt

professor, KU Leuven & guestprofessor, Örebro University

E-mail confirmado em cs.kuleuven.be

Citado por 25996

artificial intelligence machine learning statistical relational AI probabilistic programming neurosymbolic ai

Andrew D Gordon

Cogna and University of Edinburgh

E-mail confirmado em cogna.co

Citado por 17416

Programming Languages Security Probabilistic Programming Spreadsheets

Bob Carpenter

Flatiron Institute, Center for Computational Mathematics

E-mail confirmado em flatironinstitute.org

Citado por 17154

computational statistics probabilistic programming automatic differentiation natural language processing

Jonah Gabry

Columbia University

E-mail confirmado em columbia.edu

Citado por 12064

Bayesian statistics probabilistic programming statistical software development

Hongseok Yang

Professor, School of Computing, KAIST

E-mail confirmado em kaist.ac.kr

Citado por 10044

Probabilistic Programming Programming Languages Machine Learning Software Verification Distributed System

Alp Kucukelbir

Adjunct Professor of Computer Science, Columbia University

E-mail confirmado em cs.columbia.edu

Citado por 9640

machine learning statistics probabilistic programming

Andrzej Wąsowski

Professor, IT University of Copenhagen, Denmark

E-mail confirmado em itu.dk

Citado por 9396

Software Engineering SE4AI SE4Robotics Probabilistic Programming Domain-Specific Languages

Frank Wood

University of British Columbia

E-mail confirmado em cs.ubc.ca

Citado por 7376

Machine Learning Artificial Intelligence Probabilistic Programming

Guy Van den Broeck

Professor and Samueli Fellow, UCLA

E-mail confirmado em cs.ucla.edu

Citado por 6500

Artificial Intelligence Probabilistic Programming Probabilistic Circuits Neurosymbolic AI

1 - 10