5 papers
Strategies to Avoid Illegal Data Access
Muhammad Mubeen, Arslan Bisharat, Giri Anandhi
For companies of all sizes, data security is a top priority. The chance of unauthorized data access increases as technology develops. To prevent unwanted access to their data, busi…
TLA+-Bench: An Execution-Grounded Benchmark and Dataset for Natural-Language to TLA Specification Generation
Arslan Bisharat, Eric Spencer, Brian Ortiz +8
Large language models increasingly write TLA formal specifications from natural-language descriptions, but progress is hard to measure: existing resources grade by resemblanc…
SPILLOVER: Measuring Cyberbullying NormPropagation on Social Media
Arslan Bisharat, Katelyn Skees, Mujtaba Nazari +5
While certain aspects of cyberbullying (CB) such as its factors and prevalence have been studied extensively, relatively little attention has been given to specifically how the agg…
TLA-Prover: Verifiable TLA+ Specification Synthesis via Preference-Optimized Low-Rank Adaptation
Eric Spencer, Arslan Bisharat, Brian Ortiz +6
TLA+ is a formal specification language for verifying distributed systems and safety-critical protocols. Large language models (LLMs) frequently produce TLA+ specifications that fa…
Can LLMs Write Correct TLA+ Specifications? Evaluating Natural-Language-to-TLA+ Generation
Arslan Bisharat, Brian Ortiz, Eric Spencer +5
TLA+ has supported industrial verification at companies such as Amazon and Microsoft, yet writing correct TLA+ specifications from natural language still requires time and expertis…