Ph.D. Presentations

Events

Events Search and Views Navigation

Event Views Navigation

Filters

Changing any of the form inputs will cause the list of events to refresh with the filtered results.

Today

  • Abstract digital illustration featuring gears and interconnected technology elements.

    Zhao, Z. (CSE) – TOWARD VERIFIABLE REASONING IN LLMS

    Silicon Valley Campus 3175 Bowers Avenue, Santa Clara, CA, United States
    Hybrid Event

    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 […]