Get started
Author

Saad Mohammad Rafid Pial

Observed name: Pial, Saad Mohammad Rafid
ORCID: 0009-0008-5121-8348
Observed ORCID: 0009-0008-5121-8348
OpenAlex ID: A5119989625
Specula: Scaling formal specifications for autonomous model checking of system code
2026 · Cheng, Qian, Pial, Saad Mohammad Rafid, et al. · arXiv (Cornell University)
PDF
SREGym: A Live Training Ground for AI SRE Agents with High-Fidelity Failure Drills
2026 · Jackson Clark, Yiming Su, et al.
SREGym: A Live Benchmark for AI SRE Agents with High-Fidelity Failure Scenarios
2026 · Clark, Jackson, Su, Yiming, et al. · arXiv (Cornell University)
PDF
EduPresenta: A Conversational AI Agent for Pedagogically Sound Presentation Generation for Instructors
2026 · Saha Kuljit Shantanu, Saad Mohammad Rafid Pial, et al. · Lecture notes in computer science
NuevAI: Streamlined Dataset Generator and Human Evaluator System for Development of Pedagogical Conversational Agents
2025 · Salman Sayeed, Saad Mohammad Rafid Pial, et al. · Biannual Conference of the Italian SIGCHI Chapter (CHItaly)
PDF
Works count: 5
Citation count:
H-index:
I10-index:
Year
Topic
Type