Skip to content

Architecture

Jump to bottom
Yiannis Charalambous edited this page May 19, 2023 · 5 revisions

ESBMC-AI is composed of multiple parts, ESBMC-AI is composed of User Chat Mode and Solution Generation Mode (activated by the fix-code command. Each component of ESBMC-AI interacts with ESBMC and the LLM separately.

The following figure showcases the design of ESBMC-AI, each system interacts separately with the AI model and contains its own message history, system message, and initial message to accomplish its requirements. While some details are omitted, the diagram shows the essential interactions between each system.

ESBMC-AI Overview

TODO: Once the technical paper is published, cite it.

ESBMC-AI made by Yiannis Charalambous

• https://yiannis-charalambous.com • https://github.com/Yiannis128 •

Getting Started

  1. Initial Setup
  2. Configuration
  3. AI Models

Advanced

Documentation

Clone this wiki locally