AI & Machine Learning Startups

Theorem.dev provides verified software engineering through lf-lean, an AI-powered translation tool that converts formal mathematical proofs from Rocq to Lean significantly faster than manual translation.

1 investor

Theori is a cybersecurity firm that approaches security challenges from an attacker's perspective, offering strategic security expertise. It also focuses on training the next generation of security professionals.

1 investor

TheoryMesh builds manufacturing process optimization software that applies machine learning and AI to analyze food production processes and recommend improvements. It includes a no-code, graphical tool for defining multi-step processes and optimizing for quality, yield, and sustainability.

1 investor

TheraDriver provides software for autism care clinics (ABA therapy providers) to build staff schedules, manage clinical pairings, communicate with families via HIPAA-compliant messaging, track utilization and productivity, and generate treatment plans. It targets autism/ABA clinics and their clinical teams, with EHR integration and BCBA-focused tools.

1 investor

Therapu is building software tools to support mental health care between clinical appointments, aiming to close the care gap. The company's team includes clinicians, engineers, and researchers serving clinicians and health systems.

1 investor

Theratome Bio is a regenerative medicine company using artificial intelligence to develop secretome-based therapeutics that address tissue repair and disease. The company focuses on organ transplant preservation and dry eye disease treatments.

1 investor

THERAtRAME is a biotech company developing tRNA-targeting therapies for cancer patients, particularly those resistant to current treatments. The company translates research on tRNA biology and modifications into first-in-class drug candidates to address therapeutic resistance and tumor progression.

1 investor

ThermoAI applies machine learning and IoT to optimize industrial combustion processes to cut fuel use and emissions.

1 investor

Thermology Health develops thermal imaging technology for diagnostic healthcare applications, delivering medical-grade temperature measurement accuracy to enable new clinical diagnostic and prognostic capabilities. The company spun out from the UK's National Physical Laboratory and creates proprietary imaging platforms and diagnostic algorithms for health applications.

1 investor

Therna develops an AI platform that designs and optimizes programmable RNA medicines, including mRNA and antisense oligonucleotide/siRNA therapeutics, using generative AI models informed by proprietary experimental validation data.

1 investor

AI Digest produces interactive explainers and demos that illustrate current AI systems, aimed at helping readers understand and anticipate developments in AI. It distributes new explainers and demos through a monthly email newsletter.

1 investor

Theseus Labs develops brain-computer interfaces and publishes neurotechnology research, while building software products for BCI data calibration and neuro-applications. The company also invests in and supports early-stage neurotech startups.

1 investor

Thesify is an AI-powered writing assistant designed for academic institutions that helps students, researchers, and faculty with academic writing and research workflows while maintaining ethical standards and academic integrity. The platform assists with manuscript review, literature discovery, journal matching, and writing instruction without generating content directly.

1 investor

TheStarter offers an online course in product business strategy for UX and product professionals, teaching them how to connect strategic vision with product execution and business impact in digital products.

1 investor

Thestra is a University of Turku spin-out developing AI-based cancer diagnostics, including its EPLINEX biomarker assay that estimates tumor aggressiveness in head and neck squamous cell carcinoma (HNSCC) to help clinicians stratify patients to appropriate therapies. Its products serve clinicians and hospitals to guide treatment selection and prognosis.

1 investor

The Sukhi Project offers Ana, an AI-driven mental health coaching tool that delivers structured CBT, ACT, and CPT programs for issues like sleep, anxiety, mood, and burnout. It is sold to employers as a workplace wellbeing benefit, with private member data, aggregate reporting, crisis escalation protocols, and an admin dashboard.

1 investor

Thesys builds Generative UI technology that lets teams create AI products with real-time interfaces that adapt to context and user intent. It provides tools for developers building AI-driven, dynamic user experiences.

1 investor

Theta One builds AI-powered language learning tools that teach English through YouTube and Netflix content users already watch. Its products include a consumer app and AI speech/practice tools developed with Korean education partners, with a focus on the South Korean market.

1 investor

ThetaWave is an AI study tool that converts lectures, documents, and videos into structured notes, and also generates flashcards, quizzes, mindmaps, and an interactive chatbot from course materials. It targets students preparing for exams and studying course content.

1 investor

ThetaWise is an AI study assistant for STEM subjects that provides step-by-step tutoring, generates narrated video lessons, and creates graded practice problems for test prep. It targets students looking to improve their grades across math and science classes.

1 investor

THETIS AI provides maritime voyage optimization software that uses AI to process real-time data such as weather, currents, and port congestion to generate optimized voyage plans. It serves shipping companies aiming to reduce fuel consumption and CO₂ emissions and comply with environmental regulations.

1 investor

Stake is a digital real estate investment platform that enables global property ownership by providing access to curated real estate funds and fractional ownership opportunities. The platform serves investors worldwide seeking exposure to property markets across the Middle East, South Asia, and the United States.

1 investor

TheTradeLab offers an AI-assisted workspace for product classification, landed cost estimation, customs document drafting, tariff research, and tariff-engineering analysis. It serves importers, exporters, and trade-compliance teams working across customs and international trade requirements.

1 investor

The Valley is an educational institution offering a hybrid AI productivity training program developed in collaboration with Microsoft, designed to teach professionals how to use generative AI tools like ChatGPT and Microsoft Copilot to improve workplace efficiency. The program targets working professionals seeking to enhance their productivity and adaptability to modern work practices through practical, online instruction.

1 investor