# Тексеру келісім емес кезде: Cross-Agent LLM-to-Dafny Formalization

> Толық мәтін ағылшын тілінде

**Published:** 2026 ж. 6 қараша
**Author:** Priyanath Maji
**Source:** arXiv — cs.AI
**Language:** en-US
**HTML:** https://aiqazaqstan.com/kk/articles/when-verification-is-not-agreement-cross-agent-llm-to-dafny-formalizatio

arXiv:2611.07073v1 Хабарландыру Түрі: жаңа Аннотация: Тексерілген Dafny кейінгі шарты формуланың орындалатынын куәландырады, бірақ ол нәтижеге шынайы тәуелсіз негіздеу арқылы қол жеткізілгеніне кепілдік бермейді. Біз агенттер арасындағы формализация протоколын енгіземіз, мұнда Specifier үлгісі…

> Материал бастапқы дереккөзден алынған: **arXiv — cs.AI**
> [Толық мәтінді arXiv — cs.AI сайтында оқу](https://arxiv.org/abs/2611.07073)

**Тегтер:** #OpenAI #arXiv

---

*AI Qazaqstan — non-commercial informational portal about AI in Kazakhstan. Machine translations and summaries are AI-generated.*