Revisión solicitada para From Natural Language to Verified Code: Toward AI Assisted Problem-to-Code Generation with Dafny-Based Formal Verification Se solicitó una revisión para From Natural Language to Verified Code: Toward AI Assisted Problem-to-Code Generation with Dafny-Based Formal Verification Sistemas de InformaciónInteligencia Artificial Solicitud publicada 27 de abril de 2026 Servidor de preprint Preprints.org
Revisión solicitada para Nonlocal one-loop form factors of the spectral action with Standard Model content Se solicitó una revisión para Nonlocal one-loop form factors of the spectral action with Standard Model content Física Nuclear y de Alta EnergíaAstronomía y Astrofísica Solicitud publicada 27 de abril de 2026 Servidor de preprint Authorea
Revisión solicitada para SparseTrack: A Physics-Informed Transformer for Real-Time Human Motion Reconstruction from Sparse IMUs Se solicitó una revisión para SparseTrack: A Physics-Informed Transformer for Real-Time Human Motion Reconstruction from Sparse IMUs Ingeniería de Control y SistemasFisioterapia, Terapia Deportiva y RehabilitaciónIngeniería Aeroespacial Solicitud publicada 27 de abril de 2026 Servidor de preprint Preprints.org
Revisión solicitada para MAPLE Deposition of Resorbable Calcium Phosphates on Electrospun Nylon Nanofibres for Bone Tissue Engineering Se solicitó una revisión para MAPLE Deposition of Resorbable Calcium Phosphates on Electrospun Nylon Nanofibres for Bone Tissue Engineering Ingeniería BiomédicaBiomateriales Solicitud publicada 27 de abril de 2026 Servidor de preprint Preprints.org
Revisión solicitada para Design of Functionally Graded Alloys for Locks Highly Resistant to Ultrasonic Detector Attacks Se solicitó una revisión para Design of Functionally Graded Alloys for Locks Highly Resistant to Ultrasonic Detector Attacks Mecánica de MaterialesIngeniería BiomédicaIngeniería Mecánica Solicitud publicada 27 de abril de 2026 Servidor de preprint Preprints.org