Nur Ahmad Khatim

Papers on Lattice

Total citations

Topics

h-index

Publication activitypapers/week, last 8 weeks

Research focus

Architecture Design (Transformers, SSMs, MoE) (1)Code Generation & Program Synthesis (1)

Frequent co-authors

M. Arief (1)Mansur Arief (1)Ali Akarma (1)Ahmad Alfan Alfian Irfan (1)

Papers (1)

Jul 20, 2026

Affiliation:Jul 20, 2026·also King Fahd University of Petroleum and Minerals

Integrating High-Level Requirements to Low-Level Tests with Machine-Readable V&V Specifications

VNVSpec transforms high-level user requirements into actionable, machine-readable specifications that can be directly linked to test results, addressing a critical gap in software verification.

M. Arief, Mansur Arief, Nur Ahmad Khatim +2

Architecture Design (Transformers, SSMs, MoE)Code Generation & Program Synthesis

Search

Nur Ahmad Khatim

Publication activitypapers/week, last 8 weeks

Research focus

Frequent co-authors

Papers (1)