Yang Li -

Registered user since Wed 29 Jul 2026

Name:Yang Li

Country:United Kingdom

Affiliation:University of Oxford

Research interests:LLM, Machine Learning, Programming Language, Formal Verification

Contributions

2026

ASE

Author of Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models within the Research Papers-track