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.
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.
Professor Arnab Pain's group at KAUST discovered new insights on how a malaria protein enables parasites to spread malaria in human cells. Professor Haavard Rue's group upgraded the Integrated and Nested Laplace Approximation (INLA) for faster real-time modeling of large datasets. A KAUST-led study examined the stability of Y-series nonfullerene acceptors for organic solar cells. Why it matters: KAUST continues producing impactful research across diverse fields from medicine to climate change, advancing scientific knowledge and potential applications.
John Pantoja from the Directed Energy Research Center at TII presented a method to estimate the effects of high current impulses on electro-conductive textiles. The method uses specific action, a parameter to determine burst of exploding wires, and a new equivalent electrical circuit. The model estimates the current intensity needed to melt the conductive layer at contact areas between yarns, and is validated experimentally on ripstop woven fabrics. Why it matters: The research explores conductive fabrics for portable lightning protection shelters, potentially reducing lightning-related accidents in high-risk populations.
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.
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 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 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.