Geoffrey Irving

Geoffrey Irving

UK AI Safety Institute (AISI)
在 naml.us 的电子邮件经过验证
被引用次数：67804
AGI safety artificial intelligence theorem proving computational physics games
Leonardo de Moura

Leonardo de Moura

Amazon Web Services
在 amazon.com 的电子邮件经过验证
被引用次数：23177
Automated Reasoning Theorem Proving Constraint Solving SAT SMT
Yuhuai(Tony) Wu

Yuhuai(Tony) Wu

Co-Founder of xAI
在 x.ai 的电子邮件经过验证
被引用次数：17006
Machine Learning Machine Reasoning Theorem Proving
jstrother moore

jstrother moore

Computer Science Dept, University of Texas at Austin
在 cs.utexas.edu 的电子邮件经过验证
被引用次数：15764
Formal Methods Theorem Proving Artificial Intelligence
Cesare Tinelli

Cesare Tinelli

Professor of Computer Science, The University of Iowa
在 uiowa.edu 的电子邮件经过验证
被引用次数：14203
Satisfiability Modulo Theories Automated Reasoning Theorem Proving Model Checking Formal Verification
Dan Friedman

Dan Friedman

Indiana University
在 indiana.edu 的电子邮件经过验证
被引用次数：11413
Programming Languages Logic Programming Continuations Theorem Proving
Dale Miller

Dale Miller

Inria-Saclay and LIX, Ecole Polytechnique
在 inria.fr 的电子邮件经过验证
被引用次数：11197
Proof Theory Linear Logic Logic Programming Theorem Proving Computational Logic
Georges Gonthier

Georges Gonthier

Principal Researcher, Microsoft Research
在 microsoft.com 的电子邮件经过验证
被引用次数：10102
Programming Languages Theorem Proving Verification
André Platzer

André Platzer

Alexander von Humboldt Professor, Karlsruhe Institute of Technology
在 kit.edu 的电子邮件经过验证
被引用次数：8714
Logic in Computer Science Theorem Proving Programming Languages Hybrid Systems
John R Harrison

John R Harrison

Amazon Web Services
在 amazon.com 的电子邮件经过验证
被引用次数：7535
Formalization verification automated reasoning theorem proving
1 - 10