Saeid Rajabi

Orcid: 0009-0004-0276-6293

According to our database¹, Saeid Rajabi authored at least 2 papers between 2025 and 2026.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

STELLAR: Structure-guided LLM Assertion Retrieval and Generation for Formal Verification.

[DOI]

CoRR, January, 2026

2025

Key-Recovery Attack on Enhanced PSLL Techniques.

[DOI]

IEEE Embed. Syst. Lett., August, 2025