First Name
Changshu
Last Name
Liu
Dataset Entries from this Author
Large Language Models (LLMs) have been widely used to automate programming tasks. Their capabilities have been evaluated by assessing the quality of generated code through tests or proofs. The extent to which they can reason about code is a critical question revealing important insights about their true capabilities.
- Categories:
