About
Research & Development
Benchmarking AI for Clinical Care in Kenya: A Localized Approach
TLDR: A new research paper introduces a methodology for creating a localized AI benchmark, Alama Health QA, for Kenyan primary care. It uses Retrieval-Augmented...
Research & Development
Measuring Dining Hall Food Waste Using AI Imaging
TLDR: This research introduces an AI-driven computer vision framework using semantic segmentation to estimate post-consumer food waste in university dining halls. By comparing before-and-after...
Research & Development
The Challenge of Trustworthy AI in Suicide Prevention: A Deep Dive into Data Annotation and Model Performance
TLDR: This research introduces a new framework for creating high-quality, human-annotated datasets for suicidal ideation detection, specifically developing a Turkish social media corpus. The...
Research & Development
LeanTree: Enhancing Automated Theorem Proving in Lean 4 with Structured Proof States
TLDR: LeanTree is a new tool and dataset designed to advance automated theorem proving (ATP) in Lean 4. It focuses on improving 'white-box' ATP...
Research & Development
Navigating the Sweet Spot: Optimizing Spiking Neural Networks for Performance and Efficiency
TLDR: This research identifies an "operational manifold" in Spiking Neural Network (SNN) hyperparameter space (membrane time constant and voltage threshold) where networks achieve optimal...
Research & Development
Empowering Power Grids: How Large Language Models Learn to Control Voltage Through Experience
TLDR: A new research paper proposes an innovative LLM-based, experience-driven solution for voltage control in distribution networks. This system allows Large Language Models to...