Verus-SpecGym: An Agentic Environment for Evaluating Specification Autoformalization Paper • 2605.26457 • Published May 26 • 7
Self-RAG: Learning to Retrieve, Generate, and Critique through Self-Reflection Paper • 2310.11511 • Published Oct 17, 2023 • 79
Personalised Distillation: Empowering Open-Sourced LLMs with Adaptive Learning for Code Generation Paper • 2310.18628 • Published Oct 28, 2023 • 8
