arXiv ·
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.
KAUST ·
KAUST faculty member Enrico Traversa is researching nanostructured materials for sustainable development in energy, environment, healthcare, and solid oxide fuel cells (SOFCs). His work focuses on developing next-generation SOFCs based on chemically stable proton-conducting electrolytes to reduce operating temperatures. Traversa also develops scaffold biomaterials for tissue regeneration, aiming to create heart tissue using patient-derived stem cells. Why it matters: This research contributes to KAUST's focus on energy, water, environment and food, with potential for advancements in clean energy and regenerative medicine.
KAUST ·
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 ·
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 ·
KAUST researchers at the Composite and Heterogeneous Materials Analysis and Simulation Laboratory (COHMAS) are developing new composite materials and computational models. The research focuses on ensuring the stability and service lifetime of composite structures used in aircraft, windmill blades, and industrial pipes. Professor Gilles Lubineau leads the group's work on computational modeling and experimental developments. Why it matters: This research aims to advance the use of composite materials in key sectors by addressing the challenge of long-term reliability, contributing to sustainability goals in energy, transportation and other industries.
KAUST ·
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 ·
KAUST's Water Desalination and Reuse Center (WDRC) pioneers industry partnerships through its Center Industry Affiliates Program (CIAP). The program aligns industry interests with KAUST's research in desalination, wastewater reuse, new materials, hydrologic systems, and sustainable water technologies. Pilot plants enable intermediate-scale research and long-term assessments, bridging the gap between bench-scale testing and industrial implementation. Why it matters: This applied research model strengthens KAUST's impact on water sustainability challenges in Saudi Arabia and beyond.
KAUST ·
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.