3 papers
cs.SE2026
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…
cs.SI2026
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…
cs.LG2024
Identifying Cyberbullying Roles in Social Media
Manuel Sandoval, Mohammed Abuhamad, Patrick Furman +3
Social media has revolutionized communication, allowing people worldwide to connect and interact instantly. However, it has also led to increases in cyberbullying, which poses a si…