From c5ff13c301eb15283f148f0a7da0c60475adef92 Mon Sep 17 00:00:00 2001 From: Akarshan Date: Fri, 13 Jun 2025 12:10:30 +0530 Subject: [PATCH 1/2] feat: add reasoning_budget parameter to params map --- engine/extensions/local-engine/local_engine.cc | 1 + 1 file changed, 1 insertion(+) diff --git a/engine/extensions/local-engine/local_engine.cc b/engine/extensions/local-engine/local_engine.cc index 2bba11a7b..62f0977ee 100644 --- a/engine/extensions/local-engine/local_engine.cc +++ b/engine/extensions/local-engine/local_engine.cc @@ -34,6 +34,7 @@ const std::unordered_map kParamsMap = { {"dynatemp_exponent", "--dynatemp-exp"}, {"ctx_len", "--ctx-size"}, {"ngl", "-ngl"}, + {"reasoning_budget", "--reasoning-budget"}, }; int GenerateRandomInteger(int min, int max) { From fa6b437f8c04f0fe70ddeeb338a15fb7abb62cd6 Mon Sep 17 00:00:00 2001 From: Akarshan Date: Sat, 14 Jun 2025 10:37:32 +0530 Subject: [PATCH 2/2] feat: add --no-webui flag to model params vector --- engine/extensions/local-engine/local_engine.cc | 2 ++ 1 file changed, 2 insertions(+) diff --git a/engine/extensions/local-engine/local_engine.cc b/engine/extensions/local-engine/local_engine.cc index 1b2a329b6..74bf0d1b8 100644 --- a/engine/extensions/local-engine/local_engine.cc +++ b/engine/extensions/local-engine/local_engine.cc @@ -51,6 +51,8 @@ int GenerateRandomInteger(int min, int max) { std::vector ConvertJsonToParamsVector(const Json::Value& root) { std::vector res; + std::string errors; + res.push_back("--no-webui"); for (const auto& member : root.getMemberNames()) { if (member == "model_path" || member == "llama_model_path") {