Khushboo Bhadauria

Loyola University Chicago

Papers on Lattice

Total citations

Topics

Research focus

Code Generation & Program Synthesis (3)Natural Language Processing (3)Eval Frameworks & Benchmarks (2)Distributed Systems & Hardware (1)

Frequent co-authors

Eric Spencer (3)Brian Ortiz (3)TaiNing Wang (3)George K. Thiruvathukal (3)

Papers (3)

Jul 26, 2026

Loyola University ChicagoJul 26, 2026

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

The correctness of TLA$^{+}$ specifications generated by LLMs can vary dramatically—up to elevenfold—based on how we choose to grade them.

Eric Spencer, Brian Ortiz, Khushboo Bhadauria +7

Code Generation & Program Synthesis Eval Frameworks & Benchmarks Natural Language Processing

Jun 4, 2026

Loyola University ChicagoJun 4, 2026

Can LLMs Write Correct TLA+ Specifications? Evaluating Natural-Language-to-TLA+ Generation

LLMs struggle to produce reliable TLA+ specifications, achieving only 8.6% semantic correctness, which underscores the need for expert oversight in automated formal verification.

Brian Ortiz, Eric Spencer, Khushboo Bhadauria +4

Code Generation & Program Synthesis Eval Frameworks & Benchmarks Natural Language Processing

Loyola University ChicagoJun 4, 2026

TLA-Prover: Verifiable TLA+ Specification Synthesis via Preference-Optimized Low-Rank Adaptation

TLA-Prover triples the success rate of LLM-generated TLA+ specifications, transforming how we ensure correctness in distributed systems verification.

Eric Spencer, Brian Ortiz, Khushboo Bhadauria +4

Code Generation & Program Synthesis Distributed Systems & Hardware Natural Language Processing

Search

Khushboo Bhadauria

Research focus

Frequent co-authors

Papers (3)