Stanford University
Showing 211-220 of 307 Results
-
Thomas P. Andriacchi
Professor of Mechanical Engineering and of Orthopaedic Surgery, Emeritus
Current Research and Scholarly InterestsProfessor Andriacchi's research focuses on the biomechanics of human locomotion and applications to medical devices, sports injury, osteoarthritis, the anterior cruciate ligament and low cost prosthetic limbs
-
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.
