ai-for-software-engineering

Here are 7 public repositories matching this topic...

marcusm117 / Awesome-Autoformalization

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

Fujizzz / Multidimensional-Comparative-Evaluation-of-Human-Written-and-LLM-Generated-Code

Star

Reproducible evaluation of human-written and LLM-generated code across correctness, quality, context, and risk on 3,655 RepoEval tasks.

python benchmark reproducible-research software-engineering code-generation code-evaluation llm repository-level-code-completion ai-for-software-engineering repoeval

Updated Jul 13, 2026
Python

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

Star

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

Debargha08 / autonomous-code-repair-agent

Star

AI-powered software repair agent that analyzes failing tests, generates code fixes, and validates repairs through regression testing.

python code-generation software-testing ai-agents llm langgraph ai-for-software-engineering automated-code-repair

Updated Sep 21, 2026
Python

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

prathamesh-git9 / prathamesh-git9

Star

Research profile: trustworthy AI for software engineering, software security, and reliable agents.

software-security trustworthy-ai ai-for-software-engineering

Updated Aug 25, 2026

neu-se / LLMutantKiller___Artifact

Star

Implementation and replication package for the ISSTA 2026 LLMutantKiller paper

javascript typescript mutation-testing software-testing test-generation large-language-models ai-for-software-engineering research-artifact issta-2026 feedback-directed

Updated Jul 20, 2026
HTML

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