Hui Li
7 papers · Latest:
SecGoal: A Benchmark for Security Goal Extraction and Formalization from Protocol Documents
This paper introduces SecGoal, a benchmark and AI-assisted framework for extracting and formalizing security goals from protocol documents.
Probabilistic data quality assessment for structural monitoring data via outlier-resistant conditional diffusion model
This paper introduces an outlier-resistant conditional diffusion model for probabilistic data quality assessment in structural health monitoring.
Adaptive Meta-Learning Stochastic Gradient Hamiltonian Monte Carlo Simulation for Bayesian Updating of Structural Dynamic Models
Introduces AM-SGHMC, an adaptive meta-learning SGHMC algorithm for efficient Bayesian updating of structural dynamic models without retraining.
Probing the Hot Gaseous Halos of Milky Way-like Galaxies in the TNG50 simulation
TNG50 simulation's Milky Way-like galaxy halos are too compact and lack hotter gas, suggesting issues with its feedback model.
SWE-AGILE: A Software Agent Framework for Efficiently Managing Dynamic Reasoning Context
SWE-AGILE is a software agent framework that uses dynamic context management to improve reasoning depth and efficiency in multi-turn SWE tasks.
Learning Task-Invariant Properties via Dreamer: Enabling Efficient Policy Transfer for Quadruped Robots
DreamTIP integrates Task-Invariant Properties into Dreamer's world model for efficient sim-to-real transfer, enabling robust quadruped robot locomotion.
Gemini: A Family of Highly Capable Multimodal Models
Gemini is a new family of multimodal AI models excelling in image, audio, video, and text understanding, achieving state-of-the-art results across numerous benchmarks including human-expert level on MMLU.
📬 Weekly AI Paper Digest
Get the top 10 AI/ML arXiv papers from the week — summarized, scored, and delivered to your inbox every Monday.