Imandra

Imandra is a company that provides automated logical reasoning for Large Language Models (LLMs). Imandra's technology allows LLMs to build mental models and reason about them, unlocking the potential of generative AI for industries where correctness and compliance matter. Imandra's platform is used by leading financial firms, the US Air Force, and DARPA.

Wolfram is a comprehensive platform that unifies algorithms, data, notebooks, linguistics, and deployment to provide a powerful computation platform. It offers a range of products and services for various industries, including education, engineering, science, and technology. Wolfram is known for its revolutionary knowledge-based programming language, Wolfram Language, and its flagship product Wolfram|Alpha, a computational knowledge engine. The platform also includes Wolfram Cloud for cloud-based services, Wolfram Engine for software implementation, and Wolfram Data Framework for real-world data analysis.

Anduril Industries is a defense technology company that develops autonomous systems for land, sea, and air. The company's products include the Lattice operating system, which powers a family of autonomous systems that provide integrated, persistent awareness and security. Anduril also develops counter-UAS, counter-intrusion, and maritime counter-intrusion systems. The company's mission is to transform defense capabilities with advanced technology.

Datature is an all-in-one platform for building and deploying computer vision models. It provides tools for data management, annotation, training, and deployment, making it easy to develop and implement computer vision solutions. Datature is used by a variety of industries, including healthcare, retail, manufacturing, and agriculture.

Allganize Inc. is a leading provider of enterprise AI solutions. Their platform enables businesses to build and deploy custom AI applications without the need for coding. Allganize's solutions are used by a variety of industries, including financial services, healthcare, and manufacturing.

Viso Suite is a no-code computer vision platform that enables users to build, deploy, and scale computer vision applications. It provides a comprehensive set of tools for data collection, annotation, model training, application development, and deployment. Viso Suite is trusted by leading Fortune Global companies and has been used to develop a wide range of computer vision applications, including object detection, image classification, facial recognition, and anomaly detection.

Clarifai is a full-stack AI developer platform that provides a range of tools and services for building and deploying AI applications. The platform includes a variety of computer vision, natural language processing, and generative AI models, as well as tools for data preparation, model training, and model deployment. Clarifai is used by a variety of businesses and organizations, including Fortune 500 companies, startups, and government agencies.

Kubeflow is an open-source machine learning (ML) toolkit that makes deploying ML workflows on Kubernetes simple, portable, and scalable. It provides a unified interface for model training, serving, and hyperparameter tuning, and supports a variety of popular ML frameworks including PyTorch, TensorFlow, and XGBoost. Kubeflow is designed to be used with Kubernetes, a container orchestration system that automates the deployment, management, and scaling of containerized applications.

MegaMatcher ABIS Online is an automated biometric identification system developed by Neurotechnology. It offers a turnkey multi-biometric solution for government and enterprise applications worldwide. The system includes features such as enrollment, biometric matching, identity management, data analysis, and deployment options for cloud services or on-premise solutions. With support for fingerprint, face, iris, and palmprint biometric modalities, the system ensures high accuracy, reliability, and unlimited storage of biometric and demographic information. It also provides easy integration through RESTful API and SDK libraries, along with security features like role-based access control and auditability.

MaxKB is a ready-to-use, flexible RAG Chatbot that is based on Large Language Models (LLM) and Retrieval-Augmented Generation (RAG). It is widely applied in scenarios such as intelligent customer service, corporate internal knowledge bases, academic research, and education. MaxKB supports direct uploading of documents, automatic crawling of online documents, automatic text splitting, vectorization, and RAG for smart Q&A interactions. It also offers flexible orchestration, seamless integration into third-party systems, and supports various large models for enhanced user satisfaction.

Predibase is a platform for fine-tuning and serving Large Language Models (LLMs). It provides a cost-effective and efficient way to train and deploy LLMs for a variety of tasks, including classification, information extraction, customer sentiment analysis, customer support, code generation, and named entity recognition. Predibase is built on proven open-source technology, including LoRAX, Ludwig, and Horovod.

LangChain is a framework for developing applications powered by large language models (LLMs). It simplifies every stage of the LLM application lifecycle, including development, productionization, and deployment. LangChain consists of open-source libraries such as langchain-core, langchain-community, and partner packages. It also includes LangGraph for building stateful agents and LangSmith for debugging and monitoring LLM applications.

Clarifai is a full-stack AI platform that provides developers and ML engineers with the fastest, production-grade deep learning platform. It offers a wide range of features, including data preparation, model building, model operationalization, and AI workflows. Clarifai is used by a variety of companies, including Fortune 500 companies and startups, to build AI applications in a variety of industries, including retail, manufacturing, and healthcare.

Rank One Computing (ROC) is an American-made provider of multimodal biometrics and computer vision solutions, specializing in face recognition, fingerprint recognition, and artificial intelligence technologies. Trusted by the U.S. military, law enforcement, and leading FinTech brands, ROC offers top-ranked software for identity proofing and threat detection. Their suite of products includes ROC SDK, ROC Watch, and custom enterprise AI development services. With a focus on security and efficiency, ROC aims to make the world safer and more convenient through unbiased and privacy-conscious applications.

Caffe is a deep learning framework developed by Berkeley AI Research (BAIR) and community contributors. It is designed for speed, modularity, and expressiveness, allowing users to define models and optimization through configuration without hard-coding. Caffe supports both CPU and GPU training, making it suitable for research experiments and industry deployment. The framework is extensible, actively developed, and tracks the state-of-the-art in code and models. Caffe is widely used in academic research, startup prototypes, and large-scale industrial applications in vision, speech, and multimedia.

Unify is an AI tool that offers a unified platform for accessing and comparing various Language Models (LLMs) from different providers. It allows users to combine models for faster, cheaper, and better responses, optimizing for quality, speed, and cost-efficiency. Unify simplifies the complex task of selecting the best LLM by providing transparent benchmarks, personalized routing, and performance optimization tools.

RoostGPT is an AI-driven testing copilot that offers automated test case generation and code scanning services. It leverages Generative-AI and Large Language Models (LLMs) to provide reliable software testing solutions. RoostGPT helps in achieving 100% test coverage by uncovering edge cases, detecting static vulnerabilities, and freeing up developer time. Trusted by global financial institutions, RoostGPT is a valuable tool for ensuring the quality and security of software products.

Octomind is an AI-powered Playwright end-to-end testing tool for web applications. It automatically discovers, generates, and runs tests to find bugs before customers do. With features like auto-generating tests, running tests to find bugs, maintaining tests automatically, debugging apps, and not requiring code access, Octomind offers a seamless testing experience for developers. It provides real-world wins with testimonials from industry professionals and ensures stability, speed, and a better developer experience.

Teste.ai is an AI-powered platform that allows users to create software testing scenarios and test cases using top-notch artificial intelligence technology. The platform offers a variety of tools based on AI to accelerate the software quality testing journey, helping testers cover a wide range of requirements with a vast array of test scenarios efficiently. Teste.ai's intelligent features enable users to save time and enhance efficiency in creating, executing, and managing software tests. With advanced AI integration, the platform provides automatic generation of test cases based on software documentation or specific requirements, ensuring comprehensive test coverage and precise responses to testing queries.

Imandra is a company that provides automated logical reasoning for Large Language Models (LLMs). Imandra's technology allows LLMs to build mental models and reason about them, unlocking the potential of generative AI for industries where correctness and compliance matter. Imandra's platform is used by leading financial firms, the US Air Force, and DARPA.

Bito AI is an AI-powered code review tool that helps developers write better code faster. It provides real-time feedback on code quality, security, and performance, and can also generate test cases and documentation. Bito AI is trusted by developers across the world, and has been shown to reduce review time by 50%.

Autify is an AI testing company focused on solving challenges in automation testing. They aim to make software testing faster and easier, enabling companies to release faster and maintain application stability. Their flagship product, Autify No Code, allows anyone to create automated end-to-end tests for applications. Zenes, their new product, simplifies the process of creating new software tests through AI. Autify is dedicated to innovation in the automation testing space and is trusted by leading organizations.

TestArmy is an AI-driven software testing platform that offers an army of testing agents to help users achieve software quality by balancing cost, speed, and quality. The platform leverages AI agents to generate Gherkin tests based on user specifications, automate test execution, and provide detailed logs and suggestions for test maintenance. TestArmy is designed for rapid scaling and adaptability to changes in the codebase, making it a valuable tool for both technical and non-technical users.

AI Generated Test Cases is an innovative tool that leverages artificial intelligence to automatically generate test cases for software applications. By utilizing advanced algorithms and machine learning techniques, this tool can efficiently create a comprehensive set of test scenarios to ensure the quality and reliability of software products. With AI Generated Test Cases, software development teams can save time and effort in the testing phase, leading to faster release cycles and improved overall productivity.

QA.tech is an advanced end-to-end testing application designed for B2B SaaS companies. It offers AI-powered testing solutions to help businesses ship faster, cut costs, and improve testing efficiency. The application features an AI agent named Jarvis that automates the testing process by scanning web apps, creating detailed memory structures, generating tests based on user interactions, and continuously testing for defects. QA.tech provides developer-friendly bug reports, supports various web frameworks, and integrates with CI/CD pipelines. It aims to revolutionize the testing process by offering faster, smarter, and more efficient testing solutions.

Maigon is a state-of-the-art AI application designed for contract review. It offers efficiency in closing deals fast by providing AI-driven contract review tools that screen agreements, answer legal questions, and offer guidance for finalizing contracts in record time. Maigon's solutions include contract type-specific AI review modules that integrate the latest deep learning technology. The platform also supports GDPR compliance, data processing agreements, privacy policy reviews, non-disclosure agreements, consultancy agreements, product supply agreements, R&D agreements, and end user license agreements. With features like quick start, always up-to-date solutions, custom playbook, unmatched speed, and on-premise availability, Maigon is trusted by industry leaders for automating legal document review processes.

Peslac AI is an intelligent document processing and data extraction tool that streamlines document-heavy processes with intelligent automation. It automatically extracts data from various document types, transforms unstructured documents into actionable insights, and automates form processing. Peslac serves industries such as insurance, finance, healthcare, legal, and more, offering tailored solutions to improve operational efficiency. With innovative AI models and advanced technology, Peslac helps users simplify workflows, automate document processing, and integrate data seamlessly. Experience the power of AI-driven automation with Peslac to enhance workflow efficiency and accuracy.

The website provides a Prevailing Wage & Apprenticeship Compliance solution for energy projects. It simplifies compliance by tracking apprenticeship hours, wage issues, and generating compliance reports. Users can stay compliant effortlessly with real-time wage validation, automated tracking, and instant compliance reports. The platform offers up-to-date wage determinations, independent third-party reports, real-time compliance dashboards, and expert full-service support. Users can choose between full-service compliance or software for in-house automation.

Escape is a platform designed to discover and secure APIs, SPAs, and Microservices efficiently. It offers features like mapping and documenting APIs, detecting vulnerabilities with a proprietary DAST algorithm, and integrating seamlessly into existing security stacks. Escape provides solutions for API security, GraphQL security, and automated pentesting. It helps users proactively detect security flaws, simplify compliance management, and deploy developer-friendly remediations. The platform is praised for its innovative Business Logic Security Testing Algorithm and its ability to find and fix complex security issues in modern application stacks.

SimpliTerms is a browser extension designed to simplify the process of understanding and accepting Terms of Use and Privacy Policies on websites. It provides users with quick and easy-to-understand summaries of lengthy legal documents, helping them save time, avoid legal issues, and protect their privacy. The extension offers improved AI-generated responses, supports multiple languages, and ensures better detection of policies on visited webpages. SimpliTerms is user-friendly, requiring just one click to access real-time summaries, making it a valuable tool for anyone concerned about online privacy and legal compliance.

Robin AI is a legal AI application that offers a platform for accelerating contract review and analysis. It provides services such as generating contract reports 50 times faster, reviewing contracts 80% faster, and finding contract data in less than 3 seconds. The application combines LLMs, proprietary machine learning models, and legal experts to transform contract review for businesses worldwide. With features like precision edits, secure repository, fast turnaround times, and customizable report templates, Robin AI aims to simplify contract processes for legal teams. The platform also offers resources like blog insights, webinars, and legal dictionary definitions to empower users in the legal industry.

Parsepolicy is an AI-powered tool that aims to make privacy policies more understandable for users. By utilizing advanced parsing technology, the tool simplifies legal terms, jargon, and complexities in privacy policies, breaking them down into easy-to-understand language. Users can generate a unique URL by entering their email address and paying with Stripe, receiving a simplified, human-readable privacy policy within minutes. The tool helps users gain insights into how their data is handled, understand their rights, and make informed decisions to protect their privacy online. Privacy and data security are top priorities, with cutting-edge encryption and secure protocols in place to ensure the confidentiality of personal information. Currently, the website is at the MVP stage.

UserWay is a web accessibility AI solution designed to ensure compliance with accessibility standards. It helps websites make their content accessible to people with disabilities by providing features such as screen reader optimization, keyboard navigation, and color contrast adjustments. UserWay aims to make the web a more inclusive place by enabling all users to access online content easily and efficiently.

Biscuits.ai is an AI-powered cookie policy generator that helps website owners create customized cookie policies. By simply entering the URL of their website, users can automatically detect the cookies they need and generate a comprehensive policy. Biscuits.ai streamlines the process of ensuring compliance with privacy regulations and provides a hassle-free solution for managing cookies on websites.

Schwarzthal Tech's Wunderschild is an AI-driven platform for financial crime intelligence that revolutionizes compliance and investigation techniques. It provides intelligence solutions based on network assessment, data linkage, flow aggregation, and machine learning. The platform offers insights on strategic risks related to Politically Exposed Persons, Serious Organised Crime, Terrorism Financing, and more. Wunderschild's data backbone is a global business registry enriched with information extracted using advanced machine learning techniques, enabling deep dives into complex transnational crime cases.

Bemi is an Automatic Audit Trail tool designed for Postgres databases. It allows users to track data changes reliably without the need for complex engineering or costly infrastructure. Bemi offers seamless setup, contextualized data tracking, and military-grade encryption for secure data storage. It integrates with existing PostgreSQL databases, enriches low-level data changes, and provides a robust audit trail for compliance and troubleshooting purposes. Trusted by top tech companies, Bemi helps businesses streamline audit processes and focus on innovation rather than manual data tracking.

Kintsugi is a sales tax automation tool designed to help companies globally manage their sales tax obligations efficiently. The platform offers automation features to streamline compliance processes, monitor tax exposure, and facilitate accurate filing and remittance. Kintsugi provides comprehensive sales tax calculation, registration alerts, and back tax handling. The tool is trusted by leading businesses worldwide and offers no onboarding fees, implementation fees, or long-term contracts. With Kintsugi, users can automate compliance in three simple steps and access features like product categorization and address validations.

Sendforsign is an AI-powered platform that offers eSign automation for businesses, allowing them to streamline agreements, contracts, and document management processes. The platform provides a suite of products such as Legal AI co-pilot, Contract Builder, eSign APIs, and embeddable UIs to simplify the entire agreement process. With features like AI Automation, Embedded Contracts, Contract Management, and Modules, Sendforsign aims to make contract handling efficient and user-friendly.

micro1 is an AI recruitment engine designed to source, vet, and hire top global talent efficiently. The platform offers a comprehensive solution for companies looking to streamline their recruitment process by leveraging AI technology. With features like AI Recruiter, COR Global payroll automation, and access to pre-vetted talent pools, micro1 aims to revolutionize the traditional hiring methods. The platform caters to various industries, including tech startups, staffing agencies, and enterprises, providing them with a seamless experience in finding and onboarding top talent from around the world.

DryRun Security is a contextual security analysis tool designed to help organizations identify and mitigate risks in their codebase. By providing real-time insights and feedback, DryRun Security empowers security leaders, AppSec engineers, and developers to proactively secure their code and streamline compliance efforts. The tool goes beyond traditional pattern-matching approaches by considering codepaths, developer intent, and language-specific checks to uncover vulnerabilities in context. With customizable code policies and natural language enforcement, DryRun Security offers a user-friendly experience for enhancing code security and collaboration between security and development teams.

CFR Explorer is an AI-powered tool that allows users to ask questions about regulations in Title 14 and receive answers from AI. Users can search for specific regulations, such as requirements for general aviation pilots or VFR weather requirements for Class C airspace. The tool is currently in beta, aiming to gather feedback for system improvement. Users are advised not to share private information in queries, and the tool's creators are not liable for the content generated.

Candle AI is an email assistant designed specifically for legal teams, including law firms, in-house counsel, and university legal teams. It helps professionals in the legal industry to save time and increase efficiency by cutting email time in half. The AI-powered assistant provides accurate responses with the right context, integrates with popular email platforms like Gmail and Outlook, offers tailored tone and style for personalized communication, and allows effortless template management for consistent responses. Candle AI is built for security, complying with industry standards, and seamlessly integrates with various software systems. Developed by legal and AI experts from top tech companies, Candle AI aims to eliminate email overload and improve communication for legal professionals.

Pascal is an AI-powered risk-based KYC & AML screening and monitoring platform that enables users to assess findings faster and more accurately than traditional compliance tools. It leverages AI, machine learning, and Natural Language Processing to analyze open-source and client-specific data, providing insights to identify and assess risks. Pascal simplifies onboarding processes, offers continuous monitoring, reduces false positives, and facilitates better decision-making. The platform features an intuitive interface, promotes collaboration, and ensures transparency through comprehensive audit trails. Pascal is a secure solution with ISAE 3402-II certification, exceeding industry standards for organizational protection.

Cape AI is a domain-specific AI tool designed for financial institutions to enhance productivity and efficiency. It offers automated tools and monitoring to strengthen risk and compliance, improve control in banking operations, boost sales prospect data gathering, enhance customer service, and personalize marketing functions. Cape AI streamlines processes such as due diligence automation, third-party risk management, compliance, customer onboarding, and marketing campaigns, ultimately increasing reach, insight, and operational efficiencies for financial firms.

Evervault is a flexible payments security platform that provides maximum protection with minimum compliance burden. It allows users to easily tokenize cards, optimize margins, comply with PCI standards, avoid gateway lock-in, and set up card issuing programs. Evervault is trusted by global leaders for securing sensitive payment data and offers features like PCI compliance, payments optimization, card issuing, network tokens, key management, and more. The platform enables users to accelerate card product launches, build complex card sharing workflows, optimize payment performance, and run highly sensitive payment operations. Evervault's unique encryption model ensures data security, reduced risk of data breach, improved performance, and maximum resiliency. It offers agile payments infrastructure, customizable UI components, cross-platform support, and effortless scalability, making it a developer-friendly solution for securing payment data.

Veriff.com is an AI-powered identity verification platform designed for fraud prevention, compliance, and enhancing customer trust. It offers a range of services such as document verification, proof of address, database verification checks, biometric authentication, and more to streamline onboarding processes and safeguard user identities. The platform combines AI technology with human verification teams to ensure accurate and efficient verification while keeping fraudsters at bay.

Checkr is a comprehensive background screening platform for companies, offering a range of services including criminal background checks, employment verification, driving record checks, drug testing, and more. The platform is designed to streamline the hiring process, improve compliance, and enhance the candidate experience. Checkr caters to various industries and company sizes, providing AI-powered solutions and integrations to simplify background screening workflows.

Procys is a document processing platform powered by AI that offers automated document processing solutions. It provides features such as a self-learning engine, seamless integration with ERP systems, OCR API powered by AI, customized data extraction, and AI autosplit for automatic document splitting. Procys helps with tasks like invoice OCR, ID card OCR, receipt OCR, and account payable automation. The platform aims to streamline document workflows, eliminate manual processes, save time, reduce errors, and ensure compliance for businesses.

Telescope is a generative intelligence application designed for the finance industry. It leverages data and foundation models to co-pilot investors with AI, reducing investor paralysis and enhancing discovery. The application simplifies investment discovery for retail investors, enables the construction of investment baskets across factor and thematic investing, transforms official company announcements into articles, identifies technical trading patterns, and ensures compliance within ethical frameworks. Telescope offers customizable AI-powered investment tools that integrate directly with trading platforms, aiming to improve investment discovery, increase engagement, and boost customer retention.