IEEE

Physically-Aware Qubit Reuse for Optimized Quantum Circuit Compilation Using Machine Learning

Recently developed quantum computers support mid-circuit measurements, allowing qubit measurement, resetting, and reuse during the execution of quantum circuits. This capability opens new ...
IEEE

Deep Carbonate Reservoir Hydrocarbon Detection Using Multiseismic Features Constrained Unsupervised Machine Learning

Abstract: Reservoir hydrocarbon detection is of great interest for reservoir characterization and quality assessment. However, deep carbonate reservoirs exhibit weak seismic response features, making ...
Communications of the ACM

Formal Reasoning Meets LLMs: Toward AI for Mathematics and Verification

A marriage of formal methods and LLMs seeks to harness the strengths of both.
American College of Cardiology

Machine Learning Outperforms Traditional Methods to Predict Adverse Events in LAAO Patients

EXtreme Gradient Boosting (XGBoost), a machine learning model, outperformed more traditional methods for predicting composite major adverse events (MAEs) and many individual events in patients ...