Verina

ID: verina

Top articles Latest articles New article in topic
Verina by Ciro Santilli 37 2025-12-13
AI code generation benchmark in which part of the benchmark includes producing a formal Lean proof of the implementation. Sweet.
Read the full article

New to topics? Read the docs here!