SAGE FAQs

Question 1

What is SAGE and what does it do?

Accepted Answer

SAGE (Solver-Augmented Grounding Engine) grounds AI in mathematical truth by enabling Large Language Models (LLMs) to formulate, solve, and certify mathematical optimization problems, including Linear Programs (LP), Mixed-Integer Programs (MIP), and Quadratic Programs (QP).

Question 2

Can SAGE help diagnose and resolve infeasible problems?

Accepted Answer

Yes, SAGE excels at infeasibility analysis. It can detect Irreducible Infeasible Sets (IIS) and provide ranked suggestions for relaxing constraints, helping decision-makers understand why their goals conflict.

Question 3

How does SAGE present its results?

Accepted Answer

SAGE provides plain-language narration for all results, making complex optimization outputs understandable. It also offers detailed sensitivity analysis, including dual values and reduced costs, and facilitates data input/output via Excel and CSV files.

Question 4

How does SAGE enhance Large Language Models (LLMs)?

Accepted Answer

SAGE introduces a hybrid intelligence architecture where LLMs handle language, and SAGE's solvers provide certified optimal solutions, feasibility checks, and critical infeasibility analysis – capabilities LLMs lack natively due to their probabilistic nature.

Question 5

What types of optimization problems can SAGE solve?

Accepted Answer

SAGE supports a range of problems, including Linear Programs (LP), Mixed-Integer Programs (MIP), Portfolio Optimization (QP), and Workforce Scheduling. It utilizes production-grade open-source solvers like HiGHS and OSQP.

SAGE

SAGE

Key Features

Use Cases

Key Features

Use Cases