SRI International
-
Exact Inference for Relational Graphical Models with Interpreted Functions: Lifted Probabilistic Inference Modulo Theories
In this paper, we expand PIMT to a lifted version that also processes random functions and relations.
-
Building Mathematical Identity After School: Results of a Cluster-Randomized Trial
This paper describes an afterschool program that is intended to connect math to realworld applications and to build math identity.
-
Computer Vision and Pattern Recognition Conference (CVPR)
While the quality of GAN image synthesis has improved tremendously in recent years, our ability to control and condition the output is still limited.
-

Alexander Kernbaum talks about Abacus Drive
Alexander Kernbaum talks about Abacus Drive, a unique new rotary transmission developed at SRI to improve the safety of robotics systems.
-
Promoting equity and inclusion in STEM curriculum design
We describe a principled approach to designing STEM curricular activities that puts equity and inclusion (EI) at the forefront of the design process from its instantiation to its development.
-
Automated collaboration assessment using behavioral analytics
We present the process of developing a tool that assesses collaboration quality based on behavioral communication at individual and group levels.
-
How Is the Pandemic Affecting English Learners?
…Concerns are being raised about the quality of instruction that English learners—students whose English proficiency affects their ability to meaningfully participate in school—are receiving.




