-
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 -
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
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