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.

Veritone is a leading provider of artificial intelligence (AI) solutions for businesses. Its flagship product, aiWARE, is an enterprise AI platform that provides access to hundreds of cognitive engines through one common software infrastructure. Veritone's AI solutions are used by businesses in a variety of industries, including media and entertainment, recruitment, government, legal and compliance, and sports. Veritone's mission is to augment the human workforce by transforming use-case concepts into tangible, industry-leading applications and solutions.

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.

Azoo is an AI-powered platform that offers a wide range of services in various categories such as logistics, animal, consumer commerce, real estate, law, and finance. It provides tools for data analysis, event management, and guides for users. The platform is designed to streamline processes, enhance decision-making, and improve efficiency in different industries. Azoo is developed by Cubig Corp., a company based in Seoul, South Korea, and aims to revolutionize the way businesses operate through innovative AI solutions.

Shufti Pro is an award-winning global identity verification platform that provides businesses with a suite of tools to verify the identities of their customers. The platform uses artificial intelligence (AI) to automate the identity verification process, making it faster, more accurate, and more secure. Shufti Pro's solutions are used by businesses in a variety of industries, including banking, fintech, crypto, forex, gaming, insurance, education, healthcare, e-commerce, and travel.

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.

OpenCV.ai is a leading provider of computer vision software and services. The company's team of experts has extensive experience in developing optimized large-scale computer vision solutions. OpenCV.ai's expertise is helping businesses grow in a variety of industries, including medicine, manufacturing, and retail. The company's solutions are used by startups and Fortune 500 companies alike.

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.

Retrocausal is an AI Copilot platform designed to optimize manufacturing processes by leveraging computer vision and machine learning technology. It empowers operators, industrial engineers, and plant managers to enhance the quality, productivity, and traceability of manual processes. The platform offers features such as real-time feedback, analytics, time studies, automatic line balancing, continuous improvement suggestions, ergonomic analyses, quality planning, and more. Retrocausal ensures worker privacy through facial blurring and pixelation, integrates with existing IT and IIoT infrastructure, and is known for its security measures. The platform is widely recognized in the manufacturing industry for its innovative solutions and has received accolades from industry leaders.

NumPy is a library for the Python programming language, adding support for large, multi-dimensional arrays and high-level mathematical functions to perform operations on these arrays. It is the fundamental package for scientific computing with Python and is used in a wide range of applications, including data science, machine learning, and image processing. NumPy is open source and distributed under a liberal BSD license, and is developed and maintained publicly on GitHub by a vibrant, responsive, and diverse community.

Level AI is a provider of artificial intelligence (AI)-powered solutions for call centers. Its products include GenAI-automated Quality Assurance, Contact Center and Business Analytics, GenAI-powered VoC Insights, AgentGPT Real-Time Agent Assist, Agent Coaching, Agent Screen Recording, and Artificial Intelligence Integrations. Level AI's solutions are designed to help businesses improve customer experience, increase efficiency, and reduce costs. The company's customers include some of the world's leading customer service organizations, such as Brex and ezCater.

Rekor is an AI-powered platform that delivers revolutionary roadway intelligence by collecting, connecting, and organizing mobility data. It offers a range of software platforms, hardware systems, and applications for urban mobility, transportation management, and public safety. Rekor's technology utilizes computer vision, edge processing, and predictive algorithms to transform data into actionable intelligence, benefiting communities and businesses on a daily basis. With a focus on security standards and data governance, Rekor provides comprehensive traffic and vehicle analytics, license plate recognition, and compliance automation solutions.

Bidlytics is a privacy-focused capture and proposal solution for Government Contracts (GovCon). It automates the process of identifying opportunities, analyzing solicitations, creating compliance matrices, and generating quality proposal and compliance documents. With enhanced privacy and security features, Bidlytics offers seamless bid discovery, automatic solicitation shredding, compliance matrix on autopilot, fast and accurate proposal generation, and continuous learning and optimization through AI-driven tools.

EthonAI is a Manufacturing Analytics System that offers a suite of software tools to achieve operational excellence at scale in manufacturing industries. The system provides real-time insights to improve product quality and process efficiency by analyzing production data from various sources. EthonAI helps in root cause analysis, defect detection, process monitoring, product tracking, and material flow analysis, ultimately redefining operational excellence in manufacturing.

Roost.ai 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. Roost.ai helps in freeing up developer time by automating test case generation, enhancing test accuracy and coverage, and detecting static vulnerabilities in source code and logs. The platform is trusted by global financial institutions and industry leaders for its ability to fill gaps in test coverage and streamline the testing and deployment process.

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 efficient and accurate AI-driven contract review tools that screen agreements, answer legal questions, and provide guidance for finalizing contracts in record time. Maigon integrates the latest deep learning technology, including the platform-wide integration of OpenAI's GPT-4, to ensure maximum accuracy and efficiency. The application is trusted by industry leaders and helps businesses and organizations worldwide automate the legal document review process, allowing them to focus on strategic tasks.

Peslac AI is an intelligent document processing and data extraction tool that streamlines document-heavy processes with advanced AI technology. It offers solutions for automating document processing, extracting data, verifying documents, processing forms, and workflow automation. Peslac serves industries such as insurance, finance, healthcare, legal, and others by providing tailored solutions to improve efficiency and accuracy in operations.

Dili is an AI Diligence Platform designed to automate diligence processes for various industries such as Real Estate, Private Equity, Tax Credit, and Venture Capital. It offers features like extracting data instantly, supporting various document types, flagging transaction issues, intelligent document search, and risk assessments. Dili provides advantages such as reliable insights, confidence scores for answers, error detection, custom workflows, and domain-specific tuning. However, it may have limitations in handling complex math tasks, limited model training on user data, and potential use case restrictions.

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 an employee background screening platform designed for companies to streamline their hiring process by providing services such as criminal background checks, employment verification, driving record checks, drug testing, and more. The platform offers solutions tailored to various industries and company sizes, with a focus on compliance, speed, and accuracy in background checks.

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.