machine-programming
diff --git a/‎assignment1.html‎
Lines changed: 1 addition & 1 deletion b/‎assignment1.html‎
Lines changed: 1 addition & 1 deletion
diff --git a/‎assignment3.html‎
Lines changed: 1 addition & 1 deletion b/‎assignment3.html‎
Lines changed: 1 addition & 1 deletion
diff --git a/‎assignments.html‎
Lines changed: 1 addition & 1 deletion b/‎assignments.html‎
Lines changed: 1 addition & 1 deletion
diff --git a/‎img/jhu-dark.png‎
30.9 KB b/‎img/jhu-dark.png‎
30.9 KB
diff --git a/‎img/jhu-white.png‎
32.1 KB b/‎img/jhu-white.png‎
32.1 KB
diff --git a/‎img/machine-programming-accent.png‎
1.14 MB b/‎img/machine-programming-accent.png‎
1.14 MB
diff --git a/‎img/machine-programming-black.png‎
163 KB b/‎img/machine-programming-black.png‎
163 KB
diff --git a/‎img/machine-programming-github-2.jpg‎
253 KB b/‎img/machine-programming-github-2.jpg‎
253 KB
diff --git a/‎img/machine-programming-github.jpg‎
281 KB b/‎img/machine-programming-github.jpg‎
281 KB
diff --git a/‎img/machine-programming-white.png‎
170 KB b/‎img/machine-programming-white.png‎
170 KB
@@ -9,7 +9,7 @@
 </head>
 <body>
     <header>
-        <h1>Assignment 1: Enumerative program synthesis</h1>
+        <h1>Assignment 1: Inductive program synthesis</h1>
         <p>Johns Hopkins University &mdash; Fall 2025</p>
         <p><strong>Instructor:</strong> Ziyang Li &nbsp; | &nbsp; <strong>Email:</strong> <a href="mailto:ziyang@cs.jhu.edu">ziyang@cs.jhu.edu</a></p>
     </header>
 
@@ -9,7 +9,7 @@
 </head>
 <body>
     <header>
-        <h1>Assignment 3: Iterative program synthesis</h1>
+        <h1>Assignment 3: Coding Agents</h1>
         <p>Johns Hopkins University &mdash; Fall 2025</p>
         <p><strong>Instructor:</strong> Ziyang Li &nbsp; | &nbsp; <strong>Email:</strong> <a href="mailto:ziyang@cs.jhu.edu">ziyang@cs.jhu.edu</a></p>
     </header>
 
@@ -49,7 +49,7 @@ <h2>Assignments</h2>
             <ul class="assignments">
                 <li><a href="assignment1.html"><strong>Assignment 1:</strong> Enumerative program synthesis</a> <em>(Due: TBD)</em></li>
                 <li><a href="assignment2.html"><strong>Assignment 2:</strong> Evaluating LLMs on program synthesis</a> <em>(Due: TBD)</em></li>
-                <li><a href="assignment3.html"><strong>Assignment 3:</strong> Iterative program synthesis</a> <em>(Due: TBD)</em></li>
+                <li><a href="assignment3.html"><strong>Assignment 3:</strong> Coding Agents</a> <em>(Due: TBD)</em></li>
             </ul>
         </section>
     </main>