Поиск

• wikicode generation

  # code generation ## Определение Задача автоматического создания исходного кода по текстовому описанию. Использует модели вроде CodeGen или CodeBERT, часто требует long…

• wikicode correctness rate

  …Используется для оценки качества code generation при формальной верификации. ## Где встречается - [[729. Как LLM используются для code generation с формальной…

• wikicode embeddings

  …Используются для семантического поиска и retrieval в задачах code generation с длинным контекстом. ## Где встречается - [[647. Как вы делаете long…

• wikiMathlib

  # Mathlib ## Определение Математическая библиотека языка Lean, используемая для обучения моделей формальной верификации и code generation с доказательствами. ## Где встречается - [[729…

• wikiCodeGraph

  …Как вы делаете long context для code generation (модель должна видеть весь репозиторий)|647. Как вы делаете long context для…

• wikicompilation success rate

  …Используется для оценки качества code generation. ## Где встречается - [[647. Как вы делаете long context для code generation (модель должна видеть…

• wikimap of repo

  # map of repo ## Определение Сжатое представление репозитория (сигнатуры функций, классы) для передачи LLM в задачах code generation; используется в Aider…

• wikiruntime tracing

  …Как вы делаете long context для code generation (модель должна видеть весь репозиторий)|647. Как вы делаете long context для…

• wiki@Codebase

  …Как вы делаете long context для code generation (модель должна видеть весь репозиторий)|647. Как вы делаете long context для…

• wikiCodeBLEU

  …Как вы делаете long context для code generation (модель должна видеть весь репозиторий)|647. Как вы делаете long context для…

• wikiRepoCoder

  # RepoCoder ## Определение Инструмент Microsoft для retrieval-augmented code generation, строящий граф репозитория и извлекающий релевантные фрагменты через BM25 и эмбеддинги…

• wikidependent functions strategy

  # dependent functions strategy ## Определение Стратегия загрузки контекста для code generation: из графа вызовов берётся транзитивное замыкание зависимостей, чтобы модель видела…

• wikipre/post conditions

  …Используются для верификации корректности вызовов инструментов и code generation. ## Где встречается - [[729. Как LLM используются для code generation с формальной…

• wikiCoq

  …Как LLM используются для code generation с формальной верификацией (Dafny, Lean)|729. Как LLM используются для code generation с формальной…

• wikiproven theorems rate

  …Как LLM используются для code generation с формальной верификацией (Dafny, Lean)|729. Как LLM используются для code generation с формальной…

• wikitime to verification

  …Как LLM используются для code generation с формальной верификацией (Dafny, Lean)|729. Как LLM используются для code generation с формальной…

• wikiLeanDojo

  …Как LLM используются для code generation с формальной верификацией (Dafny, Lean)|729. Как LLM используются для code generation с формальной…

• wikitactic

  …Как LLM используются для code generation с формальной верификацией (Dafny, Lean)|729. Как LLM используются для code generation с формальной…

• wikifunctional correctness

  …Как вы делаете long context для code generation (модель должна видеть весь репозиторий)|647. Как вы делаете long context для…

• wikiWhy3

  …Как LLM используются для code generation с формальной верификацией (Dafny, Lean)|729. Как LLM используются для code generation с формальной…

• wikicontext utilization

  …Как вы делаете long context для code generation (модель должна видеть весь репозиторий)|647. Как вы делаете long context для…

• wikirolling cache

  …Как вы делаете long context для code generation (модель должна видеть весь репозиторий)|647. Как вы делаете long context для…

• wikiAider

  …Как вы делаете long context для code generation (модель должна видеть весь репозиторий)|647. Как вы делаете long context для…

• wikiAlphaProof

  …Как LLM используются для code generation с формальной верификацией (Dafny, Lean)|729. Как LLM используются для code generation с формальной…

• wikiGitHub Copilot

  …Как вы делаете long context для code generation (модель должна видеть весь репозиторий)|647. Как вы делаете long context для…

• wikihierarchical context

  …Как вы делаете long context для code generation (модель должна видеть весь репозиторий)|647. Как вы делаете long context для…

• wikico-shag

  …Как LLM используются для code generation с формальной верификацией (Dafny, Lean)|729. Как LLM используются для code generation с формальной…

• wikidynamic analysis

  …Как вы делаете long context для code generation (модель должна видеть весь репозиторий)|647. Как вы делаете long context для…

• wikimonorepository

  …Как вы делаете long context для code generation (модель должна видеть весь репозиторий)|647. Как вы делаете long context для…

• wikitransitive closure

  …Как вы делаете long context для code generation (модель должна видеть весь репозиторий)|647. Как вы делаете long context для…

• wikicontext distillation

  …Как вы делаете long context для code generation (модель должна видеть весь репозиторий)|647. Как вы делаете long context для…

• wikiCursor

  …Как вы делаете long context для code generation (модель должна видеть весь репозиторий)|647. Как вы делаете long context для…

• wikifull file strategy

  …Как вы делаете long context для code generation (модель должна видеть весь репозиторий)|647. Как вы делаете long context для…

• wikiLean

  …Как LLM используются для code generation с формальной верификацией (Dafny, Lean)|729. Как LLM используются для code generation с формальной…

• wikimulti-stage retrieval

  …Как вы делаете long context для code generation (модель должна видеть весь репозиторий)|647. Как вы делаете long context для…

• answerКак LLM используются для code generation с формальной верификацией (Dafny, Lean)?

  …Как LLM используются для code generation с формальной верификацией (Dafny, Lean)? ## Краткий тезис [[Вики/LLM\|LLM]] могут генерировать [[Вики/Code…

• wikistatic analysis

  …Как вы делаете long context для code generation (модель должна видеть весь репозиторий)|647. Как вы делаете long context для…

• wikiCall graph

  …Как вы делаете long context для code generation (модель должна видеть весь репозиторий)|647. Как вы делаете long context для…

• wikiTeacher Forcing

  …Как LLM используются для code generation с формальной верификацией (Dafny, Lean)|729. Как LLM используются для code generation с формальной…

• wikiAST

  …Как вы делаете long context для code generation (модель должна видеть весь репозиторий)|647. Как вы делаете long context для…

• wikiMakefile

  …Реализовать test generation для агента|152. Реализовать test generation для агента]] - [[162. Настроить prompt as code|162. Настроить prompt as…

• wikiZ3

  …Как LLM используются для code generation с формальной верификацией (Dafny, Lean)|729. Как LLM используются для code generation с формальной…

• wikiDafny

  …Как LLM используются для code generation с формальной верификацией (Dafny, Lean)|729. Как LLM используются для code generation с формальной…

• wikiFormal Verification

  …Как LLM используются для code generation с формальной верификацией (Dafny, Lean)|729. Как LLM используются для code generation с формальной…

• wikiReinforcement Learning

  …Как LLM используются для code generation с формальной верификацией (Dafny, Lean)|729. Как LLM используются для code generation с формальной…

• wikiJinja2

  …Реализовать test generation для агента|152. Реализовать test generation для агента]] - [[162. Настроить prompt as code|162. Настроить prompt as…

• answerКак вы делаете long context для code generation (модель должна видеть весь репозиторий)?

  …Для [[Вики/SQL\|code]] [[Вики/generation\|generation]] это означает, что [[Вики/model\|модель]] должна «видеть» [[Вики/Code\|код]], от которого…

• answerКак код как язык представления улучшает рассуждение LLM?

  …Примеры техник, использующих код - **Program-of-Thought (PoT)** — [[Вики/code generation\|генерация кода]] вместо текстовой [[Вики/цепочки\|цепочки]] рассуждений. Показывает…

• answerКак вы делаете synthetic data для сложного рассуждения (math, code)?

  …другой [[Вики/LLM\|LLM]] проверяет логику, для кода — запуск в песочнице, а также через [[Вики/Backward generation\|backward generation]] (ответ…

• wikiinvariants

  # invariants ## Определение Условия, которые должны сохраняться в программе при code generation с формальной верификацией (например, в Dafny, Lean). ## Где встречается…