arXiv ·
A novel agent-based framework called FIRE is introduced for fact-checking long-form text. FIRE iteratively integrates evidence retrieval and claim verification, deciding whether to provide a final answer or generate a subsequent search query. Experiments show FIRE achieves comparable performance to existing methods while reducing LLM costs by 7.6x and search costs by 16.5x.
MBZUAI ·
MBZUAI researchers presented FIRE, a new fact-checking framework for LLM outputs, at NAACL 2025. FIRE first assesses the LLM's confidence in its claims before searching the web, reducing computational cost. It also stores knowledge gained from web searches to aid in classifying other claims. Why it matters: This approach improves the efficiency and cost-effectiveness of automatically verifying the accuracy of LLMs, addressing a key limitation in their reliability.
arXiv ·
This paper presents a UAV-UGV team designed for autonomous firefighting, developed for the Mohamed Bin Zayed International Robotics Challenge (MBZIRC) 2020. The system uses LiDAR for localization in GNSS-restricted environments and fuses LiDAR and thermal camera data to track fires. Relative navigation enables successful fire extinguishing. Why it matters: This research demonstrates the potential of robotic systems in autonomous firefighting, addressing challenges in dangerous and inaccessible environments, and advancing robotics research within the UAE.
arXiv ·
This paper presents the design and deployment of an autonomous unmanned ground vehicle (UGV) equipped with a robotic arm for urban firefighting. The UGV uses on-board sensors for navigation and a thermal camera for fire source identification, with a custom pump for fire suppression. The system was developed for the Mohamed Bin Zayed International Robotics Challenge (MBZIRC) 2020, where it achieved the highest score among UGV solutions and contributed to winning first place. Why it matters: This demonstrates the potential of autonomous robotics in addressing complex and dangerous real-world challenges like urban firefighting in the GCC region and beyond.
MBZUAI ·
Researchers at ETH Zurich have formalized models of the EMV payment protocol using the Tamarin model checker. They discovered flaws allowing attackers to bypass PIN requirements for high-value purchases on EMV cards like Mastercard and Visa. The team also collaborated with an EMV consortium member to verify the improved EMV Kernel C-8 protocol. Why it matters: This research highlights the importance of formal methods in identifying critical vulnerabilities in widely used payment systems, potentially impacting financial security for consumers in the GCC region and worldwide.
KAUST ·
The 2017 KAUST Research Conference focused on new combustion concepts, bringing together experts from academia, national labs, and industry. Participants discussed various aspects of combustion, including energy conversion by Professor Igor Adamovich from Ohio State University. Anne Bourdon from École Polytechnique presented on plasma-assisted applications. Why it matters: The conference facilitated knowledge exchange and collaboration on advancing combustion technologies, a field relevant to energy and environmental sustainability in the region.
arXiv ·
Team NimbRo presented four UAVs tailored for the MBZIRC 2020 challenges, including target chasing, wall building, and fire fighting. The UAVs utilized onboard object detection, aerial manipulation, LiDAR, and thermal cameras to perform their tasks autonomously. The team's software stack, which is mostly open-source, includes tools for system configuration, monitoring, and agile trajectory generation. Why it matters: The work demonstrates advanced robotics capabilities developed in the context of a major regional competition, advancing machine vision and trajectory generation, and showcasing potential applications in various sectors.
KAUST ·
KAUST's Clean Combustion Research Center (CCRC) hosted the Combustion in Extreme Conditions research conference from March 5-8. The conference focused on combustion under extreme conditions in modern engines, covering high-pressure combustion, advanced diagnostics, and high-performance computations. Experts from academia, national labs, and industry discussed global collaborations toward clean combustion systems, alternative fuels, and emission reduction techniques. Why it matters: The conference highlights KAUST's role as a global hub for combustion research and its commitment to advancing technologies for cleaner and more efficient energy solutions.