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, how directly it supports the match, 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 SmartSearch, 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 Match evidence on every row Refreshed Sep 5, 2026 86% judged on-target in blind review
130Companies
7,646Contacts tracked
3,966Verified emails
2,082Mobile numbers
Unlock all 130 companies 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. Evidence rates how directly each company's own description names machine reasoning software companies: strong (names it), partial (names part of it), indirect (matched on its full profile rather than the summary shown). Click a count to unlock that company's people.
#CompanyHeadquartersEmployeesContacts
1
Palantir TechnologiesIndirect evidence
Miami, CO, United StatesHQ checked Sep 5, 20261,001-5,0005,403

“AI-powered automation for every decision.”

Source: company website · checked Sep 5, 2026
2
Snorkel AIIndirect evidence
Redwood City, CA, United StatesHQ checked Sep 5, 2026201-500967

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

Source: company website · checked Sep 5, 2026
3
VersesPartial evidence
Los Angeles, CA, United StatesHQ checked Sep 5, 202651-20064

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

Source: company website · checked Sep 5, 2026
4
StriveworksIndirect evidence
Austin, NC, United StatesHQ checked Sep 5, 202651-20057

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

Source: company website · checked Sep 5, 2026
5
ADEPTIndirect evidence
San Francisco, CA, United StatesHQ checked Sep 5, 202651-20050

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

Source: company website · checked Sep 5, 2026
6
Brain Technologies, INCIndirect evidence
San Mateo, CA, United StatesHQ checked Sep 5, 202651-20041

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

Source: company website · checked Sep 5, 2026
7
Axiomatic AIPartial evidence
Boston, MA, United StatesHQ checked Sep 5, 202611-5034

“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: company website · checked Sep 5, 2026
8
CycorpStrong evidence
Austin, TX, United StatesHQ checked Sep 5, 202611-5034

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

Source: company website · checked Sep 5, 2026
9
MindpalIndirect evidence
San Francisco, CA, United StatesHQ checked Sep 5, 202611-5034

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

Source: company website · checked Sep 5, 2026
10
PolyrificIndirect evidence
Cazenovia, NY, United StatesHQ checked Sep 5, 202651-20033

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

Source: company website · checked Sep 5, 2026
11
Jaseci LabsIndirect evidence
Ann Arbor, MI, United StatesHQ checked Sep 5, 202611-5028

“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: company website · checked Sep 5, 2026
12
ImandraPartial evidence
Austin, TX, United StatesHQ checked Sep 5, 202611-5025

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

Source: company website · checked Sep 5, 2026
13
traversaal.aiIndirect evidence
San Francisco, CA, United StatesHQ checked Sep 5, 20261-1020

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

Source: company website · checked Sep 5, 2026
14
TheosymIndirect evidence
Irvine, CA, United StatesHQ checked Sep 5, 202611-5019
Source: company website · checked Sep 5, 2026
15
VY LabsIndirect evidence
Cupertino, CA, United StatesHQ checked Sep 5, 202611-5019

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

Source: company website · checked Sep 5, 2026
16
Tesseract VenturesPartial evidence
Kansas City, FL, United StatesHQ checked Sep 5, 202611-5017

“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: company website · checked Sep 5, 2026
17
EnginableIndirect evidence
New York, NY, United StatesHQ checked Sep 5, 20261-109

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

Source: company website · checked Sep 5, 2026
18
Detect-It AI SoftwarePartial evidence
Oak Park, MI, United StatesHQ checked Sep 5, 202611-508

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

Source: company website · checked Sep 5, 2026
19
Sunrise Technology INCIndirect evidence
New York, NY, United StatesHQ checked Sep 5, 20261-107
Source: company website · checked Sep 5, 2026
20
ErisaiIndirect evidence
San Francisco, CA, United StatesHQ checked Sep 5, 20261-107

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

Source: company website · checked Sep 5, 2026
21
CognistxIndirect evidence
Pittsburgh, PA, United StatesHQ checked Sep 5, 202611-506

“Cognistx is an Applied AI company.”

Source: company website · checked Sep 5, 2026
22Potomac, MD, United StatesHQ checked Sep 5, 20261-105

“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: company website · checked Sep 5, 2026
23
Leveling UP DataIndirect evidence
Irving, TX, United StatesHQ checked Sep 5, 20261-104
Source: company website · checked Sep 5, 2026
24
Khoj YC S23Indirect evidence
San Francisco, CA, United StatesHQ checked Sep 5, 20261-103

“Khoj is an applied artificial intelligence company.”

Source: company website · checked Sep 5, 2026
25
MotalenIndirect evidence
Troy, United StatesHQ checked Sep 5, 20261-102

“Logic Based Artificial Intelligence (LBAI)”

Source: company website · 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

See all 130 companies

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

As of Sep 5, 2026
1-10Median size (employees)
San FranciscoLargest hub · 15 HQs
2,082Contacts with mobile numbers
Sep 5, 2026Data 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

Verified emails by last verification

0–30
3,711
31–60
233
61–90
8
90–180
4
180+
10

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 evidence 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 SmartSearch, 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.
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 an evidence 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

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.

Get the full 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 SmartSearch, 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.