Zhao, Z. (CSE) – TOWARD VERIFIABLE REASONING IN LLMS
Silicon Valley Campus 3175 Bowers Avenue, Santa Clara
Hybrid Event
7 events found.
Week of Events
Monday, August 10, 2026
-
Hybrid EventAugust 10, 2026Zhao, Z. (CSE) – TOWARD VERIFIABLE REASONING IN LLMS
Hybrid Event
Zhao, Z. (CSE) – TOWARD VERIFIABLE REASONING IN LLMS
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 […]
Tuesday, August 11, 2026
No events on this day.
Wednesday, August 12, 2026
No events on this day.
Thursday, August 13, 2026
No events on this day.
Friday, August 14, 2026
-
Hybrid EventAugust 14, 2026Krishnaswamy, L. (CSE) – Network Load Balancing for Geographically Distributed Datacenters
-
Virtual EventAugust 14, 2026Aliamooei Lakeh, S. (ECE) – Optimization and Decision-Support Frameworks for Resilient Power Systems Under Large-Scale Electrification
Hybrid Event
Krishnaswamy, L. (CSE) – Network Load Balancing for Geographically Distributed Datacenters
As datacenters scale up and become more geographically distributed, wide-area network inter-datacenter traffic, which typically consists of data-heavy tasks, has become increasingly prevalent. Some of the noteworthy challenges raised by the coexistence and interaction between inter- and intra-datacenter traffic are the differences in their QoS requirements, link utilization, and round-trip times. To the best of […]
Virtual Event
Aliamooei Lakeh, S. (ECE) – Optimization and Decision-Support Frameworks for Resilient Power Systems Under Large-Scale Electrification
The rapid electrification of transportation is creating new interdependencies between power and transportation systems, particularly during extreme events and disasters. As electric vehicle (EV) adoption increases, evacuation-related charging demand, infrastructure disruptions, and limited access to energy resources introduce challenges that conventional power system planning and operation frameworks were not designed to address. Wildfires provide a […]
Saturday, August 15, 2026
No events on this day.
Sunday, August 16, 2026
No events on this day.