Profiler

Illia Polosukhin

NEAR

Verifisert e-postadresse på near.ai

Sitert av 152350

Deep Learning Machine Learning Program Synthesis

Thomas Reps

J. Barkley Rosser Professor & Rajiv and Ritu Batra Chair Emeritus, CS Dept., Univ. of …

Verifisert e-postadresse på cs.wisc.edu

Sitert av 28402

Programming Languages Program Analysis Computer Security Program Verification Program Synthesis

Doron A. Peled

Professor Of Computer Science, Bar Ilan University

Verifisert e-postadresse på cs.biu.ac.il

Sitert av 27508

Concurrency Theory Model Checking Runtime verification Software Testing Program Synthesis

Sumit Gulwani

Distinguished Scientist, Microsoft

Verifisert e-postadresse på microsoft.com

Sitert av 18312

Program Synthesis Artificial Intelligence End-User Programming Computer-aided Education

Rastislav Bodik

University of Washington

Verifisert e-postadresse på cs.washington.edu

Sitert av 17416

Programming Languages Program Synthesis

Augustus Odena

Research Scientist

Verifisert e-postadresse på columbia.edu

Sitert av 17138

Machine Learning Program Synthesis

Xinyun Chen

Google DeepMind

Verifisert e-postadresse på berkeley.edu

Sitert av 16811

Large Language Models Program Synthesis Reasoning AI Security

David Andre

X, the Moonshot Factory, Cerebellum Capital, Bodymedia Inc,

Verifisert e-postadresse på andrefoo.com

Sitert av 14067

AI Program synthesis reinforcement learning ML

Oleksandr Polozov

Google DeepMind

Verifisert e-postadresse på google.com

Sitert av 13162

Program Synthesis Software Engineering Deep Learning Semantic Parsing Neuro-Symbolic Reasoning

Eran Yahav

Technion, Israel

Verifisert e-postadresse på cs.technion.ac.il

Sitert av 13102

Program Synthesis Machine Learning for Programming Program Analysis Abstract Interpretation Programming Languages

1 - 10