News & Events
Department Events & Announcements

Events

  • Mar
    11

    CS Seminar: Auto-Formalization for Trustworthy Planning (Li "Harry" Zhang)

    Department of Computer Science (CS)

    12:00 PM 3514, Mudd Hall ( formerly Seeley G. Mudd Library)

    EVENT DETAILS

    Wednesday / CS Seminar
    March 11 / 12:00 PM
    Hybrid / Mudd 3514

    Speaker
    Li "Harry" Zhang, Drexel University

    Talk Title
    Auto-Formalization for Trustworthy Planning

    Abstract
    Despite the rapid advancement of AI, most systems in high-stakes applications remain primarily limited to rule-based interactions and cannot reliably plan or execute complex user tasks. Despite recent efforts in using large language models (LLMs) to plan as agents, their hallucinations and lack of verifiability undermine executability and trust, preventing real-world deployment. This proposal advances an alternative paradigm: LLM-as-formalizer. Instead of relying on LLMs to generate plans directly, we use them as a code generator to translate a user’s environment and goal into formal languages (such as PDDL) that can be deterministically solved by off-the-shelf solvers. This neurosymbolic approach combines the flexibility of LLMs with the reliability of symbolic systems, offering a pathway toward trustworthy, generalizable planning. In this talk, I will discuss a few advances in 2025 including a comprehensive evaluation of LLM's auto-formalization ability under a unified methodological framework, and also ongoing work on iterative and multi-agent planning in partially observable environments.

    Biography
    Li "Harry" Zhang is an assistant professor at Drexel University, focusing on Natural Language Processing (NLP) and artificial intelligence (AI). He obtained his PhD degree from the University of Pennsylvania in 2024, advised by Prof. Chris Callison-Burch and chaired by Prof. Dan Roth. He was a year-long intern in 2023 at the Allen Institute for Artificial Intelligence. He obtained his Bachelor's degree from the University of Michigan in 2018, mentored by Prof. Rada Mihalcea and Prof. Dragomir Radev. His research agenda use large language models (LLMs) as auto-formalizers for trustworthy problem-solving, accepted to the AAAI 2026 New Faculty Highlights program. He has published more than 30 peer-reviewed papers in NLP and AI conferences, such as ACL, EMNLP, and NAACL, that have been cited more than 3,000 times. He also consistently serves as Area Chair, Session Chair, and reviewer in those venues. Outside academia, he is a sponsored musician, producer, and content creator having over 60,000 subscribers across streaming platforms.

    Research Interests: NLP, planning, reasoning, code generation

    ---
    Zoom Link
    Panopto Link

    more less

    TIME Wednesday, March 11, 2026 at 12:00 PM - 1:00 PM

    LOCATION 3514, Mudd Hall ( formerly Seeley G. Mudd Library)    map it

    ADD TO CALENDAR

    CONTACT Wynante R Charles    wynante.charles@northwestern.edu EMAIL

    CALENDAR Department of Computer Science (CS)

  • Apr
    21

    Open Classroom Week

    Department of Computer Science (CS)

    All Day

    EVENT DETAILSmore info

    TIME Tuesday, April 21, 2026

    ADD TO CALENDAR

    CONTACT Wynante R Charles    wynante.charles@northwestern.edu EMAIL

    CALENDAR Department of Computer Science (CS)

  • Apr
    22

    Open Classroom Week

    Department of Computer Science (CS)

    All Day

    EVENT DETAILSmore info

    TIME Wednesday, April 22, 2026

    ADD TO CALENDAR

    CONTACT Wynante R Charles    wynante.charles@northwestern.edu EMAIL

    CALENDAR Department of Computer Science (CS)

  • Apr
    22

    CS Seminar: On the Hardness of Learning Regular Expressions (Lev Reyzin)

    Department of Computer Science (CS)

    12:00 PM 3514, Mudd Hall ( formerly Seeley G. Mudd Library)

    EVENT DETAILS

    TIME Wednesday, April 22, 2026 at 12:00 PM - 1:00 PM

    LOCATION 3514, Mudd Hall ( formerly Seeley G. Mudd Library)    map it

    ADD TO CALENDAR

    CONTACT Wynante R Charles    wynante.charles@northwestern.edu EMAIL

    CALENDAR Department of Computer Science (CS)

  • Apr
    23

    Open Classroom Week

    Department of Computer Science (CS)

    All Day

    EVENT DETAILSmore info

    TIME Thursday, April 23, 2026

    ADD TO CALENDAR

    CONTACT Wynante R Charles    wynante.charles@northwestern.edu EMAIL

    CALENDAR Department of Computer Science (CS)

  • Apr
    23

    Sergio Servantez Final Defense April 23: Large Language Models as Legal Reasoners

    Department of Computer Science (CS)

    1:30 PM 3501, Mudd Hall ( formerly Seeley G. Mudd Library)

    EVENT DETAILS

    TIME Thursday, April 23, 2026 at 1:30 PM - 3:30 PM

    LOCATION 3501, Mudd Hall ( formerly Seeley G. Mudd Library)    map it

    ADD TO CALENDAR

    CONTACT Jensen Smith    jensen.smith@northwestern.edu EMAIL

    CALENDAR Department of Computer Science (CS)

  • Apr
    24

    Open Classroom Week

    Department of Computer Science (CS)

    All Day

    EVENT DETAILSmore info

    TIME Friday, April 24, 2026

    ADD TO CALENDAR

    CONTACT Wynante R Charles    wynante.charles@northwestern.edu EMAIL

    CALENDAR Department of Computer Science (CS)

  • Apr
    27

    CS Distinguished Lecture: Tushar Chandra

    Department of Computer Science (CS)

    12:00 PM 3514, Mudd Hall ( formerly Seeley G. Mudd Library)

    EVENT DETAILS

    TIME Monday, April 27, 2026 at 12:00 PM - 1:00 PM

    LOCATION 3514, Mudd Hall ( formerly Seeley G. Mudd Library)    map it

    ADD TO CALENDAR

    CONTACT Wynante R Charles    wynante.charles@northwestern.edu EMAIL

    CALENDAR Department of Computer Science (CS)

  • Apr
    29

    CS Seminar: Have we seen a demonstration of experimental quantum advantage? (Bill Fefferman)

    Department of Computer Science (CS)

    12:00 PM 3514, Mudd Hall ( formerly Seeley G. Mudd Library)

    EVENT DETAILS

    TIME Wednesday, April 29, 2026 at 12:00 PM - 1:00 PM

    LOCATION 3514, Mudd Hall ( formerly Seeley G. Mudd Library)    map it

    ADD TO CALENDAR

    CONTACT Wynante R Charles    wynante.charles@northwestern.edu EMAIL

    CALENDAR Department of Computer Science (CS)

  • Apr
    30

    Bagel Thursday

    Department of Computer Science (CS)

    9:00 AM 3514, Mudd Hall ( formerly Seeley G. Mudd Library)

    EVENT DETAILS

    TIME Thursday, April 30, 2026 at 9:00 AM - 11:00 AM

    LOCATION 3514, Mudd Hall ( formerly Seeley G. Mudd Library)    map it

    ADD TO CALENDAR

    CONTACT Wynante R Charles    wynante.charles@northwestern.edu EMAIL

    CALENDAR Department of Computer Science (CS)

  • May
    4

    CS Seminar: Moon Duchin

    Department of Computer Science (CS)

    12:00 PM 3514, Mudd Hall ( formerly Seeley G. Mudd Library)

    EVENT DETAILS

    TIME Monday, May 4, 2026 at 12:00 PM - 1:00 PM

    LOCATION 3514, Mudd Hall ( formerly Seeley G. Mudd Library)    map it

    ADD TO CALENDAR

    CONTACT Wynante R Charles    wynante.charles@northwestern.edu EMAIL

    CALENDAR Department of Computer Science (CS)

  • May
    5

    Radhika Garg PhD Prospectus May 5: Efficient and Scalable Secure Computation: With Real World Applications

    Department of Computer Science (CS)

    1:00 PM

    EVENT DETAILS

    TIME Tuesday, May 5, 2026 at 1:00 PM - 2:30 PM

    ADD TO CALENDAR

    CONTACT Wynante R Charles    wynante.charles@northwestern.edu EMAIL

    CALENDAR Department of Computer Science (CS)

  • May
    6

    CS Student Seminar

    Department of Computer Science (CS)

    12:00 PM

    EVENT DETAILS

    TIME Wednesday, May 6, 2026 at 12:00 PM - 1:00 PM

    ADD TO CALENDAR

    CONTACT Wynante R Charles    wynante.charles@northwestern.edu EMAIL

    CALENDAR Department of Computer Science (CS)

  • May
    13

    CS Student Seminar

    Department of Computer Science (CS)

    12:00 PM

    EVENT DETAILS

    TIME Wednesday, May 13, 2026 at 12:00 PM - 1:00 PM

    ADD TO CALENDAR

    CONTACT Wynante R Charles    wynante.charles@northwestern.edu EMAIL

    CALENDAR Department of Computer Science (CS)

  • May
    14

    CS Distinguished Lecture: Prabhakar Raghavan, Google

    Department of Computer Science (CS)

    4:00 PM ITW 1350, Ford Motor Company Engineering Design Center

    EVENT DETAILS

    TIME Thursday, May 14, 2026 at 4:00 PM - 5:00 PM

    LOCATION ITW 1350, Ford Motor Company Engineering Design Center    map it

    ADD TO CALENDAR

    CONTACT Wynante R Charles    wynante.charles@northwestern.edu EMAIL

    CALENDAR Department of Computer Science (CS)

  • May
    18

    CS Student Seminar

    Department of Computer Science (CS)

    12:00 PM

    EVENT DETAILS

    TIME Monday, May 18, 2026 at 12:00 PM - 1:00 PM

    ADD TO CALENDAR

    CONTACT Wynante R Charles    wynante.charles@northwestern.edu EMAIL

    CALENDAR Department of Computer Science (CS)

  • May
    20

    CS Distinguished Lecture: Julio Ottino

    Department of Computer Science (CS)

    12:00 PM 3514, Mudd Hall ( formerly Seeley G. Mudd Library)

    EVENT DETAILS

    TIME Wednesday, May 20, 2026 at 12:00 PM - 1:00 PM

    LOCATION 3514, Mudd Hall ( formerly Seeley G. Mudd Library)    map it

    ADD TO CALENDAR

    CONTACT Wynante R Charles    wynante.charles@northwestern.edu EMAIL

    CALENDAR Department of Computer Science (CS)

  • May
    27

    End of Year Department Awards

    Department of Computer Science (CS)

    3:00 PM TGS Commons, 2122 Sheridan Road

    EVENT DETAILS

    TIME Wednesday, May 27, 2026 at 3:00 PM - 5:00 PM

    LOCATION TGS Commons, 2122 Sheridan Road    map it

    ADD TO CALENDAR

    CONTACT Wynante Charles    wynante.charles@northwestern.edu EMAIL

    CALENDAR Department of Computer Science (CS)