#2322 of 3355 in Artificial Intelligence (All Time)
Can LLMs Write Correct TLA+ Specifications? Evaluating Natural-Language-to-TLA+ Generation
Congratulate the authors
Know the authors? Send them a congratulation.
arXiv
Know the authors? Send them a congratulation.