Illia Polosukhin

Illia Polosukhin

NEAR
在 near.ai 的电子邮件经过验证
被引用次数：131782
Deep Learning Machine Learning Program Synthesis
Thomas Reps

Thomas Reps

J. Barkley Rosser Professor & Rajiv and Ritu Batra Chair, Comp. Sci. Dept., Univ. of …
在 cs.wisc.edu 的电子邮件经过验证
被引用次数：27898
Programming Languages Program Analysis Computer Security Program Verification Program Synthesis
Doron A. Peled

Doron A. Peled

Professor Of Computer Science, Bar Ilan University
在 cs.biu.ac.il 的电子邮件经过验证
被引用次数：27151
Concurrency Theory Model Checking Runtime verification Software Testing Program Synthesis
Sumit Gulwani

Sumit Gulwani

Partner Research Manager, Microsoft
在 microsoft.com 的电子邮件经过验证
被引用次数：17375
Program Synthesis Artificial Intelligence Program Verification End User Programming Computer-aided Education
Rastislav Bodik

Rastislav Bodik

University of Washington
在 cs.washington.edu 的电子邮件经过验证
被引用次数：16853
Programming Languages Program Synthesis
Augustus Odena

Augustus Odena

Research Scientist
在 columbia.edu 的电子邮件经过验证
被引用次数：15564
Machine Learning Program Synthesis
David Andre

David Andre

X, the Moonshot Factory, Cerebellum Capital, Bodymedia Inc,
在 andrefoo.com 的电子邮件经过验证
被引用次数：13873
AI Program synthesis reinforcement learning ML
Eran Yahav

Eran Yahav

Technion, Israel
在 cs.technion.ac.il 的电子邮件经过验证
被引用次数：12062
Program Synthesis Machine Learning for Programming Program Analysis Abstract Interpretation Programming Languages
Xinyun Chen

Xinyun Chen

Google DeepMind
在 berkeley.edu 的电子邮件经过验证
被引用次数：11785
Large Language Models Program Synthesis Reasoning AI Security
Rishabh Singh

Rishabh Singh

Research Scientist, Google Brain
在 google.com 的电子邮件经过验证
被引用次数：9927
Program Synthesis Programming Languages Software Engineering Machine Learning
1 - 10