YoVDO

Language Model Agents Enable Semi-Formal Programming - LIVE23

Offered By: ACM SIGPLAN via YouTube

Tags

Language Models Courses Artificial Intelligence Courses Programming Languages Courses Software Engineering Courses Code Generation Courses Program Synthesis Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore the concept of semi-formal programming enabled by language model agents in this conference talk from ACM SIGPLAN. Delve into how large language models (LLMs) can bridge the gap between fully formal and informal programming approaches. Discover how semi-formal programs incorporate both structured data and informal elements, allowing for greater flexibility in capturing user intent. Learn about the potential applications of language model agents (LMAs) in executing semantically meaningful semi-formal information, guiding users towards full formalization, and generating programs based on specifications. Gain insights from speakers Josh Pollock, Arvind Satyanarayan, and Daniel Jackson as they discuss this innovative approach to creating more malleable programming environments.

Syllabus

[LIVE23] Language Model Agents Enable Semi-Formal Programming


Taught by

ACM SIGPLAN

Related Courses

Microsoft Bot Framework and Conversation as a Platform
Microsoft via edX Unlocking the Power of OpenAI for Startups - Microsoft for Startups
Microsoft via YouTube Improving Customer Experiences with Speech to Text and Text to Speech
Microsoft via YouTube Stanford Seminar - Deep Learning in Speech Recognition
Stanford University via YouTube Select Topics in Python: Natural Language Processing
Codio via Coursera