chat.cpp 84 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239124012411242124312441245124612471248124912501251125212531254125512561257125812591260126112621263126412651266126712681269127012711272127312741275127612771278127912801281128212831284128512861287128812891290129112921293129412951296129712981299130013011302130313041305130613071308130913101311131213131314131513161317131813191320132113221323132413251326132713281329133013311332133313341335133613371338133913401341134213431344134513461347134813491350135113521353135413551356135713581359136013611362136313641365136613671368136913701371137213731374137513761377137813791380138113821383138413851386138713881389139013911392139313941395139613971398139914001401140214031404140514061407140814091410141114121413141414151416141714181419142014211422142314241425142614271428142914301431143214331434143514361437143814391440144114421443144414451446144714481449145014511452145314541455145614571458145914601461146214631464146514661467146814691470147114721473147414751476147714781479148014811482148314841485148614871488148914901491149214931494149514961497149814991500150115021503150415051506150715081509151015111512151315141515151615171518151915201521152215231524152515261527152815291530153115321533153415351536153715381539154015411542154315441545154615471548154915501551155215531554155515561557155815591560156115621563156415651566156715681569157015711572157315741575157615771578157915801581158215831584158515861587158815891590159115921593159415951596159715981599160016011602160316041605160616071608160916101611161216131614161516161617161816191620162116221623162416251626162716281629163016311632163316341635163616371638163916401641164216431644164516461647164816491650165116521653165416551656165716581659166016611662166316641665166616671668166916701671167216731674167516761677167816791680168116821683168416851686168716881689169016911692169316941695169616971698169917001701170217031704170517061707170817091710171117121713171417151716171717181719172017211722172317241725172617271728172917301731173217331734173517361737173817391740174117421743174417451746174717481749175017511752175317541755175617571758175917601761176217631764176517661767176817691770177117721773177417751776177717781779178017811782178317841785178617871788178917901791179217931794179517961797179817991800180118021803180418051806180718081809181018111812181318141815181618171818181918201821182218231824182518261827182818291830183118321833183418351836183718381839184018411842184318441845184618471848184918501851185218531854185518561857185818591860186118621863186418651866186718681869187018711872187318741875187618771878187918801881188218831884188518861887188818891890189118921893189418951896189718981899190019011902190319041905190619071908190919101911191219131914191519161917191819191920192119221923192419251926192719281929193019311932193319341935193619371938193919401941194219431944194519461947194819491950195119521953195419551956195719581959196019611962196319641965
  1. #include "chat.h"
  2. #include "chat-parser.h"
  3. #include "common.h"
  4. #include "json-partial.h"
  5. #include "json-schema-to-grammar.h"
  6. #include "log.h"
  7. #include "regex-partial.h"
  8. #include <minja/chat-template.hpp>
  9. #include <minja/minja.hpp>
  10. #include <cstdio>
  11. #include <exception>
  12. #include <iostream>
  13. #include <optional>
  14. #include <stdexcept>
  15. #include <string>
  16. #include <vector>
  17. using json = nlohmann::ordered_json;
  18. static std::string format_time(const std::chrono::system_clock::time_point & now, const std::string & format) {
  19. auto time = std::chrono::system_clock::to_time_t(now);
  20. auto local_time = *std::localtime(&time);
  21. std::ostringstream ss;
  22. ss << std::put_time(&local_time, format.c_str());
  23. auto res = ss.str();
  24. return res;
  25. }
  26. static std::string string_diff(const std::string & last, const std::string & current) {
  27. if (last.empty()) {
  28. return current;
  29. }
  30. if (!string_starts_with(current, last)) {
  31. if (string_starts_with(last, current)) {
  32. // This happens if the last generation ended on a partial stop word (not erased),
  33. // and the current ended on a stop word (erased).
  34. return "";
  35. }
  36. throw std::runtime_error("Invalid diff: '" + last + "' not found at start of '" + current + "'");
  37. }
  38. return current.substr(last.size());
  39. }
  40. static bool has_content_or_tool_calls(const common_chat_msg & msg) {
  41. return !msg.content.empty() || !msg.tool_calls.empty();
  42. }
  43. template <>
  44. json common_chat_msg::to_json_oaicompat() const
  45. {
  46. json message {
  47. {"role", "assistant"},
  48. };
  49. if (!reasoning_content.empty()) {
  50. message["reasoning_content"] = reasoning_content;
  51. }
  52. if (content.empty() && !tool_calls.empty()) {
  53. message["content"] = json();
  54. } else {
  55. message["content"] = content;
  56. }
  57. if (!tool_calls.empty()) {
  58. auto arr = json::array();
  59. for (const auto & tc : tool_calls) {
  60. arr.push_back({
  61. {"type", "function"},
  62. {"function", {
  63. {"name", tc.name},
  64. {"arguments", tc.arguments},
  65. }},
  66. {"id", tc.id},
  67. // // Some templates generate and require an id (sometimes in a very specific format, e.g. Mistral Nemo).
  68. // // We only generate a random id for the ones that don't generate one by themselves
  69. // // (they also won't get to see it as their template likely doesn't use it, so it's all for the client)
  70. // {"id", tc.id.empty() ? gen_tool_call_id() : tc.id},
  71. });
  72. }
  73. message["tool_calls"] = arr;
  74. }
  75. return message;
  76. }
  77. std::vector<common_chat_msg_diff> common_chat_msg_diff::compute_diffs(const common_chat_msg & previous_msg, const common_chat_msg & new_msg) {
  78. std::vector<common_chat_msg_diff> diffs;
  79. if (previous_msg.reasoning_content != new_msg.reasoning_content) {
  80. auto & diff = diffs.emplace_back();
  81. diff.reasoning_content_delta = string_diff(previous_msg.reasoning_content, new_msg.reasoning_content);
  82. }
  83. if (previous_msg.content != new_msg.content) {
  84. auto & diff = diffs.emplace_back();
  85. diff.content_delta = string_diff(previous_msg.content, new_msg.content);
  86. }
  87. if (new_msg.tool_calls.size() < previous_msg.tool_calls.size()) {
  88. throw std::runtime_error("Invalid diff: now finding less tool calls!");
  89. }
  90. if (!previous_msg.tool_calls.empty()) {
  91. auto idx = previous_msg.tool_calls.size() - 1;
  92. const auto & pref = previous_msg.tool_calls[idx];
  93. const auto & newf = new_msg.tool_calls[idx];
  94. if (pref.name != newf.name) {
  95. throw std::runtime_error("Invalid diff: tool call mismatch!");
  96. }
  97. auto args_diff = string_diff(pref.arguments, newf.arguments);
  98. if (!args_diff.empty() || pref.id != newf.id) {
  99. auto & diff = diffs.emplace_back();
  100. diff.tool_call_index = idx;
  101. if (pref.id != newf.id) {
  102. diff.tool_call_delta.id = newf.id;
  103. diff.tool_call_delta.name = newf.name;
  104. }
  105. diff.tool_call_delta.arguments = args_diff;
  106. }
  107. }
  108. for (size_t idx = previous_msg.tool_calls.size(); idx < new_msg.tool_calls.size(); ++idx) {
  109. auto & diff = diffs.emplace_back();
  110. diff.tool_call_index = idx;
  111. diff.tool_call_delta = new_msg.tool_calls[idx];
  112. }
  113. return diffs;
  114. }
  115. typedef minja::chat_template common_chat_template;
  116. struct common_chat_templates {
  117. bool add_bos;
  118. bool add_eos;
  119. bool has_explicit_template; // Model had builtin template or template overridde was specified.
  120. std::unique_ptr<common_chat_template> template_default; // always set (defaults to chatml)
  121. std::unique_ptr<common_chat_template> template_tool_use;
  122. };
  123. struct templates_params {
  124. json messages;
  125. json tools;
  126. common_chat_tool_choice tool_choice;
  127. json json_schema;
  128. bool parallel_tool_calls;
  129. bool stream;
  130. std::string grammar;
  131. bool add_generation_prompt = true;
  132. bool enable_thinking = true;
  133. std::chrono::system_clock::time_point now = std::chrono::system_clock::now();
  134. json extra_context;
  135. bool add_bos;
  136. bool add_eos;
  137. };
  138. common_chat_tool_choice common_chat_tool_choice_parse_oaicompat(const std::string & tool_choice) {
  139. if (tool_choice == "auto") {
  140. return COMMON_CHAT_TOOL_CHOICE_AUTO;
  141. }
  142. if (tool_choice == "none") {
  143. return COMMON_CHAT_TOOL_CHOICE_NONE;
  144. }
  145. if (tool_choice == "required") {
  146. return COMMON_CHAT_TOOL_CHOICE_REQUIRED;
  147. }
  148. throw std::runtime_error("Invalid tool_choice: " + tool_choice);
  149. }
  150. template <>
  151. std::vector<common_chat_msg> common_chat_msgs_parse_oaicompat(const json & messages) {
  152. std::vector<common_chat_msg> msgs;
  153. try {
  154. if (!messages.is_array()) {
  155. throw std::runtime_error("Expected 'messages' to be an array, got " + messages.dump());
  156. }
  157. for (const auto & message : messages) {
  158. if (!message.is_object()) {
  159. throw std::runtime_error("Expected 'message' to be an object, got " + message.dump());
  160. }
  161. common_chat_msg msg;
  162. if (!message.contains("role")) {
  163. throw std::runtime_error("Missing 'role' in message: " + message.dump());
  164. }
  165. msg.role = message.at("role");
  166. auto has_content = message.contains("content");
  167. auto has_tool_calls = message.contains("tool_calls");
  168. if (has_content) {
  169. const auto & content = message.at("content");
  170. if (content.is_string()) {
  171. msg.content = content;
  172. } else if (content.is_array()) {
  173. for (const auto & part : content) {
  174. if (!part.contains("type")) {
  175. throw std::runtime_error("Missing content part type: " + part.dump());
  176. }
  177. const auto & type = part.at("type");
  178. if (type != "text") {
  179. throw std::runtime_error("Unsupported content part type: " + type.dump());
  180. }
  181. common_chat_msg_content_part msg_part;
  182. msg_part.type = type;
  183. msg_part.text = part.at("text");
  184. msg.content_parts.push_back(msg_part);
  185. }
  186. } else if (!content.is_null()) {
  187. throw std::runtime_error("Invalid 'content' type: expected string or array, got " + content.dump() + " (ref: https://github.com/ggml-org/llama.cpp/issues/8367)");
  188. }
  189. }
  190. if (has_tool_calls) {
  191. for (const auto & tool_call : message.at("tool_calls")) {
  192. common_chat_tool_call tc;
  193. if (!tool_call.contains("type")) {
  194. throw std::runtime_error("Missing tool call type: " + tool_call.dump());
  195. }
  196. const auto & type = tool_call.at("type");
  197. if (type != "function") {
  198. throw std::runtime_error("Unsupported tool call type: " + tool_call.dump());
  199. }
  200. if (!tool_call.contains("function")) {
  201. throw std::runtime_error("Missing tool call function: " + tool_call.dump());
  202. }
  203. const auto & fc = tool_call.at("function");
  204. if (!fc.contains("name")) {
  205. throw std::runtime_error("Missing tool call name: " + tool_call.dump());
  206. }
  207. tc.name = fc.at("name");
  208. tc.arguments = fc.at("arguments");
  209. if (tool_call.contains("id")) {
  210. tc.id = tool_call.at("id");
  211. }
  212. msg.tool_calls.push_back(tc);
  213. }
  214. }
  215. if (!has_content && !has_tool_calls) {
  216. throw std::runtime_error("Expected 'content' or 'tool_calls' (ref: https://github.com/ggml-org/llama.cpp/issues/8367 & https://github.com/ggml-org/llama.cpp/issues/12279)");
  217. }
  218. if (message.contains("reasoning_content")) {
  219. msg.reasoning_content = message.at("reasoning_content");
  220. }
  221. if (message.contains("name")) {
  222. msg.tool_name = message.at("name");
  223. }
  224. if (message.contains("tool_call_id")) {
  225. msg.tool_call_id = message.at("tool_call_id");
  226. }
  227. msgs.push_back(msg);
  228. }
  229. } catch (const std::exception & e) {
  230. // @ngxson : disable otherwise it's bloating the API response
  231. // printf("%s\n", std::string("; messages = ") + messages.dump(2));
  232. throw std::runtime_error("Failed to parse messages: " + std::string(e.what()));
  233. }
  234. return msgs;
  235. }
  236. template <>
  237. json common_chat_msgs_to_json_oaicompat(const std::vector<common_chat_msg> & msgs, bool concat_typed_text) {
  238. json messages = json::array();
  239. for (const auto & msg : msgs) {
  240. if (!msg.content.empty() && !msg.content_parts.empty()) {
  241. throw std::runtime_error("Cannot specify both content and content_parts");
  242. }
  243. json jmsg {
  244. {"role", msg.role},
  245. };
  246. if (!msg.content.empty()) {
  247. jmsg["content"] = msg.content;
  248. } else if (!msg.content_parts.empty()) {
  249. if (concat_typed_text) {
  250. std::string text;
  251. for (const auto & part : msg.content_parts) {
  252. if (part.type != "text") {
  253. LOG_WRN("Ignoring content part type: %s\n", part.type.c_str());
  254. continue;
  255. }
  256. if (!text.empty()) {
  257. text += '\n';
  258. }
  259. text += part.text;
  260. }
  261. jmsg["content"] = text;
  262. } else {
  263. auto & parts = jmsg["content"] = json::array();
  264. for (const auto & part : msg.content_parts) {
  265. parts.push_back({
  266. {"type", part.type},
  267. {"text", part.text},
  268. });
  269. }
  270. }
  271. } else {
  272. jmsg["content"] = json(); // null
  273. }
  274. if (!msg.reasoning_content.empty()) {
  275. jmsg["reasoning_content"] = msg.reasoning_content;
  276. }
  277. if (!msg.tool_name.empty()) {
  278. jmsg["name"] = msg.tool_name;
  279. }
  280. if (!msg.tool_call_id.empty()) {
  281. jmsg["tool_call_id"] = msg.tool_call_id;
  282. }
  283. if (!msg.tool_calls.empty()) {
  284. auto & tool_calls = jmsg["tool_calls"] = json::array();
  285. for (const auto & tool_call : msg.tool_calls) {
  286. json tc {
  287. {"type", "function"},
  288. {"function", {
  289. {"name", tool_call.name},
  290. {"arguments", tool_call.arguments},
  291. }},
  292. };
  293. if (!tool_call.id.empty()) {
  294. tc["id"] = tool_call.id;
  295. }
  296. tool_calls.push_back(tc);
  297. }
  298. }
  299. messages.push_back(jmsg);
  300. }
  301. return messages;
  302. }
  303. template <>
  304. std::vector<common_chat_msg> common_chat_msgs_parse_oaicompat(const std::string & messages) {
  305. return common_chat_msgs_parse_oaicompat(json::parse(messages));
  306. }
  307. template <>
  308. std::vector<common_chat_tool> common_chat_tools_parse_oaicompat(const json & tools) {
  309. std::vector<common_chat_tool> result;
  310. try {
  311. if (!tools.is_null()) {
  312. if (!tools.is_array()) {
  313. throw std::runtime_error("Expected 'tools' to be an array, got " + tools.dump());
  314. }
  315. for (const auto & tool : tools) {
  316. if (!tool.contains("type")) {
  317. throw std::runtime_error("Missing tool type: " + tool.dump());
  318. }
  319. const auto & type = tool.at("type");
  320. if (!type.is_string() || type != "function") {
  321. throw std::runtime_error("Unsupported tool type: " + tool.dump());
  322. }
  323. if (!tool.contains("function")) {
  324. throw std::runtime_error("Missing tool function: " + tool.dump());
  325. }
  326. const auto & function = tool.at("function");
  327. result.push_back({
  328. /* .name = */ function.at("name"),
  329. /* .description = */ function.at("description"),
  330. /* .parameters = */ function.at("parameters").dump(),
  331. });
  332. }
  333. }
  334. } catch (const std::exception & e) {
  335. throw std::runtime_error("Failed to parse tools: " + std::string(e.what()) + "; tools = " + tools.dump(2));
  336. }
  337. return result;
  338. }
  339. template <>
  340. std::vector<common_chat_tool> common_chat_tools_parse_oaicompat(const std::string & tools) {
  341. return common_chat_tools_parse_oaicompat(json::parse(tools));
  342. }
  343. template <>
  344. json common_chat_tools_to_json_oaicompat(const std::vector<common_chat_tool> & tools) {
  345. if (tools.empty()) {
  346. return json();
  347. }
  348. auto result = json::array();
  349. for (const auto & tool : tools) {
  350. result.push_back({
  351. {"type", "function"},
  352. {"function", {
  353. {"name", tool.name},
  354. {"description", tool.description},
  355. {"parameters", json::parse(tool.parameters)},
  356. }},
  357. });
  358. }
  359. return result;
  360. }
  361. template <> json common_chat_msg_diff_to_json_oaicompat(const common_chat_msg_diff & diff) {
  362. json delta = json::object();
  363. if (!diff.reasoning_content_delta.empty()) {
  364. delta["reasoning_content"] = diff.reasoning_content_delta;
  365. }
  366. if (!diff.content_delta.empty()) {
  367. delta["content"] = diff.content_delta;
  368. }
  369. if (diff.tool_call_index != std::string::npos) {
  370. json tool_call;
  371. tool_call["index"] = diff.tool_call_index;
  372. if (!diff.tool_call_delta.id.empty()) {
  373. tool_call["id"] = diff.tool_call_delta.id;
  374. tool_call["type"] = "function";
  375. }
  376. json function = json::object();
  377. if (!diff.tool_call_delta.name.empty()) {
  378. function["name"] = diff.tool_call_delta.name;
  379. }
  380. function["arguments"] = diff.tool_call_delta.arguments;
  381. tool_call["function"] = function;
  382. delta["tool_calls"] = json::array({tool_call});
  383. }
  384. return delta;
  385. }
  386. bool common_chat_verify_template(const std::string & tmpl, bool use_jinja) {
  387. if (use_jinja) {
  388. try {
  389. common_chat_msg msg;
  390. msg.role = "user";
  391. msg.content = "test";
  392. auto tmpls = common_chat_templates_init(/* model= */ nullptr, tmpl);
  393. common_chat_templates_inputs inputs;
  394. inputs.messages = {msg};
  395. common_chat_templates_apply(tmpls.get(), inputs);
  396. return true;
  397. } catch (const std::exception & e) {
  398. LOG_ERR("%s: failed to apply template: %s\n", __func__, e.what());
  399. return false;
  400. }
  401. }
  402. llama_chat_message chat[] = {{"user", "test"}};
  403. const int res = llama_chat_apply_template(tmpl.c_str(), chat, 1, true, nullptr, 0);
  404. return res >= 0;
  405. }
  406. std::string common_chat_format_single(
  407. const struct common_chat_templates * tmpls,
  408. const std::vector<common_chat_msg> & past_msg,
  409. const common_chat_msg & new_msg,
  410. bool add_ass,
  411. bool use_jinja) {
  412. common_chat_templates_inputs inputs;
  413. inputs.use_jinja = use_jinja;
  414. inputs.add_bos = tmpls->add_bos;
  415. inputs.add_eos = tmpls->add_eos;
  416. std::string fmt_past_msg;
  417. if (!past_msg.empty()) {
  418. inputs.messages = past_msg;
  419. inputs.add_generation_prompt = false;
  420. fmt_past_msg = common_chat_templates_apply(tmpls, inputs).prompt;
  421. }
  422. std::ostringstream ss;
  423. // if the past_msg ends with a newline, we must preserve it in the formatted version
  424. if (add_ass && !fmt_past_msg.empty() && fmt_past_msg.back() == '\n') {
  425. ss << "\n";
  426. };
  427. // format chat with new_msg
  428. inputs.messages.push_back(new_msg);
  429. inputs.add_generation_prompt = add_ass;
  430. auto fmt_new_msg = common_chat_templates_apply(tmpls, inputs).prompt;
  431. // get the diff part
  432. ss << fmt_new_msg.substr(fmt_past_msg.size(), fmt_new_msg.size() - fmt_past_msg.size());
  433. return ss.str();
  434. }
  435. std::string common_chat_format_example(const struct common_chat_templates * tmpls, bool use_jinja) {
  436. common_chat_templates_inputs inputs;
  437. inputs.use_jinja = use_jinja;
  438. inputs.add_bos = tmpls->add_bos;
  439. inputs.add_eos = tmpls->add_eos;
  440. auto add_simple_msg = [&](auto role, auto content) {
  441. common_chat_msg msg;
  442. msg.role = role;
  443. msg.content = content;
  444. inputs.messages.push_back(msg);
  445. };
  446. add_simple_msg("system", "You are a helpful assistant");
  447. add_simple_msg("user", "Hello");
  448. add_simple_msg("assistant", "Hi there");
  449. add_simple_msg("user", "How are you?");
  450. return common_chat_templates_apply(tmpls, inputs).prompt;
  451. }
  452. #define CHATML_TEMPLATE_SRC \
  453. "{%- for message in messages -%}\n" \
  454. " {{- '<|im_start|>' + message.role + '\n' + message.content + '<|im_end|>\n' -}}\n" \
  455. "{%- endfor -%}\n" \
  456. "{%- if add_generation_prompt -%}\n" \
  457. " {{- '<|im_start|>assistant\n' -}}\n" \
  458. "{%- endif -%}"
  459. void common_chat_templates_free(struct common_chat_templates * tmpls) {
  460. delete tmpls;
  461. }
  462. bool common_chat_templates_was_explicit(const struct common_chat_templates * tmpls) {
  463. return tmpls->has_explicit_template;
  464. }
  465. const char * common_chat_templates_source(const struct common_chat_templates * tmpls, const char * variant) {
  466. if (variant != nullptr) {
  467. if (strcmp(variant, "tool_use") == 0) {
  468. if (tmpls->template_tool_use) {
  469. return tmpls->template_tool_use->source().c_str();
  470. }
  471. return nullptr;
  472. } else {
  473. LOG_DBG("%s: unknown template variant: %s\n", __func__, variant);
  474. }
  475. }
  476. return tmpls->template_default->source().c_str();
  477. }
  478. common_chat_templates_ptr common_chat_templates_init(
  479. const struct llama_model * model,
  480. const std::string & chat_template_override,
  481. const std::string & bos_token_override,
  482. const std::string & eos_token_override)
  483. {
  484. std::string default_template_src;
  485. std::string template_tool_use_src;
  486. bool has_explicit_template = !chat_template_override.empty();
  487. if (chat_template_override.empty()) {
  488. GGML_ASSERT(model != nullptr);
  489. const auto * str = llama_model_chat_template(model, /* name */ nullptr);
  490. if (str) {
  491. default_template_src = str;
  492. has_explicit_template = true;
  493. }
  494. str = llama_model_chat_template(model, /* name */ "tool_use");
  495. if (str) {
  496. template_tool_use_src = str;
  497. has_explicit_template = true;
  498. }
  499. } else {
  500. default_template_src = chat_template_override;
  501. }
  502. if (default_template_src.empty() || default_template_src == "chatml") {
  503. if (!template_tool_use_src.empty()) {
  504. default_template_src = template_tool_use_src;
  505. } else {
  506. default_template_src = CHATML_TEMPLATE_SRC;
  507. }
  508. }
  509. std::string token_bos = bos_token_override;
  510. std::string token_eos = eos_token_override;
  511. bool add_bos = false;
  512. bool add_eos = false;
  513. if (model) {
  514. const auto * vocab = llama_model_get_vocab(model);
  515. const auto get_token = [&](llama_token token, const char * name, const char * jinja_variable_name) {
  516. if (token == LLAMA_TOKEN_NULL) {
  517. if (default_template_src.find(jinja_variable_name) != std::string::npos
  518. || template_tool_use_src.find(jinja_variable_name) != std::string::npos) {
  519. LOG_WRN("common_chat_templates_init: warning: vocab does not have a %s token, jinja template won't work as intended.\n", name);
  520. }
  521. return std::string();
  522. }
  523. return common_token_to_piece(vocab, token, true);
  524. };
  525. token_bos = get_token(llama_vocab_bos(vocab), "BOS", "bos_token");
  526. token_eos = get_token(llama_vocab_eos(vocab), "EOS", "eos_token");
  527. add_bos = llama_vocab_get_add_bos(vocab);
  528. add_eos = llama_vocab_get_add_eos(vocab);
  529. }
  530. common_chat_templates_ptr tmpls(new common_chat_templates());
  531. tmpls->has_explicit_template = has_explicit_template;
  532. tmpls->add_bos = add_bos;
  533. tmpls->add_eos = add_eos;
  534. try {
  535. tmpls->template_default = std::make_unique<minja::chat_template>(default_template_src, token_bos, token_eos);
  536. } catch (const std::exception & e) {
  537. LOG_ERR("%s: failed to parse chat template (defaulting to chatml): %s \n", __func__, e.what());
  538. tmpls->template_default = std::make_unique<minja::chat_template>(CHATML_TEMPLATE_SRC, token_bos, token_eos);
  539. }
  540. if (!template_tool_use_src.empty()) {
  541. try {
  542. tmpls->template_tool_use = std::make_unique<minja::chat_template>(template_tool_use_src, token_bos, token_eos);
  543. } catch (const std::exception & e) {
  544. LOG_ERR("%s: failed to parse tool use chat template (ignoring it): %s\n", __func__, e.what());
  545. }
  546. }
  547. return tmpls;
  548. }
  549. const char * common_chat_format_name(common_chat_format format) {
  550. switch (format) {
  551. case COMMON_CHAT_FORMAT_CONTENT_ONLY: return "Content-only";
  552. case COMMON_CHAT_FORMAT_GENERIC: return "Generic";
  553. case COMMON_CHAT_FORMAT_MISTRAL_NEMO: return "Mistral Nemo";
  554. case COMMON_CHAT_FORMAT_LLAMA_3_X: return "Llama 3.x";
  555. case COMMON_CHAT_FORMAT_LLAMA_3_X_WITH_BUILTIN_TOOLS: return "Llama 3.x with builtin tools";
  556. case COMMON_CHAT_FORMAT_DEEPSEEK_R1: return "DeepSeek R1";
  557. case COMMON_CHAT_FORMAT_FIREFUNCTION_V2: return "FireFunction v2";
  558. case COMMON_CHAT_FORMAT_FUNCTIONARY_V3_2: return "Functionary v3.2";
  559. case COMMON_CHAT_FORMAT_FUNCTIONARY_V3_1_LLAMA_3_1: return "Functionary v3.1 Llama 3.1";
  560. case COMMON_CHAT_FORMAT_HERMES_2_PRO: return "Hermes 2 Pro";
  561. case COMMON_CHAT_FORMAT_COMMAND_R7B: return "Command R7B";
  562. default:
  563. throw std::runtime_error("Unknown chat format");
  564. }
  565. }
  566. const char * common_reasoning_format_name(common_reasoning_format format) {
  567. switch (format) {
  568. case COMMON_REASONING_FORMAT_NONE: return "none";
  569. case COMMON_REASONING_FORMAT_DEEPSEEK: return "deepseek";
  570. case COMMON_REASONING_FORMAT_DEEPSEEK_LEGACY: return "deepseek-legacy";
  571. default:
  572. throw std::runtime_error("Unknown reasoning format");
  573. }
  574. }
  575. static std::string wrap_code_as_arguments(common_chat_msg_parser & builder, const std::string & code) {
  576. std::string arguments;
  577. if (builder.is_partial()) {
  578. arguments = (json {{"code", code + builder.healing_marker()}}).dump();
  579. auto idx = arguments.find(builder.healing_marker());
  580. if (idx != std::string::npos) {
  581. arguments.resize(idx);
  582. }
  583. } else {
  584. arguments = (json {{"code", code}}).dump();
  585. }
  586. return arguments;
  587. }
  588. /**
  589. * Takes a prefix regex that must have 1 group to capture the function name, a closing suffix, and expects json parameters in between.
  590. * Aggregates the prefix, suffix and in-between text into the content.
  591. */
  592. static void parse_json_tool_calls(
  593. common_chat_msg_parser & builder,
  594. const std::optional<common_regex> & block_open,
  595. const std::optional<common_regex> & function_regex_start_only,
  596. const std::optional<common_regex> & function_regex,
  597. const common_regex & close_regex,
  598. const std::optional<common_regex> & block_close,
  599. bool allow_raw_python = false,
  600. const std::function<std::string(const common_chat_msg_parser::find_regex_result & fres)> & get_function_name = nullptr) {
  601. auto parse_tool_calls = [&]() {
  602. size_t from = std::string::npos;
  603. auto first = true;
  604. while (true) {
  605. auto res = function_regex_start_only && first
  606. ? builder.try_consume_regex(*function_regex_start_only)
  607. : function_regex
  608. ? builder.try_find_regex(*function_regex, from)
  609. : std::nullopt;
  610. if (res) {
  611. std::string name;
  612. if (get_function_name) {
  613. name = get_function_name(*res);
  614. } else {
  615. GGML_ASSERT(res->groups.size() == 2);
  616. name = builder.str(res->groups[1]);
  617. }
  618. first = false;
  619. if (name.empty()) {
  620. // get_function_name signalled us that we should skip this match and treat it as content.
  621. from = res->groups[0].begin + 1;
  622. continue;
  623. }
  624. from = std::string::npos;
  625. auto maybe_raw_python = name == "python" && allow_raw_python;
  626. if (builder.input()[builder.pos()] == '{' || !maybe_raw_python) {
  627. if (auto arguments = builder.try_consume_json_with_dumped_args({{}})) {
  628. if (!builder.add_tool_call(name, "", arguments->value) || arguments->is_partial) {
  629. throw common_chat_msg_partial_exception("incomplete tool call");
  630. }
  631. builder.consume_regex(close_regex);
  632. }
  633. continue;
  634. }
  635. if (maybe_raw_python) {
  636. auto arguments = wrap_code_as_arguments(builder, builder.consume_rest());
  637. if (!builder.add_tool_call(name, "", arguments)) {
  638. throw common_chat_msg_partial_exception("incomplete tool call");
  639. }
  640. return;
  641. }
  642. throw common_chat_msg_partial_exception("incomplete tool call");
  643. }
  644. break;
  645. }
  646. if (block_close) {
  647. builder.consume_regex(*block_close);
  648. }
  649. builder.consume_spaces();
  650. builder.add_content(builder.consume_rest());
  651. };
  652. if (block_open) {
  653. if (auto res = builder.try_find_regex(*block_open)) {
  654. parse_tool_calls();
  655. } else {
  656. builder.add_content(builder.consume_rest());
  657. }
  658. } else {
  659. parse_tool_calls();
  660. }
  661. }
  662. static void parse_prefixed_json_tool_call_array(common_chat_msg_parser & builder, const common_regex & prefix, size_t rstrip_prefix = 0) {
  663. static const std::vector<std::vector<std::string>> args_paths = {{"arguments"}};
  664. if (auto res = builder.try_find_regex(prefix)) {
  665. builder.move_back(rstrip_prefix);
  666. auto tool_calls = builder.consume_json_with_dumped_args(args_paths);
  667. if (!builder.add_tool_calls(tool_calls.value) || tool_calls.is_partial) {
  668. throw common_chat_msg_partial_exception("incomplete tool call array");
  669. }
  670. } else {
  671. builder.add_content(builder.consume_rest());
  672. }
  673. }
  674. static void foreach_function(const json & tools, const std::function<void(const json &)> & fn) {
  675. for (const auto & tool : tools) {
  676. if (!tool.contains("type") || tool.at("type") != "function" || !tool.contains("function")) {
  677. LOG_INF("Skipping tool without function: %s", tool.dump(2).c_str());
  678. continue;
  679. }
  680. fn(tool);
  681. }
  682. }
  683. static std::string apply(
  684. const common_chat_template & tmpl,
  685. const struct templates_params & inputs,
  686. const std::optional<json> & messages_override = std::nullopt,
  687. const std::optional<json> & tools_override = std::nullopt,
  688. const std::optional<json> & additional_context = std::nullopt)
  689. {
  690. minja::chat_template_inputs tmpl_inputs;
  691. tmpl_inputs.messages = messages_override ? *messages_override : inputs.messages;
  692. if (tools_override) {
  693. tmpl_inputs.tools = *tools_override;
  694. } else {
  695. tmpl_inputs.tools = inputs.tools.empty() ? json() : inputs.tools;
  696. }
  697. tmpl_inputs.add_generation_prompt = inputs.add_generation_prompt;
  698. tmpl_inputs.extra_context = inputs.extra_context;
  699. if (additional_context) {
  700. tmpl_inputs.extra_context.merge_patch(*additional_context);
  701. }
  702. // TODO: add flag to control date/time, if only for testing purposes.
  703. // tmpl_inputs.now = std::chrono::system_clock::now();
  704. minja::chat_template_options tmpl_opts;
  705. // To avoid double BOS / EOS tokens, we're manually removing begining / trailing tokens
  706. // instead of using `chat_template_options.use_bos_token = false`, since these tokens
  707. // may be needed inside the template / between messages too.
  708. auto result = tmpl.apply(tmpl_inputs, tmpl_opts);
  709. if (inputs.add_bos && string_starts_with(result, tmpl.bos_token())) {
  710. result = result.substr(tmpl.bos_token().size());
  711. }
  712. if (inputs.add_eos && string_ends_with(result, tmpl.eos_token())) {
  713. result = result.substr(0, result.size() - tmpl.eos_token().size());
  714. }
  715. return result;
  716. }
  717. static common_chat_params common_chat_params_init_generic(const common_chat_template & tmpl, const struct templates_params & inputs) {
  718. common_chat_params data;
  719. auto tool_call_schemas = json::array();
  720. foreach_function(inputs.tools, [&](const json & tool) {
  721. const auto & function = tool.at("function");
  722. auto tool_schema = json {
  723. {"type", "object"},
  724. {"properties", {
  725. {"name", {
  726. {"type", "string"},
  727. {"const", function.at("name")},
  728. }},
  729. {"arguments", function.at("parameters")},
  730. }},
  731. {"required", json::array({"name", "arguments"})},
  732. };
  733. if (function.contains("description")) {
  734. tool_schema["description"] = function.at("description");
  735. }
  736. if (inputs.parallel_tool_calls) {
  737. tool_schema.at("properties")["id"] = {
  738. {"type", "string"},
  739. {"minLength", 4},
  740. };
  741. tool_schema.at("required").push_back("id");
  742. }
  743. tool_call_schemas.emplace_back(tool_schema);
  744. });
  745. const auto tool_call =
  746. inputs.parallel_tool_calls
  747. ? json {
  748. {"type", "object"},
  749. {"properties", {
  750. {"tool_calls", {
  751. {"type", "array"},
  752. {"items", tool_call_schemas.size() == 1 ? tool_call_schemas[0] : json {
  753. {"anyOf", tool_call_schemas},
  754. }},
  755. {"minItems", 1},
  756. }},
  757. }},
  758. {"required", json::array({"tool_calls"})},
  759. }
  760. : json {
  761. {"type", "object"},
  762. {"properties", {
  763. {"tool_call", tool_call_schemas.size() == 1 ? tool_call_schemas[0] : json {
  764. {"anyOf", tool_call_schemas},
  765. }},
  766. }},
  767. {"required", json::array({"tool_call"})},
  768. };
  769. const auto schema =
  770. inputs.tool_choice != COMMON_CHAT_TOOL_CHOICE_REQUIRED
  771. ? json {
  772. {"anyOf", json::array({
  773. tool_call,
  774. {
  775. {"type", "object"},
  776. {"properties", {
  777. {"response", inputs.json_schema.is_null()
  778. ? json {{"type", "string"}}
  779. : inputs.json_schema
  780. },
  781. }},
  782. {"required", json::array({"response"})},
  783. },
  784. })}
  785. }
  786. : tool_call;
  787. data.grammar_lazy = false;
  788. data.grammar = build_grammar([&](const common_grammar_builder & builder) {
  789. builder.add_schema("root", schema);
  790. });
  791. auto tweaked_messages = common_chat_template::add_system(
  792. inputs.messages,
  793. "Respond in JSON format, either with `tool_call` (a request to call tools) or with `response` reply to the user's request");
  794. data.prompt = apply(tmpl, inputs, /* messages_override= */ tweaked_messages);
  795. data.format = COMMON_CHAT_FORMAT_GENERIC;
  796. return data;
  797. }
  798. static void common_chat_parse_generic(common_chat_msg_parser & builder) {
  799. if (!builder.syntax().parse_tool_calls) {
  800. builder.add_content(builder.consume_rest());
  801. return;
  802. }
  803. static const std::vector<std::vector<std::string>> content_paths = {
  804. {"response"},
  805. };
  806. static const std::vector<std::vector<std::string>> args_paths = {
  807. {"tool_call", "arguments"},
  808. {"tool_calls", "arguments"},
  809. };
  810. auto data = builder.consume_json_with_dumped_args(args_paths, content_paths);
  811. if (data.value.contains("tool_calls")) {
  812. if (!builder.add_tool_calls(data.value.at("tool_calls")) || data.is_partial) {
  813. throw common_chat_msg_partial_exception("incomplete tool calls");
  814. }
  815. } else if (data.value.contains("tool_call")) {
  816. if (!builder.add_tool_call(data.value.at("tool_call")) || data.is_partial) {
  817. throw common_chat_msg_partial_exception("incomplete tool call");
  818. }
  819. } else if (data.value.contains("response")) {
  820. const auto & response = data.value.at("response");
  821. builder.add_content(response.is_string() ? response.template get<std::string>() : response.dump(2));
  822. if (data.is_partial) {
  823. throw common_chat_msg_partial_exception("incomplete response");
  824. }
  825. } else {
  826. throw common_chat_msg_partial_exception("Expected 'tool_call', 'tool_calls' or 'response' in JSON");
  827. }
  828. }
  829. static common_chat_params common_chat_params_init_mistral_nemo(const common_chat_template & tmpl, const struct templates_params & inputs) {
  830. common_chat_params data;
  831. data.grammar_lazy = inputs.tool_choice != COMMON_CHAT_TOOL_CHOICE_REQUIRED;
  832. data.grammar = build_grammar([&](const common_grammar_builder & builder) {
  833. auto schemas = json::array();
  834. foreach_function(inputs.tools, [&](const json & tool) {
  835. const auto & function = tool.at("function");
  836. schemas.push_back({
  837. {"type", "object"},
  838. {"properties", {
  839. // Important note: the model is probably trained to take a JSON stringified arguments value.
  840. // It's hard to constrain that for now (while reusing the JSON schema conversion), so we're just expecting a plain object.
  841. {"name", {
  842. {"type", "string"},
  843. {"const", function.at("name")},
  844. }},
  845. {"arguments", function.at("parameters")},
  846. {"id", {
  847. {"type", "string"},
  848. // Nemo's template expects a 9-character alphanumeric ID.
  849. {"pattern", "^[a-zA-Z0-9]{9}$"},
  850. }},
  851. }},
  852. {"required", json::array({"name", "arguments", "id"})},
  853. });
  854. });
  855. auto schema = json {
  856. {"type", "array"},
  857. {"items", schemas.size() == 1 ? schemas[0] : json {{"anyOf", schemas}}},
  858. {"minItems", 1},
  859. };
  860. if (!inputs.parallel_tool_calls) {
  861. schema["maxItems"] = 1;
  862. }
  863. builder.add_rule("root", "\"[TOOL_CALLS]\" " + builder.add_schema("tool_calls", schema));
  864. });
  865. data.grammar_triggers.push_back({COMMON_GRAMMAR_TRIGGER_TYPE_WORD, "[TOOL_CALLS]"});
  866. data.preserved_tokens = {
  867. "[TOOL_CALLS]",
  868. };
  869. data.prompt = apply(tmpl, inputs);
  870. data.format = COMMON_CHAT_FORMAT_MISTRAL_NEMO;
  871. return data;
  872. }
  873. static void common_chat_parse_mistral_nemo(common_chat_msg_parser & builder) {
  874. if (!builder.syntax().parse_tool_calls) {
  875. builder.add_content(builder.consume_rest());
  876. return;
  877. }
  878. static const common_regex prefix(regex_escape("[TOOL_CALLS]"));
  879. parse_prefixed_json_tool_call_array(builder, prefix);
  880. }
  881. static common_chat_params common_chat_params_init_command_r7b(const common_chat_template & tmpl, const struct templates_params & inputs) {
  882. common_chat_params data;
  883. auto adjusted_messages = json::array();
  884. for (const auto & msg : inputs.messages) {
  885. auto has_reasoning_content = msg.contains("reasoning_content") && msg.at("reasoning_content").is_string();
  886. auto has_tool_calls = msg.contains("tool_calls") && msg.at("tool_calls").is_array();
  887. if (has_reasoning_content && has_tool_calls) {
  888. auto adjusted_message = msg;
  889. adjusted_message["tool_plan"] = msg.at("reasoning_content");
  890. adjusted_message.erase("reasoning_content");
  891. adjusted_messages.push_back(adjusted_message);
  892. } else {
  893. adjusted_messages.push_back(msg);
  894. }
  895. }
  896. data.prompt = apply(tmpl, inputs, /* messages_override= */ adjusted_messages);
  897. data.format = COMMON_CHAT_FORMAT_COMMAND_R7B;
  898. if (string_ends_with(data.prompt, "<|START_THINKING|>")) {
  899. if (!inputs.enable_thinking) {
  900. data.prompt += "<|END_THINKING|>";
  901. } else {
  902. data.thinking_forced_open = true;
  903. }
  904. } else if (!inputs.enable_thinking && string_ends_with(data.prompt, "<|CHATBOT_TOKEN|>")) {
  905. data.prompt += "<|START_THINKING|><|END_THINKING|>";
  906. }
  907. data.grammar_lazy = inputs.tool_choice != COMMON_CHAT_TOOL_CHOICE_REQUIRED;
  908. data.grammar = build_grammar([&](const common_grammar_builder & builder) {
  909. auto schemas = json::array();
  910. foreach_function(inputs.tools, [&](const json & tool) {
  911. const auto & function = tool.at("function");
  912. schemas.push_back({
  913. {"type", "object"},
  914. {"properties", {
  915. {"tool_call_id", {
  916. {"type", "string"},
  917. // Command-R's template expects an integer string.
  918. {"pattern", "^[0-9]{1,10}$"},
  919. }},
  920. {"tool_name", {
  921. {"type", "string"},
  922. {"const", function.at("name")},
  923. }},
  924. {"parameters", function.at("parameters")},
  925. }},
  926. {"required", json::array({"tool_call_id", "tool_name", "parameters"})},
  927. });
  928. });
  929. auto schema = json {
  930. {"type", "array"},
  931. {"items", schemas.size() == 1 ? schemas[0] : json {{"anyOf", schemas}}},
  932. {"minItems", 1},
  933. };
  934. if (!inputs.parallel_tool_calls) {
  935. schema["maxItems"] = 1;
  936. }
  937. builder.add_rule("root",
  938. std::string(data.thinking_forced_open ? "( \"<|END_THINKING|>\" space )? " : "") +
  939. "\"<|START_ACTION|>\" " + builder.add_schema("tool_calls", schema) + " \"<|END_ACTION|>\"");
  940. });
  941. data.grammar_triggers.push_back({
  942. COMMON_GRAMMAR_TRIGGER_TYPE_PATTERN_FULL,
  943. // If thinking_forced_open, then we capture the </think> tag in the grammar,
  944. // (important for required tool choice) and in the trigger's first capture (decides what is sent to the grammar)
  945. std::string(data.thinking_forced_open ? "[\\s\\S]*?(<\\|END_THINKING\\|>\\s*)" : "(?:<\\|START_THINKING\\|>[\\s\\S]*?<\\|END_THINKING\\|>\\s*)?") +
  946. "(<\\|START_ACTION\\|>)[\\s\\S]*"
  947. });
  948. data.preserved_tokens = {
  949. "<|START_ACTION|>",
  950. "<|END_ACTION|>",
  951. "<|START_RESPONSE|>",
  952. "<|END_RESPONSE|>",
  953. "<|START_THINKING|>",
  954. "<|END_THINKING|>",
  955. };
  956. return data;
  957. }
  958. static void common_chat_parse_command_r7b(common_chat_msg_parser & builder) {
  959. builder.try_parse_reasoning("<|START_THINKING|>", "<|END_THINKING|>");
  960. static const common_regex start_action_regex("<\\|START_ACTION\\|>");
  961. static const common_regex end_action_regex("<\\|END_ACTION\\|>");
  962. static const common_regex start_response_regex("<\\|START_RESPONSE\\|>");
  963. static const common_regex end_response_regex("<\\|END_RESPONSE\\|>");
  964. if (auto res = builder.try_find_regex(start_action_regex)) {
  965. // If we didn't extract thoughts, prelude includes them.
  966. auto tool_calls = builder.consume_json_with_dumped_args({{"parameters"}});
  967. for (const auto & tool_call : tool_calls.value) {
  968. std::string name = tool_call.contains("tool_name") ? tool_call.at("tool_name") : "";
  969. std::string id = tool_call.contains("tool_call_id") ? tool_call.at("tool_call_id") : "";
  970. std::string arguments = tool_call.contains("parameters") ? tool_call.at("parameters") : "";
  971. if (!builder.add_tool_call(name, id, arguments) || tool_calls.is_partial) {
  972. throw common_chat_msg_partial_exception("incomplete tool call");
  973. }
  974. }
  975. if (tool_calls.is_partial) {
  976. throw common_chat_msg_partial_exception("incomplete tool call");
  977. }
  978. builder.consume_regex(end_action_regex);
  979. } else if (auto res = builder.try_find_regex(start_response_regex)) {
  980. if (!builder.try_find_regex(end_response_regex)) {
  981. builder.add_content(builder.consume_rest());
  982. throw common_chat_msg_partial_exception(end_response_regex.str());
  983. }
  984. } else {
  985. builder.add_content(builder.consume_rest());
  986. }
  987. }
  988. static void expect_tool_parameters(const std::string & name, const json & parameters, const std::vector<std::string> & expected_properties) {
  989. if (!parameters.is_object() || !parameters.contains("type") || parameters.at("type") != "object" || !parameters.contains("properties") || !parameters.contains("required")) {
  990. throw std::runtime_error("Parameters of tool " + name + " must be an object w/ required properties");
  991. }
  992. const auto & parameters_properties = parameters.at("properties");
  993. const auto & parameters_required = parameters.at("required");
  994. for (const auto & prop : expected_properties) {
  995. if (!parameters_properties.contains(prop)) {
  996. throw std::runtime_error("Parameters of tool " + name + " is missing property: " + prop); // NOLINT
  997. }
  998. if (std::find(parameters_required.begin(), parameters_required.end(), json(prop)) == parameters_required.end()) {
  999. throw std::runtime_error("Parameters of tool " + name + " must have property marked as required: " + prop); // NOLINT
  1000. }
  1001. }
  1002. if (parameters_properties.size() != expected_properties.size()) {
  1003. throw std::runtime_error("Parameters of tool " + name + " must only have these properties:" + string_join(expected_properties, ", "));
  1004. }
  1005. }
  1006. static common_chat_params common_chat_params_init_llama_3_x(const common_chat_template & tmpl, const struct templates_params & inputs, bool allow_python_tag_builtin_tools) {
  1007. auto builtin_tools = json::array();
  1008. common_chat_params data;
  1009. if (!inputs.tools.is_null()) {
  1010. data.grammar_lazy = inputs.tool_choice != COMMON_CHAT_TOOL_CHOICE_REQUIRED;
  1011. data.grammar = build_grammar([&](const common_grammar_builder & builder) {
  1012. std::vector<std::string> tool_rules;
  1013. auto handle_builtin_tool = [&](const std::string & name, const json & parameters) {
  1014. if (name == "wolfram_alpha" || name == "web_search" || name == "brave_search") {
  1015. // https://github.com/meta-llama/llama-stack/blob/main/llama_stack/providers/remote/tool_runtime/wolfram_alpha/wolfram_alpha.py
  1016. // https://github.com/meta-llama/llama-stack/blob/main/llama_stack/providers/remote/tool_runtime/brave_search/brave_search.py
  1017. expect_tool_parameters(name, parameters, {"query"});
  1018. } else if (name == "python" || name == "code_interpreter") {
  1019. // https://github.com/meta-llama/llama-stack/blob/main/llama_stack/providers/inline/tool_runtime/code_interpreter/code_interpreter.py
  1020. expect_tool_parameters(name, parameters, {"code"});
  1021. } else {
  1022. return false;
  1023. }
  1024. std::vector<std::string> kvs;
  1025. for (const auto & [key, value] : parameters.at("properties").items()) {
  1026. kvs.push_back("\"" + key + "=\" " + builder.add_schema(name + "-args-" + key, value)); // NOLINT
  1027. }
  1028. tool_rules.push_back(
  1029. builder.add_rule(
  1030. name + "-call",
  1031. "\"<|python_tag|>" + name + ".call(\" " + string_join(kvs, " \", \" ") + " \")\""));
  1032. builtin_tools.push_back(name);
  1033. return true;
  1034. };
  1035. foreach_function(inputs.tools, [&](const json & tool) {
  1036. const auto & function = tool.at("function");
  1037. std::string name = function.at("name");
  1038. auto parameters = function.at("parameters");
  1039. builder.resolve_refs(parameters);
  1040. // https://github.com/meta-llama/llama-stack/tree/main/llama_stack/providers/remote/tool_runtime
  1041. if (allow_python_tag_builtin_tools) {
  1042. handle_builtin_tool(name, parameters);
  1043. }
  1044. tool_rules.push_back(
  1045. builder.add_rule(
  1046. name + "-call",
  1047. "\"{\" space "
  1048. "( \"\\\"type\\\"\" space \":\" space \"\\\"function\\\"\" space \",\" space )? "
  1049. " \"\\\"name\\\"\" space \":\" space \"\\\"" + name + "\\\"\" space \",\" space "
  1050. " \"\\\"parameters\\\"\" space \":\" space " + builder.add_schema(name + "-args", parameters) + " "
  1051. "\"}\" space"));
  1052. });
  1053. // Small models may hallucinate function names so we match anything (*at the start*) that looks like the JSON of a function call, regardless of the name.
  1054. data.grammar_triggers.push_back({
  1055. COMMON_GRAMMAR_TRIGGER_TYPE_PATTERN_FULL,
  1056. "(\\{\\s*(?:\"type\"\\s*:\\s*\"function\"\\s*,\\s*)?\"name\"\\s*:\\s*\")[\\s\\S]*", // + name + "\"[\\s\\S]*",
  1057. });
  1058. if (!builtin_tools.empty()) {
  1059. data.grammar_triggers.push_back({COMMON_GRAMMAR_TRIGGER_TYPE_WORD, "<|python_tag|>"});
  1060. data.preserved_tokens.push_back("<|python_tag|>");
  1061. }
  1062. // Allow a few empty lines on top of the usual constrained json schema space rule.
  1063. builder.add_rule("root", string_join(tool_rules, " | "));
  1064. data.additional_stops.push_back("<|eom_id|>");
  1065. });
  1066. data.format = allow_python_tag_builtin_tools && !builtin_tools.empty()
  1067. ? COMMON_CHAT_FORMAT_LLAMA_3_X_WITH_BUILTIN_TOOLS
  1068. : COMMON_CHAT_FORMAT_LLAMA_3_X;
  1069. } else {
  1070. data.format = COMMON_CHAT_FORMAT_CONTENT_ONLY;
  1071. }
  1072. data.prompt = apply(tmpl, inputs, /* messages_override =*/ std::nullopt, /* tools_override= */ std::nullopt, json {
  1073. {"date_string", format_time(inputs.now, "%d %b %Y")},
  1074. {"tools_in_user_message", false},
  1075. {"builtin_tools", builtin_tools.empty() ? json() : builtin_tools},
  1076. });
  1077. return data;
  1078. }
  1079. static void common_chat_parse_llama_3_1(common_chat_msg_parser & builder, bool with_builtin_tools = false) {
  1080. if (!builder.syntax().parse_tool_calls) {
  1081. builder.add_content(builder.consume_rest());
  1082. return;
  1083. }
  1084. static const common_regex function_regex(
  1085. "\\s*\\{\\s*(?:\"type\"\\s*:\\s*\"function\"\\s*,\\s*)?\"name\"\\s*:\\s*\"([^\"]+)\"\\s*,\\s*\"parameters\"\\s*: ");
  1086. static const common_regex close_regex("\\}\\s*");
  1087. static const common_regex function_name_regex("\\s*(\\w+)\\s*\\.\\s*call\\(");
  1088. static const common_regex arg_name_regex("\\s*(\\w+)\\s*=\\s*");
  1089. if (with_builtin_tools) {
  1090. static const common_regex builtin_call_regex("<\\|python_tag\\|>");
  1091. if (auto res = builder.try_find_regex(builtin_call_regex)) {
  1092. auto fun_res = builder.consume_regex(function_name_regex);
  1093. auto function_name = builder.str(fun_res.groups[1]);
  1094. common_healing_marker healing_marker;
  1095. json args = json::object();
  1096. while (true) {
  1097. if (auto arg_res = builder.try_consume_regex(arg_name_regex)) {
  1098. auto arg_name = builder.str(arg_res->groups[1]);
  1099. auto partial = builder.consume_json();
  1100. args[arg_name] = partial.json;
  1101. healing_marker.marker = partial.healing_marker.marker;
  1102. healing_marker.json_dump_marker = partial.healing_marker.json_dump_marker;
  1103. builder.consume_spaces();
  1104. if (!builder.try_consume_literal(",")) {
  1105. break;
  1106. }
  1107. } else {
  1108. break;
  1109. }
  1110. }
  1111. builder.consume_literal(")");
  1112. builder.consume_spaces();
  1113. auto arguments = args.dump();
  1114. if (!builder.add_tool_call(function_name, "", arguments)) {
  1115. throw common_chat_msg_partial_exception("Incomplete tool call");
  1116. }
  1117. return;
  1118. }
  1119. }
  1120. parse_json_tool_calls(
  1121. builder,
  1122. /* block_open= */ std::nullopt,
  1123. /* function_regex_start_only= */ function_regex,
  1124. /* function_regex= */ std::nullopt,
  1125. close_regex,
  1126. std::nullopt);
  1127. }
  1128. static common_chat_params common_chat_params_init_deepseek_r1(const common_chat_template & tmpl, const struct templates_params & inputs) {
  1129. common_chat_params data;
  1130. auto prompt = apply(tmpl, inputs);
  1131. // Hacks to fix the official (broken) prompt.
  1132. // It is advisable to use --chat-template-file models/templates/llama-cpp-deepseek-r1.jinja instead,
  1133. // until the official template is fixed.
  1134. if (tmpl.source().find("{% if ns.is_tool %}{{'<|tool▁outputs▁end|>'}}") != std::string::npos) {
  1135. // Don't leave the chat dangling after tool results
  1136. if (string_ends_with(prompt, "<|tool▁outputs▁end|>")) {
  1137. prompt += "<|end▁of▁sentence|>";
  1138. if (inputs.add_generation_prompt) {
  1139. prompt += "<|Assistant|>";
  1140. }
  1141. }
  1142. // Fix up tool call delta example added by Minja
  1143. prompt = std::regex_replace(
  1144. prompt,
  1145. std::regex("(<|tool▁call▁end|>)[\\s\\r\\n]*(<|tool▁outputs▁begin|>|<|User|>)"),
  1146. "$1<|tool▁calls▁end|><|end▁of▁sentence|>$2");
  1147. }
  1148. data.prompt = prompt;
  1149. data.format = COMMON_CHAT_FORMAT_DEEPSEEK_R1;
  1150. if (string_ends_with(data.prompt, "<think>\n")) {
  1151. if (!inputs.enable_thinking) {
  1152. data.prompt += "</think>";
  1153. } else {
  1154. data.thinking_forced_open = true;
  1155. }
  1156. }
  1157. if (inputs.tools.is_array() && !inputs.tools.empty()) {
  1158. data.grammar_lazy = inputs.tool_choice != COMMON_CHAT_TOOL_CHOICE_REQUIRED && inputs.json_schema.is_null();
  1159. data.grammar = build_grammar([&](const common_grammar_builder & builder) {
  1160. std::vector<std::string> tool_rules;
  1161. foreach_function(inputs.tools, [&](const json & tool) {
  1162. const auto & function = tool.at("function");
  1163. std::string name = function.at("name");
  1164. auto parameters = function.at("parameters");
  1165. builder.resolve_refs(parameters);
  1166. tool_rules.push_back(builder.add_rule(name + "-call",
  1167. "( \"<|tool▁call▁begin|>\" )? \"function<|tool▁sep|>" + name + "\\n"
  1168. "```json\\n\" " + builder.add_schema(name + "-args", parameters) + " "
  1169. "\"```<|tool▁call▁end|>\""));
  1170. });
  1171. // Distill Qwen 7B & 32B models seem confused re/ syntax of their tool call opening tag,
  1172. // so we accept common variants (then it's all constrained)
  1173. builder.add_rule("root",
  1174. std::string(data.thinking_forced_open ? "( \"</think>\" space )? " : "") +
  1175. "( \"<|tool▁calls▁begin|>\" | \"<|tool_calls_begin|>\" | \"<|tool calls begin|>\" | \"<|tool\\\\_calls\\\\_begin|>\" | \"<|tool▁calls|>\" ) "
  1176. "(" + string_join(tool_rules, " | ") + ")" + (inputs.parallel_tool_calls ? "*" : "") + " "
  1177. "\"<|tool▁calls▁end|>\""
  1178. " space");
  1179. data.grammar_triggers.push_back({
  1180. COMMON_GRAMMAR_TRIGGER_TYPE_PATTERN_FULL,
  1181. // If thinking_forced_open, then we capture the </think> tag in the grammar,
  1182. // (important for required tool choice) and in the trigger's first capture (decides what is sent to the grammar)
  1183. std::string(data.thinking_forced_open ? "[\\s\\S]*?(</think>\\s*)" : "(?:<think>[\\s\\S]*?</think>\\s*)?") +
  1184. "(<|tool▁calls▁begin|>|<|tool_calls_begin|>|<|tool calls begin|>|<|tool\\\\_calls\\\\_begin|>|<|tool▁calls|>)[\\s\\S]*"
  1185. });
  1186. data.preserved_tokens = {
  1187. "<think>",
  1188. "</think>",
  1189. "<|tool▁calls▁begin|>",
  1190. "<|tool▁call▁begin|>",
  1191. "<|tool▁sep|>",
  1192. "<|tool▁call▁end|>",
  1193. "<|tool▁calls▁end|",
  1194. };
  1195. });
  1196. }
  1197. return data;
  1198. }
  1199. static void common_chat_parse_deepseek_r1(common_chat_msg_parser & builder) {
  1200. builder.try_parse_reasoning("<think>", "</think>");
  1201. if (!builder.syntax().parse_tool_calls) {
  1202. builder.add_content(builder.consume_rest());
  1203. return;
  1204. }
  1205. static const common_regex tool_calls_begin("(?:<|tool▁calls▁begin|>|<|tool_calls_begin|>|<|tool calls begin|>|<|tool\\\\_calls\\\\_begin|>|<|tool▁calls|>)");
  1206. static const common_regex tool_calls_end("<|tool▁calls▁end|>");
  1207. static const common_regex function_regex("(?:<|tool▁call▁begin|>)?function<|tool▁sep|>([^\n]+)\n```json\n");
  1208. static const common_regex close_regex("```[\\s\\r\\n]*<|tool▁call▁end|>");
  1209. parse_json_tool_calls(
  1210. builder,
  1211. /* block_open= */ tool_calls_begin,
  1212. /* function_regex_start_only= */ std::nullopt,
  1213. function_regex,
  1214. close_regex,
  1215. tool_calls_end);
  1216. }
  1217. static common_chat_params common_chat_params_init_firefunction_v2(const common_chat_template & tmpl, const struct templates_params & inputs) {
  1218. LOG_DBG("%s\n", __func__);
  1219. common_chat_params data;
  1220. data.prompt = apply(tmpl, inputs, /* messages_override =*/ std::nullopt, /* tools_override= */ json(), json {
  1221. {"datetime", format_time(inputs.now, "%b %d %Y %H:%M:%S GMT")},
  1222. {"functions", json(inputs.tools.empty() ? "" : inputs.tools.dump(2))},
  1223. });
  1224. if (inputs.tools.is_array() && !inputs.tools.empty()) {
  1225. data.grammar_lazy = inputs.tool_choice != COMMON_CHAT_TOOL_CHOICE_REQUIRED;
  1226. data.grammar = build_grammar([&](const common_grammar_builder & builder) {
  1227. auto schemas = json::array();
  1228. foreach_function(inputs.tools, [&](const json & tool) {
  1229. const auto & function = tool.at("function");
  1230. schemas.push_back({
  1231. {"type", "object"},
  1232. {"properties", {
  1233. {"name", {
  1234. {"type", "string"},
  1235. {"const", function.at("name")},
  1236. }},
  1237. {"arguments", function.at("parameters")},
  1238. }},
  1239. {"required", json::array({"name", "arguments", "id"})},
  1240. });
  1241. });
  1242. auto schema = json {
  1243. {"type", "array"},
  1244. {"items", schemas.size() == 1 ? schemas[0] : json {{"anyOf", schemas}}},
  1245. {"minItems", 1},
  1246. };
  1247. if (!inputs.parallel_tool_calls) {
  1248. schema["maxItems"] = 1;
  1249. }
  1250. builder.add_rule("root", "\" functools\"? " + builder.add_schema("tool_calls", schema));
  1251. });
  1252. data.grammar_triggers.push_back({COMMON_GRAMMAR_TRIGGER_TYPE_WORD, " functools["});
  1253. data.preserved_tokens = {
  1254. " functools[",
  1255. };
  1256. data.format = COMMON_CHAT_FORMAT_FIREFUNCTION_V2;
  1257. } else {
  1258. data.format = COMMON_CHAT_FORMAT_CONTENT_ONLY;
  1259. }
  1260. return data;
  1261. }
  1262. static void common_chat_parse_firefunction_v2(common_chat_msg_parser & builder) {
  1263. if (!builder.syntax().parse_tool_calls) {
  1264. builder.add_content(builder.consume_rest());
  1265. return;
  1266. }
  1267. static const common_regex prefix(regex_escape(" functools["));
  1268. parse_prefixed_json_tool_call_array(builder, prefix, /* rstrip_prefix= */ 1);
  1269. }
  1270. static common_chat_params common_chat_params_init_functionary_v3_2(const common_chat_template & tmpl, const struct templates_params & inputs) {
  1271. // >>>all\nlet's call functions>>>fn1\n{"arg1": 1...}\n>>>fn2\n{"arg1": 1...}...
  1272. // Using ">>>f1\n", ">>>f2\n"... as trigger words for the grammar
  1273. // If the function is python, we also allow raw python code (if the line after `python\n` doesn't start w/ opening `{`), which the model seems to prefer for multiline code.
  1274. common_chat_params data;
  1275. data.prompt = apply(tmpl, inputs);
  1276. data.format = COMMON_CHAT_FORMAT_FUNCTIONARY_V3_2;
  1277. if (inputs.tools.is_array() && !inputs.tools.empty()) {
  1278. data.grammar_lazy = inputs.tool_choice != COMMON_CHAT_TOOL_CHOICE_REQUIRED;
  1279. data.grammar = build_grammar([&](const common_grammar_builder & builder) {
  1280. std::vector<std::string> first_tool_rules;
  1281. std::vector<std::string> subsequent_tool_rules;
  1282. foreach_function(inputs.tools, [&](const json & tool) {
  1283. const auto & function = tool.at("function");
  1284. std::string name = function.at("name");
  1285. auto parameters = function.at("parameters");
  1286. builder.resolve_refs(parameters);
  1287. std::string args_pattern = "[\\s\\S]*";
  1288. auto args_rule = builder.add_schema(name + "-args", parameters);
  1289. if (name == "python") {
  1290. args_rule = builder.add_rule(name + "-maybe-raw-args", args_rule + " | [^{] .*");
  1291. } else {
  1292. args_pattern = "\\{" + args_pattern;
  1293. }
  1294. auto call_rule = builder.add_rule(name + "-call", "\"" + name + "\\n\" " + args_rule);
  1295. first_tool_rules.push_back(call_rule);
  1296. if (inputs.parallel_tool_calls) {
  1297. subsequent_tool_rules.push_back(builder.add_rule(name + "-call2", "\">>>\" " + call_rule));
  1298. }
  1299. data.grammar_triggers.push_back({
  1300. COMMON_GRAMMAR_TRIGGER_TYPE_PATTERN_FULL,
  1301. "((?:[\\s\\S]+?>>>)?" + regex_escape(name) + "\n)" + args_pattern,
  1302. });
  1303. });
  1304. data.preserved_tokens = {
  1305. "<|end_header_id|>",
  1306. };
  1307. auto first_rule = first_tool_rules.empty() ? "" : builder.add_rule("first_tool_call", string_join(first_tool_rules, " | ")) + " space";
  1308. if (inputs.parallel_tool_calls) {
  1309. auto subsequent_rule = builder.add_rule("subsequent_tool_call", string_join(subsequent_tool_rules, " | ")) + " space";
  1310. builder.add_rule("root", first_rule + " (" + subsequent_rule + ")*");
  1311. } else {
  1312. builder.add_rule("root", first_rule);
  1313. }
  1314. });
  1315. }
  1316. return data;
  1317. }
  1318. static void common_chat_parse_functionary_v3_2(common_chat_msg_parser & builder) {
  1319. static const common_regex function_regex_start_only(R"((\w+\n\{|python\n|all\n))");
  1320. static const common_regex function_regex(R"(>>>(\w+\n\{|python\n|all\n))");
  1321. static const common_regex close_regex(R"(\s*)");
  1322. parse_json_tool_calls(
  1323. builder,
  1324. std::nullopt,
  1325. function_regex_start_only,
  1326. function_regex,
  1327. close_regex,
  1328. std::nullopt,
  1329. /* allow_raw_python= */ true,
  1330. /* get_function_name= */ [&](const auto & res) -> std::string {
  1331. auto at_start = res.groups[0].begin == 0;
  1332. auto name = builder.str(res.groups[1]);
  1333. if (!name.empty() && name.back() == '{') {
  1334. // Unconsume the opening brace '{' to ensure the JSON parsing goes well.
  1335. builder.move_back(1);
  1336. }
  1337. auto idx = name.find_last_not_of("\n{");
  1338. name = name.substr(0, idx + 1);
  1339. if (at_start && name == "all") {
  1340. return "";
  1341. }
  1342. return name;
  1343. });
  1344. }
  1345. static common_chat_params common_chat_params_init_functionary_v3_1_llama_3_1(const common_chat_template & tmpl, const struct templates_params & inputs) {
  1346. // https://github.com/MeetKai/functionary/blob/main/tests/prompt_test_v3-llama3.1.txt
  1347. common_chat_params data;
  1348. if (!inputs.tools.is_null()) {
  1349. std::string python_code_argument_name;
  1350. auto has_raw_python = false;
  1351. data.grammar_lazy = inputs.tool_choice != COMMON_CHAT_TOOL_CHOICE_REQUIRED;
  1352. data.grammar = build_grammar([&](const common_grammar_builder & builder) {
  1353. std::vector<std::string> tool_rules;
  1354. foreach_function(inputs.tools, [&](const json & tool) {
  1355. const auto & function = tool.at("function");
  1356. const auto & parameters = function.at("parameters");
  1357. std::string name = function.at("name");
  1358. if (name == "python" || name == "ipython") {
  1359. if (!parameters.contains("type")) {
  1360. throw std::runtime_error("Missing type in python tool");
  1361. }
  1362. has_raw_python = true;
  1363. const auto & type = parameters.at("type");
  1364. if (type == "object") {
  1365. auto properties = parameters.at("properties");
  1366. for (auto it = properties.begin(); it != properties.end(); ++it) {
  1367. if (it.value().at("type") == "string") {
  1368. if (!python_code_argument_name.empty()) {
  1369. throw std::runtime_error("Multiple string arguments found in python tool");
  1370. }
  1371. python_code_argument_name = it.key();
  1372. }
  1373. }
  1374. if (python_code_argument_name.empty()) {
  1375. throw std::runtime_error("No string argument found in python tool");
  1376. }
  1377. } else if (type != "string") {
  1378. throw std::runtime_error("Invalid type in python tool: " + type.dump());
  1379. }
  1380. }
  1381. tool_rules.push_back(builder.add_rule(name + "-call", "\"<function=" + name + ">\" " + builder.add_schema(name + "-args", parameters) + " \"</function>\" space"));
  1382. });
  1383. if (has_raw_python) {
  1384. tool_rules.push_back(builder.add_rule("python-call", "\"<|python_tag|>\" .*"));
  1385. data.grammar_triggers.push_back({COMMON_GRAMMAR_TRIGGER_TYPE_WORD, "<|python_tag|>"});
  1386. data.preserved_tokens.push_back("<|python_tag|>");
  1387. }
  1388. auto tool_call = builder.add_rule("tool_call", string_join(tool_rules, " | ")) + " space";
  1389. builder.add_rule("root", inputs.parallel_tool_calls ? "(" + tool_call + ")+" : tool_call);
  1390. data.grammar_triggers.push_back({COMMON_GRAMMAR_TRIGGER_TYPE_WORD, "<function="});
  1391. });
  1392. data.format = COMMON_CHAT_FORMAT_FUNCTIONARY_V3_1_LLAMA_3_1;
  1393. } else {
  1394. data.format = COMMON_CHAT_FORMAT_CONTENT_ONLY;
  1395. }
  1396. data.prompt = apply(tmpl, inputs);
  1397. // TODO: if (has_raw_python)
  1398. return data;
  1399. }
  1400. static void common_chat_parse_functionary_v3_1_llama_3_1(common_chat_msg_parser & builder) {
  1401. if (!builder.syntax().parse_tool_calls) {
  1402. builder.add_content(builder.consume_rest());
  1403. return;
  1404. }
  1405. // This version of Functionary still supports the llama 3.1 tool call format for the python tool.
  1406. static const common_regex python_tag_regex(regex_escape("<|python_tag|>"));
  1407. static const common_regex function_regex(R"(<function=(\w+)>)");
  1408. static const common_regex close_regex(R"(</function>)");
  1409. parse_json_tool_calls(
  1410. builder,
  1411. /* block_open= */ std::nullopt,
  1412. /* function_regex_start_only= */ std::nullopt,
  1413. function_regex,
  1414. close_regex,
  1415. std::nullopt);
  1416. if (auto res = builder.try_find_regex(python_tag_regex)) {
  1417. auto arguments = wrap_code_as_arguments(builder, builder.consume_rest());
  1418. builder.add_tool_call("python", "", arguments);
  1419. return;
  1420. }
  1421. }
  1422. static common_chat_params common_chat_params_init_hermes_2_pro(const common_chat_template & tmpl, const struct templates_params & inputs) {
  1423. common_chat_params data;
  1424. json extra_context = json {
  1425. {"enable_thinking", inputs.enable_thinking},
  1426. };
  1427. extra_context.update(inputs.extra_context);
  1428. data.prompt = apply(tmpl, inputs, /* messages_override =*/ std::nullopt, /* tools_override= */ std::nullopt, extra_context);
  1429. data.format = COMMON_CHAT_FORMAT_HERMES_2_PRO;
  1430. if (string_ends_with(data.prompt, "<think>\n")) {
  1431. if (!extra_context["enable_thinking"]) {
  1432. data.prompt += "</think>";
  1433. } else {
  1434. data.thinking_forced_open = true;
  1435. }
  1436. }
  1437. if (!inputs.tools.is_null()) {
  1438. // (content)?(<tool_call>{"name": "foo", "arguments": {"a": 1}}</tool_call>)*
  1439. data.grammar_lazy = inputs.tool_choice != COMMON_CHAT_TOOL_CHOICE_REQUIRED;
  1440. data.grammar = build_grammar([&](const common_grammar_builder & builder) {
  1441. std::vector<std::string> tool_rules;
  1442. std::vector<std::string> tool_call_alts;
  1443. std::vector<std::string> escaped_names;
  1444. foreach_function(inputs.tools, [&](const json & tool) {
  1445. const auto & function = tool.at("function");
  1446. std::string name = function.at("name");
  1447. auto parameters = function.at("parameters");
  1448. builder.resolve_refs(parameters);
  1449. tool_rules.push_back(builder.add_schema(name + "-call", {
  1450. {"type", "object"},
  1451. {"properties", json {
  1452. {"name", json {{"const", name}}},
  1453. {"arguments", parameters},
  1454. }},
  1455. {"required", json::array({"name", "arguments"})},
  1456. }));
  1457. tool_call_alts.push_back(builder.add_rule(
  1458. name + "-function-tag",
  1459. "\"<function\" ( \"=" + name + "\" | \" name=\\\"" + name + "\\\"\" ) \">\" space " +
  1460. builder.add_schema(name + "-args", parameters) + " "
  1461. "\"</function>\" space"));
  1462. data.grammar_triggers.push_back({
  1463. COMMON_GRAMMAR_TRIGGER_TYPE_WORD,
  1464. "<function=" + name + ">",
  1465. });
  1466. auto escaped_name = regex_escape(name);
  1467. data.grammar_triggers.push_back({
  1468. COMMON_GRAMMAR_TRIGGER_TYPE_PATTERN,
  1469. "<function\\s+name\\s*=\\s*\"" + escaped_name + "\"",
  1470. });
  1471. escaped_names.push_back(escaped_name);
  1472. });
  1473. auto any_tool_call = builder.add_rule("any_tool_call", "( " + string_join(tool_rules, " | ") + " ) space");
  1474. std::vector<std::string> alt_tags {
  1475. any_tool_call,
  1476. "\"<tool_call>\" space " + any_tool_call + " \"</tool_call>\"",
  1477. // The rest is just to accommodate common "good bad" outputs.
  1478. "\"<function_call>\" space " + any_tool_call + " \"</function_call>\"",
  1479. "\"<response>\" space " + any_tool_call + " \"</response>\"",
  1480. "\"<tools>\" space " + any_tool_call + " \"</tools>\"",
  1481. "\"<json>\" space " + any_tool_call + " \"</json>\"",
  1482. "\"<xml>\" space " + any_tool_call + " \"</xml>\"",
  1483. "\"<JSON>\" space " + any_tool_call + " \"</JSON>\"",
  1484. };
  1485. auto wrappable_tool_call = builder.add_rule("wrappable_tool_call", "( " + string_join(alt_tags, " | ") + " ) space");
  1486. tool_call_alts.push_back(wrappable_tool_call);
  1487. tool_call_alts.push_back(
  1488. "( \"```\\n\" | \"```json\\n\" | \"```xml\\n\" ) space " + wrappable_tool_call + " space \"```\" space ");
  1489. auto tool_call = builder.add_rule("tool_call", string_join(tool_call_alts, " | "));
  1490. builder.add_rule("root",
  1491. std::string(data.thinking_forced_open ? "( \"</think>\" space )? " : "") +
  1492. (inputs.parallel_tool_calls ? "(" + tool_call + ")+" : tool_call));
  1493. // Trigger on some common known "good bad" outputs (only from the start and with a json that's about a specific argument name to avoid false positives)
  1494. data.grammar_triggers.push_back({
  1495. COMMON_GRAMMAR_TRIGGER_TYPE_PATTERN_FULL,
  1496. // If thinking_forced_open, then we capture the </think> tag in the grammar,
  1497. // (important for required tool choice) and in the trigger's first capture (decides what is sent to the grammar)
  1498. std::string(data.thinking_forced_open ? "[\\s\\S]*?(</think>\\s*)" : "(?:<think>[\\s\\S]*?</think>\\s*)?") + (
  1499. "(\\s*"
  1500. "(?:<tool_call>"
  1501. "|<function"
  1502. "|(?:```(?:json|xml)?\n\\s*)?(?:<function_call>|<tools>|<xml><json>|<response>)?"
  1503. "\\s*\\{\\s*\"name\"\\s*:\\s*\"(?:" + string_join(escaped_names, "|") + ")\""
  1504. ")"
  1505. ")[\\s\\S]*"
  1506. ),
  1507. });
  1508. data.preserved_tokens = {
  1509. "<think>",
  1510. "</think>",
  1511. "<tool_call>",
  1512. "</tool_call>",
  1513. "<function",
  1514. "<tools>",
  1515. "</tools>",
  1516. "<response>",
  1517. "</response>",
  1518. "<function_call>",
  1519. "</function_call>",
  1520. "<json>",
  1521. "</json>",
  1522. "<JSON>",
  1523. "</JSON>",
  1524. "```",
  1525. "```json",
  1526. "```xml",
  1527. };
  1528. });
  1529. }
  1530. return data;
  1531. }
  1532. static void common_chat_parse_hermes_2_pro(common_chat_msg_parser & builder) {
  1533. builder.try_parse_reasoning("<think>", "</think>");
  1534. if (!builder.syntax().parse_tool_calls) {
  1535. builder.add_content(builder.consume_rest());
  1536. return;
  1537. }
  1538. static const common_regex open_regex(
  1539. "(?:"
  1540. "(```(?:xml|json)?\\n\\s*)?" // match 1 (block_start)
  1541. "(" // match 2 (open_tag)
  1542. "<tool_call>"
  1543. "|<function_call>"
  1544. "|<tool>"
  1545. "|<tools>"
  1546. "|<response>"
  1547. "|<json>"
  1548. "|<xml>"
  1549. "|<JSON>"
  1550. ")?"
  1551. "(\\s*\\{\\s*\"name\")" // match 3 (named tool call)
  1552. ")"
  1553. "|<function=([^>]+)>" // match 4 (function name)
  1554. "|<function name=\"([^\"]+)\">" // match 5 (function name again)
  1555. );
  1556. while (auto res = builder.try_find_regex(open_regex)) {
  1557. const auto & block_start = res->groups[1];
  1558. std::string block_end = block_start.empty() ? "" : "```";
  1559. const auto & open_tag = res->groups[2];
  1560. std::string close_tag;
  1561. if (!res->groups[3].empty()) {
  1562. builder.move_to(res->groups[3].begin);
  1563. close_tag = open_tag.empty() ? "" : "</" + builder.str(open_tag).substr(1);
  1564. if (auto tool_call = builder.try_consume_json_with_dumped_args({{"arguments"}})) {
  1565. if (!builder.add_tool_call(tool_call->value) || tool_call->is_partial) {
  1566. throw common_chat_msg_partial_exception("incomplete tool call");
  1567. }
  1568. builder.consume_spaces();
  1569. builder.consume_literal(close_tag);
  1570. builder.consume_spaces();
  1571. if (!block_end.empty()) {
  1572. builder.consume_literal(block_end);
  1573. builder.consume_spaces();
  1574. }
  1575. } else {
  1576. throw common_chat_msg_partial_exception("failed to parse tool call");
  1577. }
  1578. } else {
  1579. auto function_name = builder.str(res->groups[4]);
  1580. if (function_name.empty()) {
  1581. function_name = builder.str(res->groups[5]);
  1582. }
  1583. GGML_ASSERT(!function_name.empty());
  1584. close_tag = "</function>";
  1585. if (auto arguments = builder.try_consume_json_with_dumped_args({{}})) {
  1586. if (!builder.add_tool_call(function_name, "", arguments->value) || arguments->is_partial) {
  1587. throw common_chat_msg_partial_exception("incomplete tool call");
  1588. }
  1589. builder.consume_spaces();
  1590. builder.consume_literal(close_tag);
  1591. builder.consume_spaces();
  1592. if (!block_end.empty()) {
  1593. builder.consume_literal(block_end);
  1594. builder.consume_spaces();
  1595. }
  1596. }
  1597. }
  1598. }
  1599. builder.add_content(builder.consume_rest());
  1600. }
  1601. static common_chat_params common_chat_params_init_without_tools(const common_chat_template & tmpl, const struct templates_params & inputs) {
  1602. common_chat_params data;
  1603. data.prompt = apply(tmpl, inputs);
  1604. data.format = COMMON_CHAT_FORMAT_CONTENT_ONLY;
  1605. data.grammar_lazy = false;
  1606. if (!inputs.json_schema.is_null()) {
  1607. if (!inputs.grammar.empty()) {
  1608. throw std::runtime_error("Either \"json_schema\" or \"grammar\" can be specified, but not both");
  1609. }
  1610. data.grammar = json_schema_to_grammar(inputs.json_schema);
  1611. } else {
  1612. data.grammar = inputs.grammar;
  1613. }
  1614. return data;
  1615. }
  1616. static common_chat_params common_chat_templates_apply_jinja(
  1617. const struct common_chat_templates * tmpls,
  1618. const struct common_chat_templates_inputs & inputs)
  1619. {
  1620. templates_params params;
  1621. params.tools = common_chat_tools_to_json_oaicompat<json>(inputs.tools);
  1622. const auto & tmpl = params.tools.is_array() && tmpls->template_tool_use
  1623. ? *tmpls->template_tool_use
  1624. : *tmpls->template_default;
  1625. const auto & src = tmpl.source();
  1626. const auto & caps = tmpl.original_caps();
  1627. params.messages = common_chat_msgs_to_json_oaicompat<json>(inputs.messages, /* concat_text= */ !tmpl.original_caps().requires_typed_content);
  1628. params.add_generation_prompt = inputs.add_generation_prompt;
  1629. params.tool_choice = inputs.tool_choice;
  1630. params.enable_thinking = inputs.enable_thinking;
  1631. params.grammar = inputs.grammar;
  1632. params.now = inputs.now;
  1633. params.add_bos = inputs.add_bos;
  1634. params.add_eos = inputs.add_eos;
  1635. params.extra_context = json::object();
  1636. for (auto el : inputs.chat_template_kwargs) {
  1637. params.extra_context[el.first] = json::parse(el.second);
  1638. }
  1639. if (!inputs.json_schema.empty()) {
  1640. params.json_schema = json::parse(inputs.json_schema);
  1641. }
  1642. if (inputs.parallel_tool_calls && !tmpl.original_caps().supports_parallel_tool_calls) {
  1643. LOG_DBG("Disabling parallel_tool_calls because the template does not support it\n");
  1644. params.parallel_tool_calls = false;
  1645. } else {
  1646. params.parallel_tool_calls = inputs.parallel_tool_calls;
  1647. }
  1648. if (params.tools.is_array()) {
  1649. if (params.tool_choice != COMMON_CHAT_TOOL_CHOICE_NONE && !params.grammar.empty()) {
  1650. throw std::runtime_error("Cannot specify grammar with tools");
  1651. }
  1652. if (caps.supports_tool_calls && !caps.supports_tools) {
  1653. LOG_WRN("Template supports tool calls but does not natively describe tools. The fallback behaviour used may produce bad results, inspect prompt w/ --verbose & consider overriding the template.\n");
  1654. }
  1655. }
  1656. // DeepSeek R1: use handler in all cases except json schema (thinking / tools).
  1657. if (src.find("<|tool▁calls▁begin|>") != std::string::npos && params.json_schema.is_null()) {
  1658. return common_chat_params_init_deepseek_r1(tmpl, params);
  1659. }
  1660. // Command R7B: : use handler in all cases except json schema (thinking / tools).
  1661. if (src.find("<|END_THINKING|><|START_ACTION|>") != std::string::npos && params.json_schema.is_null()) {
  1662. return common_chat_params_init_command_r7b(tmpl, params);
  1663. }
  1664. // Hermes 2/3 Pro, Qwen 2.5 Instruct (w/ tools)
  1665. if (src.find("<tool_call>") != std::string::npos && params.json_schema.is_null()) {
  1666. return common_chat_params_init_hermes_2_pro(tmpl, params);
  1667. }
  1668. // Use generic handler when mixing tools + JSON schema.
  1669. // TODO: support that mix in handlers below.
  1670. if ((params.tools.is_array() && params.json_schema.is_object())) {
  1671. return common_chat_params_init_generic(tmpl, params);
  1672. }
  1673. // Functionary prepends "all\n" to plain content outputs, so we use its handler in all cases.
  1674. if (src.find(">>>all") != std::string::npos) {
  1675. return common_chat_params_init_functionary_v3_2(tmpl, params);
  1676. }
  1677. // Firefunction v2 requires datetime and functions in the context even w/o tools, so we also use its handler in all cases.
  1678. if (src.find(" functools[") != std::string::npos) {
  1679. return common_chat_params_init_firefunction_v2(tmpl, params);
  1680. }
  1681. // Functionary v3.1 (w/ tools)
  1682. if (src.find("<|start_header_id|>") != std::string::npos
  1683. && src.find("<function=") != std::string::npos) {
  1684. return common_chat_params_init_functionary_v3_1_llama_3_1(tmpl, params);
  1685. }
  1686. // Llama 3.1, 3.2, 3.3 (also requires date_string so using it even w/o tools)
  1687. if (src.find("<|start_header_id|>ipython<|end_header_id|>") != std::string::npos) {
  1688. auto allow_python_tag_builtin_tools = src.find("<|python_tag|>") != std::string::npos;
  1689. return common_chat_params_init_llama_3_x(tmpl, params, allow_python_tag_builtin_tools);
  1690. }
  1691. // Plain handler (no tools)
  1692. if (params.tools.is_null() || inputs.tool_choice == COMMON_CHAT_TOOL_CHOICE_NONE) {
  1693. return common_chat_params_init_without_tools(tmpl, params);
  1694. }
  1695. // Mistral Nemo (w/ tools)
  1696. if (src.find("[TOOL_CALLS]") != std::string::npos) {
  1697. return common_chat_params_init_mistral_nemo(tmpl, params);
  1698. }
  1699. // Generic fallback
  1700. return common_chat_params_init_generic(tmpl, params);
  1701. }
  1702. // Legacy template route (adhoc C++ implementation of known templates), forward to llama_chat_apply_template.
  1703. static common_chat_params common_chat_templates_apply_legacy(
  1704. const struct common_chat_templates * tmpls,
  1705. const struct common_chat_templates_inputs & inputs)
  1706. {
  1707. int alloc_size = 0;
  1708. std::vector<llama_chat_message> chat;
  1709. std::vector<std::string> contents;
  1710. for (const auto & msg : inputs.messages) {
  1711. auto content = msg.content;
  1712. for (const auto & part : msg.content_parts) {
  1713. if (part.type != "text") {
  1714. LOG_WRN("Ignoring non-text content part: %s\n", part.type.c_str());
  1715. continue;
  1716. }
  1717. if (!content.empty()) {
  1718. content += "\n";;
  1719. }
  1720. content += part.text;
  1721. }
  1722. contents.emplace_back(std::move(content));
  1723. }
  1724. for (size_t i = 0; i < contents.size(); ++i) {
  1725. const auto & msg = inputs.messages[i];
  1726. const auto & content = contents[i];
  1727. chat.push_back({msg.role.c_str(), content.c_str()});
  1728. alloc_size += (msg.role.size() + content.size()) * 1.25;
  1729. }
  1730. std::vector<char> buf(alloc_size);
  1731. // run the first time to get the total output length
  1732. const auto & src = tmpls->template_default->source();
  1733. int32_t res = llama_chat_apply_template(src.c_str(), chat.data(), chat.size(), inputs.add_generation_prompt, buf.data(), buf.size());
  1734. // error: chat template is not supported
  1735. if (res < 0) {
  1736. // if the custom "tmpl" is not supported, we throw an error
  1737. // this is a bit redundant (for good), since we're not sure if user validated the custom template with llama_chat_verify_template()
  1738. throw std::runtime_error("this custom template is not supported, try using --jinja");
  1739. }
  1740. // if it turns out that our buffer is too small, we resize it
  1741. if ((size_t) res > buf.size()) {
  1742. buf.resize(res);
  1743. res = llama_chat_apply_template(src.c_str(), chat.data(), chat.size(), inputs.add_generation_prompt, buf.data(), buf.size());
  1744. }
  1745. common_chat_params params;
  1746. params.prompt = std::string(buf.data(), res);
  1747. if (!inputs.json_schema.empty()) {
  1748. params.grammar = json_schema_to_grammar(json::parse(inputs.json_schema));
  1749. } else {
  1750. params.grammar = inputs.grammar;
  1751. }
  1752. return params;
  1753. }
  1754. common_chat_params common_chat_templates_apply(
  1755. const struct common_chat_templates * tmpls,
  1756. const struct common_chat_templates_inputs & inputs)
  1757. {
  1758. GGML_ASSERT(tmpls != nullptr);
  1759. return inputs.use_jinja
  1760. ? common_chat_templates_apply_jinja(tmpls, inputs)
  1761. : common_chat_templates_apply_legacy(tmpls, inputs);
  1762. }
  1763. static void common_chat_parse_content_only(common_chat_msg_parser & builder) {
  1764. builder.add_content(builder.consume_rest());
  1765. }
  1766. static void common_chat_parse(common_chat_msg_parser & builder) {
  1767. LOG_DBG("Parsing input with format %s: %s\n", common_chat_format_name(builder.syntax().format), builder.input().c_str());
  1768. switch (builder.syntax().format) {
  1769. case COMMON_CHAT_FORMAT_CONTENT_ONLY:
  1770. common_chat_parse_content_only(builder);
  1771. break;
  1772. case COMMON_CHAT_FORMAT_GENERIC:
  1773. common_chat_parse_generic(builder);
  1774. break;
  1775. case COMMON_CHAT_FORMAT_MISTRAL_NEMO:
  1776. common_chat_parse_mistral_nemo(builder);
  1777. break;
  1778. case COMMON_CHAT_FORMAT_LLAMA_3_X:
  1779. common_chat_parse_llama_3_1(builder);
  1780. break;
  1781. case COMMON_CHAT_FORMAT_LLAMA_3_X_WITH_BUILTIN_TOOLS:
  1782. common_chat_parse_llama_3_1(builder, /* with_builtin_tools= */ true);
  1783. break;
  1784. case COMMON_CHAT_FORMAT_DEEPSEEK_R1:
  1785. common_chat_parse_deepseek_r1(builder);
  1786. break;
  1787. case COMMON_CHAT_FORMAT_FUNCTIONARY_V3_2:
  1788. common_chat_parse_functionary_v3_2(builder);
  1789. break;
  1790. case COMMON_CHAT_FORMAT_FUNCTIONARY_V3_1_LLAMA_3_1:
  1791. common_chat_parse_functionary_v3_1_llama_3_1(builder);
  1792. break;
  1793. case COMMON_CHAT_FORMAT_HERMES_2_PRO:
  1794. common_chat_parse_hermes_2_pro(builder);
  1795. break;
  1796. case COMMON_CHAT_FORMAT_FIREFUNCTION_V2:
  1797. common_chat_parse_firefunction_v2(builder);
  1798. break;
  1799. case COMMON_CHAT_FORMAT_COMMAND_R7B:
  1800. common_chat_parse_command_r7b(builder);
  1801. break;
  1802. default:
  1803. throw std::runtime_error(std::string("Unsupported format: ") + common_chat_format_name(builder.syntax().format));
  1804. }
  1805. builder.finish();
  1806. }
  1807. common_chat_msg common_chat_parse(const std::string & input, bool is_partial, const common_chat_syntax & syntax) {
  1808. common_chat_msg_parser builder(input, is_partial, syntax);
  1809. try {
  1810. common_chat_parse(builder);
  1811. } catch (const common_chat_msg_partial_exception & ex) {
  1812. LOG_DBG("Partial parse: %s\n", ex.what());
  1813. if (!is_partial) {
  1814. builder.clear_tools();
  1815. builder.move_to(0);
  1816. common_chat_parse_content_only(builder);
  1817. }
  1818. }
  1819. auto msg = builder.result();
  1820. if (!is_partial) {
  1821. LOG_DBG("Parsed message: %s\n", common_chat_msgs_to_json_oaicompat<json>({msg}).at(0).dump().c_str());
  1822. }
  1823. return msg;
  1824. }