Search Results for author:
Found 2 papers, 1 papers with code
Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions?
The emergent abilities of Large Language Models (LLMs) have the potential to facilitate the translation of natural language intent to programmatically checkable assertions.
Relating Reading, Visualization, and Coding forNew Programmers: A Neuroimaging Study
However, while those tasks are neurally distinct, we find more significant differences between prose and coding than between mental rotation and coding.
Software Engineering
Cannot find the paper you are looking for? You can
Submit a new open access paper.
