ai-for-software-engineering

Here are 3 public repositories matching this topic...

Yihao-Xu-777 / llm-code-quality-evaluation

An empirical study evaluating the correctness of LLM-generated Python code for introductory programming tasks.

python unit-testing pytest software-engineering code-generation empirical-study llm prompt-engineering ai-for-software-engineering

Updated Jun 18, 2026
Python

marcusm117 / Awesome-Autoformalization

Star

A selected list of Autoformalization papers, projects, frameworks, libraries, tools, and other resources.

agent machine-learning deep-learning math logic theorem-proving artificial-intelligence proof-assistant formal-methods formalization formal-verification formal-languages formal-mathematics ai4code llm ai4math autoformalization ai-for-software-engineering ai-for-mathematics

Updated Jun 9, 2026

software-development-course-2025 / ai-se-w01-introduction

Star

Functional front-end prototype of a mini e-learning platform built using VibeCoding (AI-assisted development) for the AI for Software Engineering module.

javascript e-learning vibe-coding frontend-prototype ai-for-software-engineering

Updated Nov 15, 2025
JavaScript

Improve this page

Add a description, image, and links to the ai-for-software-engineering topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the ai-for-software-engineering topic, visit your repo's landing page and select "manage topics."

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly