Showing 1–20 of 21 results
/ Date/ Name
Nov 16, 2020Suicide disparities across urban and suburban areas in the U.S.: A comparative assessment of socio-environmental factors using a data-driven predictive approachJun 18, 2024Every Poincaré gauge theory is conformal: a compelling case for dynamical vector torsionOct 10, 2016Trajectory Prediction of Rotating Objects in Viscous Fluid: Based on Kinematic Investigation of Magnus GliderOct 1, 2016Observing Nonclassical Paths by Measuring Bohmian Velocities in Multi-Slit Interferometer with ElectronJun 2, 2021Distinct band reconstructions in kagome superconductor CsV$_3$Sb$_5$Oct 12, 2024LLM-SmartAudit: Advanced Smart Contract Vulnerability DetectionOct 25, 2024MaCTG: Multi-Agent Collaborative Thought Graph for Automatic ProgrammingJul 3, 2023A unique van Hove singularity in kagome superconductor CsV$_{3-x}$Ta$_x$Sb$_5$ with enhanced superconductivityDec 8, 2022Tunable van Hove singularity without structural instability in Kagome metal CsTi$_3$Bi$_5$Nov 1, 2023Survey on Quality Assurance of Smart ContractsMay 21, 2025Adaptive Plan-Execute Framework for Smart Contract Security AuditingOct 8, 2025Distilling Lightweight Language Models for C/C++ VulnerabilitiesMar 12, 2024Two-dimensional phase diagram of the charge density wave in doped CsV$_3$Sb$_5$Oct 25, 2021The Invisible COVID-19 Crisis: Post-Traumatic Stress Disorder Risk Among Frontline Physicians Treating COVID-19 PatientsAug 25, 2025Anomalous narrow-band correlation in a natural superconducting heterostructureSep 21, 2025Informative Text-Image Alignment for Visual Affordance Learning with Foundation ModelsSep 8, 2020Health-behaviors associated with the growing risk of adolescent suicide attempts: A data-driven cross-sectional studyOct 31, 2023A Comparative Evaluation of Automated Analysis Tools for Solidity Smart ContractsOct 17, 2024FTSmartAudit: A Knowledge Distillation-Enhanced Framework for Automated Smart Contract Auditing Using Fine-Tuned LLMsDec 9, 2024The Fusion of Large Language Models and Formal Methods for Trustworthy AI Agents: A Roadmap