Haoyang Li, Siyu Zhou, Liang Wang and Guodong Long. NOTE: We are preparing our code repository (mainly rewriting comments to improve readability). We hope to release code in April. (24 Jun. 2025) We ...

The ChatGPT-maker is releasing its “best model yet” as it faces new pressures from Google and other AI competitors.

Generative AI has shown its values for many software engineering tasks. Still in its infancy, large language model (LLM)-based proof generation lags behind LLM-based code generation. In this paper, we ...

Abstract: In the twilight of Moore’s law, optimizing program performance has emerged as a central focus in computer architecture research. Yet, high-level source optimization remains challenging due ...

This project is sponsored by Z.ai, supporting us with their GLM CODING PLAN.GLM CODING PLAN is a subscription service designed for AI coding, starting at just $3/month. It provides access to their ...

Abstract: This paper deals with the design of slow-time coded waveforms which jointly optimize the detection probability and the measurements accuracy for track maintenance in the presence of colored ...

Early career associates spend much of their time preparing initial drafts, performing legal research, and conducting factual analysis. Artificial intelligence empowers lawyers to quickly produce good ...