Research & Education

Amii (Alberta Machine Intelligence Institute) is a world-leading AI institute based in Canada, recognized as one of the country's AI centres of excellence. It operates on two primary fronts: advancing AI research through groundbreaking discoveries and transformative technologies, and facilitating the commercialization of AI by partnering with companies. Amii helps businesses, from startups to global enterprises, develop actionable AI strategies and custom AI solutions. The institute also focuses on inclusive AI, offering programs for literacy, training, and talent development, and is a global leader in Reinforcement Learning (RL).

DeepSeek-Prover-V1.5 is an open-source language model specifically designed for theorem proving within the Lean 4 proof assistant environment. It significantly enhances its predecessor, DeepSeek-Prover-V1, by optimizing both training and inference processes. The model is pre-trained on DeepSeekMath-Base and specializes in formal mathematical languages. It undergoes supervised fine-tuning with an advanced formal theorem proving dataset and further refinement through reinforcement learning from proof assistant feedback (RLPAF). A key innovation is RMaxTS, a Monte-Carlo tree search variant that employs an intrinsic-reward-driven exploration strategy to generate diverse proof paths. This approach has led to state-of-the-art results on benchmarks like miniF2F and ProofNet.

Ask an AI is an advanced artificial intelligence platform designed to provide users with quick and accurate answers to their questions. Whether the query is simple or complex, the tool leverages AI capabilities to deliver relevant information. The platform emphasizes its ability to assist users across various subjects, from technical guidance on software like Game Guardian to general knowledge questions. It aims to be a helpful resource for anyone seeking immediate and precise information, offering a straightforward interface for asking questions and receiving detailed responses.

SaferPLACES is an AI-based digital twin solution designed for comprehensive flood risk intelligence. It integrates high-resolution geospatial, satellite, and climate data from sources like Google Earth Engine and Copernicus with advanced AI and physical-based models. This cloud-based platform provides real-time flood mapping and detailed flood hazard and damage assessments. SaferPLACES offers two cutting-edge solutions: a Cloud Web SaaS platform for effective climate adaptation planning and a tailored API for granular flood and climate risk data, ideal for parametric insurance and transparent risk disclosure. It empowers users to run computationally intensive simulations faster and more cost-effectively, supporting both private and public entities in identifying and mitigating current and future flood risks.

Start Your AI Agency is designed for aspiring entrepreneurs and business owners looking to establish and grow a profitable AI agency. The platform offers a comprehensive suite of resources, including battle-tested AI solutions, proven sales scripts, and efficient fulfillment systems. Users can access over 100 automations and AI systems to deliver client results at scale, enabling predictable and scalable income. The program emphasizes a location-independent business model, with AI handling client support, lead generation, and delivery. It provides a clear roadmap, expert support, and personalized AI consulting to help users avoid common mistakes and build with certainty, even without prior technical skills.

Stemuli is pioneering the world's first AI-native learning platform, designed to prepare students for the future workforce. It utilizes personalized AI companions to guide students through engaging quests within a living, multiplayer city environment. The platform aims to redefine how America educates its next generation, with over 10,000 students currently learning through its system across 30+ school districts. Key products include Founder Tycoon, a simulation for running companies and managing AI in a modeled economy, and Or[B] Math, an AI math companion that adapts in real-time to build problem-solving skills and confidence. Stemuli also offers The League, a national community where learners tackle challenges and directly shape the platform's development.

EBRAINS is an open research infrastructure designed to support brain-related research, spanning from molecular and cellular levels to the entire organ. Originally built by the EU-funded Human Brain Project, it continues to advance with support from the European Commission and a network of National Nodes. The platform provides a comprehensive suite of data, tools, and services, including detailed brain atlases, medical analytics for human imaging, and advanced modeling and simulation capabilities. Researchers can access high-performance computing and neuromorphic platforms, find and share data, and collaborate through a dedicated platform. EBRAINS aims to revolutionize neuroscience by fostering integrated platform research and overcoming fragmentation of efforts.

Breni is an innovative AI-powered platform designed to revolutionize learning by offering personalized courses. It intelligently adapts to individual user interests and learning goals, providing a highly tailored educational experience. The platform aims to make education significantly more engaging and effective through its advanced AI-driven personalization capabilities. By understanding each user's unique needs, Breni crafts custom learning paths, ensuring that the content is relevant and impactful. This approach moves beyond traditional one-size-fits-all education, fostering deeper understanding and better retention. Breni is ideal for anyone seeking a customized learning journey that evolves with their progress and preferences.

Masar Digital Learning is a digital learning start-up focused on enhancing organizational efficiency through tailored digital education. They specialize in creating optimized learning solutions, including content instruction design, interactive courses, and gamification. Their services extend to interactive videos, video production, voice-overs, animation video, and interactive books. Masar emphasizes innovation, customer-centricity, and quality in its offerings, aiming to make digital learning easier and more effective for businesses. They position themselves as an e-learning arm for organizations, fostering client relationships to drive efficiency and skill development.

PrayerPath is a spiritual application designed to help users deepen their faith journey through daily biblical inspiration and prayer activities. The platform offers powerful biblical quotes, randomly generated prayers, and devotionals to uplift spirits and maintain focus on spiritual growth. Users can earn points by engaging in prayer activities and become part of a supportive spiritual community. PrayerPath aims to provide daily guidance, encourage reflection on scriptures, and foster a sense of connection among its users, making it an ideal companion for anyone looking to integrate faith more deeply into their daily life.

TerrOïko is an innovative company specializing in ecological engineering and data science, founded in 2012 by two doctors in ecology. They develop new digital technologies applied to biodiversity, leveraging the latest scientific advancements in ecology, data processing, and computer science. TerrOïko provides data-driven solutions for the study and management of biodiversity to clients involved in territorial planning, local authorities, natural space managers, and consulting firms. Their services are applicable across various sectors, including infrastructure, industrial and urban projects, construction, territorial planning, renewable energies, nature conservation programs, public policy evaluation, and international scientific cooperation.

TailoredPod, formerly Alova, delivers personalized news content in both podcast and newsletter formats, aiming to combat news bias. Users receive daily summaries of news stories aligned with their interests, with the ability to vote on articles to refine recommendations. The platform sources articles from multiple renowned outlets to create balanced summaries, with AI handling summarization, sorting, filtering, and voicing. It offers a free tier with a daily newsletter and a premium option for ad-free content, more news categories, and a daily podcast. Content is available via newsletter, podcast players (excluding YouTube/Spotify), a website, or an iOS app.

Catalyst Partners, LLC specializes in guiding organizations through complex transformations, particularly at the intersection of technology and human factors. They address common problems like undocumented processes, failing AI rollouts, and underdeveloped middle management. Their approach starts with an "Operational Intelligence Suite™" to map real workflows, identify risks, and create a clear AI opportunity roadmap. This suite includes process map libraries, operational playbooks, risk assessments, and executive workshops. The company emphasizes human-centric technology transformation, ensuring that AI integration is built on a solid operational and human foundation, rather than just deploying sophisticated tools. They prioritize genuine impact and fit over simply billing hours.

Memrizz is an AI-powered platform specifically tailored for medical students, aiming to revolutionize their learning experience. The tool provides a comprehensive suite of features, including an AI-driven flashcard maker that helps students create and review study materials efficiently. Beyond traditional study aids, Memrizz incorporates a patient simulator, allowing students to practice diagnostic and treatment scenarios in a safe, virtual environment. Additionally, its scribe functionality assists in documenting patient interactions, mirroring real-world medical practice. Memrizz is designed to integrate AI into various aspects of medical education, offering practical and interactive tools to deepen understanding and improve retention for future healthcare professionals.

Eduzen is an AI-powered platform designed to accelerate learning through a suite of intelligent study tools. Users can instantly generate flashcards, create customized quizzes, record live lectures with real-time note-taking, and build visual mind maps from their study materials. The platform supports various input formats, including PDFs, videos, lecture notes, and YouTube links. Eduzen aims to save time by automating study routines, boost learning retention through interactive content, and help users stay organized by keeping all materials in one place. It offers real-time interaction with live lectures and customizable AI-generated content, making complex topics easier to understand and review.

The azureml-examples repository serves as a comprehensive collection of examples and tutorials designed to guide users through the functionalities of Azure Machine Learning (Azure ML) services. It is community-driven, ensuring a wide range of practical applications and use cases. All examples within the repository are rigorously tested using GitHub Actions, guaranteeing their reliability and functionality. This resource is particularly valuable for those getting started with Azure ML, especially with the v2 Python SDK, offering extensive examples in the `sdk/python` folder. It also includes examples for .NET and TypeScript SDKs, as well as the Azure Machine Learning extension for Azure CLI, making it a versatile learning tool for various development environments.

Ideaflow is a digital notebook crafted for efficient thought capture and organization. It provides a structured environment for users to document and connect their ideas, making it an effective tool for personal knowledge management. The platform aims to streamline the process of brainstorming and note-taking, ensuring that valuable insights are not lost but rather systematically stored and easily retrievable. By offering a dedicated space for structuring thoughts, Ideaflow supports users in developing and refining their ideas over time, fostering a more organized and productive approach to information handling.

Vehicle-detection is an open-source project focused on implementing vehicle detection using machine learning and computer vision. It leverages several key techniques, including Linear Support Vector Machines (SVM) for classification, Histogram of Oriented Gradients (HOG) for feature extraction, color space conversion for image processing, and a sliding window approach to scan images for vehicles. This project was originally developed as part of Udacity's Self-Driving Car Engineer Nanodegree, indicating its practical application in autonomous vehicle technology research and development. It serves as a valuable resource for students and developers interested in computer vision and self-driving car applications.

Tailor Bio is at the forefront of developing targeted therapies for cancers characterized by chromosomal instability. Leveraging an advanced AI-driven drug discovery platform, the company aims to accelerate the identification and development of precision medicines. This innovative approach addresses a significant genomic phenomenon present in a large percentage of cancers, offering the potential for more effective and personalized treatment options. By focusing on specific genetic markers, Tailor Bio seeks to improve patient outcomes and revolutionize cancer treatment.

Paraphrase Tool is an AI-powered platform designed to help users rephrase sentences, reword paragraphs, and rewrite essays across more than 100 languages. It offers 15 free modes, with a total of 18 writing modes, to generate variations of text while maintaining the original meaning. The tool also includes a plagiarism checker for over 50 languages, a grammar checker, and a compose mode that generates paragraphs from keywords to overcome writer's block. It supports various writing needs, from academic papers to cover letters, and aims to improve writing clarity, fluency, and uniqueness efficiently.

VOICE Talks AI currently serves as a placeholder page for a domain that was acquired through auction. The website content explicitly states that if you are viewing this page, it means the buyer has not yet updated the DNS. It provides instructions for buyers to move domains off the auction platform, change contacts, and update DNS to avoid losing the domain within one year. The site also clarifies that it cannot provide information about the buyer or pass messages to them. There is no content related to AI, voice-enabled technologies, or any show as suggested by the tool's name and previous description.

Innophore is an Enzyme & Drug Discovery platform that leverages AI-guided point-cloud technology, specifically its unique Catalophore™ platform, to identify and optimize protein candidates. The tool offers tailor-made solutions for biotechnology and pharmaceutical industries, enhancing standard approaches based on structural or sequence information. It helps formulate problems within its solution space, augmenting R&D pipelines and redefining how potential solutions are approached. Innophore's technology has been applied in large drug-repurposing screenings, such as during the Covid-19 pandemic, demonstrating its capability to find matches beyond conventional search methods.

Marbyt is a technical consultancy focused on developing specific software for the research world, particularly in biotechnology. As researchers themselves, they understand the complex and repetitive nature of laboratory work and leverage their informatics expertise to automate or simplify many tasks with algorithms. This approach aims to save significant time and money for investigators. Marbyt provides personalized solutions for research projects, emphasizing a biotechnological focus to ensure biological interpretation remains central. They offer bioinformatic tools tailored to facilitate daily research, reduce costs, and provide ongoing support and accompaniment throughout collaborations. Their services cater to sectors like agro-foodtech and healthcare, aiming to advance science and unlock research potential.

Legal Atlas is a comprehensive legal intelligence platform designed to enhance access to and understanding of global legal frameworks. Utilizing AI, interactive maps, and visual analytics, the tool enables users to research and compare legislation across various jurisdictions. It supports detailed analysis of legal frameworks, treaties, and best practices, making it invaluable for multi-jurisdictional legal research and compliance. The platform offers features for signing up, logging in, and navigating through databases by topic, sub-topic, and country. It also provides tools for adding reference text and generating tables of contents for legal documents, streamlining the research process for legal professionals.