Skip to content
Trending storyDeveloping

Johns Hopkins offers Machine Programming course on synthesis, code LLMs and agents

1 article1 sourcesince Oct 14Last article 2h ago ·

Overview

AISummary of 1 article

Johns Hopkins assistant professor Ziyang Li teaches EN.601.727 "Machine Programming" in fall 2026, according to a post by meng shao on X. The course has three modules: classic program synthesis, coding LLMs and agents, and applications such as formal verification and neurosymbolic programming.

Assignments move from building an enumerative synthesizer, to evaluating coding LLMs, to building a coding agent. The final project is a mini-paper in NeurIPS format.

Written by AI from the articles below · updated Oct 14, 3:49 AM ET

Check the sources:

Latest developmentOct 14, 3:31 AM ET
Johns Hopkins launches Machine Programming course covering synthesis, code LLMs, agents

Article timeline

The articles in this story. Times are ET.

Oct 14
  1. meng shaoX
    Johns Hopkins launches Machine Programming course covering synthesis, code LLMs, agents

    AIJohns Hopkins assistant professor Ziyang Li teaches EN.601.727 "Machine Programming" in fall 2026, according to the post. The course is organized in three modules, covering classic program synthesis, coding LLMs and agents, and applications such as formal verification and neurosymbolic programming. Assignments move from an enumerative synthesizer to evaluating coding LLMs and building a coding agent, and the final project is a NeurIPS-format mini-paper.

Heat trend

Not enough continuous observations to show a trend yet.