This paper introduces ProgramFC, a fact-checking model that decomposes complex claims into simpler sub-tasks using a library of functions. The model uses LLMs to generate reasoning programs and executes them by delegating sub-tasks, enhancing explainability and data efficiency. Experiments on fact-checking datasets demonstrate ProgramFC's superior performance compared to baseline methods, with publicly available code and data.
Munther Dahleh, director at the MIT Institute for Data, Systems, and Society (IDSS), discussed his group's research on network systems at the KAUST 2018 Winter Enrichment Program. The research focuses on the fragility of large networked systems, like highway systems, in response to disruptions that may lead to catastrophic failures. Dahleh's team studies transportation networks, electrical grids, and financial markets to understand system interconnection in causing systemic risk. Why it matters: Understanding networked systems is crucial for building resilient infrastructure and mitigating risks in critical sectors across the GCC region.
Researchers from the Directed Energy Research Center (DERC) will present research papers at the 17th Workshop of the International Lithosphere Program Task Force on Sedimentary Basins in Abu Dhabi. Dr. Meixia Geng's study identifies potential geothermal exploration sites in the UAE based on Curie isotherm depths. Dr. Felix Vega's research demonstrates drone-borne synthetic aperture radar (SAR) for subsurface mapping of underground cavities. Why it matters: These studies showcase the UAE's commitment to sustainable development through geothermal energy exploration and advanced subsurface imaging techniques.
KAUST researchers have made several advances, including a new computational model of the Red Sea's ocean circulation. They also synthesized new metal-organic frameworks for gas storage with applications in green and medical tech. Additionally, they presented a mathematical solution for microgrid cybersecurity. Why it matters: These diverse research projects highlight KAUST's contributions to environmental modeling, materials science, and critical infrastructure protection in the region.
KAUST researchers demonstrated a new flash memory device design using gallium oxide, which can withstand harsh environments. In collaboration with the University of Michigan, KAUST researchers explained a key molecular event for the activation of an enzyme associated with cancer. The Summer 2023 issue of KAUST Discovery is now available. Why it matters: These research achievements highlight KAUST's contributions to advanced materials science and biomedical research, with potential applications in space technology and cancer treatment.
KAUST Discovery Professor Jesper Tegnér collaborated with UK researchers to develop algorithms explaining decision-making in insects and rats. Assoc. Prof. Robert Hoehndorf's lab introduced a tool for identifying genetic variants linked to rare diseases based on patient symptoms. KAUST scientists also studied monkeypox infection of human skin using stem cells and marine microbiome adaptation to thermal changes. Why it matters: These diverse research projects highlight KAUST's contributions to computational biology, virology, and marine science, advancing knowledge with implications for healthcare and environmental challenges.
KAUST researchers reported the full genome sequencing of einkorn wheat in Nature. A new 'cooling score' metric was created to study heat's impact on solar cell performance. KAUST is also optimizing MXenes for lithium batteries and using biomimetic mineralization for smart agriculture. Why it matters: This research demonstrates KAUST's contributions to diverse fields, including genomics, sustainable energy, and smart agriculture, advancing technological innovation in Saudi Arabia.
This paper introduces Diffusion-BBO, a new online black-box optimization (BBO) framework that uses a conditional diffusion model as an inverse surrogate model. The framework employs an Uncertainty-aware Exploration (UaE) acquisition function to propose scores in the objective space for conditional sampling. The approach is shown theoretically to achieve a near-optimal solution and empirically outperforms existing online BBO baselines across 6 scientific discovery tasks.