Dig deeply into this season’s Shakespeare productions with a special weekend of lectures, discussions and hands-on activities. In partnership with UCSC’s Shakespeare Workshop and The Humanities Institute, this is a wonderful opportunity to learn more about each play during the day and then enjoy the production that same evening. This year, Weekend with Shakespeare will […]
Chain-of-thought (CoT) prompting can improve final-answer performance, but it does not guarantee that intermediate reasoning steps are faithful, valid, or checkable. This proposal studies how formal methods can make natural-language reasoning more reliable by translating CoT rationales into Lean artifacts, checking the resulting theorem statements and proofs, and using compiler feedback to diagnose and repair […]
Learning to be Community-Minded How do children learn to be part of a community, attentive to what’s going on around them and pitching in to help out? Barbara Rogoff builds on her 50+ years researching and participating with a Mayan community in Guatemala to make the case that people everywhere can learn from Indigenous cultural […]