Profielen

Geoffrey Irving

UK AI Safety Institute (AISI)

Geverifieerd e-mailadres voor naml.us

Geciteerd door 73816

AGI safety artificial intelligence theorem proving computational physics games

Leonardo de Moura

Amazon Web Services

Geverifieerd e-mailadres voor amazon.com

Geciteerd door 24182

Automated Reasoning Theorem Proving Constraint Solving SAT SMT

Yuhuai(Tony) Wu

Co-Founder of xAI

Geverifieerd e-mailadres voor x.ai

Geciteerd door 20131

Machine Learning Machine Reasoning Theorem Proving

jstrother moore

Computer Science Dept, University of Texas at Austin

Geverifieerd e-mailadres voor cs.utexas.edu

Geciteerd door 15960

Formal Methods Theorem Proving Artificial Intelligence

Cesare Tinelli

Professor of Computer Science, The University of Iowa

Geverifieerd e-mailadres voor uiowa.edu

Geciteerd door 14870

Satisfiability Modulo Theories Automated Reasoning Theorem Proving Model Checking Formal Verification

Dan Friedman

Indiana University

Geverifieerd e-mailadres voor indiana.edu

Geciteerd door 11556

Programming Languages Logic Programming Continuations Theorem Proving

Dale Miller

Inria-Saclay and LIX, Ecole Polytechnique

Geverifieerd e-mailadres voor inria.fr

Geciteerd door 11360

Proof Theory Linear Logic Logic Programming Theorem Proving Computational Logic

Georges Gonthier

Principal Researcher, Microsoft Research

Geverifieerd e-mailadres voor microsoft.com

Geciteerd door 10274

Programming Languages Theorem Proving Verification

André Platzer

Alexander von Humboldt Professor, Karlsruhe Institute of Technology

Geverifieerd e-mailadres voor kit.edu

Geciteerd door 9097

Logic in Computer Science Theorem Proving Programming Languages Hybrid Systems

John R Harrison

Amazon Web Services

Geverifieerd e-mailadres voor amazon.com

Geciteerd door 7757

Formalization verification automated reasoning theorem proving

1 - 10