Alok Singh
- A benchmark for vericoding: formally verified program synthesis
2025/09/26 by Sergiu Bursuc, Theodore Ehrenborg, Bursuc, Sergiu +23 · 6 voices · 4 citations
#cs.SE #cs.LG #cs.PL
- Nanostructured Lipid Carriers: A Groundbreaking Approach for Transdermal Drug Delivery
2020/02/18 by Iti Chauhan, Mohd Yasir, Madhu Verma +1 · 3 citations
Biochemistry, Genetics and Molecular Biology · Pharmacology, Toxicology and Pharmaceutics · #Advanced Drug Delivery Systems #Advancements in Transdermal Drug Delivery #Lipid Membrane Structure and Behavior