-
Reasoning as a service
Imandra Inc. is the home of Reasoning as a Service®. Their platform, built on advances in automated reasoning, brings rigorous logical reasoning to modern AI systems. It is used by researchers, corporations, and government agencies worldwide. Imandra offers tools for integrating automated logical reasoning into LLMs, applications, and agentic workflows, fostering the creation of trustworthy Neurosymbolic AI systems. Their products include ICL CodeLogician, Imandra Universe, Imandra Core, Imandra Markets, and Imandra Connectivity. They provide solutions for financial services, formal verification, trustworthy AI, system integration, autonomous systems, MBSD, and government & defense.10 Mar 2024Readmore -
AI truth verification
TruthGPT for Google™ extension is a version of TruthGPT (developed by Singularity Labs) which integrates TruthGPT with Google™ search results. It automatically triggers a query to ChatGPT™ when you search for anything on Google and then validates the generated information using Google's Bard chatbot. It aims to prioritize accurate information and be a counterweight to existing chatbots that have been criticized for spreading false information.08 Jun 2024Readmore -
AI
TUNiB is a startup that creates new connections and innovations with AI technology. They build a smarter and more responsible AI ecosystem through 'DearMate,' a next-generation SNS where AI and people come together, and AI ethics guardrail solutions, essential safety devices in the generative AI era. TUNiB also offers services such as sLLM, Multi-Persona Chatbots and NLP APIs.17 Sep 2024Readmore -
Adversarial prompts
Attack Prompt Tool is designed for researchers and professionals in the field of AI security and safety. This tool allows users to generate adversarial prompts for testing the robustness of large language models (LLMs), helping to identify vulnerabilities and improve overall model security. It is intended solely for academic and research purposes, supporting the advancement of secure AI technologies. Please note that this tool is not intended for malicious use, and all activities should be performed in controlled and ethical environments.20 Jan 2025Readmore -
AI education
SlowMo Club is an AI learning platform designed for children aged 6-12. It focuses on teaching kids how to use AI safely through interactive games, AI literacy lessons, and prompt engineering challenges. The platform aims to spark curiosity, encourage discovery, and promote smart choices regarding AI and digital safety.21 Mar 2025Readmore -
Reinforcement Learning
General Reasoning is dedicated to making state-of-the-art reasoning AI more accessible. They focus on developing machines that are smart and safe through reinforcement learning, aiming to help humanity. Their work explores the frontier of machine reasoning, with a focus on scaling RL compute and open-sourcing data and models.26 Mar 2025Readmore -
Representation Engineering
Wisent uses representation engineering to give you complete and simple way of steering and controlling your AI models. Whether you want to make AI safe, hallucination-free, happy or depressed, Wisent has you covered. Wisent uses representation engineering to give you unprecedented control over AI capabilities. At Wisent, we're pioneering representation engineering to give you unprecedented control over AI capabilities. Representation engineering changes that by giving you visibility into the internal workings of AI. By understanding how AI processes information, we can precisely modify its behavior, enhance its capabilities, and create AI systems that better serve your specific needs. With Wisent's technology, you can transform AI from a rigid tool into a flexible, adaptable system that evolves with your needs. Representation engineering gives you unprecedented control over AI behavior with precision and ease.07 Dec 2024Readmore -
AI evaluation
Future AGI develops advanced AI evaluation and optimization products, enabling automated quality assessment and performance enhancement for AI models. It offers a comprehensive platform to help enterprises achieve high accuracy in AI applications across software and hardware, replacing manual QA with Critique Agents and custom metrics.22 Nov 2024Readmore