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 will host its first annual Enrichment in the Fall program starting October 17, featuring lectures, films, workshops, concerts, and artworks. The program focuses on the biodiversity and wildlife in the KAUST community, with events aimed at all ages and interests. The enrichment program includes community activities on the weekends of October 17–18 and October 24–25. Why it matters: This program signals KAUST's ongoing commitment to community engagement and education in areas like biodiversity, complementing its established Winter Enrichment Program.
KAUST ·
KAUST's Winter Enrichment Program (WEP) is scheduled from January 13-24, featuring the theme of "TIME." The festival includes 12 keynote lectures from international experts, including a Nobel laureate, and explores topics like biological clocks, sleep, aging, and the universe. The program also offers workshops, exhibitions, and virtual reality experiences. Why it matters: Such science festivals can boost STEM engagement and knowledge dissemination within Saudi Arabia and internationally, aligning with KAUST's mission to promote scientific advancement.