{"id":88789,"date":"2026-08-13T13:24:27","date_gmt":"2026-08-13T10:24:27","guid":{"rendered":"https:\/\/twodots.gr\/?p=88789"},"modified":"2026-08-13T13:24:36","modified_gmt":"2026-08-13T10:24:36","slug":"twil-lm-mikra-montela-typikis-logikis-topika","status":"publish","type":"post","link":"https:\/\/twodots.gr\/bg\/twil-lm-mikra-montela-typikis-logikis-topika\/","title":{"rendered":"TwIL\u2011LM: \u03bc\u03b9\u03ba\u03c1\u03ac \u03bc\u03bf\u03bd\u03c4\u03ad\u03bb\u03b1 \u03c4\u03c5\u03c0\u03b9\u03ba\u03ae\u03c2 \u03bb\u03bf\u03b3\u03b9\u03ba\u03ae\u03c2 \u03c0\u03bf\u03c5 \u03c4\u03c1\u03ad\u03c7\u03bf\u03c5\u03bd \u03c4\u03bf\u03c0\u03b9\u03ba\u03ac"},"content":{"rendered":"<div class=\"td-article-lede\">\n<p><strong>\u03a4\u03bf TwIL\u2011LM \u03b4\u03b5\u03af\u03c7\u03bd\u03b5\u03b9 \u03c0\u03ce\u03c2 \u03ad\u03bd\u03b1 \u03bc\u03b9\u03ba\u03c1\u03cc \u03bc\u03bf\u03bd\u03c4\u03ad\u03bb\u03bf \u03bc\u03c0\u03bf\u03c1\u03b5\u03af \u03bd\u03b1 \u03b1\u03bd\u03b1\u03bb\u03ac\u03b2\u03b5\u03b9 \u03ad\u03bd\u03b1 \u03c3\u03c4\u03b5\u03bd\u03cc \u03b2\u03ae\u03bc\u03b1 \u03c4\u03c5\u03c0\u03b9\u03ba\u03ae\u03c2 \u03bb\u03bf\u03b3\u03b9\u03ba\u03ae\u03c2 \u03ba\u03b1\u03b9 \u03bd\u03b1 \u03c4\u03c1\u03ad\u03be\u03b5\u03b9 \u03c4\u03bf\u03c0\u03b9\u03ba\u03ac. \u0397 \u03c4\u03c1\u03ad\u03c7\u03bf\u03c5\u03c3\u03b1 \u03ad\u03ba\u03b4\u03bf\u03c3\u03b7 TwIL\u2011LM2 \u03b5\u03af\u03bd\u03b1\u03b9 \u03bc\u03bf\u03bd\u03c4\u03ad\u03bb\u03bf 1,7 \u03b4\u03b9\u03c3. \u03c0\u03b1\u03c1\u03b1\u03bc\u03ad\u03c4\u03c1\u03c9\u03bd \u03b3\u03b9\u03b1 FOL, entailment, semantic parsing \u03ba\u03b1\u03b9 Lean, \u03b1\u03bb\u03bb\u03ac \u03b4\u03b5\u03bd \u03b5\u03af\u03bd\u03b1\u03b9 verifier \u03bf\u03cd\u03c4\u03b5 \u03b3\u03b5\u03bd\u03b9\u03ba\u03cc\u03c2 \u03b2\u03bf\u03b7\u03b8\u03cc\u03c2.<\/strong><\/p>\n<p>\u0393\u03b9\u03b1 \u03bc\u03b9\u03b1 \u03b5\u03c0\u03b9\u03c7\u03b5\u03af\u03c1\u03b7\u03c3\u03b7, \u03b7 \u03c7\u03c1\u03ae\u03c3\u03b9\u03bc\u03b7 \u03b1\u03c1\u03c7\u03b9\u03c4\u03b5\u03ba\u03c4\u03bf\u03bd\u03b9\u03ba\u03ae \u03b5\u03af\u03bd\u03b1\u03b9 \u03c3\u03c5\u03b3\u03ba\u03b5\u03ba\u03c1\u03b9\u03bc\u03ad\u03bd\u03b7: \u03c4\u03bf \u03bc\u03bf\u03bd\u03c4\u03ad\u03bb\u03bf \u03c0\u03c1\u03bf\u03c4\u03b5\u03af\u03bd\u03b5\u03b9 \u03bc\u03b9\u03b1 formalization, \u03ad\u03bd\u03b1\u03c2 parser \u03b5\u03bb\u03ad\u03b3\u03c7\u03b5\u03b9 \u03c4\u03b7 \u03bc\u03bf\u03c1\u03c6\u03ae, \u03ad\u03bd\u03b1\u03c2 \u03c3\u03c5\u03bc\u03b2\u03bf\u03bb\u03b9\u03ba\u03cc\u03c2 verifier \u03b5\u03bb\u03ad\u03b3\u03c7\u03b5\u03b9 \u03c4\u03b7 \u03bb\u03bf\u03b3\u03b9\u03ba\u03ae \u03ba\u03b1\u03b9 \u03bf \u03c5\u03c0\u03b5\u03cd\u03b8\u03c5\u03bd\u03bf\u03c2 \u03c4\u03bf\u03c5 domain \u03b1\u03c0\u03bf\u03c6\u03b1\u03c3\u03af\u03b6\u03b5\u03b9 \u03b1\u03bd \u03b7 \u03ad\u03be\u03bf\u03b4\u03bf\u03c2 \u03b1\u03c0\u03bf\u03b4\u03af\u03b4\u03b5\u03b9 \u03c4\u03b7\u03bd \u03b1\u03c1\u03c7\u03b9\u03ba\u03ae \u03c0\u03c1\u03cc\u03b8\u03b5\u03c3\u03b7. \u0397 \u03c4\u03bf\u03c0\u03b9\u03ba\u03ae \u03b5\u03ba\u03c4\u03ad\u03bb\u03b5\u03c3\u03b7 \u03b1\u03bb\u03bb\u03ac\u03b6\u03b5\u03b9 \u03c4\u03bf\u03bd \u03ad\u03bb\u03b5\u03b3\u03c7\u03bf \u03c4\u03b7\u03c2 \u03c5\u03c0\u03bf\u03b4\u03bf\u03bc\u03ae\u03c2\u00b7 \u03b4\u03b5\u03bd \u03bc\u03b5\u03c4\u03b1\u03c4\u03c1\u03ad\u03c0\u03b5\u03b9 \u03bc\u03b9\u03b1 \u03bc\u03b7 \u03b5\u03c0\u03b1\u03bb\u03b7\u03b8\u03b5\u03c5\u03bc\u03ad\u03bd\u03b7 \u03b1\u03c0\u03ac\u03bd\u03c4\u03b7\u03c3\u03b7 \u03c3\u03b5 \u03b3\u03b5\u03b3\u03bf\u03bd\u03cc\u03c2.<\/p>\n<\/div>\n<div class=\"td-article-toc\">\n<div class=\"td-toc-title\">\u03a0\u03b5\u03c1\u03b9\u03b5\u03c7\u03cc\u03bc\u03b5\u03bd\u03b1<\/div>\n<ul>\n<li><a href=\"#ti-einai-simera-twil-lm\">\u03a4\u03b9 \u03b5\u03af\u03bd\u03b1\u03b9 \u03c3\u03ae\u03bc\u03b5\u03c1\u03b1 \u03c4\u03bf TwIL\u2011LM \u03ba\u03b1\u03b9 \u03c4\u03b9 \u03ac\u03bb\u03bb\u03b1\u03be\u03b5<\/a><\/li>\n<li><a href=\"#autoformalization-epicheirimatiki-simasia\">\u0393\u03b9\u03b1\u03c4\u03af \u03c4\u03bf autoformalization \u03ad\u03c7\u03b5\u03b9 \u03b5\u03c0\u03b9\u03c7\u03b5\u03b9\u03c1\u03b7\u03bc\u03b1\u03c4\u03b9\u03ba\u03ae \u03c3\u03b7\u03bc\u03b1\u03c3\u03af\u03b1<\/a><\/li>\n<li><a href=\"#benchmarks-twil-lm2\">\u03a4\u03b9 \u03b4\u03b5\u03af\u03c7\u03bd\u03bf\u03c5\u03bd \u03c4\u03b1 benchmarks \u03c4\u03bf\u03c5 TwIL\u2011LM2<\/a><\/li>\n<li><a href=\"#benchmark-den-arkei\">\u0393\u03b9\u03b1\u03c4\u03af \u03ad\u03bd\u03b1 \u03ba\u03b1\u03bb\u03cc benchmark \u03b4\u03b5\u03bd \u03b1\u03c1\u03ba\u03b5\u03af<\/a><\/li>\n<li><a href=\"#topiki-ektelesi-gguf-hardware\">\u03a4\u03bf\u03c0\u03b9\u03ba\u03ae \u03b5\u03ba\u03c4\u03ad\u03bb\u03b5\u03c3\u03b7, GGUF \u03ba\u03b1\u03b9 \u03c0\u03c1\u03b1\u03b3\u03bc\u03b1\u03c4\u03b9\u03ba\u03cc hardware<\/a><\/li>\n<li><a href=\"#generator-parser-verifier-owner\">Generator, parser, verifier \u03ba\u03b1\u03b9 \u03b1\u03bd\u03b8\u03c1\u03ce\u03c0\u03b9\u03bd\u03bf\u03c2 owner<\/a><\/li>\n<li><a href=\"#dedomena-adeia-governance\">\u0394\u03b5\u03b4\u03bf\u03bc\u03ad\u03bd\u03b1, \u03ac\u03b4\u03b5\u03b9\u03b1 \u03ba\u03b1\u03b9 governance \u03c0\u03c1\u03b9\u03bd \u03b1\u03c0\u03cc pilot<\/a><\/li>\n<li><a href=\"#exi-vimata-pilot\">\u0388\u03be\u03b9 \u03b2\u03ae\u03bc\u03b1\u03c4\u03b1 \u03b3\u03b9\u03b1 \u03b1\u03c3\u03c6\u03b1\u03bb\u03ad\u03c2 \u03b5\u03c0\u03b9\u03c7\u03b5\u03b9\u03c1\u03b7\u03bc\u03b1\u03c4\u03b9\u03ba\u03cc pilot<\/a><\/li>\n<li><a href=\"#pou-chreiazetai-ochi\">\u03a0\u03bf\u03cd \u03c7\u03c1\u03b5\u03b9\u03ac\u03b6\u03b5\u03c4\u03b1\u03b9 \u03b1\u03c5\u03c3\u03c4\u03b7\u03c1\u03cc \u00ab\u03cc\u03c7\u03b9\u00bb \u03c3\u03c4\u03b7\u03bd \u03b1\u03c5\u03c4\u03bf\u03bc\u03b1\u03c4\u03bf\u03c0\u03bf\u03af\u03b7\u03c3\u03b7<\/a><\/li>\n<li><a href=\"#symperasma-elegximi-chrisi\">\u03a3\u03c5\u03bc\u03c0\u03ad\u03c1\u03b1\u03c3\u03bc\u03b1: \u03bc\u03b9\u03ba\u03c1\u03cc \u03bc\u03bf\u03bd\u03c4\u03ad\u03bb\u03bf, \u03b5\u03bb\u03ad\u03b3\u03be\u03b9\u03bc\u03b7 \u03c7\u03c1\u03ae\u03c3\u03b7<\/a><\/li>\n<\/ul>\n<\/div>\n<h2 id=\"ti-einai-simera-twil-lm\">\u03a4\u03b9 \u03b5\u03af\u03bd\u03b1\u03b9 \u03c3\u03ae\u03bc\u03b5\u03c1\u03b1 \u03c4\u03bf TwIL\u2011LM \u03ba\u03b1\u03b9 \u03c4\u03b9 \u03ac\u03bb\u03bb\u03b1\u03be\u03b5<\/h2>\n<p>\u0397 \u03bf\u03bd\u03bf\u03bc\u03b1\u03c3\u03af\u03b1 TwIL\u2011LM \u03c7\u03c1\u03b5\u03b9\u03ac\u03b6\u03b5\u03c4\u03b1\u03b9 \u03c0\u03bb\u03ad\u03bf\u03bd \u03ad\u03ba\u03b4\u03bf\u03c3\u03b7. \u03a4\u03bf \u03b5\u03c0\u03af\u03c3\u03b7\u03bc\u03bf repository \u03c4\u03b7\u03c2 webAI \u03ad\u03c7\u03b5\u03b9 \u03c3\u03c4\u03bf <code>main<\/code> \u03c4\u03bf TwIL\u2011LM2: \u03ad\u03bd\u03b1 \u03c0\u03bb\u03ae\u03c1\u03c9\u03c2 \u03c3\u03c5\u03b3\u03c7\u03c9\u03bd\u03b5\u03c5\u03bc\u03ad\u03bd\u03bf \u03bc\u03bf\u03bd\u03c4\u03ad\u03bb\u03bf 1,7 \u03b4\u03b9\u03c3. \u03c0\u03b1\u03c1\u03b1\u03bc\u03ad\u03c4\u03c1\u03c9\u03bd \u03c0\u03ac\u03bd\u03c9 \u03c3\u03c4\u03bf SmolLM2\u20111.7B\u2011Instruct. \u03a6\u03bf\u03c1\u03c4\u03ce\u03bd\u03b5\u03c4\u03b1\u03b9 \u03b1\u03c0\u03b5\u03c5\u03b8\u03b5\u03af\u03b1\u03c2 \u03c9\u03c2 causal language model \u03ba\u03b1\u03b9 \u03b4\u03b5\u03bd \u03c7\u03c1\u03b5\u03b9\u03ac\u03b6\u03b5\u03c4\u03b1\u03b9 \u03be\u03b5\u03c7\u03c9\u03c1\u03b9\u03c3\u03c4\u03cc LoRA adapter \u03ba\u03b1\u03c4\u03ac \u03c4\u03bf inference. \u03a4\u03bf \u03b1\u03c1\u03c7\u03b9\u03ba\u03cc TwIL\u2011LM v1, \u03c0\u03bf\u03c5 \u03ae\u03c4\u03b1\u03bd PEFT LoRA adapter \u03bc\u03cc\u03bd\u03bf \u03b3\u03b9\u03b1 \u03c4\u03bf supervised fine-tuning \u03c3\u03c4\u03ac\u03b4\u03b9\u03bf, \u03c0\u03b1\u03c1\u03b1\u03bc\u03ad\u03bd\u03b5\u03b9 \u03b1\u03c1\u03c7\u03b5\u03b9\u03bf\u03b8\u03b5\u03c4\u03b7\u03bc\u03ad\u03bd\u03bf \u03c3\u03c4\u03bf branch \u03ba\u03b1\u03b9 tag <code>TwIL-LM1<\/code>.<\/p>\n<p>\u0397 \u03b1\u03bb\u03bb\u03b1\u03b3\u03ae \u03b4\u03b5\u03bd \u03b5\u03af\u03bd\u03b1\u03b9 \u03b1\u03c0\u03bb\u03ae \u03bc\u03b5\u03c4\u03bf\u03bd\u03bf\u03bc\u03b1\u03c3\u03af\u03b1. \u03a3\u03cd\u03bc\u03c6\u03c9\u03bd\u03b1 \u03bc\u03b5 \u03c4\u03b7\u03bd \u03c4\u03c1\u03ad\u03c7\u03bf\u03c5\u03c3\u03b1 model card, \u03c4\u03bf TwIL\u2011LM2 \u03c0\u03c1\u03bf\u03ad\u03ba\u03c5\u03c8\u03b5 \u03b1\u03c0\u03cc LoRA supervised fine-tuning, checkpoint fusion, WiSE\u2011FT interpolation \u03ba\u03b1\u03b9 reinforcement learning. \u03a4\u03b1 headline metrics \u03c4\u03bf\u03c5 v1 \u03ba\u03b1\u03b9 \u03c4\u03bf\u03c5 v2 \u03c0\u03c1\u03bf\u03ad\u03c1\u03c7\u03bf\u03bd\u03c4\u03b1\u03b9 \u03b1\u03c0\u03cc \u03b4\u03b9\u03b1\u03c6\u03bf\u03c1\u03b5\u03c4\u03b9\u03ba\u03ac \u03c0\u03c1\u03c9\u03c4\u03cc\u03ba\u03bf\u03bb\u03bb\u03b1 \u03ba\u03b1\u03b9 \u03b4\u03b5\u03bd \u03c0\u03c1\u03ad\u03c0\u03b5\u03b9 \u03bd\u03b1 \u03bc\u03c0\u03b1\u03af\u03bd\u03bf\u03c5\u03bd \u03c3\u03c4\u03b7\u03bd \u03af\u03b4\u03b9\u03b1 \u03c3\u03b5\u03b9\u03c1\u03ac \u03c3\u03b1\u03bd \u03bd\u03b1 \u03b5\u03af\u03bd\u03b1\u03b9 \u03ac\u03bc\u03b5\u03c3\u03b1 \u03c3\u03c5\u03b3\u03ba\u03c1\u03af\u03c3\u03b9\u03bc\u03b1.<\/p>\n<p>\u039f\u03b9 \u03b5\u03c1\u03b3\u03b1\u03c3\u03af\u03b5\u03c2 \u03c0\u03b1\u03c1\u03b1\u03bc\u03ad\u03bd\u03bf\u03c5\u03bd \u03c3\u03c4\u03b5\u03bd\u03ad\u03c2 \u03ba\u03b1\u03b9 \u03c3\u03b1\u03c6\u03b5\u03af\u03c2: \u03bc\u03b5\u03c4\u03ac\u03c6\u03c1\u03b1\u03c3\u03b7 \u03c6\u03c5\u03c3\u03b9\u03ba\u03ae\u03c2 \u03b3\u03bb\u03ce\u03c3\u03c3\u03b1\u03c2 \u03c3\u03b5 first\u2011order logic, \u03c4\u03b1\u03be\u03b9\u03bd\u03cc\u03bc\u03b7\u03c3\u03b7 entailment, semantic parsing, Lean formalization \u03ba\u03b1\u03b9 critique, procedural reasoning \u03ba\u03b1\u03b9 rule induction. \u03a4\u03bf context window \u03b5\u03af\u03bd\u03b1\u03b9 8.192 tokens \u03ba\u03b1\u03b9 \u03b7 \u03c4\u03b5\u03ba\u03bc\u03b7\u03c1\u03b9\u03c9\u03bc\u03ad\u03bd\u03b7 \u03b3\u03bb\u03ce\u03c3\u03c3\u03b1 \u03b5\u03af\u03bd\u03b1\u03b9 \u03c4\u03b1 \u03b1\u03b3\u03b3\u03bb\u03b9\u03ba\u03ac. \u0386\u03c1\u03b1 \u03ad\u03bd\u03b1 \u03b5\u03bb\u03bb\u03b7\u03bd\u03b9\u03ba\u03cc use case \u03c7\u03c1\u03b5\u03b9\u03ac\u03b6\u03b5\u03c4\u03b1\u03b9 \u03b4\u03b9\u03ba\u03ae \u03c4\u03bf\u03c5 \u03b1\u03be\u03b9\u03bf\u03bb\u03cc\u03b3\u03b7\u03c3\u03b7 \u03ba\u03b1\u03b9 \u03b4\u03b5\u03bd \u03ba\u03bb\u03b7\u03c1\u03bf\u03bd\u03bf\u03bc\u03b5\u03af \u03b1\u03c5\u03c4\u03bf\u03bc\u03ac\u03c4\u03c9\u03c2 \u03c4\u03b1 \u03b1\u03b3\u03b3\u03bb\u03b9\u03ba\u03ac \u03b1\u03c0\u03bf\u03c4\u03b5\u03bb\u03ad\u03c3\u03bc\u03b1\u03c4\u03b1.<\/p>\n<div class=\"td-article-note\"><strong>\u039a\u03bb\u03b5\u03b9\u03b4\u03ce\u03c3\u03c4\u03b5 revision \u03ba\u03b1\u03b9 artifact.<\/strong> \u03a4\u03bf \u03af\u03b4\u03b9\u03bf model ID \u03ad\u03c7\u03b5\u03b9 \u03c6\u03b9\u03bb\u03bf\u03be\u03b5\u03bd\u03ae\u03c3\u03b5\u03b9 \u03b4\u03b9\u03b1\u03c6\u03bf\u03c1\u03b5\u03c4\u03b9\u03ba\u03ad\u03c2 \u03b3\u03b5\u03bd\u03b9\u03ad\u03c2 \u03c4\u03bf\u03c5 TwIL\u2011LM. \u0388\u03bd\u03b1 \u03b1\u03bd\u03b1\u03c0\u03b1\u03c1\u03b1\u03b3\u03ce\u03b3\u03b9\u03bc\u03bf pilot \u03b1\u03c0\u03bf\u03b8\u03b7\u03ba\u03b5\u03cd\u03b5\u03b9 commit \u03ae branch, \u03b1\u03ba\u03c1\u03b9\u03b2\u03ad\u03c2 filename, quantization, runtime, tokenizer, decoding settings \u03ba\u03b1\u03b9 hash \u03c4\u03bf\u03c5 test set.<\/div>\n<h2 id=\"autoformalization-epicheirimatiki-simasia\">\u0393\u03b9\u03b1\u03c4\u03af \u03c4\u03bf autoformalization \u03ad\u03c7\u03b5\u03b9 \u03b5\u03c0\u03b9\u03c7\u03b5\u03b9\u03c1\u03b7\u03bc\u03b1\u03c4\u03b9\u03ba\u03ae \u03c3\u03b7\u03bc\u03b1\u03c3\u03af\u03b1<\/h2>\n<p>Autoformalization \u03b5\u03af\u03bd\u03b1\u03b9 \u03b7 \u03bc\u03b5\u03c4\u03b1\u03c4\u03c1\u03bf\u03c0\u03ae \u03bc\u03b9\u03b1\u03c2 \u03b1\u03bd\u03b8\u03c1\u03ce\u03c0\u03b9\u03bd\u03b7\u03c2 \u03b4\u03b9\u03b1\u03c4\u03cd\u03c0\u03c9\u03c3\u03b7\u03c2 \u03c3\u03b5 \u03c4\u03c5\u03c0\u03b9\u03ba\u03ae, \u03bc\u03b7\u03c7\u03b1\u03bd\u03b9\u03ba\u03ac \u03b5\u03bb\u03ad\u03b3\u03be\u03b9\u03bc\u03b7 \u03bc\u03bf\u03c1\u03c6\u03ae. \u0394\u03b5\u03bd \u03b5\u03af\u03bd\u03b1\u03b9 \u03c0\u03b5\u03c1\u03af\u03bb\u03b7\u03c8\u03b7 \u03ba\u03b1\u03b9 \u03b4\u03b5\u03bd \u03b5\u03af\u03bd\u03b1\u03b9 \u03b1\u03c0\u03cc\u03c6\u03b1\u03c3\u03b7. \u039c\u03b5\u03c4\u03b1\u03c6\u03ad\u03c1\u03b5\u03b9 \u03ad\u03bd\u03b1 \u03b5\u03c0\u03b9\u03c7\u03b5\u03af\u03c1\u03b7\u03bc\u03b1 \u03c3\u03b5 \u03bc\u03b5\u03c4\u03b1\u03b2\u03bb\u03b7\u03c4\u03ad\u03c2, \u03c3\u03c7\u03ad\u03c3\u03b5\u03b9\u03c2, \u03c0\u03bf\u03c3\u03bf\u03b4\u03b5\u03af\u03ba\u03c4\u03b5\u03c2 \u03ae \u03ba\u03b1\u03bd\u03cc\u03bd\u03b5\u03c2, \u03ce\u03c3\u03c4\u03b5 \u03ad\u03bd\u03b1 \u03b4\u03b5\u03cd\u03c4\u03b5\u03c1\u03bf \u03c3\u03cd\u03c3\u03c4\u03b7\u03bc\u03b1 \u03bd\u03b1 \u03bc\u03c0\u03bf\u03c1\u03b5\u03af \u03bd\u03b1 \u03b5\u03bb\u03ad\u03b3\u03be\u03b5\u03b9 \u03c3\u03cd\u03bd\u03c4\u03b1\u03be\u03b7, \u03c3\u03c5\u03bd\u03ad\u03c0\u03b5\u03b9\u03b1 \u03ae \u03b9\u03ba\u03b1\u03bd\u03bf\u03c0\u03bf\u03af\u03b7\u03c3\u03b7 \u03c0\u03b5\u03c1\u03b9\u03bf\u03c1\u03b9\u03c3\u03bc\u03ce\u03bd.<\/p>\n<p>\u03a3\u03c4\u03bf e\u2011commerce, \u03bc\u03b9\u03b1 \u03c0\u03bf\u03bb\u03b9\u03c4\u03b9\u03ba\u03ae \u03cc\u03c0\u03c9\u03c2 \u00ab\u03b7 \u03c0\u03c1\u03bf\u03c3\u03c6\u03bf\u03c1\u03ac \u03b9\u03c3\u03c7\u03cd\u03b5\u03b9 \u03bc\u03cc\u03bd\u03bf \u03b3\u03b9\u03b1 \u03c3\u03c5\u03b3\u03ba\u03b5\u03ba\u03c1\u03b9\u03bc\u03ad\u03bd\u03b7 \u03ba\u03b1\u03c4\u03b7\u03b3\u03bf\u03c1\u03af\u03b1, \u03c7\u03ce\u03c1\u03b1 \u03ba\u03b1\u03b9 \u03c7\u03c1\u03bf\u03bd\u03b9\u03ba\u03cc \u03b4\u03b9\u03ac\u03c3\u03c4\u03b7\u03bc\u03b1\u00bb \u03bc\u03c0\u03bf\u03c1\u03b5\u03af \u03bd\u03b1 \u03b3\u03af\u03bd\u03b5\u03b9 \u03c5\u03c0\u03bf\u03c8\u03ae\u03c6\u03b9\u03bf\u03c2 \u03ba\u03b1\u03bd\u03cc\u03bd\u03b1\u03c2. \u03a4\u03bf \u03bc\u03bf\u03bd\u03c4\u03ad\u03bb\u03bf \u03bc\u03c0\u03bf\u03c1\u03b5\u03af \u03bd\u03b1 \u03c0\u03c1\u03bf\u03c4\u03b5\u03af\u03bd\u03b5\u03b9 \u03c4\u03b7 \u03b4\u03bf\u03bc\u03ae, \u03b1\u03bb\u03bb\u03ac \u03b4\u03b5\u03bd \u03c0\u03c1\u03ad\u03c0\u03b5\u03b9 \u03bd\u03b1 \u03b5\u03bd\u03b5\u03c1\u03b3\u03bf\u03c0\u03bf\u03b9\u03ae\u03c3\u03b5\u03b9 \u03c4\u03b7\u03bd \u03ad\u03ba\u03c0\u03c4\u03c9\u03c3\u03b7. \u03a4\u03bf \u03b1\u03c0\u03bf\u03c4\u03ad\u03bb\u03b5\u03c3\u03bc\u03b1 \u03c7\u03c1\u03b5\u03b9\u03ac\u03b6\u03b5\u03c4\u03b1\u03b9 parser, test cases \u03bc\u03b5 \u03bf\u03c1\u03b9\u03b1\u03ba\u03ad\u03c2 \u03c0\u03b5\u03c1\u03b9\u03c0\u03c4\u03ce\u03c3\u03b5\u03b9\u03c2, \u03c3\u03cd\u03b3\u03ba\u03c1\u03b9\u03c3\u03b7 \u03bc\u03b5 \u03c4\u03bf\u03c5\u03c2 \u03b5\u03bc\u03c0\u03bf\u03c1\u03b9\u03ba\u03bf\u03cd\u03c2 \u03cc\u03c1\u03bf\u03c5\u03c2 \u03ba\u03b1\u03b9 \u03c4\u03b5\u03bb\u03b9\u03ba\u03ae \u03ad\u03b3\u03ba\u03c1\u03b9\u03c3\u03b7 \u03b1\u03c0\u03cc owner.<\/p>\n<p>\u03a3\u03c4\u03bf marketing, \u03b7 \u03af\u03b4\u03b9\u03b1 \u03b1\u03c1\u03c7\u03ae \u03bc\u03c0\u03bf\u03c1\u03b5\u03af \u03bd\u03b1 \u03bc\u03b5\u03c4\u03b1\u03c4\u03c1\u03ad\u03c8\u03b5\u03b9 \u03ad\u03bd\u03b1 brief \u03c3\u03b5 \u03b5\u03bb\u03ad\u03b3\u03be\u03b9\u03bc\u03bf\u03c5\u03c2 \u03c0\u03b5\u03c1\u03b9\u03bf\u03c1\u03b9\u03c3\u03bc\u03bf\u03cd\u03c2: \u03c0\u03bf\u03b9\u03bf \u03ba\u03bf\u03b9\u03bd\u03cc \u03b5\u03af\u03bd\u03b1\u03b9 \u03b5\u03c0\u03b9\u03bb\u03ad\u03be\u03b9\u03bc\u03bf, \u03c0\u03bf\u03b9\u03bf claim \u03b1\u03c0\u03b1\u03b9\u03c4\u03b5\u03af \u03b5\u03b3\u03ba\u03b5\u03ba\u03c1\u03b9\u03bc\u03ad\u03bd\u03b7 \u03c0\u03b7\u03b3\u03ae \u03ba\u03b1\u03b9 \u03c0\u03cc\u03c4\u03b5 \u03c0\u03c1\u03ad\u03c0\u03b5\u03b9 \u03bd\u03b1 \u03c3\u03c4\u03b1\u03bc\u03b1\u03c4\u03ae\u03c3\u03b5\u03b9 \u03bc\u03b9\u03b1 \u03c1\u03bf\u03ae. \u0391\u03c5\u03c4\u03ad\u03c2 \u03b5\u03af\u03bd\u03b1\u03b9 \u03c0\u03b9\u03b8\u03b1\u03bd\u03ad\u03c2 \u03b5\u03c6\u03b1\u03c1\u03bc\u03bf\u03b3\u03ad\u03c2 \u03c4\u03b7\u03c2 \u03b1\u03c1\u03c7\u03b9\u03c4\u03b5\u03ba\u03c4\u03bf\u03bd\u03b9\u03ba\u03ae\u03c2 \u03ba\u03b1\u03b9 \u03cc\u03c7\u03b9 \u03c4\u03b5\u03ba\u03bc\u03b7\u03c1\u03b9\u03c9\u03bc\u03ad\u03bd\u03b5\u03c2 \u03c0\u03b1\u03c1\u03b1\u03b3\u03c9\u03b3\u03b9\u03ba\u03ad\u03c2 \u03c7\u03c1\u03ae\u03c3\u03b5\u03b9\u03c2 \u03c4\u03bf\u03c5 \u03c3\u03c5\u03b3\u03ba\u03b5\u03ba\u03c1\u03b9\u03bc\u03ad\u03bd\u03bf\u03c5 \u03bc\u03bf\u03bd\u03c4\u03ad\u03bb\u03bf\u03c5. \u0397 \u03c3\u03c9\u03c3\u03c4\u03ae \u03c3\u03cd\u03bd\u03b4\u03b5\u03c3\u03b7 \u03bc\u03b5 <a href=\"https:\/\/twodots.gr\/aftomatismoi-epicheiriseon-ai\/\">\u03b1\u03c5\u03c4\u03bf\u03bc\u03b1\u03c4\u03b9\u03c3\u03bc\u03bf\u03cd\u03c2 \u03b5\u03c0\u03b9\u03c7\u03b5\u03b9\u03c1\u03ae\u03c3\u03b5\u03c9\u03bd \u03ba\u03b1\u03b9 AI<\/a> \u03be\u03b5\u03ba\u03b9\u03bd\u03ac \u03b1\u03c0\u03cc \u03c0\u03b5\u03c1\u03b9\u03bf\u03c1\u03b9\u03c3\u03bc\u03ad\u03bd\u03bf task, \u03cc\u03c7\u03b9 \u03b1\u03c0\u03cc \u03c4\u03b7\u03bd \u03c5\u03c0\u03cc\u03c3\u03c7\u03b5\u03c3\u03b7 \u03cc\u03c4\u03b9 \u03ad\u03bd\u03b1 \u03bc\u03bf\u03bd\u03c4\u03ad\u03bb\u03bf \u00ab\u03ba\u03b1\u03c4\u03b1\u03bb\u03b1\u03b2\u03b1\u03af\u03bd\u03b5\u03b9 \u03cc\u03bb\u03bf\u03c5\u03c2 \u03c4\u03bf\u03c5\u03c2 \u03ba\u03b1\u03bd\u03cc\u03bd\u03b5\u03c2\u00bb.<\/p>\n<p>\u0397 \u03b5\u03c0\u03b9\u03c7\u03b5\u03b9\u03c1\u03b7\u03bc\u03b1\u03c4\u03b9\u03ba\u03ae \u03b1\u03be\u03af\u03b1 \u03b2\u03c1\u03af\u03c3\u03ba\u03b5\u03c4\u03b1\u03b9 \u03c3\u03c4\u03bf \u03b5\u03bb\u03b5\u03b3\u03c7\u03cc\u03bc\u03b5\u03bd\u03bf \u03b5\u03bd\u03b4\u03b9\u03ac\u03bc\u03b5\u03c3\u03bf artifact. \u039c\u03b9\u03b1 formalization \u03bc\u03c0\u03bf\u03c1\u03b5\u03af \u03bd\u03b1 \u03b1\u03c0\u03bf\u03b8\u03b7\u03ba\u03b5\u03c5\u03c4\u03b5\u03af, \u03bd\u03b1 \u03b3\u03af\u03bd\u03b5\u03b9 diff, \u03bd\u03b1 \u03c0\u03b5\u03c1\u03ac\u03c3\u03b5\u03b9 \u03b1\u03c0\u03cc validator \u03ba\u03b1\u03b9 \u03bd\u03b1 \u03c3\u03c5\u03bd\u03b4\u03b5\u03b8\u03b5\u03af \u03bc\u03b5 \u03c4\u03b7\u03bd \u03b1\u03c0\u03cc\u03c6\u03b1\u03c3\u03b7 \u03c4\u03bf\u03c5 \u03b1\u03bd\u03b8\u03c1\u03ce\u03c0\u03bf\u03c5. \u0388\u03c4\u03c3\u03b9 \u03c4\u03bf workflow \u03b1\u03c0\u03bf\u03ba\u03c4\u03ac traceability \u03c0\u03bf\u03c5 \u03bb\u03b5\u03af\u03c0\u03b5\u03b9 \u03b1\u03c0\u03cc \u03bc\u03b9\u03b1 \u03b1\u03c0\u03bb\u03ae \u03c3\u03c5\u03bd\u03bf\u03bc\u03b9\u03bb\u03b9\u03b1\u03ba\u03ae \u03b1\u03c0\u03ac\u03bd\u03c4\u03b7\u03c3\u03b7.<\/p>\n<h2 id=\"benchmarks-twil-lm2\">\u03a4\u03b9 \u03b4\u03b5\u03af\u03c7\u03bd\u03bf\u03c5\u03bd \u03c4\u03b1 benchmarks \u03c4\u03bf\u03c5 TwIL\u2011LM2<\/h2>\n<p>\u0397 \u03c4\u03c1\u03ad\u03c7\u03bf\u03c5\u03c3\u03b1 model card \u03b1\u03bd\u03b1\u03c6\u03ad\u03c1\u03b5\u03b9 paired \u03b2\u03b5\u03bb\u03c4\u03af\u03c9\u03c3\u03b7 \u03c4\u03bf\u03c5 macro gate \u03b1\u03c0\u03cc 0,263 \u03c3\u03c4\u03bf SmolLM2 base \u03c3\u03b5 0,393 \u03c3\u03c4\u03bf TwIL\u2011LM2. \u03a3\u03c4\u03bf \u03b1\u03bd\u03b1\u03bb\u03c5\u03c4\u03b9\u03ba\u03cc Track A, \u03c4\u03bf strict\u20117 \u03b5\u03af\u03bd\u03b1\u03b9 0,2386, \u03c4\u03bf semantic parsing token\u2011F1 0,8428, \u03c4\u03bf Lean formalization token\u2011F1 0,6199, \u03c4\u03bf entailment accuracy 0,5850 \u03ba\u03b1\u03b9 \u03c4\u03bf rule\u2011induction derivation score 0,5136.<\/p>\n<p>\u0391\u03c5\u03c4\u03ac \u03b5\u03af\u03bd\u03b1\u03b9 \u03b1\u03c0\u03bf\u03c4\u03b5\u03bb\u03ad\u03c3\u03bc\u03b1\u03c4\u03b1 \u03c4\u03bf\u03c5 \u03b5\u03c0\u03af\u03c3\u03b7\u03bc\u03bf\u03c5 evaluation harness \u03c4\u03b7\u03c2 webAI, \u03cc\u03c7\u03b9 \u03b1\u03bd\u03b5\u03be\u03ac\u03c1\u03c4\u03b7\u03c4\u03b7 \u03b1\u03bd\u03b1\u03c0\u03b1\u03c1\u03b1\u03b3\u03c9\u03b3\u03ae. \u0397 \u03c4\u03b5\u03ba\u03bc\u03b7\u03c1\u03af\u03c9\u03c3\u03b7 \u03b4\u03af\u03bd\u03b5\u03b9 200 prompts \u03b1\u03bd\u03ac objective, greedy decoding, budget 2.048 \u03bd\u03ad\u03c9\u03bd tokens \u03ba\u03b1\u03b9 \u03c3\u03c5\u03bd\u03bf\u03bb\u03b9\u03ba\u03cc \u03bc\u03ae\u03ba\u03bf\u03c2 8.192 tokens. \u0397 model card \u03b5\u03be\u03b7\u03b3\u03b5\u03af \u03b5\u03c0\u03af\u03c3\u03b7\u03c2 \u03cc\u03c4\u03b9 \u03b4\u03b9\u03b1\u03c6\u03bf\u03c1\u03b5\u03c4\u03b9\u03ba\u03ac aggregates \u03bc\u03b5\u03c4\u03c1\u03bf\u03cd\u03bd \u03b4\u03b9\u03b1\u03c6\u03bf\u03c1\u03b5\u03c4\u03b9\u03ba\u03ad\u03c2 \u03b9\u03b4\u03b9\u03cc\u03c4\u03b7\u03c4\u03b5\u03c2: \u03c4\u03bf strict\u20117 \u03b4\u03b5\u03bd \u03b4\u03af\u03bd\u03b5\u03b9 partial credit, \u03b5\u03bd\u03ce \u03c4\u03bf macro gate \u03c0\u03b5\u03c1\u03b9\u03bb\u03b1\u03bc\u03b2\u03ac\u03bd\u03b5\u03b9 loose matching \u03c3\u03b5 \u03bf\u03c1\u03b9\u03c3\u03bc\u03ad\u03bd\u03b5\u03c2 free\u2011text \u03b5\u03c1\u03b3\u03b1\u03c3\u03af\u03b5\u03c2.<\/p>\n<div class=\"td-chart td-chart--metrics\">\n<p class=\"td-chart-title\">\u03a4\u03ad\u03c3\u03c3\u03b5\u03c1\u03b1 \u03c4\u03b5\u03ba\u03bc\u03b7\u03c1\u03b9\u03c9\u03bc\u03ad\u03bd\u03b1 \u03c3\u03b7\u03bc\u03b5\u03af\u03b1 \u03b3\u03b9\u03b1 \u03c4\u03b7\u03bd \u03c4\u03c1\u03ad\u03c7\u03bf\u03c5\u03c3\u03b1 \u03ad\u03ba\u03b4\u03bf\u03c3\u03b7<\/p>\n<p class=\"td-chart-intro\">\u039f\u03b9 \u03c4\u03b9\u03bc\u03ad\u03c2 \u03c0\u03c1\u03bf\u03ad\u03c1\u03c7\u03bf\u03bd\u03c4\u03b1\u03b9 \u03b1\u03c0\u03cc \u03c4\u03b7\u03bd \u03b5\u03c0\u03af\u03c3\u03b7\u03bc\u03b7 model card \u03c4\u03bf\u03c5 TwIL\u2011LM2. \u03a0\u03b5\u03c1\u03b9\u03b3\u03c1\u03ac\u03c6\u03bf\u03c5\u03bd \u03c4\u03bf \u03c3\u03c5\u03b3\u03ba\u03b5\u03ba\u03c1\u03b9\u03bc\u03ad\u03bd\u03bf \u03c0\u03c1\u03c9\u03c4\u03cc\u03ba\u03bf\u03bb\u03bb\u03bf \u03ba\u03b1\u03b9 artifact\u00b7 \u03b4\u03b5\u03bd \u03b1\u03c0\u03bf\u03c4\u03b5\u03bb\u03bf\u03cd\u03bd \u03b3\u03b5\u03bd\u03b9\u03ba\u03cc score \u03bd\u03bf\u03b7\u03bc\u03bf\u03c3\u03cd\u03bd\u03b7\u03c2 \u03ae \u03b5\u03b3\u03b3\u03cd\u03b7\u03c3\u03b7 \u03b3\u03b9\u03b1 \u03b5\u03c4\u03b1\u03b9\u03c1\u03b9\u03ba\u03ac \u03b4\u03b5\u03b4\u03bf\u03bc\u03ad\u03bd\u03b1.<\/p>\n<div class=\"td-metric-grid\">\n<div class=\"td-metric-card\">\n<div class=\"td-metric-value\">0,263 \u2192 0,393<\/div>\n<div class=\"td-metric-label\">paired macro gate<\/div>\n<p>\u0397 \u03c3\u03cd\u03b3\u03ba\u03c1\u03b9\u03c3\u03b7 \u03b1\u03c6\u03bf\u03c1\u03ac \u03c4\u03bf TwIL\u2011LM2 \u03ba\u03b1\u03b9 \u03c4\u03bf \u03b4\u03b9\u03ba\u03cc \u03c4\u03bf\u03c5 SmolLM2\u20111.7B base \u03bc\u03ad\u03c3\u03b1 \u03c3\u03c4\u03bf \u03af\u03b4\u03b9\u03bf paired run.<\/p>\n<\/div>\n<div class=\"td-metric-card\">\n<div class=\"td-metric-value\">0,2386<\/div>\n<div class=\"td-metric-label\">strict\u20117<\/div>\n<p>\u0395\u03c0\u03c4\u03ac lanes \u03b2\u03b1\u03b8\u03bc\u03bf\u03bb\u03bf\u03b3\u03bf\u03cd\u03bd\u03c4\u03b1\u03b9 \u03c7\u03c9\u03c1\u03af\u03c2 partial credit, \u03ce\u03c3\u03c4\u03b5 \u03b7 \u03b1\u03ba\u03c1\u03b9\u03b2\u03ae\u03c2 \u03b6\u03b7\u03c4\u03bf\u03cd\u03bc\u03b5\u03bd\u03b7 \u03bc\u03bf\u03c1\u03c6\u03ae \u03bd\u03b1 \u03ad\u03c7\u03b5\u03b9 \u03c0\u03c1\u03b1\u03b3\u03bc\u03b1\u03c4\u03b9\u03ba\u03cc \u03b2\u03ac\u03c1\u03bf\u03c2.<\/p>\n<\/div>\n<div class=\"td-metric-card\">\n<div class=\"td-metric-value\">0,8428<\/div>\n<div class=\"td-metric-label\">semantic parsing token\u2011F1<\/div>\n<p>\u0395\u03af\u03bd\u03b1\u03b9 \u03c4\u03bf \u03b9\u03c3\u03c7\u03c5\u03c1\u03cc\u03c4\u03b5\u03c1\u03bf \u03c3\u03b7\u03bc\u03b5\u03af\u03bf \u03c4\u03bf\u03c5 \u03c0\u03af\u03bd\u03b1\u03ba\u03b1, \u03b1\u03bb\u03bb\u03ac token\u2011F1 \u03b4\u03b5\u03bd \u03b9\u03c3\u03bf\u03b4\u03c5\u03bd\u03b1\u03bc\u03b5\u03af \u03bc\u03b5 \u03bb\u03bf\u03b3\u03b9\u03ba\u03ae \u03b5\u03b3\u03ba\u03c5\u03c1\u03cc\u03c4\u03b7\u03c4\u03b1.<\/p>\n<\/div>\n<div class=\"td-metric-card\">\n<div class=\"td-metric-value\">0,98 GiB<\/div>\n<div class=\"td-metric-label\">Q4_K_M GGUF<\/div>\n<p>\u0397 \u03b5\u03c0\u03af\u03c3\u03b7\u03bc\u03b7 \u03ba\u03ac\u03c1\u03c4\u03b1 \u03c4\u03bf \u03b4\u03af\u03bd\u03b5\u03b9 \u03c9\u03c2 \u03c0\u03c1\u03bf\u03c4\u03b5\u03b9\u03bd\u03cc\u03bc\u03b5\u03bd\u03bf compact build \u03b3\u03b9\u03b1 CPU \u03ae \u03c0\u03b5\u03c1\u03af\u03c0\u03bf\u03c5 2 GB VRAM.<\/p>\n<\/div>\n<\/div>\n<\/div>\n<p>\u0397 \u03b1\u03ba\u03c1\u03af\u03b2\u03b5\u03b9\u03b1 \u03c4\u03b7\u03c2 \u03bc\u03bf\u03c1\u03c6\u03ae\u03c2 \u03ad\u03c7\u03b5\u03b9 \u03c0\u03c1\u03b1\u03ba\u03c4\u03b9\u03ba\u03ae \u03b1\u03be\u03af\u03b1 \u03cc\u03c4\u03b1\u03bd \u03c4\u03bf output \u03c0\u03c1\u03ad\u03c0\u03b5\u03b9 \u03bd\u03b1 \u03ba\u03b1\u03c4\u03b1\u03bd\u03b1\u03bb\u03c9\u03b8\u03b5\u03af \u03b1\u03c0\u03cc parser \u03ae theorem prover. \u038c\u03bc\u03c9\u03c2 \u03b1\u03ba\u03cc\u03bc\u03b7 \u03ba\u03b1\u03b9 \u03bc\u03b9\u03b1 \u03c5\u03c8\u03b7\u03bb\u03ae token\u2011F1 \u03b5\u03c0\u03af\u03b4\u03bf\u03c3\u03b7 \u03b4\u03b5\u03bd \u03b1\u03c0\u03bf\u03b4\u03b5\u03b9\u03ba\u03bd\u03cd\u03b5\u03b9 \u03cc\u03c4\u03b9 \u03ba\u03ac\u03b8\u03b5 \u03c0\u03b1\u03c1\u03b1\u03b3\u03cc\u03bc\u03b5\u03bd\u03b7 \u03bb\u03bf\u03b3\u03b9\u03ba\u03ae \u03c0\u03c1\u03cc\u03c4\u03b1\u03c3\u03b7 \u03b5\u03af\u03bd\u03b1\u03b9 \u03c3\u03c9\u03c3\u03c4\u03ae. \u038c\u03c0\u03c9\u03c2 \u03b4\u03b5\u03af\u03c7\u03bd\u03b5\u03b9 \u03ba\u03b1\u03b9 \u03b7 \u03c3\u03cd\u03b3\u03ba\u03c1\u03b9\u03c3\u03b7 \u03bc\u03bf\u03bd\u03c4\u03ad\u03bb\u03c9\u03bd <a href=\"https:\/\/twodots.gr\/ai-ypo-piesi-diaforetikes-antidraseis-glossikon-montelon\/\">\u03c5\u03c0\u03cc \u03b4\u03b9\u03b1\u03c6\u03bf\u03c1\u03b5\u03c4\u03b9\u03ba\u03ad\u03c2 \u03c3\u03c5\u03bd\u03b8\u03ae\u03ba\u03b5\u03c2<\/a>, \u03c4\u03bf score \u03c0\u03c1\u03ad\u03c0\u03b5\u03b9 \u03c0\u03ac\u03bd\u03c4\u03b1 \u03bd\u03b1 \u03b4\u03b9\u03b1\u03b2\u03ac\u03b6\u03b5\u03c4\u03b1\u03b9 \u03bc\u03b1\u03b6\u03af \u03bc\u03b5 \u03c4\u03bf prompt contract, \u03c4\u03bf decoding \u03ba\u03b1\u03b9 \u03c4\u03bf failure mode.<\/p>\n<h2 id=\"benchmark-den-arkei\">\u0393\u03b9\u03b1\u03c4\u03af \u03ad\u03bd\u03b1 \u03ba\u03b1\u03bb\u03cc benchmark \u03b4\u03b5\u03bd \u03b1\u03c1\u03ba\u03b5\u03af<\/h2>\n<p>\u03a4\u03bf TwIL\u2011LM2 \u03b2\u03b5\u03bb\u03c4\u03b9\u03ce\u03bd\u03b5\u03b9 \u03c4\u03bf \u03b4\u03b9\u03ba\u03cc \u03c4\u03bf\u03c5 base \u03c3\u03b5 \u03cc\u03bb\u03b5\u03c2 \u03c4\u03b9\u03c2 \u03ad\u03be\u03b9 objective lanes \u03c4\u03bf\u03c5 Track A, \u03cc\u03bc\u03c9\u03c2 \u03b4\u03b5\u03bd \u03b4\u03b9\u03b1\u03c4\u03b7\u03c1\u03b5\u03af \u03c0\u03bb\u03ae\u03c1\u03c9\u03c2 \u03c4\u03b7 \u03b3\u03b5\u03bd\u03b9\u03ba\u03ae held\u2011out \u03b5\u03c0\u03af\u03b4\u03bf\u03c3\u03b7. \u0397 model card \u03b1\u03bd\u03b1\u03c6\u03ad\u03c1\u03b5\u03b9 \u03c0\u03c4\u03ce\u03c3\u03b7 \u03c4\u03bf\u03c5 macro \u03c3\u03b5 \u03b4\u03ad\u03ba\u03b1 datasets \u03b1\u03c0\u03cc 0,4456 \u03c3\u03b5 0,4333 \u03ba\u03b1\u03b9 \u03c3\u03b5 \u03b4\u03b5\u03ba\u03b1\u03c4\u03ad\u03c3\u03c3\u03b5\u03c1\u03b1 datasets \u03b1\u03c0\u03cc 0,3838 \u03c3\u03b5 0,3742. \u0392\u03b5\u03bb\u03c4\u03b9\u03ce\u03bd\u03bf\u03bd\u03c4\u03b1\u03b9 \u03bf\u03c1\u03b9\u03c3\u03bc\u03ad\u03bd\u03b1 checkable tasks, \u03b5\u03bd\u03ce \u03c5\u03c0\u03bf\u03c7\u03c9\u03c1\u03bf\u03cd\u03bd \u03b5\u03c1\u03b3\u03b1\u03c3\u03af\u03b5\u03c2 \u03b1\u03bd\u03bf\u03b9\u03ba\u03c4\u03bf\u03cd, \u03c0\u03bf\u03bb\u03c5\u03b2\u03b7\u03bc\u03b1\u03c4\u03b9\u03ba\u03bf\u03cd reasoning \u03ba\u03b1\u03b9 instruction following.<\/p>\n<p>\u0391\u03c5\u03c4\u03cc \u03b5\u03af\u03bd\u03b1\u03b9 \u03b1\u03bd\u03b1\u03bc\u03b5\u03bd\u03cc\u03bc\u03b5\u03bd\u03bf trade\u2011off \u03b5\u03be\u03b5\u03b9\u03b4\u03af\u03ba\u03b5\u03c5\u03c3\u03b7\u03c2, \u03cc\u03c7\u03b9 \u03bb\u03b5\u03c0\u03c4\u03bf\u03bc\u03ad\u03c1\u03b5\u03b9\u03b1 \u03c0\u03bf\u03c5 \u03c0\u03c1\u03ad\u03c0\u03b5\u03b9 \u03bd\u03b1 \u03ba\u03c1\u03c5\u03c6\u03c4\u03b5\u03af. \u0397 \u03bf\u03bc\u03ac\u03b4\u03b1 \u03b4\u03b5\u03bd \u03b5\u03c0\u03b9\u03bb\u03ad\u03b3\u03b5\u03b9 TwIL\u2011LM2 \u03b5\u03c0\u03b5\u03b9\u03b4\u03ae \u00ab\u03b5\u03af\u03bd\u03b1\u03b9 \u03ba\u03b1\u03bb\u03cd\u03c4\u03b5\u03c1\u03bf \u03c3\u03c4\u03bf reasoning\u00bb. \u03a4\u03bf \u03b5\u03c0\u03b9\u03bb\u03ad\u03b3\u03b5\u03b9 \u03bc\u03cc\u03bd\u03bf \u03b1\u03bd \u03c4\u03bf target task \u03bc\u03bf\u03b9\u03ac\u03b6\u03b5\u03b9 \u03bc\u03b5 \u03b5\u03ba\u03b5\u03af\u03bd\u03bf \u03c0\u03bf\u03c5 \u03bc\u03b5\u03c4\u03c1\u03ae\u03b8\u03b7\u03ba\u03b5 \u03ba\u03b1\u03b9 \u03b1\u03bd \u03bf\u03bb\u03cc\u03ba\u03bb\u03b7\u03c1\u03b7 \u03b7 \u03c1\u03bf\u03ae \u03b1\u03c0\u03bf\u03b4\u03af\u03b4\u03b5\u03b9 \u03ba\u03b1\u03bb\u03cd\u03c4\u03b5\u03c1\u03b1 \u03b1\u03c0\u03cc \u03c4\u03bf base \u03ae \u03bc\u03b9\u03b1 \u03b1\u03c0\u03bb\u03bf\u03cd\u03c3\u03c4\u03b5\u03c1\u03b7 deterministic \u03bb\u03cd\u03c3\u03b7.<\/p>\n<p>\u03a4\u03b1 aggregates \u03b8\u03ad\u03bb\u03bf\u03c5\u03bd \u03c0\u03c1\u03bf\u03c3\u03bf\u03c7\u03ae. \u03a4\u03bf token\u2011F1, \u03c4\u03bf exact match, \u03b7 accuracy, \u03b7 perplexity \u03ba\u03b1\u03b9 \u03c4\u03bf derivation score \u03b4\u03b5\u03bd \u03bc\u03b5\u03c4\u03c1\u03bf\u03cd\u03bd \u03c4\u03bf \u03af\u03b4\u03b9\u03bf \u03c0\u03c1\u03ac\u03b3\u03bc\u03b1. \u0397 \u03b1\u03bd\u03ac\u03bc\u03b5\u03b9\u03be\u03ae \u03c4\u03bf\u03c5\u03c2 \u03c3\u03b5 \u03ad\u03bd\u03b1\u03bd \u03b1\u03c1\u03b9\u03b8\u03bc\u03cc \u03b2\u03bf\u03b7\u03b8\u03ac \u03c3\u03c4\u03b7\u03bd \u03c0\u03bb\u03bf\u03ae\u03b3\u03b7\u03c3\u03b7, \u03b1\u03bb\u03bb\u03ac \u03b4\u03b5\u03bd \u03b1\u03bd\u03c4\u03b9\u03ba\u03b1\u03b8\u03b9\u03c3\u03c4\u03ac test set \u03bc\u03b5 \u03c0\u03c1\u03b1\u03b3\u03bc\u03b1\u03c4\u03b9\u03ba\u03ad\u03c2 \u03c0\u03c1\u03bf\u03c4\u03ac\u03c3\u03b5\u03b9\u03c2, \u03b3\u03bd\u03c9\u03c3\u03c4\u03ad\u03c2 \u03c3\u03c9\u03c3\u03c4\u03ad\u03c2 formalizations \u03ba\u03b1\u03b9 \u03ba\u03b1\u03c4\u03b7\u03b3\u03bf\u03c1\u03af\u03b5\u03c2 \u03c3\u03c6\u03ac\u03bb\u03bc\u03b1\u03c4\u03bf\u03c2.<\/p>\n<p>\u0397 \u03af\u03b4\u03b9\u03b1 \u03b1\u03c1\u03c7\u03ae \u03b9\u03c3\u03c7\u03cd\u03b5\u03b9 \u03c3\u03c4\u03b7 <a href=\"https:\/\/twodots.gr\/woodpecker-distillation-asthenestero-ai-entopizei-lathi-ischyroterou\/\">\u03b2\u03b5\u03bb\u03c4\u03af\u03c9\u03c3\u03b7 \u03b5\u03bd\u03cc\u03c2 \u03bc\u03bf\u03bd\u03c4\u03ad\u03bb\u03bf\u03c5 \u03b1\u03c0\u03cc \u03ac\u03bb\u03bb\u03bf \u03bc\u03bf\u03bd\u03c4\u03ad\u03bb\u03bf<\/a> \u03ba\u03b1\u03b9 \u03c3\u03c4\u03b7 <a href=\"https:\/\/twodots.gr\/self-distillation-llms-pi-bias-reasoning\/\">self\u2011distillation \u03c4\u03bf\u03c5 reasoning<\/a>: \u03bc\u03b9\u03b1 \u03bc\u03ad\u03b8\u03bf\u03b4\u03bf\u03c2 \u03bc\u03c0\u03bf\u03c1\u03b5\u03af \u03bd\u03b1 \u03b1\u03bd\u03b5\u03b2\u03ac\u03c3\u03b5\u03b9 \u03c3\u03c5\u03b3\u03ba\u03b5\u03ba\u03c1\u03b9\u03bc\u03ad\u03bd\u03bf metric \u03ba\u03b1\u03b9 \u03bd\u03b1 \u03bc\u03b5\u03c4\u03b1\u03c6\u03ad\u03c1\u03b5\u03b9 \u03ae \u03bd\u03b1 \u03b5\u03bd\u03b9\u03c3\u03c7\u03cd\u03c3\u03b5\u03b9 \u03ac\u03bb\u03bb\u03bf failure mode. \u03a4\u03bf production gate \u03c0\u03c1\u03ad\u03c0\u03b5\u03b9 \u03bd\u03b1 \u03bc\u03b5\u03c4\u03c1\u03ac \u03c4\u03bf \u03b4\u03b9\u03ba\u03cc \u03c3\u03b1\u03c2 \u03ba\u03cc\u03c3\u03c4\u03bf\u03c2 \u03bb\u03ac\u03b8\u03bf\u03c5\u03c2.<\/p>\n<h2 id=\"topiki-ektelesi-gguf-hardware\">\u03a4\u03bf\u03c0\u03b9\u03ba\u03ae \u03b5\u03ba\u03c4\u03ad\u03bb\u03b5\u03c3\u03b7, GGUF \u03ba\u03b1\u03b9 \u03c0\u03c1\u03b1\u03b3\u03bc\u03b1\u03c4\u03b9\u03ba\u03cc hardware<\/h2>\n<p>\u0397 \u03b5\u03c0\u03af\u03c3\u03b7\u03bc\u03b7 \u03ba\u03ac\u03c1\u03c4\u03b1 \u03b4\u03b9\u03b1\u03b8\u03ad\u03c4\u03b5\u03b9 bf16 weights 3,19 GiB \u03ba\u03b1\u03b9 GGUF builds Q4_K_M 0,98 GiB, Q5_K_M 1,14 GiB, Q8_0 1,70 GiB \u03ba\u03b1\u03b9 F16 3,19 GiB. \u03a4\u03bf Q4_K_M \u03c0\u03c1\u03bf\u03c4\u03b5\u03af\u03bd\u03b5\u03c4\u03b1\u03b9 \u03c9\u03c2 compact default \u03ba\u03b1\u03b9 \u03b1\u03bd\u03b1\u03c6\u03ad\u03c1\u03b5\u03c4\u03b1\u03b9 \u03cc\u03c4\u03b9 \u03c4\u03c1\u03ad\u03c7\u03b5\u03b9 \u03c3\u03b5 CPU \u03ae \u03c0\u03b5\u03c1\u03af\u03c0\u03bf\u03c5 2 GB VRAM. \u0391\u03c5\u03c4\u03ae \u03b7 \u03b4\u03ae\u03bb\u03c9\u03c3\u03b7 \u03b1\u03c6\u03bf\u03c1\u03ac \u03b4\u03c5\u03bd\u03b1\u03c4\u03cc\u03c4\u03b7\u03c4\u03b1 \u03c6\u03cc\u03c1\u03c4\u03c9\u03c3\u03b7\u03c2 \u03ba\u03b1\u03b9 inference, \u03cc\u03c7\u03b9 \u03b1\u03c0\u03bf\u03b4\u03b5\u03ba\u03c4\u03ae latency \u03b3\u03b9\u03b1 \u03ba\u03ac\u03b8\u03b5 \u03b5\u03c0\u03b9\u03c7\u03b5\u03af\u03c1\u03b7\u03c3\u03b7.<\/p>\n<p>\u03a4\u03b1 \u03b4\u03b7\u03bc\u03bf\u03c3\u03b9\u03b5\u03c5\u03bc\u03ad\u03bd\u03b1 Track A \u03ba\u03b1\u03b9 Track B \u03b1\u03c0\u03bf\u03c4\u03b5\u03bb\u03ad\u03c3\u03bc\u03b1\u03c4\u03b1 \u03bc\u03b5\u03c4\u03c1\u03ae\u03b8\u03b7\u03ba\u03b1\u03bd \u03c3\u03c4\u03b1 bf16 weights \u03bc\u03ad\u03c3\u03c9 vLLM, \u03cc\u03c7\u03b9 \u03c3\u03c4\u03b1 quantized GGUF. \u0397 \u03af\u03b4\u03b9\u03b1 \u03b7 model card \u03c0\u03c1\u03bf\u03b5\u03b9\u03b4\u03bf\u03c0\u03bf\u03b9\u03b5\u03af \u03b3\u03b9\u03b1 \u03bc\u03b9\u03ba\u03c1\u03ad\u03c2 \u03b1\u03c0\u03bf\u03ba\u03bb\u03af\u03c3\u03b5\u03b9\u03c2, \u03c0\u03b9\u03b8\u03b1\u03bd\u03cc\u03c4\u03b5\u03c1\u03b1 \u03c3\u03c4\u03bf Q4_K_M, \u03c7\u03c9\u03c1\u03af\u03c2 \u03bd\u03b1 \u03c4\u03b9\u03c2 \u03ad\u03c7\u03b5\u03b9 \u03c0\u03bf\u03c3\u03bf\u03c4\u03b9\u03ba\u03bf\u03c0\u03bf\u03b9\u03ae\u03c3\u03b5\u03b9. \u0386\u03c1\u03b1 \u03ba\u03ac\u03b8\u03b5 artifact \u03c7\u03c1\u03b5\u03b9\u03ac\u03b6\u03b5\u03c4\u03b1\u03b9 \u03be\u03b5\u03c7\u03c9\u03c1\u03b9\u03c3\u03c4\u03cc evaluation \u03bc\u03b5 parseability, verifier pass rate, latency, peak memory \u03ba\u03b1\u03b9 \u03c0\u03c1\u03b1\u03b3\u03bc\u03b1\u03c4\u03b9\u03ba\u03cc hardware.<\/p>\n<p>\u0397 \u03c4\u03bf\u03c0\u03b9\u03ba\u03ae \u03b5\u03ba\u03c4\u03ad\u03bb\u03b5\u03c3\u03b7 \u03bc\u03c0\u03bf\u03c1\u03b5\u03af \u03bd\u03b1 \u03bc\u03b5\u03b9\u03ce\u03c3\u03b5\u03b9 \u03c4\u03b7\u03bd \u03b1\u03c5\u03c4\u03cc\u03bc\u03b1\u03c4\u03b7 \u03b1\u03c0\u03bf\u03c3\u03c4\u03bf\u03bb\u03ae inputs \u03c3\u03b5 \u03c4\u03c1\u03af\u03c4\u03bf inference endpoint \u03ba\u03b1\u03b9 \u03bd\u03b1 \u03b4\u03ce\u03c3\u03b5\u03b9 \u03c0\u03b5\u03c1\u03b9\u03c3\u03c3\u03cc\u03c4\u03b5\u03c1\u03bf \u03ad\u03bb\u03b5\u03b3\u03c7\u03bf \u03c3\u03b5 logs, retention \u03ba\u03b1\u03b9 deployment. \u0394\u03b5\u03bd \u03b5\u03b3\u03b3\u03c5\u03ac\u03c4\u03b1\u03b9 \u03b9\u03b4\u03b9\u03c9\u03c4\u03b9\u03ba\u03cc\u03c4\u03b7\u03c4\u03b1 \u03b1\u03c0\u03cc \u03bc\u03cc\u03bd\u03b7 \u03c4\u03b7\u03c2. \u03a7\u03c1\u03b5\u03b9\u03ac\u03b6\u03bf\u03bd\u03c4\u03b1\u03b9 access control, \u03b5\u03bd\u03b7\u03bc\u03b5\u03c1\u03ce\u03c3\u03b5\u03b9\u03c2, \u03b1\u03c0\u03bf\u03bc\u03cc\u03bd\u03c9\u03c3\u03b7 \u03b1\u03c1\u03c7\u03b5\u03af\u03c9\u03bd, \u03ba\u03c1\u03c5\u03c0\u03c4\u03bf\u03b3\u03c1\u03ac\u03c6\u03b7\u03c3\u03b7, monitoring \u03ba\u03b1\u03b9 \u03c3\u03b1\u03c6\u03ad\u03c2 incident ownership.<\/p>\n<p>\u0397 \u03b4\u03b9\u03b1\u03c6\u03bf\u03c1\u03ac \u03b1\u03bd\u03ac\u03bc\u03b5\u03c3\u03b1 \u03c3\u03b5 \u00ab\u03c4\u03c1\u03ad\u03c7\u03b5\u03b9 \u03c4\u03bf\u03c0\u03b9\u03ba\u03ac\u00bb \u03ba\u03b1\u03b9 \u00ab\u03bb\u03b5\u03b9\u03c4\u03bf\u03c5\u03c1\u03b3\u03b5\u03af \u03b1\u03be\u03b9\u03cc\u03c0\u03b9\u03c3\u03c4\u03b1 \u03c4\u03bf\u03c0\u03b9\u03ba\u03ac\u00bb \u03c6\u03b1\u03af\u03bd\u03b5\u03c4\u03b1\u03b9 \u03ba\u03b1\u03b9 \u03c3\u03b5 \u03ac\u03bb\u03bb\u03b1 <a href=\"https:\/\/twodots.gr\/muse-glimmer-topiki-multimodal-ai-agents\/\">local AI \u03c3\u03c5\u03c3\u03c4\u03ae\u03bc\u03b1\u03c4\u03b1<\/a>. \u03a4\u03bf \u03bc\u03b9\u03ba\u03c1\u03cc artifact \u03b4\u03b9\u03b5\u03c5\u03ba\u03bf\u03bb\u03cd\u03bd\u03b5\u03b9 \u03c4\u03bf pilot, \u03b1\u03bb\u03bb\u03ac context, token budget, parallel requests \u03ba\u03b1\u03b9 verifier latency \u03ba\u03b1\u03b8\u03bf\u03c1\u03af\u03b6\u03bf\u03c5\u03bd \u03c4\u03b7\u03bd \u03c0\u03c1\u03b1\u03b3\u03bc\u03b1\u03c4\u03b9\u03ba\u03ae \u03c7\u03c9\u03c1\u03b7\u03c4\u03b9\u03ba\u03cc\u03c4\u03b7\u03c4\u03b1. \u0393\u03b9\u03b1 \u03bc\u03b5\u03b3\u03ac\u03bb\u03b1 inputs, \u03b7 \u03b4\u03b9\u03b1\u03c7\u03b5\u03af\u03c1\u03b9\u03c3\u03b7 context \u03c0\u03b1\u03c1\u03b1\u03bc\u03ad\u03bd\u03b5\u03b9 \u03ba\u03c1\u03af\u03c3\u03b9\u03bc\u03b7, \u03cc\u03c0\u03c9\u03c2 \u03ba\u03b1\u03b9 \u03c3\u03c4\u03b1 <a href=\"https:\/\/twodots.gr\/glide-yvridiki-prosochi-meionei-kostos-llm-megalou-context\/\">LLM \u03bc\u03b5\u03b3\u03ac\u03bb\u03bf\u03c5 context<\/a>.<\/p>\n<h2 id=\"generator-parser-verifier-owner\">Generator, parser, verifier \u03ba\u03b1\u03b9 \u03b1\u03bd\u03b8\u03c1\u03ce\u03c0\u03b9\u03bd\u03bf\u03c2 owner<\/h2>\n<p>\u0397 \u03b1\u03c3\u03c6\u03b1\u03bb\u03ae\u03c2 \u03b1\u03c1\u03c7\u03b9\u03c4\u03b5\u03ba\u03c4\u03bf\u03bd\u03b9\u03ba\u03ae \u03b4\u03b5\u03bd \u03b6\u03b7\u03c4\u03ac \u03b1\u03c0\u03cc \u03c4\u03bf \u03af\u03b4\u03b9\u03bf \u03bc\u03bf\u03bd\u03c4\u03ad\u03bb\u03bf \u03bd\u03b1 \u03b3\u03c1\u03ac\u03c8\u03b5\u03b9, \u03bd\u03b1 \u03b2\u03b1\u03b8\u03bc\u03bf\u03bb\u03bf\u03b3\u03ae\u03c3\u03b5\u03b9 \u03ba\u03b1\u03b9 \u03bd\u03b1 \u03b5\u03b3\u03ba\u03c1\u03af\u03bd\u03b5\u03b9 \u03c4\u03b7 \u03b4\u03b9\u03ba\u03ae \u03c4\u03bf\u03c5 formalization. \u0394\u03b9\u03b1\u03c7\u03c9\u03c1\u03af\u03b6\u03b5\u03b9 \u03c1\u03cc\u03bb\u03bf\u03c5\u03c2 \u03ba\u03b1\u03b9 \u03ba\u03c1\u03b1\u03c4\u03ac \u03c4\u03b1 \u03b1\u03c0\u03bf\u03c4\u03b5\u03bb\u03ad\u03c3\u03bc\u03b1\u03c4\u03b1 \u03ba\u03ac\u03b8\u03b5 \u03c3\u03c4\u03b1\u03b4\u03af\u03bf\u03c5. \u0388\u03c4\u03c3\u03b9 \u03ad\u03bd\u03b1 \u03bb\u03ac\u03b8\u03bf\u03c2 \u03bc\u03bf\u03c1\u03c6\u03ae\u03c2 \u03b4\u03b5\u03bd \u03c3\u03c5\u03b3\u03c7\u03ad\u03b5\u03c4\u03b1\u03b9 \u03bc\u03b5 \u03bb\u03bf\u03b3\u03b9\u03ba\u03ae \u03b1\u03bd\u03c4\u03af\u03c6\u03b1\u03c3\u03b7 \u03ba\u03b1\u03b9 \u03bc\u03b9\u03b1 \u03bb\u03bf\u03b3\u03b9\u03ba\u03ac \u03ad\u03b3\u03ba\u03c5\u03c1\u03b7 \u03ad\u03ba\u03c6\u03c1\u03b1\u03c3\u03b7 \u03b4\u03b5\u03bd \u03c3\u03c5\u03b3\u03c7\u03ad\u03b5\u03c4\u03b1\u03b9 \u03bc\u03b5 \u03c3\u03c9\u03c3\u03c4\u03ae \u03b5\u03c0\u03b9\u03c7\u03b5\u03b9\u03c1\u03b7\u03bc\u03b1\u03c4\u03b9\u03ba\u03ae \u03c0\u03c1\u03cc\u03b8\u03b5\u03c3\u03b7.<\/p>\n<div class=\"td-comparison\">\n<p class=\"td-comparison-title\">\u039f\u03b9 \u03c4\u03ad\u03c3\u03c3\u03b5\u03c1\u03b9\u03c2 \u03c1\u03cc\u03bb\u03bf\u03b9 \u03b5\u03bd\u03cc\u03c2 \u03b5\u03bb\u03ad\u03b3\u03be\u03b9\u03bc\u03bf\u03c5 formalization workflow<\/p>\n<div class=\"td-comparison-cards td-comparison-cards--horizontal\">\n<div class=\"td-comparison-grid td-comparison-grid--four\">\n<div class=\"td-platform-card\">\n<h3>Generator<\/h3>\n<p>\u03a4\u03bf TwIL\u2011LM2 \u03c0\u03c1\u03bf\u03c4\u03b5\u03af\u03bd\u03b5\u03b9 FOL, entailment label, structured representation \u03ae Lean \u03ba\u03b5\u03af\u03bc\u03b5\u03bd\u03bf. \u0397 \u03ad\u03be\u03bf\u03b4\u03bf\u03c2 \u03b5\u03af\u03bd\u03b1\u03b9 \u03c5\u03c0\u03bf\u03c8\u03ae\u03c6\u03b9\u03bf artifact \u03ba\u03b1\u03b9 \u03cc\u03c7\u03b9 \u03b1\u03c0\u03cc\u03c6\u03b1\u03c3\u03b7.<\/p>\n<\/div>\n<div class=\"td-platform-card\">\n<h3>Parser<\/h3>\n<p>\u0395\u03bb\u03ad\u03b3\u03c7\u03b5\u03b9 grammar, schema, \u03b5\u03c0\u03b9\u03c4\u03c1\u03b5\u03c0\u03cc\u03bc\u03b5\u03bd\u03b1 predicates, \u03bf\u03bd\u03cc\u03bc\u03b1\u03c4\u03b1 \u03ba\u03b1\u03b9 \u03c4\u03cd\u03c0\u03bf\u03c5\u03c2. \u0391\u03c0\u03bf\u03c1\u03c1\u03af\u03c0\u03c4\u03b5\u03b9 \u03bc\u03b7\u03c7\u03b1\u03bd\u03b9\u03ba\u03ac \u03cc,\u03c4\u03b9 \u03b4\u03b5\u03bd \u03bc\u03c0\u03bf\u03c1\u03b5\u03af \u03bd\u03b1 \u03ba\u03b1\u03c4\u03b1\u03bd\u03b1\u03bb\u03c9\u03b8\u03b5\u03af \u03bc\u03b5 \u03b1\u03c3\u03c6\u03ac\u03bb\u03b5\u03b9\u03b1.<\/p>\n<\/div>\n<div class=\"td-platform-card\">\n<h3>Verifier<\/h3>\n<p>Solver \u03ae theorem prover \u03b5\u03be\u03b5\u03c4\u03ac\u03b6\u03b5\u03b9 \u03c3\u03c5\u03bd\u03ad\u03c0\u03b5\u03b9\u03b1, satisfiability, proof obligations \u03ae test cases. \u0394\u03b5\u03bd \u03b2\u03b1\u03c3\u03af\u03b6\u03b5\u03c4\u03b1\u03b9 \u03c3\u03c4\u03b7\u03bd \u03b1\u03c5\u03c4\u03bf\u03c0\u03b5\u03c0\u03bf\u03af\u03b8\u03b7\u03c3\u03b7 \u03c4\u03b7\u03c2 \u03b3\u03bb\u03c9\u03c3\u03c3\u03b9\u03ba\u03ae\u03c2 \u03b1\u03c0\u03ac\u03bd\u03c4\u03b7\u03c3\u03b7\u03c2.<\/p>\n<\/div>\n<div class=\"td-platform-card\">\n<h3>Domain owner<\/h3>\n<p>\u0395\u03c0\u03b9\u03b2\u03b5\u03b2\u03b1\u03b9\u03ce\u03bd\u03b5\u03b9 \u03cc\u03c4\u03b9 \u03b7 \u03c4\u03c5\u03c0\u03b9\u03ba\u03ae \u03bc\u03bf\u03c1\u03c6\u03ae \u03b1\u03c0\u03bf\u03b4\u03af\u03b4\u03b5\u03b9 \u03c4\u03bf\u03bd \u03b5\u03bc\u03c0\u03bf\u03c1\u03b9\u03ba\u03cc \u03ba\u03b1\u03bd\u03cc\u03bd\u03b1, \u03ba\u03b1\u03c4\u03b1\u03b3\u03c1\u03ac\u03c6\u03b5\u03b9 \u03b5\u03be\u03b1\u03af\u03c1\u03b5\u03c3\u03b7 \u03ba\u03b1\u03b9 \u03b4\u03af\u03bd\u03b5\u03b9 \u03ae \u03b1\u03c1\u03bd\u03b5\u03af\u03c4\u03b1\u03b9 \u03c4\u03b7\u03bd \u03c4\u03b5\u03bb\u03b9\u03ba\u03ae \u03ad\u03b3\u03ba\u03c1\u03b9\u03c3\u03b7.<\/p>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<p>\u0391\u03bd \u03b1\u03c0\u03bf\u03c4\u03cd\u03c7\u03b5\u03b9 \u03bf\u03c0\u03bf\u03b9\u03bf\u03b4\u03ae\u03c0\u03bf\u03c4\u03b5 \u03c3\u03c4\u03ac\u03b4\u03b9\u03bf, \u03c4\u03bf \u03b1\u03c0\u03bf\u03c4\u03ad\u03bb\u03b5\u03c3\u03bc\u03b1 \u03b5\u03c0\u03b9\u03c3\u03c4\u03c1\u03ad\u03c6\u03b5\u03b9 \u03b3\u03b9\u03b1 \u03b4\u03b9\u03cc\u03c1\u03b8\u03c9\u03c3\u03b7 \u03ba\u03b1\u03b9 \u03b4\u03b5\u03bd \u03c0\u03b5\u03c1\u03bd\u03ac \u03c3\u03b5 \u03c3\u03cd\u03c3\u03c4\u03b7\u03bc\u03b1 \u03c0\u03b1\u03c1\u03b1\u03b3\u03c9\u03b3\u03ae\u03c2. \u03a4\u03bf audit trail \u03ba\u03c1\u03b1\u03c4\u03ac \u03c4\u03b7\u03bd \u03b1\u03c1\u03c7\u03b9\u03ba\u03ae \u03c0\u03c1\u03cc\u03c4\u03b1\u03c3\u03b7, \u03c4\u03bf prompt template, \u03c4\u03bf \u03bc\u03bf\u03bd\u03c4\u03ad\u03bb\u03bf \u03ba\u03b1\u03b9 revision, \u03c4\u03b7\u03bd \u03c0\u03c1\u03bf\u03c4\u03b5\u03b9\u03bd\u03cc\u03bc\u03b5\u03bd\u03b7 formalization, \u03c4\u03b1 parser errors, \u03c4\u03bf verifier result \u03ba\u03b1\u03b9 \u03c4\u03b7\u03bd \u03b1\u03bd\u03b8\u03c1\u03ce\u03c0\u03b9\u03bd\u03b7 \u03b1\u03c0\u03cc\u03c6\u03b1\u03c3\u03b7.<\/p>\n<p>\u0391\u03c5\u03c4\u03cc \u03c4\u03bf trace \u03b5\u03af\u03bd\u03b1\u03b9 \u03b5\u03be\u03af\u03c3\u03bf\u03c5 \u03c3\u03b7\u03bc\u03b1\u03bd\u03c4\u03b9\u03ba\u03cc \u03bc\u03b5 \u03c4\u03b7\u03bd \u03c4\u03b5\u03bb\u03b9\u03ba\u03ae \u03b1\u03ba\u03c1\u03af\u03b2\u03b5\u03b9\u03b1. \u03a7\u03c9\u03c1\u03af\u03c2 provenance, \u03b7 \u03bf\u03bc\u03ac\u03b4\u03b1 \u03b4\u03b5\u03bd \u03b3\u03bd\u03c9\u03c1\u03af\u03b6\u03b5\u03b9 \u03b1\u03bd \u03bc\u03b9\u03b1 \u03b1\u03bb\u03bb\u03b1\u03b3\u03ae \u03c0\u03c1\u03bf\u03ae\u03bb\u03b8\u03b5 \u03b1\u03c0\u03cc \u03bd\u03ad\u03bf artifact, prompt, quantization, test set \u03ae \u03b1\u03bd\u03b8\u03c1\u03ce\u03c0\u03b9\u03bd\u03b7 \u03b5\u03be\u03b1\u03af\u03c1\u03b5\u03c3\u03b7. \u0397 \u03b1\u03bd\u03ac\u03b3\u03ba\u03b7 \u03b8\u03c5\u03bc\u03af\u03b6\u03b5\u03b9 \u03c4\u03b7\u03bd <a href=\"https:\/\/twodots.gr\/skilltrace-proelefsi-ai-skill-keimeno-kodikas\/\">\u03b9\u03c7\u03bd\u03b7\u03bb\u03ac\u03c4\u03b7\u03c3\u03b7 \u03c0\u03c1\u03bf\u03ad\u03bb\u03b5\u03c5\u03c3\u03b7\u03c2 \u03c3\u03b5 AI skills<\/a>: \u03cc,\u03c4\u03b9 \u03b1\u03bb\u03bb\u03ac\u03b6\u03b5\u03b9 \u03c0\u03c1\u03ad\u03c0\u03b5\u03b9 \u03bd\u03b1 \u03bc\u03c0\u03bf\u03c1\u03b5\u03af \u03bd\u03b1 \u03c3\u03c5\u03bd\u03b4\u03b5\u03b8\u03b5\u03af \u03bc\u03b5 \u03ad\u03ba\u03b4\u03bf\u03c3\u03b7 \u03ba\u03b1\u03b9 \u03c5\u03c0\u03b5\u03cd\u03b8\u03c5\u03bd\u03bf.<\/p>\n<h2 id=\"dedomena-adeia-governance\">\u0394\u03b5\u03b4\u03bf\u03bc\u03ad\u03bd\u03b1, \u03ac\u03b4\u03b5\u03b9\u03b1 \u03ba\u03b1\u03b9 governance \u03c0\u03c1\u03b9\u03bd \u03b1\u03c0\u03cc pilot<\/h2>\n<p>\u0397 \u03c4\u03c1\u03ad\u03c7\u03bf\u03c5\u03c3\u03b1 model card \u03c0\u03b5\u03c1\u03b9\u03b3\u03c1\u03ac\u03c6\u03b5\u03b9 \u03c3\u03c5\u03bd\u03b8\u03b5\u03c4\u03b9\u03ba\u03cc corpus \u03c4\u03c5\u03c0\u03b9\u03ba\u03ae\u03c2 \u03bb\u03bf\u03b3\u03b9\u03ba\u03ae\u03c2 \u03ba\u03b1\u03b9 \u03b4\u03b9\u03b1\u03b4\u03b9\u03ba\u03b1\u03c3\u03af\u03b1 \u03c0\u03bf\u03bb\u03bb\u03ce\u03bd \u03c3\u03c4\u03b1\u03b4\u03af\u03c9\u03bd \u03c0\u03ac\u03bd\u03c9 \u03c3\u03c4\u03bf SmolLM2. \u038c\u03bc\u03c9\u03c2 \u03ad\u03bd\u03b1 \u03b5\u03c0\u03b9\u03c7\u03b5\u03b9\u03c1\u03b7\u03bc\u03b1\u03c4\u03b9\u03ba\u03cc pilot \u03b4\u03b5\u03bd \u03c0\u03c1\u03ad\u03c0\u03b5\u03b9 \u03bd\u03b1 \u03b8\u03b5\u03c9\u03c1\u03b5\u03af \u03c4\u03bf training mix \u03ba\u03b1\u03c4\u03ac\u03bb\u03bb\u03b7\u03bb\u03bf \u03b3\u03b9\u03b1 \u03b4\u03b9\u03ba\u03bf\u03cd\u03c2 \u03c4\u03bf\u03c5 \u03cc\u03c1\u03bf\u03c5\u03c2, \u03c0\u03c1\u03bf\u03ca\u03cc\u03bd\u03c4\u03b1 \u03ae \u03b3\u03bb\u03ce\u03c3\u03c3\u03b1. \u03a7\u03c1\u03b5\u03b9\u03ac\u03b6\u03b5\u03c4\u03b1\u03b9 gold set \u03b1\u03c0\u03cc \u03c0\u03c1\u03b1\u03b3\u03bc\u03b1\u03c4\u03b9\u03ba\u03ad\u03c2 \u03c0\u03b5\u03c1\u03b9\u03c0\u03c4\u03ce\u03c3\u03b5\u03b9\u03c2, \u03bc\u03b5 \u03b1\u03bd\u03c9\u03bd\u03c5\u03bc\u03bf\u03c0\u03bf\u03af\u03b7\u03c3\u03b7 \u03cc\u03c0\u03bf\u03c5 \u03b1\u03c0\u03b1\u03b9\u03c4\u03b5\u03af\u03c4\u03b1\u03b9 \u03ba\u03b1\u03b9 \u03be\u03b5\u03c7\u03c9\u03c1\u03b9\u03c3\u03c4\u03ae \u03bf\u03bc\u03ac\u03b4\u03b1 \u03bf\u03c1\u03b9\u03b1\u03ba\u03ce\u03bd \u03ae \u03b1\u03bd\u03c4\u03b9\u03c6\u03b1\u03c4\u03b9\u03ba\u03ce\u03bd \u03c0\u03b1\u03c1\u03b1\u03b4\u03b5\u03b9\u03b3\u03bc\u03ac\u03c4\u03c9\u03bd.<\/p>\n<p>\u0397 \u03ac\u03b4\u03b5\u03b9\u03b1 \u03b5\u03af\u03bd\u03b1\u03b9 \u03ac\u03bc\u03b5\u03c3\u03bf go\/no\u2011go \u03c3\u03b7\u03bc\u03b5\u03af\u03bf. \u03a4\u03b1 \u03b2\u03ac\u03c1\u03b7 \u03c4\u03bf\u03c5 TwIL\u2011LM2 \u03b4\u03b9\u03b1\u03bd\u03ad\u03bc\u03bf\u03bd\u03c4\u03b1\u03b9 \u03bc\u03b5 webAI Non\u2011Commercial License version 1.0, \u03b5\u03bd\u03ce \u03c4\u03bf SmolLM2 base \u03b5\u03af\u03bd\u03b1\u03b9 Apache 2.0. \u0397 \u03b1\u03bd\u03bf\u03b9\u03ba\u03c4\u03ae \u03c0\u03c1\u03cc\u03c3\u03b2\u03b1\u03c3\u03b7 \u03c3\u03c4\u03bf repository \u03b4\u03b5\u03bd \u03b9\u03c3\u03bf\u03b4\u03c5\u03bd\u03b1\u03bc\u03b5\u03af \u03bc\u03b5 \u03ac\u03b4\u03b5\u03b9\u03b1 \u03b5\u03bc\u03c0\u03bf\u03c1\u03b9\u03ba\u03ae\u03c2 \u03c0\u03b1\u03c1\u03b1\u03b3\u03c9\u03b3\u03ae\u03c2. \u0397 \u03b5\u03c0\u03b9\u03c7\u03b5\u03af\u03c1\u03b7\u03c3\u03b7 \u03c0\u03c1\u03ad\u03c0\u03b5\u03b9 \u03bd\u03b1 \u03b5\u03bb\u03ad\u03b3\u03be\u03b5\u03b9 \u03c4\u03b7 \u03c7\u03c1\u03ae\u03c3\u03b7 \u03c0\u03bf\u03c5 \u03c3\u03c7\u03b5\u03b4\u03b9\u03ac\u03b6\u03b5\u03b9 \u03ba\u03b1\u03b9 \u03bd\u03b1 \u03bb\u03ac\u03b2\u03b5\u03b9 \u03ba\u03b1\u03c4\u03ac\u03bb\u03bb\u03b7\u03bb\u03b7 \u03bd\u03bf\u03bc\u03b9\u03ba\u03ae \u03ae \u03b1\u03b4\u03b5\u03b9\u03bf\u03b4\u03bf\u03c4\u03b9\u03ba\u03ae \u03b5\u03c0\u03b9\u03b2\u03b5\u03b2\u03b1\u03af\u03c9\u03c3\u03b7 \u03c0\u03c1\u03b9\u03bd \u03c3\u03c5\u03bd\u03b4\u03ad\u03c3\u03b5\u03b9 \u03c4\u03bf \u03bc\u03bf\u03bd\u03c4\u03ad\u03bb\u03bf \u03bc\u03b5 revenue\u2011generating workflow.<\/p>\n<div class=\"td-decision-band\">\n<p class=\"td-decision-label\">\u03a4\u03bf \u03c0\u03c1\u03ce\u03c4\u03bf gate \u03b4\u03b5\u03bd \u03b5\u03af\u03bd\u03b1\u03b9 \u03c4\u03b5\u03c7\u03bd\u03b9\u03ba\u03cc<\/p>\n<p><strong>\u0391\u03bd \u03c4\u03bf pilot \u03ad\u03c7\u03b5\u03b9 \u03b5\u03bc\u03c0\u03bf\u03c1\u03b9\u03ba\u03cc \u03c3\u03ba\u03bf\u03c0\u03cc \u03ba\u03b1\u03b9 \u03b7 \u03ac\u03b4\u03b5\u03b9\u03b1 \u03b4\u03b5\u03bd \u03c4\u03bf\u03bd \u03ba\u03b1\u03bb\u03cd\u03c0\u03c4\u03b5\u03b9 \u03ba\u03b1\u03b8\u03b1\u03c1\u03ac, \u03c3\u03c4\u03b1\u03bc\u03b1\u03c4\u03ae\u03c3\u03c4\u03b5 \u03c0\u03c1\u03b9\u03bd \u03b1\u03c0\u03cc integration, \u03b4\u03b5\u03b4\u03bf\u03bc\u03ad\u03bd\u03b1 \u03c0\u03b1\u03c1\u03b1\u03b3\u03c9\u03b3\u03ae\u03c2 \u03ba\u03b1\u03b9 deployment.<\/strong><\/p>\n<p>\u039c\u03b5\u03c4\u03ac \u03c4\u03bf licensing gate, \u03b5\u03c6\u03b1\u03c1\u03bc\u03cc\u03c3\u03c4\u03b5 scope, owner, test set, verifier, logging, rollback \u03ba\u03b1\u03b9 \u03b5\u03c0\u03b1\u03bd\u03b1\u03be\u03b9\u03bf\u03bb\u03cc\u03b3\u03b7\u03c3\u03b7. \u0397 \u03b4\u03c5\u03bd\u03b1\u03c4\u03cc\u03c4\u03b7\u03c4\u03b1 \u03c4\u03bf\u03c0\u03b9\u03ba\u03ae\u03c2 \u03c6\u03cc\u03c1\u03c4\u03c9\u03c3\u03b7\u03c2 \u03b4\u03b5\u03bd \u03c0\u03b1\u03c1\u03b1\u03ba\u03ac\u03bc\u03c0\u03c4\u03b5\u03b9 \u03cc\u03c1\u03bf\u03c5\u03c2 \u03c7\u03c1\u03ae\u03c3\u03b7\u03c2, governance \u03ae \u03b5\u03c5\u03b8\u03cd\u03bd\u03b7.<\/p>\n<\/div>\n<p>\u03a4\u03bf NIST AI RMF \u03bf\u03c1\u03b3\u03b1\u03bd\u03ce\u03bd\u03b5\u03b9 \u03c4\u03b7 \u03b4\u03b9\u03b1\u03c7\u03b5\u03af\u03c1\u03b9\u03c3\u03b7 \u03ba\u03b9\u03bd\u03b4\u03cd\u03bd\u03bf\u03c5 \u03c3\u03b5 govern, map, measure \u03ba\u03b1\u03b9 manage. \u0393\u03b9\u03b1 \u03ad\u03bd\u03b1 TwIL\u2011LM pilot \u03b1\u03c5\u03c4\u03cc \u03bc\u03b5\u03c4\u03b1\u03c6\u03c1\u03ac\u03b6\u03b5\u03c4\u03b1\u03b9 \u03c3\u03b5 owner \u03ba\u03b1\u03b9 \u03c0\u03bf\u03bb\u03b9\u03c4\u03b9\u03ba\u03ae, \u03c7\u03b1\u03c1\u03c4\u03bf\u03b3\u03c1\u03ac\u03c6\u03b7\u03c3\u03b7 failure modes, \u03bc\u03ad\u03c4\u03c1\u03b7\u03c3\u03b7 \u03c0\u03ac\u03bd\u03c9 \u03c3\u03b5 \u03c0\u03c1\u03b1\u03b3\u03bc\u03b1\u03c4\u03b9\u03ba\u03ad\u03c2 \u03c0\u03b5\u03c1\u03b9\u03c0\u03c4\u03ce\u03c3\u03b5\u03b9\u03c2 \u03ba\u03b1\u03b9 \u03c3\u03c5\u03b3\u03ba\u03b5\u03ba\u03c1\u03b9\u03bc\u03ad\u03bd\u03b7 \u03b1\u03c0\u03cc\u03c6\u03b1\u03c3\u03b7 \u03b3\u03b9\u03b1 \u03c4\u03bf \u03b1\u03bd \u03b7 \u03c7\u03c1\u03ae\u03c3\u03b7 \u03c0\u03c1\u03bf\u03c7\u03c9\u03c1\u03ac, \u03c0\u03b5\u03c1\u03b9\u03bf\u03c1\u03af\u03b6\u03b5\u03c4\u03b1\u03b9 \u03ae \u03c4\u03b5\u03c1\u03bc\u03b1\u03c4\u03af\u03b6\u03b5\u03c4\u03b1\u03b9.<\/p>\n<h2 id=\"exi-vimata-pilot\">\u0388\u03be\u03b9 \u03b2\u03ae\u03bc\u03b1\u03c4\u03b1 \u03b3\u03b9\u03b1 \u03b1\u03c3\u03c6\u03b1\u03bb\u03ad\u03c2 \u03b5\u03c0\u03b9\u03c7\u03b5\u03b9\u03c1\u03b7\u03bc\u03b1\u03c4\u03b9\u03ba\u03cc pilot<\/h2>\n<p>\u03a4\u03bf pilot \u03c0\u03c1\u03ad\u03c0\u03b5\u03b9 \u03bd\u03b1 \u03b1\u03c0\u03bf\u03b4\u03b5\u03af\u03be\u03b5\u03b9 \u03cc\u03c4\u03b9 \u03c4\u03bf \u03c3\u03c5\u03bd\u03bf\u03bb\u03b9\u03ba\u03cc \u03c3\u03cd\u03c3\u03c4\u03b7\u03bc\u03b1 \u03c0\u03b1\u03c1\u03ac\u03b3\u03b5\u03b9 \u03b5\u03bb\u03ad\u03b3\u03be\u03b9\u03bc\u03b1 artifacts \u03bc\u03b5 \u03b1\u03c0\u03bf\u03b4\u03b5\u03ba\u03c4\u03cc \u03ba\u03cc\u03c3\u03c4\u03bf\u03c2 \u03bb\u03ac\u03b8\u03bf\u03c5\u03c2. \u0394\u03b5\u03bd \u03c7\u03c1\u03b5\u03b9\u03ac\u03b6\u03b5\u03c4\u03b1\u03b9 \u03bd\u03b1 \u03be\u03b5\u03ba\u03b9\u03bd\u03ae\u03c3\u03b5\u03b9 \u03b1\u03c0\u03cc \u03cc\u03bb\u03b5\u03c2 \u03c4\u03b9\u03c2 \u03c0\u03bf\u03bb\u03b9\u03c4\u03b9\u03ba\u03ad\u03c2 \u03c4\u03b7\u03c2 \u03b5\u03c0\u03b9\u03c7\u03b5\u03af\u03c1\u03b7\u03c3\u03b7\u03c2. \u039c\u03af\u03b1 \u03c3\u03c4\u03b5\u03bd\u03ae \u03ba\u03b1\u03c4\u03b7\u03b3\u03bf\u03c1\u03af\u03b1 \u03ba\u03b1\u03bd\u03cc\u03bd\u03c9\u03bd \u03bc\u03b5 \u03c3\u03b1\u03c6\u03ad\u03c2 success criterion \u03b5\u03af\u03bd\u03b1\u03b9 \u03b1\u03c1\u03ba\u03b5\u03c4\u03ae \u03b3\u03b9\u03b1 \u03bd\u03b1 \u03b1\u03c0\u03bf\u03ba\u03b1\u03bb\u03cd\u03c8\u03b5\u03b9 \u03b1\u03bd \u03b7 \u03c4\u03b5\u03c7\u03bd\u03bf\u03bb\u03bf\u03b3\u03af\u03b1 \u03c4\u03b1\u03b9\u03c1\u03b9\u03ac\u03b6\u03b5\u03b9.<\/p>\n<div class=\"td-step-list\">\n<p class=\"td-step-list-title\">\u0388\u03be\u03b9 \u03b2\u03ae\u03bc\u03b1\u03c4\u03b1 \u03b3\u03b9\u03b1 \u03bd\u03b1 \u03b4\u03bf\u03ba\u03b9\u03bc\u03b1\u03c3\u03c4\u03b5\u03af \u03c4\u03bf TwIL\u2011LM \u03c7\u03c9\u03c1\u03af\u03c2 \u03ba\u03c1\u03c5\u03c6\u03ae \u03b1\u03c5\u03c4\u03bf\u03bd\u03bf\u03bc\u03af\u03b1<\/p>\n<ol>\n<li><span class=\"td-step-kicker\">\u0392\u03ae\u03bc\u03b1 1<\/span><strong>\u039f\u03c1\u03af\u03c3\u03c4\u03b5 \u03ad\u03bd\u03b1 checkable task<\/strong>\n<p>\u0395\u03c0\u03b9\u03bb\u03ad\u03be\u03c4\u03b5 \u03bc\u03af\u03b1 \u03bc\u03bf\u03c1\u03c6\u03ae, \u03cc\u03c0\u03c9\u03c2 entailment \u03ae FOL \u03b3\u03b9\u03b1 \u03ad\u03bd\u03b1\u03bd \u03c4\u03cd\u03c0\u03bf \u03ba\u03b1\u03bd\u03cc\u03bd\u03b1. \u039a\u03b1\u03c4\u03b1\u03b3\u03c1\u03ac\u03c8\u03c4\u03b5 \u03c4\u03b9 \u03b8\u03b5\u03c9\u03c1\u03b5\u03af\u03c4\u03b1\u03b9 \u03c3\u03c9\u03c3\u03c4\u03cc, \u03bb\u03ac\u03b8\u03bf\u03c2, \u03b1\u03bc\u03c6\u03af\u03b2\u03bf\u03bb\u03bf \u03ba\u03b1\u03b9 \u03b5\u03ba\u03c4\u03cc\u03c2 \u03c0\u03b5\u03b4\u03af\u03bf\u03c5.<\/p>\n<\/li>\n<li><span class=\"td-step-kicker\">\u0392\u03ae\u03bc\u03b1 2<\/span><strong>\u039a\u03bb\u03b5\u03b9\u03b4\u03ce\u03c3\u03c4\u03b5 \u03ad\u03ba\u03b4\u03bf\u03c3\u03b7 \u03ba\u03b1\u03b9 \u03ac\u03b4\u03b5\u03b9\u03b1<\/strong>\n<p>\u0391\u03c0\u03bf\u03b8\u03b7\u03ba\u03b5\u03cd\u03c3\u03c4\u03b5 model revision, artifact, quantization, runtime \u03ba\u03b1\u03b9 decoding. \u0395\u03c0\u03b9\u03b2\u03b5\u03b2\u03b1\u03b9\u03ce\u03c3\u03c4\u03b5 \u03cc\u03c4\u03b9 \u03b7 \u03c3\u03c7\u03b5\u03b4\u03b9\u03b1\u03b6\u03cc\u03bc\u03b5\u03bd\u03b7 \u03c7\u03c1\u03ae\u03c3\u03b7 \u03b5\u03c0\u03b9\u03c4\u03c1\u03ad\u03c0\u03b5\u03c4\u03b1\u03b9 \u03c0\u03c1\u03b9\u03bd \u03b5\u03b9\u03c3\u03b1\u03c7\u03b8\u03bf\u03cd\u03bd \u03b5\u03c4\u03b1\u03b9\u03c1\u03b9\u03ba\u03ac \u03b4\u03b5\u03b4\u03bf\u03bc\u03ad\u03bd\u03b1.<\/p>\n<\/li>\n<li><span class=\"td-step-kicker\">\u0392\u03ae\u03bc\u03b1 3<\/span><strong>\u03a7\u03c4\u03af\u03c3\u03c4\u03b5 gold set \u03ba\u03b1\u03b9 edge cases<\/strong>\n<p>\u03a7\u03c1\u03b7\u03c3\u03b9\u03bc\u03bf\u03c0\u03bf\u03b9\u03ae\u03c3\u03c4\u03b5 \u03c0\u03c1\u03b1\u03b3\u03bc\u03b1\u03c4\u03b9\u03ba\u03ad\u03c2, \u03b5\u03bb\u03b5\u03b3\u03bc\u03ad\u03bd\u03b5\u03c2 \u03c0\u03c1\u03bf\u03c4\u03ac\u03c3\u03b5\u03b9\u03c2 \u03c4\u03bf\u03c5 \u03bf\u03c1\u03b3\u03b1\u03bd\u03b9\u03c3\u03bc\u03bf\u03cd, \u03bc\u03b1\u03b6\u03af \u03bc\u03b5 \u03b1\u03c1\u03bd\u03ae\u03c3\u03b5\u03b9\u03c2, \u03b5\u03be\u03b1\u03b9\u03c1\u03ad\u03c3\u03b5\u03b9\u03c2, \u03b1\u03bd\u03c4\u03b9\u03c6\u03ac\u03c3\u03b5\u03b9\u03c2, \u03b1\u03c3\u03b1\u03c6\u03b5\u03af\u03c2 \u03cc\u03c1\u03bf\u03c5\u03c2 \u03ba\u03b1\u03b9 \u03c0\u03bf\u03bb\u03cd\u03b3\u03bb\u03c9\u03c3\u03c3\u03b1 \u03b4\u03b5\u03af\u03b3\u03bc\u03b1\u03c4\u03b1 \u03cc\u03c0\u03bf\u03c5 \u03c7\u03c1\u03b5\u03b9\u03ac\u03b6\u03bf\u03bd\u03c4\u03b1\u03b9.<\/p>\n<\/li>\n<li><span class=\"td-step-kicker\">\u0392\u03ae\u03bc\u03b1 4<\/span><strong>\u03a3\u03c5\u03bd\u03b4\u03ad\u03c3\u03c4\u03b5 parser \u03ba\u03b1\u03b9 \u03b1\u03bd\u03b5\u03be\u03ac\u03c1\u03c4\u03b7\u03c4\u03bf verifier<\/strong>\n<p>\u039c\u03b5\u03c4\u03c1\u03ae\u03c3\u03c4\u03b5 \u03c7\u03c9\u03c1\u03b9\u03c3\u03c4\u03ac parseable outputs, logical pass, semantic agreement \u03bc\u03b5 \u03c4\u03bf gold answer \u03ba\u03b1\u03b9 false acceptance. \u0397 \u03b1\u03c0\u03bf\u03c4\u03c5\u03c7\u03af\u03b1 checker \u03c0\u03c1\u03ad\u03c0\u03b5\u03b9 \u03bd\u03b1 \u03bc\u03c0\u03bb\u03bf\u03ba\u03ac\u03c1\u03b5\u03b9 \u03c4\u03b7\u03bd \u03b5\u03bd\u03ad\u03c1\u03b3\u03b5\u03b9\u03b1.<\/p>\n<\/li>\n<li><span class=\"td-step-kicker\">\u0392\u03ae\u03bc\u03b1 5<\/span><strong>\u03a3\u03c5\u03b3\u03ba\u03c1\u03af\u03bd\u03b5\u03c4\u03b5 base, quantizations \u03ba\u03b1\u03b9 baseline<\/strong>\n<p>\u03a4\u03c1\u03ad\u03be\u03c4\u03b5 \u03c4\u03b1 \u03af\u03b4\u03b9\u03b1 inputs \u03c3\u03c4\u03bf TwIL\u2011LM2, \u03c3\u03c4\u03bf SmolLM2 base \u03ba\u03b1\u03b9 \u03c3\u03b5 deterministic \u03ba\u03b1\u03bd\u03cc\u03bd\u03b1 \u03cc\u03c0\u03bf\u03c5 \u03b5\u03af\u03bd\u03b1\u03b9 \u03b5\u03c6\u03b9\u03ba\u03c4\u03cc. \u039c\u03b5\u03c4\u03c1\u03ae\u03c3\u03c4\u03b5 \u03b1\u03ba\u03c1\u03af\u03b2\u03b5\u03b9\u03b1, latency, \u03bc\u03bd\u03ae\u03bc\u03b7 \u03ba\u03b1\u03b9 \u03c7\u03c1\u03cc\u03bd\u03bf \u03b1\u03bd\u03b8\u03c1\u03ce\u03c0\u03b9\u03bd\u03bf\u03c5 review.<\/p>\n<\/li>\n<li><span class=\"td-step-kicker\">\u0392\u03ae\u03bc\u03b1 6<\/span><strong>\u039f\u03c1\u03af\u03c3\u03c4\u03b5 go, narrow \u03ae stop<\/strong>\n<p>\u03a0\u03c1\u03bf\u03c7\u03c9\u03c1\u03ae\u03c3\u03c4\u03b5 \u03bc\u03cc\u03bd\u03bf \u03b1\u03bd \u03c4\u03bf \u03c3\u03c5\u03bd\u03bf\u03bb\u03b9\u03ba\u03cc workflow \u03bc\u03b5\u03b9\u03ce\u03bd\u03b5\u03b9 \u03c4\u03c1\u03b9\u03b2\u03ae \u03c7\u03c9\u03c1\u03af\u03c2 \u03bd\u03b1 \u03b1\u03c5\u03be\u03ac\u03bd\u03b5\u03b9 \u03bc\u03b7 \u03b1\u03bd\u03b9\u03c7\u03bd\u03b5\u03c5\u03bc\u03ad\u03bd\u03b1 \u03bb\u03ac\u03b8\u03b7. \u0394\u03b9\u03b1\u03c4\u03b7\u03c1\u03ae\u03c3\u03c4\u03b5 rollback, monitoring \u03ba\u03b1\u03b9 \u03c0\u03b5\u03c1\u03b9\u03bf\u03b4\u03b9\u03ba\u03cc re-test \u03bc\u03b5\u03c4\u03ac \u03b1\u03c0\u03cc \u03ba\u03ac\u03b8\u03b5 \u03b1\u03bb\u03bb\u03b1\u03b3\u03ae.<\/p>\n<\/li>\n<\/ol>\n<\/div>\n<h2 id=\"pou-chreiazetai-ochi\">\u03a0\u03bf\u03cd \u03c7\u03c1\u03b5\u03b9\u03ac\u03b6\u03b5\u03c4\u03b1\u03b9 \u03b1\u03c5\u03c3\u03c4\u03b7\u03c1\u03cc \u00ab\u03cc\u03c7\u03b9\u00bb \u03c3\u03c4\u03b7\u03bd \u03b1\u03c5\u03c4\u03bf\u03bc\u03b1\u03c4\u03bf\u03c0\u03bf\u03af\u03b7\u03c3\u03b7<\/h2>\n<p>\u03a4\u03bf TwIL\u2011LM2 \u03b4\u03b5\u03bd \u03b5\u03af\u03bd\u03b1\u03b9 \u03b3\u03b5\u03bd\u03b9\u03ba\u03cc\u03c2 assistant \u03ba\u03b1\u03b9 \u03b4\u03b5\u03bd \u03b5\u03af\u03bd\u03b1\u03b9 verifier. \u0394\u03b5\u03bd \u03c0\u03c1\u03ad\u03c0\u03b5\u03b9 \u03bd\u03b1 \u03c7\u03c1\u03b7\u03c3\u03b9\u03bc\u03bf\u03c0\u03bf\u03b9\u03b5\u03af\u03c4\u03b1\u03b9 \u03c9\u03c2 \u03b1\u03c5\u03c4\u03cc\u03bd\u03bf\u03bc\u03bf\u03c2 \u03ba\u03c1\u03b9\u03c4\u03ae\u03c2 \u03c3\u03b5 \u03b9\u03b1\u03c4\u03c1\u03b9\u03ba\u03ad\u03c2, \u03bd\u03bf\u03bc\u03b9\u03ba\u03ad\u03c2, \u03c7\u03c1\u03b7\u03bc\u03b1\u03c4\u03bf\u03bf\u03b9\u03ba\u03bf\u03bd\u03bf\u03bc\u03b9\u03ba\u03ad\u03c2 \u03ae safety\u2011critical \u03b1\u03c0\u03bf\u03c6\u03ac\u03c3\u03b5\u03b9\u03c2. \u0394\u03b5\u03bd \u03c0\u03c1\u03ad\u03c0\u03b5\u03b9 \u03b5\u03c0\u03af\u03c3\u03b7\u03c2 \u03bd\u03b1 \u03bc\u03b5\u03c4\u03b1\u03c4\u03c1\u03ad\u03c0\u03b5\u03b9 \u03c0\u03b1\u03c1\u03b1\u03b3\u03cc\u03bc\u03b5\u03bd\u03bf FOL \u03ae Lean \u03c3\u03b5 \u03c0\u03b1\u03c1\u03b1\u03b3\u03c9\u03b3\u03b9\u03ba\u03ae \u03b5\u03bd\u03ad\u03c1\u03b3\u03b5\u03b9\u03b1 \u03c7\u03c9\u03c1\u03af\u03c2 \u03ba\u03b1\u03c4\u03ac\u03bb\u03bb\u03b7\u03bb\u03bf checker \u03ba\u03b1\u03b9 \u03b1\u03bd\u03b8\u03c1\u03ce\u03c0\u03b9\u03bd\u03bf ownership.<\/p>\n<p>\u03a4\u03bf \u00ab\u03cc\u03c7\u03b9\u00bb \u03b9\u03c3\u03c7\u03cd\u03b5\u03b9 \u03ba\u03b1\u03b9 \u03c3\u03b5 \u03ba\u03b1\u03b8\u03b7\u03bc\u03b5\u03c1\u03b9\u03bd\u03ad\u03c2 \u03b5\u03bc\u03c0\u03bf\u03c1\u03b9\u03ba\u03ad\u03c2 \u03c1\u03bf\u03ad\u03c2 \u03cc\u03c4\u03b1\u03bd \u03c4\u03bf \u03bb\u03ac\u03b8\u03bf\u03c2 \u03b5\u03af\u03bd\u03b1\u03b9 \u03b4\u03cd\u03c3\u03ba\u03bf\u03bb\u03bf \u03bd\u03b1 \u03b1\u03bd\u03b1\u03ba\u03bb\u03b7\u03b8\u03b5\u03af. \u0388\u03bd\u03b1\u03c2 \u03b5\u03c3\u03c6\u03b1\u03bb\u03bc\u03ad\u03bd\u03bf\u03c2 \u03ba\u03b1\u03bd\u03cc\u03bd\u03b1\u03c2 \u03bc\u03c0\u03bf\u03c1\u03b5\u03af \u03bd\u03b1 \u03b4\u03ce\u03c3\u03b5\u03b9 \u03bb\u03ac\u03b8\u03bf\u03c2 \u03c4\u03b9\u03bc\u03ae, \u03bd\u03b1 \u03b1\u03c0\u03bf\u03ba\u03bb\u03b5\u03af\u03c3\u03b5\u03b9 \u03c0\u03b5\u03bb\u03ac\u03c4\u03b7, \u03bd\u03b1 \u03c0\u03b1\u03c1\u03b1\u03b2\u03b9\u03ac\u03c3\u03b5\u03b9 \u03cc\u03c1\u03bf \u03ba\u03b1\u03bc\u03c0\u03ac\u03bd\u03b9\u03b1\u03c2 \u03ae \u03bd\u03b1 \u03b4\u03b7\u03bc\u03b9\u03bf\u03c5\u03c1\u03b3\u03ae\u03c3\u03b5\u03b9 \u03b1\u03c3\u03c5\u03bd\u03b5\u03c0\u03ae \u03b5\u03bc\u03c0\u03b5\u03b9\u03c1\u03af\u03b1. \u03a4\u03bf \u03b3\u03b5\u03b3\u03bf\u03bd\u03cc\u03c2 \u03cc\u03c4\u03b9 \u03b7 \u03b5\u03bd\u03ad\u03c1\u03b3\u03b5\u03b9\u03b1 \u03b4\u03b5\u03bd \u03b5\u03af\u03bd\u03b1\u03b9 safety\u2011critical \u03b4\u03b5\u03bd \u03bc\u03b7\u03b4\u03b5\u03bd\u03af\u03b6\u03b5\u03b9 \u03c4\u03bf \u03bf\u03b9\u03ba\u03bf\u03bd\u03bf\u03bc\u03b9\u03ba\u03cc, \u03bd\u03bf\u03bc\u03b9\u03ba\u03cc \u03ba\u03b1\u03b9 reputational \u03c1\u03af\u03c3\u03ba\u03bf.<\/p>\n<p>\u0391\u03c0\u03bf\u03c6\u03cd\u03b3\u03b5\u03c4\u03b5 \u03b5\u03c0\u03af\u03c3\u03b7\u03c2 \u03c4\u03b1 \u03b1\u03bd\u03bf\u03b9\u03c7\u03c4\u03ac use cases \u03c0\u03bf\u03c5 \u03b6\u03b7\u03c4\u03bf\u03cd\u03bd \u03bc\u03b1\u03ba\u03c1\u03b9\u03ad\u03c2 \u03b1\u03c6\u03b7\u03b3\u03b7\u03bc\u03b1\u03c4\u03b9\u03ba\u03ad\u03c2 \u03b1\u03bb\u03c5\u03c3\u03af\u03b4\u03b5\u03c2 reasoning. \u0397 held\u2011out \u03b1\u03be\u03b9\u03bf\u03bb\u03cc\u03b3\u03b7\u03c3\u03b7 \u03b4\u03b5\u03af\u03c7\u03bd\u03b5\u03b9 \u03cc\u03c4\u03b9 \u03b7 \u03b5\u03be\u03b5\u03b9\u03b4\u03af\u03ba\u03b5\u03c5\u03c3\u03b7 \u03b4\u03b5\u03bd \u03b4\u03b9\u03b1\u03c4\u03b7\u03c1\u03b5\u03af \u03ba\u03ac\u03b8\u03b5 \u03b3\u03b5\u03bd\u03b9\u03ba\u03ae \u03b9\u03ba\u03b1\u03bd\u03cc\u03c4\u03b7\u03c4\u03b1 \u03c4\u03bf\u03c5 base. \u0393\u03b9\u03b1 \u03b1\u03c3\u03b1\u03c6\u03ae \u03ae \u03b5\u03ba\u03c4\u03cc\u03c2 \u03b4\u03b9\u03b1\u03bd\u03bf\u03bc\u03ae\u03c2 inputs, \u03b7 \u03c3\u03c9\u03c3\u03c4\u03ae \u03ad\u03be\u03bf\u03b4\u03bf\u03c2 \u03c4\u03bf\u03c5 workflow \u03bc\u03c0\u03bf\u03c1\u03b5\u03af \u03bd\u03b1 \u03b5\u03af\u03bd\u03b1\u03b9 \u00ab\u03c7\u03c1\u03b5\u03b9\u03ac\u03b6\u03b5\u03c4\u03b1\u03b9 \u03ac\u03bd\u03b8\u03c1\u03c9\u03c0\u03bf\u03c2\u00bb, \u03cc\u03c7\u03b9 \u03bc\u03b9\u03b1 \u03b1\u03bd\u03b1\u03b3\u03ba\u03b1\u03c3\u03c4\u03b9\u03ba\u03ae formalization.<\/p>\n<p>\u03a4\u03ad\u03bb\u03bf\u03c2, \u03bc\u03b7\u03bd \u03b8\u03b5\u03c9\u03c1\u03ae\u03c3\u03b5\u03c4\u03b5 \u03c4\u03b1 \u03b5\u03bb\u03bb\u03b7\u03bd\u03b9\u03ba\u03ac \u03b9\u03c3\u03bf\u03b4\u03cd\u03bd\u03b1\u03bc\u03b1 \u03bc\u03b5 \u03c4\u03b1 \u03c4\u03b5\u03ba\u03bc\u03b7\u03c1\u03b9\u03c9\u03bc\u03ad\u03bd\u03b1 \u03b1\u03b3\u03b3\u03bb\u03b9\u03ba\u03ac tasks. \u03a4\u03bf test set \u03c0\u03c1\u03ad\u03c0\u03b5\u03b9 \u03bd\u03b1 \u03bc\u03b5\u03c4\u03c1\u03ae\u03c3\u03b5\u03b9 \u03b5\u03bb\u03bb\u03b7\u03bd\u03b9\u03ba\u03ae \u03c3\u03cd\u03bd\u03c4\u03b1\u03be\u03b7, \u03b1\u03c1\u03bd\u03ae\u03c3\u03b5\u03b9\u03c2, \u03bd\u03bf\u03bc\u03b9\u03ba\u03bf\u03cd\u03c2 \u03ae \u03b5\u03bc\u03c0\u03bf\u03c1\u03b9\u03ba\u03bf\u03cd\u03c2 \u03cc\u03c1\u03bf\u03c5\u03c2, code switching \u03ba\u03b1\u03b9 \u03c4\u03bf\u03bd \u03c4\u03c1\u03cc\u03c0\u03bf \u03bc\u03b5 \u03c4\u03bf\u03bd \u03bf\u03c0\u03bf\u03af\u03bf \u03bf tokenizer \u03c7\u03b5\u03b9\u03c1\u03af\u03b6\u03b5\u03c4\u03b1\u03b9 \u03c4\u03bf \u03c0\u03c1\u03b1\u03b3\u03bc\u03b1\u03c4\u03b9\u03ba\u03cc \u03bb\u03b5\u03be\u03b9\u03bb\u03cc\u03b3\u03b9\u03bf \u03c4\u03b7\u03c2 \u03bf\u03bc\u03ac\u03b4\u03b1\u03c2.<\/p>\n<h2 id=\"symperasma-elegximi-chrisi\">\u03a3\u03c5\u03bc\u03c0\u03ad\u03c1\u03b1\u03c3\u03bc\u03b1: \u03bc\u03b9\u03ba\u03c1\u03cc \u03bc\u03bf\u03bd\u03c4\u03ad\u03bb\u03bf, \u03b5\u03bb\u03ad\u03b3\u03be\u03b9\u03bc\u03b7 \u03c7\u03c1\u03ae\u03c3\u03b7<\/h2>\n<p>\u03a4\u03bf TwIL\u2011LM2 \u03b5\u03af\u03bd\u03b1\u03b9 \u03b5\u03bd\u03b4\u03b9\u03b1\u03c6\u03ad\u03c1\u03bf\u03bd \u03b5\u03c0\u03b5\u03b9\u03b4\u03ae \u03c3\u03c5\u03bd\u03b4\u03c5\u03ac\u03b6\u03b5\u03b9 \u03c3\u03c4\u03b5\u03bd\u03ae \u03b5\u03be\u03b5\u03b9\u03b4\u03af\u03ba\u03b5\u03c5\u03c3\u03b7, \u03bc\u03b9\u03ba\u03c1\u03cc footprint \u03ba\u03b1\u03b9 \u03c4\u03bf\u03c0\u03b9\u03ba\u03ae \u03b5\u03ba\u03c4\u03ad\u03bb\u03b5\u03c3\u03b7. \u03a3\u03c4\u03bf \u03b5\u03c0\u03af\u03c3\u03b7\u03bc\u03bf Track A \u03b2\u03b5\u03bb\u03c4\u03b9\u03ce\u03bd\u03b5\u03b9 \u03c4\u03bf \u03b4\u03b9\u03ba\u03cc \u03c4\u03bf\u03c5 base \u03c3\u03b5 formal\u2011logic objectives \u03ba\u03b1\u03b9 \u03b4\u03b5\u03af\u03c7\u03bd\u03b5\u03b9 \u03b9\u03c3\u03c7\u03c5\u03c1\u03ae structured\u2011output \u03b5\u03c0\u03af\u03b4\u03bf\u03c3\u03b7. \u03a4\u03b1\u03c5\u03c4\u03cc\u03c7\u03c1\u03bf\u03bd\u03b1, \u03b7 \u03af\u03b4\u03b9\u03b1 \u03c4\u03b5\u03ba\u03bc\u03b7\u03c1\u03af\u03c9\u03c3\u03b7 \u03ba\u03b1\u03c4\u03b1\u03b3\u03c1\u03ac\u03c6\u03b5\u03b9 held\u2011out regressions, \u03bc\u03b7 \u03b5\u03bc\u03c0\u03bf\u03c1\u03b9\u03ba\u03ae \u03ac\u03b4\u03b5\u03b9\u03b1 \u03ba\u03b1\u03b9 \u03b1\u03bd\u03ac\u03b3\u03ba\u03b7 \u03b3\u03b9\u03b1 task\u2011specific verification.<\/p>\n<p>\u0393\u03b9\u03b1 \u03bc\u03b9\u03b1 \u03b5\u03bb\u03bb\u03b7\u03bd\u03b9\u03ba\u03ae \u03b5\u03c0\u03b9\u03c7\u03b5\u03af\u03c1\u03b7\u03c3\u03b7, \u03c4\u03bf \u03c3\u03c9\u03c3\u03c4\u03cc \u03b5\u03c0\u03cc\u03bc\u03b5\u03bd\u03bf \u03b2\u03ae\u03bc\u03b1 \u03b4\u03b5\u03bd \u03b5\u03af\u03bd\u03b1\u03b9 deployment. \u0395\u03af\u03bd\u03b1\u03b9 \u03ad\u03bd\u03b1 \u03c0\u03b5\u03c1\u03b9\u03bf\u03c1\u03b9\u03c3\u03bc\u03ad\u03bd\u03bf proof of concept \u03bc\u03b5 \u03bd\u03bf\u03bc\u03b9\u03ba\u03ac \u03b5\u03c0\u03b9\u03c4\u03c1\u03b5\u03c0\u03c4\u03ae \u03c7\u03c1\u03ae\u03c3\u03b7, \u03ba\u03bb\u03b5\u03b9\u03b4\u03c9\u03bc\u03ad\u03bd\u03bf artifact, \u03c0\u03c1\u03b1\u03b3\u03bc\u03b1\u03c4\u03b9\u03ba\u03cc gold set, parser, solver \u03ae theorem prover, \u03b1\u03bd\u03b8\u03c1\u03ce\u03c0\u03b9\u03bd\u03b7 \u03ad\u03b3\u03ba\u03c1\u03b9\u03c3\u03b7 \u03ba\u03b1\u03b9 \u03bc\u03b5\u03c4\u03c1\u03ae\u03c3\u03b9\u03bc\u03b1 failure modes.<\/p>\n<p>\u0391\u03bd \u03c4\u03bf \u03c3\u03cd\u03c3\u03c4\u03b7\u03bc\u03b1 \u03bc\u03b5\u03b9\u03ce\u03bd\u03b5\u03b9 \u03c4\u03bf\u03bd \u03c7\u03c1\u03cc\u03bd\u03bf \u03bc\u03b5\u03c4\u03b1\u03c4\u03c1\u03bf\u03c0\u03ae\u03c2 \u03ba\u03b1\u03bd\u03cc\u03bd\u03c9\u03bd \u03c7\u03c9\u03c1\u03af\u03c2 \u03bd\u03b1 \u03ba\u03c1\u03cd\u03b2\u03b5\u03b9 \u03c4\u03b1 \u03bb\u03ac\u03b8\u03b7, \u03b7 \u03bc\u03b9\u03ba\u03c1\u03ae \u03ba\u03bb\u03af\u03bc\u03b1\u03ba\u03b1 \u03b3\u03af\u03bd\u03b5\u03c4\u03b1\u03b9 \u03c0\u03bb\u03b5\u03bf\u03bd\u03ad\u03ba\u03c4\u03b7\u03bc\u03b1. \u0391\u03bd \u03b6\u03b7\u03c4\u03ac \u03b1\u03c0\u03cc \u03c4\u03b7\u03bd \u03bf\u03bc\u03ac\u03b4\u03b1 \u03bd\u03b1 \u03b5\u03bc\u03c0\u03b9\u03c3\u03c4\u03b5\u03c5\u03c4\u03b5\u03af \u03bc\u03b7 \u03b5\u03c0\u03b1\u03bb\u03b7\u03b8\u03b5\u03c5\u03bc\u03ad\u03bd\u03b5\u03c2 formalizations \u03ae \u03bd\u03b1 \u03b1\u03b3\u03bd\u03bf\u03ae\u03c3\u03b5\u03b9 \u03c4\u03b7\u03bd \u03ac\u03b4\u03b5\u03b9\u03b1 \u03ba\u03b1\u03b9 \u03c4\u03b9\u03c2 \u03c5\u03c0\u03bf\u03c7\u03c9\u03c1\u03ae\u03c3\u03b5\u03b9\u03c2 \u03b5\u03ba\u03c4\u03cc\u03c2 task, \u03c4\u03bf workflow \u03ad\u03c7\u03b5\u03b9 \u03c3\u03c7\u03b5\u03b4\u03b9\u03b1\u03c3\u03c4\u03b5\u03af \u03bb\u03ac\u03b8\u03bf\u03c2.<\/p>\n<section class=\"td-service-cta\">\n<div class=\"td-service-cta-content\">\n<p class=\"td-service-cta-kicker\">\u0391\u03c0\u03cc \u03c4\u03bf local model \u03c3\u03b5 \u03b5\u03bb\u03b5\u03b3\u03c7\u03cc\u03bc\u03b5\u03bd\u03bf business pilot<\/p>\n<h3>\u03a3\u03c7\u03b5\u03b4\u03b9\u03ac\u03c3\u03c4\u03b5 AI workflow \u03bc\u03b5 gold set, verifier, approvals \u03ba\u03b1\u03b9 \u03ba\u03b1\u03b8\u03b1\u03c1\u03cc go\/no\u2011go<\/h3>\n<p>\u0397 TWO DOTS \u03c7\u03b1\u03c1\u03c4\u03bf\u03b3\u03c1\u03b1\u03c6\u03b5\u03af \u03c4\u03bf task, \u03c4\u03b1 \u03b4\u03b5\u03b4\u03bf\u03bc\u03ad\u03bd\u03b1, \u03c4\u03b1 integrations, \u03c4\u03b1 failure modes \u03ba\u03b1\u03b9 \u03c4\u03b1 \u03b1\u03bd\u03b8\u03c1\u03ce\u03c0\u03b9\u03bd\u03b1 checkpoints, \u03ce\u03c3\u03c4\u03b5 \u03ad\u03bd\u03b1 \u03bc\u03b9\u03ba\u03c1\u03cc \u03b5\u03be\u03b5\u03b9\u03b4\u03b9\u03ba\u03b5\u03c5\u03bc\u03ad\u03bd\u03bf \u03bc\u03bf\u03bd\u03c4\u03ad\u03bb\u03bf \u03bd\u03b1 \u03b1\u03be\u03b9\u03bf\u03bb\u03bf\u03b3\u03b5\u03af\u03c4\u03b1\u03b9 \u03c0\u03ac\u03bd\u03c9 \u03c3\u03b5 \u03c0\u03c1\u03b1\u03b3\u03bc\u03b1\u03c4\u03b9\u03ba\u03ae \u03b5\u03c0\u03b9\u03c7\u03b5\u03b9\u03c1\u03b7\u03c3\u03b9\u03b1\u03ba\u03ae \u03c1\u03bf\u03ae \u03ba\u03b1\u03b9 \u03cc\u03c7\u03b9 \u03bc\u03cc\u03bd\u03bf \u03c3\u03b5 headline benchmarks.<\/p>\n<div class=\"td-service-cta-actions\"><a class=\"td-service-cta-button\" href=\"https:\/\/twodots.gr\/aftomatismoi-epicheiriseon-ai\/\">\u0394\u03b5\u03af\u03c4\u03b5 \u03c4\u03bf\u03c5\u03c2 \u0391\u03c5\u03c4\u03bf\u03bc\u03b1\u03c4\u03b9\u03c3\u03bc\u03bf\u03cd\u03c2 \u0395\u03c0\u03b9\u03c7\u03b5\u03b9\u03c1\u03ae\u03c3\u03b5\u03c9\u03bd &amp; AI<\/a><\/div>\n<\/div>\n<\/section>\n<section id=\"sychnes-erotiseis\" class=\"td-faq-section\">\n<div class=\"td-faq\">\n<p class=\"td-faq-heading\">\u0427\u0435\u0441\u0442\u043e \u0437\u0430\u0434\u0430\u0432\u0430\u043d\u0438 \u0432\u044a\u043f\u0440\u043e\u0441\u0438<\/p>\n<details class=\"td-faq-item\">\n<summary class=\"td-faq-title\">\u03a4\u03b9 \u03b5\u03af\u03bd\u03b1\u03b9 \u03c4\u03bf TwIL\u2011LM2;<\/summary>\n<div class=\"td-faq-content\">\n<p>\u0395\u03af\u03bd\u03b1\u03b9 \u03bc\u03bf\u03bd\u03c4\u03ad\u03bb\u03bf 1,7 \u03b4\u03b9\u03c3. \u03c0\u03b1\u03c1\u03b1\u03bc\u03ad\u03c4\u03c1\u03c9\u03bd \u03c0\u03ac\u03bd\u03c9 \u03c3\u03c4\u03bf SmolLM2\u20111.7B\u2011Instruct, \u03b5\u03be\u03b5\u03b9\u03b4\u03b9\u03ba\u03b5\u03c5\u03bc\u03ad\u03bd\u03bf \u03c3\u03b5 FOL translation, entailment, semantic parsing, Lean formalization \u03ba\u03b1\u03b9 \u03c3\u03c5\u03bd\u03b1\u03c6\u03b5\u03af\u03c2 \u03b5\u03c1\u03b3\u03b1\u03c3\u03af\u03b5\u03c2 \u03c4\u03c5\u03c0\u03b9\u03ba\u03ae\u03c2 \u03bb\u03bf\u03b3\u03b9\u03ba\u03ae\u03c2.<\/p>\n<\/div>\n<\/details>\n<details class=\"td-faq-item\">\n<summary class=\"td-faq-title\">\u039c\u03c0\u03bf\u03c1\u03b5\u03af \u03c4\u03bf TwIL\u2011LM \u03bd\u03b1 \u03c4\u03c1\u03ad\u03be\u03b5\u03b9 \u03c4\u03bf\u03c0\u03b9\u03ba\u03ac;<\/summary>\n<div class=\"td-faq-content\">\n<p>\u039d\u03b1\u03b9. \u0397 \u03c4\u03c1\u03ad\u03c7\u03bf\u03c5\u03c3\u03b1 \u03ad\u03ba\u03b4\u03bf\u03c3\u03b7 \u03c0\u03b1\u03c1\u03ad\u03c7\u03b5\u03b9 bf16 weights \u03ba\u03b1\u03b9 GGUF builds, \u03bc\u03b5 \u03c4\u03bf Q4_K_M \u03c3\u03c4\u03b1 0,98 GiB \u03bd\u03b1 \u03b1\u03bd\u03b1\u03c6\u03ad\u03c1\u03b5\u03c4\u03b1\u03b9 \u03c9\u03c2 compact \u03b5\u03c0\u03b9\u03bb\u03bf\u03b3\u03ae \u03b3\u03b9\u03b1 CPU \u03ae \u03c0\u03b5\u03c1\u03af\u03c0\u03bf\u03c5 2 GB VRAM. \u0397 \u03c0\u03c1\u03b1\u03b3\u03bc\u03b1\u03c4\u03b9\u03ba\u03ae latency \u03ba\u03b1\u03b9 \u03c0\u03bf\u03b9\u03cc\u03c4\u03b7\u03c4\u03b1 \u03c0\u03c1\u03ad\u03c0\u03b5\u03b9 \u03bd\u03b1 \u03bc\u03b5\u03c4\u03c1\u03b7\u03b8\u03bf\u03cd\u03bd \u03c3\u03c4\u03bf hardware \u03c3\u03c4\u03cc\u03c7\u03bf.<\/p>\n<\/div>\n<\/details>\n<details class=\"td-faq-item\">\n<summary class=\"td-faq-title\">\u0395\u03af\u03bd\u03b1\u03b9 \u03c4\u03bf \u03c3\u03b7\u03bc\u03b5\u03c1\u03b9\u03bd\u03cc main branch LoRA adapter;<\/summary>\n<div class=\"td-faq-content\">\n<p>\u038c\u03c7\u03b9. \u03a4\u03bf main branch \u03c6\u03b9\u03bb\u03bf\u03be\u03b5\u03bd\u03b5\u03af \u03c4\u03bf \u03c3\u03c5\u03b3\u03c7\u03c9\u03bd\u03b5\u03c5\u03bc\u03ad\u03bd\u03bf TwIL\u2011LM2 \u03c0\u03bf\u03c5 \u03c6\u03bf\u03c1\u03c4\u03ce\u03bd\u03b5\u03c4\u03b1\u03b9 \u03b1\u03c0\u03b5\u03c5\u03b8\u03b5\u03af\u03b1\u03c2. \u03a4\u03bf \u03b1\u03c1\u03c7\u03b9\u03ba\u03cc PEFT LoRA \u03bc\u03bf\u03bd\u03c4\u03ad\u03bb\u03bf v1 \u03b5\u03af\u03bd\u03b1\u03b9 \u03b1\u03c1\u03c7\u03b5\u03b9\u03bf\u03b8\u03b5\u03c4\u03b7\u03bc\u03ad\u03bd\u03bf \u03c3\u03c4\u03bf branch \u03ba\u03b1\u03b9 tag TwIL-LM1.<\/p>\n<\/div>\n<\/details>\n<details class=\"td-faq-item\">\n<summary class=\"td-faq-title\">\u0395\u03af\u03bd\u03b1\u03b9 \u03c4\u03bf TwIL\u2011LM verifier;<\/summary>\n<div class=\"td-faq-content\">\n<p>\u038c\u03c7\u03b9. \u0397 \u03ad\u03be\u03bf\u03b4\u03bf\u03c2 \u03b5\u03af\u03bd\u03b1\u03b9 \u03c5\u03c0\u03bf\u03c8\u03ae\u03c6\u03b9\u03b1 formalization. \u03a7\u03c1\u03b5\u03b9\u03ac\u03b6\u03b5\u03c4\u03b1\u03b9 parser \u03ba\u03b1\u03b9 \u03b1\u03bd\u03b5\u03be\u03ac\u03c1\u03c4\u03b7\u03c4\u03bf solver, theorem prover \u03ae schema validator, \u03bc\u03b1\u03b6\u03af \u03bc\u03b5 \u03b1\u03bd\u03b8\u03c1\u03ce\u03c0\u03b9\u03bd\u03bf \u03ad\u03bb\u03b5\u03b3\u03c7\u03bf \u03c4\u03b7\u03c2 \u03b5\u03c0\u03b9\u03c7\u03b5\u03b9\u03c1\u03b7\u03bc\u03b1\u03c4\u03b9\u03ba\u03ae\u03c2 \u03c0\u03c1\u03cc\u03b8\u03b5\u03c3\u03b7\u03c2.<\/p>\n<\/div>\n<\/details>\n<details class=\"td-faq-item\">\n<summary class=\"td-faq-title\">\u03a4\u03b9 \u03b4\u03b5\u03af\u03c7\u03bd\u03b5\u03b9 \u03c4\u03bf \u03b2\u03b1\u03c3\u03b9\u03ba\u03cc benchmark \u03c4\u03bf\u03c5 TwIL\u2011LM2;<\/summary>\n<div class=\"td-faq-content\">\n<p>\u0397 \u03b5\u03c0\u03af\u03c3\u03b7\u03bc\u03b7 model card \u03b1\u03bd\u03b1\u03c6\u03ad\u03c1\u03b5\u03b9 paired macro gate 0,263 \u03b3\u03b9\u03b1 \u03c4\u03bf SmolLM2 base \u03ba\u03b1\u03b9 0,393 \u03b3\u03b9\u03b1 \u03c4\u03bf TwIL\u2011LM2, \u03ba\u03b1\u03b8\u03ce\u03c2 \u03ba\u03b1\u03b9 strict\u20117 0,2386. \u039f\u03b9 \u03c4\u03b9\u03bc\u03ad\u03c2 \u03b1\u03c6\u03bf\u03c1\u03bf\u03cd\u03bd \u03c4\u03bf \u03c3\u03c5\u03b3\u03ba\u03b5\u03ba\u03c1\u03b9\u03bc\u03ad\u03bd\u03bf harness \u03ba\u03b1\u03b9 \u03b4\u03b5\u03bd \u03b5\u03af\u03bd\u03b1\u03b9 \u03b3\u03b5\u03bd\u03b9\u03ba\u03cc\u03c2 \u03b4\u03b5\u03af\u03ba\u03c4\u03b7\u03c2 \u03bd\u03bf\u03b7\u03bc\u03bf\u03c3\u03cd\u03bd\u03b7\u03c2.<\/p>\n<\/div>\n<\/details>\n<details class=\"td-faq-item\">\n<summary class=\"td-faq-title\">\u0392\u03b5\u03bb\u03c4\u03b9\u03ce\u03bd\u03b5\u03b9 \u03ba\u03ac\u03b8\u03b5 \u03bc\u03bf\u03c1\u03c6\u03ae reasoning \u03c3\u03b5 \u03c3\u03c7\u03ad\u03c3\u03b7 \u03bc\u03b5 \u03c4\u03bf base;<\/summary>\n<div class=\"td-faq-content\">\n<p>\u038c\u03c7\u03b9. \u0392\u03b5\u03bb\u03c4\u03b9\u03ce\u03bd\u03b5\u03b9 \u03c4\u03b9\u03c2 formal\u2011logic \u03b5\u03c1\u03b3\u03b1\u03c3\u03af\u03b5\u03c2 \u03c4\u03bf\u03c5 Track A, \u03b1\u03bb\u03bb\u03ac \u03b7 \u03b5\u03c0\u03af\u03c3\u03b7\u03bc\u03b7 held\u2011out \u03b1\u03be\u03b9\u03bf\u03bb\u03cc\u03b3\u03b7\u03c3\u03b7 \u03ba\u03b1\u03c4\u03b1\u03b3\u03c1\u03ac\u03c6\u03b5\u03b9 \u03bc\u03b9\u03ba\u03c1\u03ae \u03c0\u03c4\u03ce\u03c3\u03b7 \u03c3\u03c4\u03b1 \u03c3\u03c5\u03bd\u03bf\u03bb\u03b9\u03ba\u03ac macros \u03ba\u03b1\u03b9 \u03bc\u03b5\u03b3\u03b1\u03bb\u03cd\u03c4\u03b5\u03c1\u03b5\u03c2 \u03c5\u03c0\u03bf\u03c7\u03c9\u03c1\u03ae\u03c3\u03b5\u03b9\u03c2 \u03c3\u03b5 \u03bf\u03c1\u03b9\u03c3\u03bc\u03ad\u03bd\u03b1 \u03b1\u03bd\u03bf\u03b9\u03c7\u03c4\u03ac multi-step tasks.<\/p>\n<\/div>\n<\/details>\n<details class=\"td-faq-item\">\n<summary class=\"td-faq-title\">\u0395\u03c0\u03b9\u03c4\u03c1\u03ad\u03c0\u03b5\u03c4\u03b1\u03b9 \u03b7 \u03b5\u03bc\u03c0\u03bf\u03c1\u03b9\u03ba\u03ae \u03c7\u03c1\u03ae\u03c3\u03b7;<\/summary>\n<div class=\"td-faq-content\">\n<p>\u03a4\u03b1 \u03b2\u03ac\u03c1\u03b7 \u03b4\u03b9\u03b1\u03bd\u03ad\u03bc\u03bf\u03bd\u03c4\u03b1\u03b9 \u03bc\u03b5 webAI Non\u2011Commercial License version 1.0. \u039c\u03b9\u03b1 \u03b5\u03c0\u03b9\u03c7\u03b5\u03af\u03c1\u03b7\u03c3\u03b7 \u03c0\u03c1\u03ad\u03c0\u03b5\u03b9 \u03bd\u03b1 \u03b5\u03c0\u03b9\u03b2\u03b5\u03b2\u03b1\u03b9\u03ce\u03c3\u03b5\u03b9 \u03cc\u03c4\u03b9 \u03b7 \u03c3\u03c7\u03b5\u03b4\u03b9\u03b1\u03b6\u03cc\u03bc\u03b5\u03bd\u03b7 \u03c7\u03c1\u03ae\u03c3\u03b7 \u03ba\u03b1\u03bb\u03cd\u03c0\u03c4\u03b5\u03c4\u03b1\u03b9 \u03c0\u03c1\u03b9\u03bd \u03b1\u03c0\u03cc integration, \u03b5\u03c4\u03b1\u03b9\u03c1\u03b9\u03ba\u03ac \u03b4\u03b5\u03b4\u03bf\u03bc\u03ad\u03bd\u03b1 \u03ae \u03c0\u03b1\u03c1\u03b1\u03b3\u03c9\u03b3\u03b9\u03ba\u03cc deployment.<\/p>\n<\/div>\n<\/details>\n<details class=\"td-faq-item\">\n<summary class=\"td-faq-title\">\u03a0\u03ce\u03c2 \u03b1\u03be\u03b9\u03bf\u03bb\u03bf\u03b3\u03b5\u03af\u03c4\u03b1\u03b9 \u03c3\u03c9\u03c3\u03c4\u03ac \u03c3\u03b5 \u03ad\u03bd\u03b1 pilot;<\/summary>\n<div class=\"td-faq-content\">\n<p>\u039c\u03b5 \u03ba\u03bb\u03b5\u03b9\u03b4\u03c9\u03bc\u03ad\u03bd\u03bf revision, \u03c0\u03c1\u03b1\u03b3\u03bc\u03b1\u03c4\u03b9\u03ba\u03cc gold set, edge cases, parser, \u03b1\u03bd\u03b5\u03be\u03ac\u03c1\u03c4\u03b7\u03c4\u03bf verifier, \u03b1\u03bd\u03b8\u03c1\u03ce\u03c0\u03b9\u03bd\u03bf review \u03ba\u03b1\u03b9 \u03be\u03b5\u03c7\u03c9\u03c1\u03b9\u03c3\u03c4\u03ae \u03bc\u03ad\u03c4\u03c1\u03b7\u03c3\u03b7 parseability, verifier pass, semantic agreement, latency \u03ba\u03b1\u03b9 false acceptance \u03b3\u03b9\u03b1 \u03ba\u03ac\u03b8\u03b5 artifact.<\/p>\n<\/div>\n<\/details>\n<\/div>\n<\/section>\n<div class=\"td-source-list\">\n<p id=\"piges\" class=\"td-source-list-title\">\u0418\u0437\u0442\u043e\u0447\u043d\u0438\u0446\u0438<\/p>\n<ul>\n<li><a href=\"https:\/\/huggingface.co\/webAI-Official\/TwIL-LM\" target=\"_blank\" rel=\"noopener\">webAI \u2014 \u0395\u03c0\u03af\u03c3\u03b7\u03bc\u03b7 model card \u03c4\u03bf\u03c5 TwIL\u2011LM2, benchmarks, GGUF builds, \u03c0\u03b5\u03c1\u03b9\u03bf\u03c1\u03b9\u03c3\u03bc\u03bf\u03af \u03ba\u03b1\u03b9 \u03ac\u03b4\u03b5\u03b9\u03b1<\/a><\/li>\n<li><a href=\"https:\/\/huggingface.co\/webAI-Official\/TwIL-LM\/tree\/TwIL-LM1\" target=\"_blank\" rel=\"noopener\">webAI \u2014 \u0391\u03c1\u03c7\u03b5\u03b9\u03bf\u03b8\u03b5\u03c4\u03b7\u03bc\u03ad\u03bd\u03bf branch \u03c4\u03bf\u03c5 \u03b1\u03c1\u03c7\u03b9\u03ba\u03bf\u03cd TwIL\u2011LM v1 \u03c9\u03c2 PEFT LoRA adapter<\/a><\/li>\n<li><a href=\"https:\/\/huggingface.co\/HuggingFaceTB\/SmolLM2-1.7B-Instruct\" target=\"_blank\" rel=\"noopener\">Hugging Face \u2014 \u0395\u03c0\u03af\u03c3\u03b7\u03bc\u03b7 model card \u03c4\u03bf\u03c5 SmolLM2\u20111.7B\u2011Instruct<\/a><\/li>\n<li><a href=\"https:\/\/huggingface.co\/docs\/peft\/quicktour\" target=\"_blank\" rel=\"noopener\">Hugging Face PEFT \u2014 \u0395\u03c0\u03af\u03c3\u03b7\u03bc\u03b7 \u03c4\u03b5\u03ba\u03bc\u03b7\u03c1\u03af\u03c9\u03c3\u03b7 \u03b3\u03b9\u03b1 LoRA adapters \u03ba\u03b1\u03b9 \u03c6\u03cc\u03c1\u03c4\u03c9\u03c3\u03b7 PeftModel<\/a><\/li>\n<li><a href=\"https:\/\/airc.nist.gov\/airmf-resources\/airmf\/5-sec-core\/\" target=\"_blank\" rel=\"noopener\">NIST AI RMF Core \u2014 Govern, Map, Measure \u03ba\u03b1\u03b9 Manage \u03b3\u03b9\u03b1 \u03b4\u03b9\u03b1\u03c7\u03b5\u03af\u03c1\u03b9\u03c3\u03b7 \u03ba\u03b9\u03bd\u03b4\u03cd\u03bd\u03bf\u03c5 AI<\/a><\/li>\n<\/ul>\n<\/div>","protected":false},"excerpt":{"rendered":"<p>\u03a4\u03bf TwIL\u2011LM2 \u03c6\u03ad\u03c1\u03bd\u03b5\u03b9 \u03c4\u03c5\u03c0\u03b9\u03ba\u03ae \u03bb\u03bf\u03b3\u03b9\u03ba\u03ae \u03c3\u03b5 \u03bc\u03b9\u03ba\u03c1\u03cc \u03bc\u03bf\u03bd\u03c4\u03ad\u03bb\u03bf \u03c0\u03bf\u03c5 \u03c4\u03c1\u03ad\u03c7\u03b5\u03b9 \u03c4\u03bf\u03c0\u03b9\u03ba\u03ac. Benchmarks, \u03cc\u03c1\u03b9\u03b1, \u03ac\u03b4\u03b5\u03b9\u03b1 \u03ba\u03b1\u03b9 \u03b1\u03c3\u03c6\u03b1\u03bb\u03ad\u03c2 pilot \u03bc\u03b5 \u03b1\u03bd\u03b5\u03be\u03ac\u03c1\u03c4\u03b7\u03c4\u03bf verifier.<\/p>","protected":false},"author":1,"featured_media":88868,"comment_status":"open","ping_status":"","sticky":false,"template":"","format":"standard","meta":{"_gspb_post_css":"","content-type":"","footnotes":""},"categories":[199],"tags":[19276,19217,19275,19273,19274],"class_list":["post-88789","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-techniti-noimosyni","tag-autoformalization","tag-local-ai","tag-lora","tag-twil-lm","tag-typiki-logiki"],"blocksy_meta":{"styles_descriptor":{"styles":{"desktop":"","tablet":"","mobile":""},"google_fonts":[],"version":7}},"_links":{"self":[{"href":"https:\/\/twodots.gr\/bg\/wp-json\/wp\/v2\/posts\/88789","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/twodots.gr\/bg\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/twodots.gr\/bg\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/twodots.gr\/bg\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/twodots.gr\/bg\/wp-json\/wp\/v2\/comments?post=88789"}],"version-history":[{"count":1,"href":"https:\/\/twodots.gr\/bg\/wp-json\/wp\/v2\/posts\/88789\/revisions"}],"predecessor-version":[{"id":88869,"href":"https:\/\/twodots.gr\/bg\/wp-json\/wp\/v2\/posts\/88789\/revisions\/88869"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/twodots.gr\/bg\/wp-json\/wp\/v2\/media\/88868"}],"wp:attachment":[{"href":"https:\/\/twodots.gr\/bg\/wp-json\/wp\/v2\/media?parent=88789"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/twodots.gr\/bg\/wp-json\/wp\/v2\/categories?post=88789"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/twodots.gr\/bg\/wp-json\/wp\/v2\/tags?post=88789"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}