ConcoLLMic

ConcoLLMic: Агентное конколическое выполнение Статья : IEEE S&P 2026 ConcoLLMic — это первый языково- и теоретико-независимый конколический исполнитель на основе LLM-агентов. В отличие от традиционных инструментов символьного выполнения, требующих реализации под конкретный язык и испытывающих...