vix.ing · top · new · best · stats · spec

Beatriz Santos

  1. TLA+-Bench: An Execution-Grounded Benchmark and Dataset for Natural-Language to TLA Specification Generation
    2026/07/26 by Arslan Bisharat, Eric Spencer, Brian Ortiz +8
    Computer Science · #cs.AI #cs.SE