AI Innovation Institute

Google Docs has been updated to integration Gemini AI. Learn about the integrations that gives you more features within Google Docs. There are also AI Automations that will keep you updated when things happen with documents.

In this session, you will:

1. Learn about the AI features within Google Docs
2. Learn about workflow to be notified of changes to Docs
3. Understand the features that allow AI to work

Register here.

Topic: AI Seminar: Stanley Bak
Time: Monday Nov 1, 2021 12:00 PM Eastern Time (US and Canada)

Join Zoom Meeting
https://stonybrook.zoom.us/j/91227496273?pwd=M3EyUDlzK3Vzd2pDOGpDU1ZjN0k1UT09

Abstract: The field of formal verification has traditionally looked at proving properties about finite state machines or software programs. The surge in deep learning has been accompanied by a surge of progress in trying to apply mathematical and algorithmic techniques to prove things about the function being computed by a neural network.

This talk formalizes the neural network verification problem and describes technical methods for neural network verification based on reachability analysis. Improvements to analysis efficiency will be given, as well as research directions for further exploration. We also include an objective comparison performed this last summer trying to evaluate the best existing verification methods in terms of speed and network size. The competition was performed on common hardware and involved the participation of twelve international teams (the tool authors) on a common set of benchmarks. 

Biography: Stanley Bak is an assistant professor in the Department of Computer Science at Stony Brook University investigating the verification of autonomy, cyber-physical systems, and neural networks. He strives to develop practical formal methods that are both scalable and useful, which demands developing new theory, programming efficient tools and building experimental systems.
Stanley Bak received a Bachelor's degree in Computer Science from Rensselaer Polytechnic Institute (RPI) in 2007 (summa cum laude), and a Master's degree in Computer Science from the University of Illinois at Urbana-Champaign (UIUC) in 2009. He completed his PhD from the Department of Computer Science at UIUC in 2013. He received the Founders Award of Excellence for his undergraduate research at RPI in 2004, the Debra and Ira Cohen Graduate Fellowship from UIUC twice, in 2008 and 2009, and was awarded the Science, Mathematics and Research for Transformation (SMART) Scholarship from 2009 to 2013. From 2013 to 2018, Stanley was a Research Computer Scientist at the US Air Force Research Lab (AFRL), both in the Information Directorate in Rome, NY, and in the Aerospace Systems Directorate in Dayton, OH. He helped run Safe Sky Analytics, a research consulting company investigating verification and autonomous systems, and performed teaching at Georgetown University before joining Stony Brook University as an assistant professor in Fall 2020.

2026 MIC Symposium on Multilingualism | Featured Talk

Searching for Common Ground in Human-AI Interaction (What Gen AI Can't Do)

Abstract: For many of us, the alien invasion of LLMs has been unsettling, at best. Who knew that monstrous quantities of text and compute power could simulate human discourse processing? But despite claims about emergent theory-of-mind in reasoning models, LLMs remain stochastic parrots: they do not collaborate, project co-presence, form conceptual pacts, accurately signal commitment to what they say, or accrue common ground. This lack of pragmatic competence is clear from our recent studies of narrative and referential communication by AI vs. humans.

Speaker: Susan Brennan is SUNY Distinguished Professor at Stony Brook University in Cognitive Science within the Department of Psychology, with affiliations in Computer Science and Linguistics. Her research uses eye-tracking, experimental, behavioral, and observational methods to study the psycholinguistics of communication (verbal, nonverbal, and multimodal), adaptive language use, and the human use of technology, including spoken dialogue systems. She currently directs the NSF-funded Research Traineeship project, Detecting and Addressing Bias in Data, Humans, and Institutions, a collaboration among PhD. programs in Cognitive Science, Social & Health Psychology, Computer Science, Applied Math & Statistics, Linguistics, Political Science, Economics, Africana Studies, and Women's Studies. This traineeship supports students' AI and bias-related convergent research projects that include assessing potential for LLVMs (Large Language-Vision Models) to act as interlocutors in spontaneous dialogue as well as collaborating with the Innocence Network about AI tools. She holds a Ph.D. in cognitive psychology from Stanford University, an M.S. in visual studies from MIT (from what is now known as the MIT Media Lab), and a B.A. from Cornell University in cultural anthropology. She has worked in industry at Atari Research, Hewlett-Packard Labs, and Apple Computer, as well as at NSF as a program officer for the Graduate Research Funding Program.

Faculty Response Panel:

• Jiwon Hwang (Panel Chair; Assistant Professor, Asian and Asian American Studies)
• Rose Tirotta-Esposito (Director, Center for Excellence in Learning and Teaching)
• Lav Varshney (Director, AI Innovation Institute)
• Josh Zhang (Associate Professor, Sociology and Institute for Advanced Computational Science)

Location: Humanities 1006

Abstract: Facial emotion understanding aims to recognize, represent, and interpret human affect from facial behavior, and it is important for affective computing, human-computer interaction, digital humans, and mental health assessment. Existing work has represented facial emotion through discrete emotion categories, continuous affective dimensions such as valence and arousal, facial landmarks or geometry, and more recently semantic or language-based emotion descriptors. With the development of deep learning, supervised facial expression recognition has achieved strong performance on benchmark datasets, while self-supervised learning, multimodal large language models, and controllable facial generation have introduced new ways to learn emotion-related facial representations from images, videos, text, audio, and speech. However, many current models still rely heavily on manually annotated emotion labels, third-party perception judgments, or multimodal contextual cues, making it difficult to determine how much emotional information is captured directly from facial behavior itself, especially in naturalistic and clinically meaningful settings. Because these limitations make it challenging to evaluate whether facial representations capture emotionally meaningful behavior in real-world interactions, we propose to study facial emotion understanding through the relationship between facial behavior and language-derived emotional expression in psychiatric interview videos. Using a large dataset of mental health interviews, we extract multiple types of facial representations, including Action Unit features from FaceReader and OpenFace, non-AU facial behavior features from OpenFace, and 3D facial representations from EMOCA and SMIRK. We train segment-aligned transformer regressors to predict language-derived emotional targets, including valence, arousal, and RoBERTa-derived semantic-affective features from transcript segments. The results show that all facial representations achieve meaningful predictive performance across MSE and Pearson correlation metrics in both within-participant and between-participant evaluation settings. This indicates that facial behavior encodes information related to linguistic emotion at multiple levels: moment-to-moment emotional variation within individuals and broader affective differences across individuals. These findings suggest that structured facial representations can support vision-based emotion understanding in naturalistic mental health interviews and motivate future work on self-supervised, personalized, and controllable facial emotion models.

Speaker: Shao-Yu Chang

Zoom: https://stonybrook.zoom.us/j/3679036240?omn=98419305450

The Tiger Team open house will be Monday, September 20 at high noon by Zoom:

 https://stonybrook.zoom.us/j/99577242078?pwd=T3IzekV6MkFZQXBrMXBSRDNNZ1lLdz09

Abstract:
Coarse grained (CG) models alleviate the drawbacks of all-atom simulations. The latter still pose challenges because they are computationally expensive and give access to limited spatiotemporal scales, despite the use of modern high-performance computing clusters. CG models ignore some of the atomistic degrees of freedom, leading to fewer interatomic interactions, hence less computing time. Introducing such models emphasizes the need to properly manage these multiple scales, by carefully deriving potentials and reconstructing conformations from their CG representations, usually with the help of Machine Learning. Following a bottom-up and force matching approach, we train a Physics-Informed Neural Network to extract the CG force field parameters from all-atom simulation data. We verify our approach by applying it to fibrin monomers to study multiple-fibrin polymerization in solution at the microsecond scale, after modifying the force field to incorporate further non-bonded interactions, not present in the training data. Access to these scales will allow us to study the effects of some of the molecules' components. Furthermore, we modify recent solutions in data-driven protein backmapping. Taking advantage of the developments in graph neural networks and variational inference, we introduce an intermediate step in the all-atom reconstruction of a molecule given its CG configuration, in an attempt to more accurately de-coarsen structures whose atom-to-CG-beads ratio is very high. The combined effect of our new forward and inverse coarse graining methodology will enable the in silico study of many phenomena that are highly dynamic and intrinsically multiscale.

Bio:
Georgios Kementzidis is a third year PhD student in the Department of Applied Mathematics and Statistics at Stony Brook University. His advisor is Dr. Yuefan Deng. His research interests lie at the intersection of Computational Science, molecular dynamics (MD) simulations, and Machine Learning (ML) applications to Computational Biophysics. He is particularly interested in coarse-graining and multi-scale simulations.

*Note: this seminar will be held in-person (food provided on a first-come, first serve basis) and online*

Join Zoom Meeting https://stonybrook.zoom.us/j/99510099036?pwd=EyowuLBGvUVLZDBlG6F6chkMICFOZ7.1
Meeting ID: 995 1009 9036
Passcode: 132419

The 2025 Conference on Empirical Methods in Natural Language Processing will be held in Suzhou, China from November 5 to November 9. More information can be found here.

Learn how to streamline your interaction with Gemini and connect it to the entire Google Workspace system.

Learn straightforward tips we can all use within Gemini that interface with the other Google apps such as Gmail, Calendar and Drive.

Register to attend.