Data Formulator v0.5: Vibe with data, in control
Data Formulator is an AI-powered visualization tool that helps analysts iteratively explore and visualize data from any source—clean or messy, small or large—without coding. In agent mode, users provide high-level descriptions, and agents automatically plan,…
Research Intern – RiSE group (Formal Methods, High-Performance Computing, ML Systems, Programming Languages, Software Engineering)
The RiSE group seeks Research Interns with a demonstrated desire to extend the state-of-the-art of research in the broad fields of formal methods, high-performance computing, Macine Learning (ML) systems, programming languages, and software engineering. Research…
Advancing Sustainable Agricultural Practices in Africa with AI
AfriCHI 2025 | Cairo, Egypt | Half-Day In-Person Workshop | https://www.africhi2025.org (opens in new tab) We invite researchers, practitioners, NGOs, community stakeholders, and African academics to join our half-day, in-person workshop at AfriCHI 2025. This…
Distant conversational speech recognition: Challenges and Opportunities
State-of-the-art ASR systems excel on close-talk benchmarks but struggle with far-field conversational speech, where error rates remain above 20%. Current benchmark datasets inadequately assess generalization across domains and real-world conditions, often relying on oracle segmentation…