Stanford University
Showing 231-240 of 6,587 Results
-
Leni Aniva
Ph.D. Student in Computer Science, admitted Autumn 2022
Current Research and Scholarly InterestsMy main research interest is Machine-Assisted Theorem Proving, which refers to using machine-learning agents to find proofs of mathematical theorems and conduct reasoning. We are pursuing a hybrid algorithm between neural networks and SMT solvers to solve some of the long standing problems facing machine learning models today such as opaqueness, hallucinations, and information leakage. I also do research on SMT solvers and automatic verifications of programs.
-
Jacy Reese Anthis
Graduate, Computer Science
BioJacy Anthis is a computational social scientist researching human-AI interaction and machine learning, particularly the rise of "digital minds" and how humanity can work together with highly capable AI systems. His research has been published in top academic venues, such as CHI, HRI, and NeurIPS, and featured in global media outlets, such as Vox, Forbes, and The Guardian. Anthis has presented his work at conferences and seminars in over 20 countries. He is a co-founder of the nonprofit research organization Sentience Institute, a PhD candidate at the University of Chicago, and currently a visiting scholar at the Institute for Human-Centered AI (HAI) at Stanford University. He lives in San Francisco with his wife Kelly Anthis and their adopted dogs Apollo and Dio(nysus).
