2 Repos
Machine learning models designed to automatically generate executable source code from logic specifications.
Distinct from Model Synthesis: The candidates focus on speech, motion, or model-API synthesis; this is specifically for source code synthesis.
Explore 2 awesome GitHub repositories matching artificial intelligence & ml · Program Synthesis Models. Refine with filters or upvote what's useful.
CodeGen is a trained large language model and program synthesis model designed to generate functional source code. It utilizes a neural network architecture to synthesize executable code from natural language descriptions or partial code snippets. The model enables automated program synthesis and AI-assisted coding by predicting and filling in missing sections of code within a program. It transforms natural language descriptions into functional programming logic to automate the creation of boilerplate and logic.
Implements a program synthesis model that generates executable source code based on specified behavior or logic.
Paper2Code ist eine KI-Forschungsautomatisierungssuite und eine Pipeline zur Codegenerierung durch große Sprachmodelle, die darauf ausgelegt ist, Forschungsarbeiten zum maschinellen Lernen in ausführbare Code-Repositories umzuwandeln. Sie fungiert als Tool zur Automatisierung der Übersetzung wissenschaftlicher Literatur und theoretischer Beschreibungen in funktionale Implementierungen des maschinellen Lernens. Das System verwendet eine mehrstufige Generierungspipeline, die Dokument-zu-Plan-Dekomposition und automatisiertes Repository-Scaffolding nutzt, um vollständige Projektstrukturen zu erstellen. Es enthält ein automatisiertes Code-Evaluierungsframework, das eine iterative Kritik-und-Verfeinerungs-Schleife sowie eine referenzbasierte Gold-Evaluierung verwendet, um die Korrektheit des generierten Codes anhand verifizierter Repositories zu bewerten. Das Projekt deckt mehrere Funktionsbereiche ab, einschließlich der Digitalisierung wissenschaftlicher Arbeiten, automatisierter Codesynthese und der Validierung von Code für maschinelles Lernen.
Utilizes program synthesis models to translate mathematical descriptions and architectural diagrams into executable code.