vix.ing · top · new · best · stats · spec

Mujtaba Nazari

  1. SPILLOVER: Measuring Cyberbullying NormPropagation on Social Media
    2026/07/22 by Arslan Bisharat, Katelyn Skees, Mujtaba Nazari +5
    #cs.SI
  2. TLA+-Bench: An Execution-Grounded Benchmark and Dataset for Natural-Language to TLA+ Specification Generation
    2026/07/26 by Arslan Bisharat, Eric Spencer, Brian Ortiz +8
    #cs.SE #cs.AI