Newsroom
Artificial Intelligence
-
How to Generate and Verify LLM-Generated Lean Proofs for Your Mathematical Needs
A hands-on workshop on using large language models and Lean to formalize mathematical claims, audit generated proofs, and determine whether a machine-verified result actually says what you intended. When Lean says a proof is correct, what exactly has been proved? Large language models can translate mathematical arguments into Lean, but a proof that compiles is…
-
FDS Workshop: AI for Social Science Research Methods
Social scientists are increasingly incorporating AI into their designs, data collection, analyses, and workflows. Alongside rapid adoption, important methodological questions remain: What are the principled approaches to validating measurements via AI tools? To what extent are AI-generated observations interchangeable with those from human respondents — and what does that mean for the future of survey…
-
Bridging Biology and AI: Yale and Google’s Collaborative Breakthrough in Single-Cell RNA Analysis
Google and Yale researchers have developed a more “advanced and capable” AI model for analyzing single-cell RNA data using large language models that is expected to “lead to new insights and potential biological discoveries.”
-
FDS Special Seminar: Peiran Jin (Microsoft Research), “Nature Language Model: Deciphering the Language of Nature for Scientific Discovery”
Nature Language Model: Deciphering the Language of Nature for Scientific Discovery [https://arxiv.org/abs/2502.07527] Abstract: Foundation models have revolutionized natural language processing and artificial intelligence, significantly enhancing how machines comprehend and generate human languages. Inspired by the success of these foundation models, researchers have developed foundation models for individual scientific domains, including small molecules, materials, proteins, DNA,…
-
Lu & Tassiulas awarded DOE funding for artificial intelligence research
The Lu Group (Professor Lu Lu, Department of Statistics and Data Science and member of FDS) has been awarded a new $4 Million grant from the US Department of Energy’s Advanced Scientific Computing Research Program (DOE ASCR) as the Lead to develop physics-informed and energy-aware federated learning of neural multi-operator learners as scientific foundation models, in…
-
FDS HNL Colloquium: Boris Power (OpenAI)
Boris Power leads Applied Research at OpenAI which pushes the boundary on solving commercially valuable problems using the latest, cutting edge AI technology, as well as being a technical advisor to the OpenAI startup Fund.