Shing-Chi Cheung
2 papers · Latest:
Software Engineering
Demystifying the Silence of Correctness Bugs in PyTorch Compiler
This paper systematically studies silent correctness bugs in PyTorch compiler and introduces AlignGuard, a new testing technique that found 23 new bugs.
2604.08720
Software EngineeringCan Large Language Models Model Programs Formally?
Model-Bench evaluates LLMs' ability to formally model Python programs for model checking, revealing current limitations and future research paths.
2604.01851
📬 Weekly AI Paper Digest
Get the top 10 AI/ML arXiv papers from the week — summarized, scored, and delivered to your inbox every Monday.