#semántica de procesos

Trellis: autoformalización sencilla de demostraciones rigurosas

Descubre Trellis, que usa LLMs para refinar pruebas matemáticas iterativamente y alcanzar demostraciones rigurosas en Lean.