Author

Khushboo Bhadauria

h-index 0 View on Semantic Scholar

We have 1 of 3 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Jul 2026

TLA+-Bench: An Execution-Grounded Benchmark and Dataset for Natural-Language to TLA+ Specification Generation

The main finding is about measurement itself: an exact oracle gives not one correctness number but a range, which is called the correctness envelope, and the findings inside it are stable.

Arslan Bisharat, E. Spencer, B. Ortiz et al. · arXiv.org · 0 citations