Company lists · Data refreshed September 2026

Top 25 Machine reasoning software companies based in the United States

RevenueBase identified 130 machine reasoning software companies headquartered in the United States as of September 2026 and tracks 7,646 professional contacts across them, including 3,966 with verified work emails and 2,082 with mobile numbers. San Francisco is the largest hub.

This list covers machine reasoning software companies headquartered in the United States, matched on what each company actually does as described in its own words. Ranked by team size, largest first. Every row shows the company's own description, its RevenueBase Smart Search rating, and when it was last checked. Data refreshed September 5, 2026.

Published by RevenueBase, a B2B data infrastructure company. This list was built with RevenueBase Smart Search, the natural-language company search RevenueBase customers use to build their own targeted lists and unlock verified emails and direct dials at the companies on them. How these lists are built and judged.

How to read this list HQ checked on every row RevenueBase Smart Search rating on every row Refreshed Sep 5, 2026 86% judged on-target in blind review
130Companies
7,646Contacts tracked
3,966Verified emails
2,082Mobile numbers
Explore this list → Free signup · no credit card · 500 free credits

The 25 largest machine reasoning software companies based in the United States

Ranked by team size
Top 25 of 130 machine reasoning software companies based in the United States, ranked by team size, largest first. Data refreshed Sep 5, 2026. RevenueBase Smart Search rates how each company's information relates to machine reasoning software companies: strong evidence (its own description names it), partial (names part of it), indirect (matched on the rest of its profile rather than the description shown). Click a contact count to view that company's people.
#CompanyRevenueBase Smart SearchHeadquartersEmployeesContacts
1Indirect evidenceMiami, CO, United StatesHQ checked Sep 5, 20261,001-5,0005,403 contacts →

Indirect evidence

“AI-powered automation for every decision.”

Source: RevenueBase Database · checked Sep 5, 2026
2Indirect evidenceRedwood City, CA, United StatesHQ checked Sep 5, 2026201-500967 contacts →

Indirect evidence

“Snorkel AI is the frontier AI data lab, helping teams build the data and environments behind high-performing frontier and agentic AI.”

Source: RevenueBase Database · checked Sep 5, 2026
3Partial evidenceLos Angeles, CA, United StatesHQ checked Sep 5, 202651-20064 contacts →

Partial evidence

“VERSES® is a cognitive computing company building next-generation intelligent software systems modeled after the wisdom and genius of Nature.”

Source: RevenueBase Database · checked Sep 5, 2026
4Indirect evidenceAustin, NC, United StatesHQ checked Sep 5, 202651-20057 contacts →

Indirect evidence

“In 36 months, agentic AI systems will be an operating reality across major institutions.”

Source: RevenueBase Database · checked Sep 5, 2026
5Indirect evidenceSan Francisco, CA, United StatesHQ checked Sep 5, 202651-20050 contacts →

Indirect evidence

“At Adept, we are building a future where AI helps every employee focus on meaningful work.”

Source: RevenueBase Database · checked Sep 5, 2026
6Indirect evidenceSan Mateo, CA, United StatesHQ checked Sep 5, 202651-20041 contacts →

Indirect evidence

“At Brain.ai, we build computers that think.”

Source: RevenueBase Database · checked Sep 5, 2026
7Partial evidenceBoston, MA, United StatesHQ checked Sep 5, 202611-5034 contacts →

Partial evidence

“Axiomatic_AI is readying to launch with the aim to accelerate R&D by "Automated Interpretable Reasoning"(AIR)- a verifiably truthful AI model built for reasoning in science and…”

Source: RevenueBase Database · checked Sep 5, 2026
8Strong evidenceAustin, TX, United StatesHQ checked Sep 5, 202611-5034 contacts →

Strong evidence

“Cycorp is the world’s leading provider of Machine Reasoning AI.”

Source: RevenueBase Database · checked Sep 5, 2026
9Indirect evidenceSan Francisco, CA, United StatesHQ checked Sep 5, 202611-5034 contacts →

Indirect evidence

“We build AI that works while you don't.”

Source: RevenueBase Database · checked Sep 5, 2026
10Indirect evidenceCazenovia, NY, United StatesHQ checked Sep 5, 202651-20033 contacts →

Indirect evidence

“Most organizations struggle to turn AI into real operational value.”

Source: RevenueBase Database · checked Sep 5, 2026
11Indirect evidenceAnn Arbor, MI, United StatesHQ checked Sep 5, 202611-5028 contacts →

Indirect evidence

“Jaseci Labs is composed of a team of AI professors, Ph.D.s and industry experts with a proven track record of developing and launching award-winning AI products for millions of…”

Source: RevenueBase Database · checked Sep 5, 2026
12Partial evidenceAustin, TX, United StatesHQ checked Sep 5, 202611-5025 contacts →

Partial evidence

“Imandra is the world leader in neurosymbolic AI and cloud-scale automated reasoning.”

Source: RevenueBase Database · checked Sep 5, 2026
13Indirect evidenceSan Francisco, CA, United StatesHQ checked Sep 5, 20261-1020 contacts →

Indirect evidence

“Traversaal builds advanced AI agents designed to enhance enterprise productivity.”

Source: RevenueBase Database · checked Sep 5, 2026
14Indirect evidenceIrvine, CA, United StatesHQ checked Sep 5, 202611-5019 contacts →

Indirect evidence

Source: RevenueBase Database · checked Sep 5, 2026
15Indirect evidenceCupertino, CA, United StatesHQ checked Sep 5, 202611-5019 contacts →

Indirect evidence

“Vy Labs is an innovative Artificial Intelligence research and development company committed to making AI accessible to everyone.”

Source: RevenueBase Database · checked Sep 5, 2026
16Partial evidenceKansas City, FL, United StatesHQ checked Sep 5, 202611-5017 contacts →

Partial evidence

“Pioneering the Future of Human-Machine Collaboration For the last 6 years, Tesseract Ventures has been at the forefront of technological innovation, crafting groundbreaking…”

Source: RevenueBase Database · checked Sep 5, 2026
17Indirect evidenceNew York, NY, United StatesHQ checked Sep 5, 20261-109 contacts →

Indirect evidence

“Enginable builds AI-powered systems for complex industries.”

Source: RevenueBase Database · checked Sep 5, 2026
18Partial evidenceOak Park, MI, United StatesHQ checked Sep 5, 202611-508 contacts →

Partial evidence

“Located in Oak Park, Michigan, Detect-It is an AI Software and Neural Net Technology company.”

Source: RevenueBase Database · checked Sep 5, 2026
19Indirect evidenceNew York, NY, United StatesHQ checked Sep 5, 20261-107 contacts →

Indirect evidence

Source: RevenueBase Database · checked Sep 5, 2026
20Indirect evidenceSan Francisco, CA, United StatesHQ checked Sep 5, 20261-107 contacts →

Indirect evidence

“ErisAI is an Applied AI Research and Deployment Company building intelligent systems for real-world enterprise and government environments.”

Source: RevenueBase Database · checked Sep 5, 2026
21Indirect evidencePittsburgh, PA, United StatesHQ checked Sep 5, 202611-506 contacts →

Indirect evidence

“Cognistx is an Applied AI company.”

Source: RevenueBase Database · checked Sep 5, 2026
22Indirect evidencePotomac, MD, United StatesHQ checked Sep 5, 20261-105 contacts →

Indirect evidence

“The only company to achieve training with only few samples (typically 5-50), similar to humans & a fundamental prerequisite to AGI-ZAC team: http://zadvancedcomputing.com • Late…”

Source: RevenueBase Database · checked Sep 5, 2026
23Indirect evidenceIrving, TX, United StatesHQ checked Sep 5, 20261-104 contacts →

Indirect evidence

Source: RevenueBase Database · checked Sep 5, 2026
24Indirect evidenceSan Francisco, CA, United StatesHQ checked Sep 5, 20261-103 contacts →

Indirect evidence

“Khoj is an applied artificial intelligence company.”

Source: RevenueBase Database · checked Sep 5, 2026
25Indirect evidenceTroy, United StatesHQ checked Sep 5, 20261-102 contacts →

Indirect evidence

“Logic Based Artificial Intelligence (LBAI)”

Source: RevenueBase Database · checked Sep 5, 2026

Showing 25 of 130 machine reasoning software companies based in the United States

See the full list, filter by size, metro and specialty, and get verified emails and direct dials for all 3,966 reachable decision-makers.

Free signup · no credit card

View the full list →

Machine reasoning software companies based in the United States at a glance

As of Sep 5, 2026
51.9%Verified-email coverage
27.2%Mobile-number coverage
58.8Average contacts per company
1-10Median size (employees)
11.5%Largest-city concentration · San Francisco
Sep 5, 2026Page data refreshed

Companies by employee count

1-10
69
11-50
45
51-200
9
201-500
3
501-1,000
2
1,001-5,000
1
10001+
1

Freshness & accuracy

How recently the business emails on this list were verified

Email last verified

How this list was built

Company categories are rarely black and white. RevenueBase reads each company's own description of its business to decide whether it belongs among machine reasoning software companies, so some rows will be adjacent to the category rather than pure plays. The description and RevenueBase Smart Search rating on every row are there so you can check each match yourself.

Source
The RevenueBase company graph: 60 million companies and 398.9 million professional contacts resolved from primary sources, queried with RevenueBase Smart Search, the natural-language company search available to every RevenueBase user.
What qualifies
Companies headquartered in the United States whose own description of what they do matches “machine reasoning software companies”. Matching reads each company's description, not its industry code or its name.
RevenueBase Smart Search
RevenueBase Smart Search is how this list is assembled and how each row is rated. RevenueBase's data engine and AI assess a company's LinkedIn profile, information supplied directly by the company, its website and other publicly available information, then relate it to a category defined in a user's own words. Each row is rated strong evidence (its own description names machine reasoning software companies), partial evidence (it names part of the category) or indirect evidence (the description shown names none of it and the match rests on the rest of the company's profile). The description supporting each rating is quoted on the row.
What we exclude
Companies whose own description does not clearly place them among machine reasoning software companies, and records with no verified work email. Companies headquartered outside United States are excluded even when they keep an office there.
Match quality
In blind human judging of this matching method, 86% of matched companies were on target. Expect roughly 1 in 7 rows to be adjacent to the category rather than a pure play. Every row shows the company's own description and its RevenueBase Smart Search rating so you can judge each match yourself. Read the full methodology: how the lists are built, how the judging worked, and what the figure means.
Ranking
Team size, largest first: companies are ordered by the number of professionals RevenueBase tracks at each one. Employee ranges shown are reported bands, for context.
Verification
Every listed company carries at least one verified work email, 3,966 across the full list. Contacts re-verify on a rolling cadence, and each contact's own verification date is shown inside RevenueBase.
Refresh
This page's figures were pulled from the company graph on September 5, 2026. Lists refresh periodically as the graph is re-checked.
Corrections
Wrong category, wrong headquarters, or a company that has closed? Use “Report an issue” on any row. Reports go to the RevenueBase Data Team and feed back into the company graph.

Frequently asked

What is RevenueBase Smart Search?

RevenueBase Smart Search is how RevenueBase decides which companies belong on this list and how strongly each one fits. Its data engine and AI assess a company's LinkedIn profile, information supplied directly by the company, its website and other publicly available information, then relate it to the category the list is about. Each row is rated strong evidence when the company's own description names machine reasoning software companies, partial evidence when it names part of the category, and indirect evidence when the description shown names none of it and the match rests on the rest of the company's profile.

How many machine reasoning software companies are there based in the United States?

RevenueBase identified 130 machine reasoning software companies headquartered in the United States as of September 2026, matched on each company's own description of what it does rather than its industry code.

What is the largest company on this list?

Palantir Technologies, headquartered in Denver, tops this list with the largest team on record.

Which city has the most machine reasoning software companies?

San Francisco leads with 15 headquartered companies, followed by New York (11) and Austin (5).

How do I get contact information for these companies?

A free RevenueBase account lets you run this exact search and work the top results, verified emails and direct dials included. Upgrading unlocks all 3,966 verified decision-maker contacts tracked across these 130 companies.

How current is this list?

The list refreshes periodically as the company graph is re-checked. This page's figures were pulled on September 5, 2026.

Ready to reach these companies? Verified emails and direct dials for all 130 machine reasoning software companies based in the United States. Start with a free account, no credit card.

Download this list →

Related lists

About this data

RevenueBase is a B2B data infrastructure company. Its company graph covers 60 million companies and 398.9 million professional contacts, with emails verified on a rolling cadence rather than scraped once and left to decay. These company lists are generated directly from that graph with RevenueBase Smart Search, the same natural-language company search every RevenueBase user has: describe a market in plain words, get the companies that match, and add verified emails and direct dials for the people at them. It is the same data that powers RevenueBase's B2B data products, and a free account includes 500 credits to start. How these lists are built and judged.