2 papers
q-bio.NC2025
Identifying Autism-Related Neurobiomarkers Using Hybrid Deep Learning Models
Ashley Chen
Autism spectrum disorder (ASD) has been associated with structural alterations across cortical and subcortical regions. Quantitative neuroimaging enables large-scale analysis of th…
cs.CR2025
Theorem-Carrying Transactions: Runtime Verification to Ensure Interface Specifications for Smart Contract Safety
Thomas Ball, Nikolaj S. Bjørner, Ashley J. Chen +6
Security bugs and trapdoors in smart contracts have been impacting the Ethereum community since its inception. Conceptually, the 1.45-million Ethereum's contracts form a single "gi…