Geoffrey Irving

Geoffrey Irving

UK AI Safety Institute (AISI)
Bestätigte E-Mail-Adresse bei naml.us
Zitiert von: 73860
AGI safety artificial intelligence theorem proving computational physics games
Leonardo de Moura

Leonardo de Moura

Amazon Web Services
Bestätigte E-Mail-Adresse bei amazon.com
Zitiert von: 24179
Automated Reasoning Theorem Proving Constraint Solving SAT SMT
Yuhuai(Tony) Wu

Yuhuai(Tony) Wu

Co-Founder of xAI
Bestätigte E-Mail-Adresse bei x.ai
Zitiert von: 20112
Machine Learning Machine Reasoning Theorem Proving
jstrother moore

jstrother moore

Computer Science Dept, University of Texas at Austin
Bestätigte E-Mail-Adresse bei cs.utexas.edu
Zitiert von: 15960
Formal Methods Theorem Proving Artificial Intelligence
Cesare Tinelli

Cesare Tinelli

Professor of Computer Science, The University of Iowa
Bestätigte E-Mail-Adresse bei uiowa.edu
Zitiert von: 14871
Satisfiability Modulo Theories Automated Reasoning Theorem Proving Model Checking Formal Verification
Dan Friedman

Dan Friedman

Indiana University
Bestätigte E-Mail-Adresse bei indiana.edu
Zitiert von: 11554
Programming Languages Logic Programming Continuations Theorem Proving
Dale Miller

Dale Miller

Inria-Saclay and LIX, Ecole Polytechnique
Bestätigte E-Mail-Adresse bei inria.fr
Zitiert von: 11357
Proof Theory Linear Logic Logic Programming Theorem Proving Computational Logic
Georges Gonthier

Georges Gonthier

Principal Researcher, Microsoft Research
Bestätigte E-Mail-Adresse bei microsoft.com
Zitiert von: 10270
Programming Languages Theorem Proving Verification
André Platzer

André Platzer

Alexander von Humboldt Professor, Karlsruhe Institute of Technology
Bestätigte E-Mail-Adresse bei kit.edu
Zitiert von: 9094
Logic in Computer Science Theorem Proving Programming Languages Hybrid Systems
John R Harrison

John R Harrison

Amazon Web Services
Bestätigte E-Mail-Adresse bei amazon.com
Zitiert von: 7751
Formalization verification automated reasoning theorem proving
1 - 10