Company lists · Data refreshed September 2026
Top 25 Machine reasoning software companies based in the United States
RevenueBase identified 130 company matches for machine reasoning software companies associated with 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 company matches for machine reasoning software companies associated with the United States, found by RevenueBase SmartSearch using the meaning of business descriptions in its company graph at Exact. Ranked by professionals tracked, largest first. Rows show recorded descriptions where available, Exact search membership and the snapshot date. 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.
The 25 largest machine reasoning software companies based in the United States
Ranked by team size| # | Company | Contacts | |||
|---|---|---|---|---|---|
| 1 | 5,403 contacts → | ||||
Exact match “AI-powered automation for every decision.” Recorded in the RevenueBase company graph · Sep 5, 2026 · View company records in RevenueBase | |||||
| 2 | 967 contacts → | ||||
Exact match “Snorkel AI is the frontier AI data lab, helping teams build the data and environments behind high-performing frontier and agentic AI.” Recorded in the RevenueBase company graph · Sep 5, 2026 · View company records in RevenueBase | |||||
| 3 | 64 contacts → | ||||
Exact match “VERSES® is a cognitive computing company building next-generation intelligent software systems modeled after the wisdom and genius of Nature.” Recorded in the RevenueBase company graph · Sep 5, 2026 · View company records in RevenueBase | |||||
| 4 | 57 contacts → | ||||
Exact match “In 36 months, agentic AI systems will be an operating reality across major institutions.” Recorded in the RevenueBase company graph · Sep 5, 2026 · View company records in RevenueBase | |||||
| 5 | 50 contacts → | ||||
Exact match “At Adept, we are building a future where AI helps every employee focus on meaningful work.” Recorded in the RevenueBase company graph · Sep 5, 2026 · View company records in RevenueBase | |||||
| 6 | 41 contacts → | ||||
Exact match “At Brain.ai, we build computers that think.” Recorded in the RevenueBase company graph · Sep 5, 2026 · View company records in RevenueBase | |||||
| 7 | 34 contacts → | ||||
Exact match “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…” Recorded in the RevenueBase company graph · Sep 5, 2026 · View company records in RevenueBase | |||||
| 8 | 34 contacts → | ||||
Exact match “Cycorp is the world’s leading provider of Machine Reasoning AI.” Recorded in the RevenueBase company graph · Sep 5, 2026 · View company records in RevenueBase | |||||
| 9 | 34 contacts → | ||||
Exact match “We build AI that works while you don't.” Recorded in the RevenueBase company graph · Sep 5, 2026 · View company records in RevenueBase | |||||
| 10 | 33 contacts → | ||||
Exact match “Most organizations struggle to turn AI into real operational value.” Recorded in the RevenueBase company graph · Sep 5, 2026 · View company records in RevenueBase | |||||
| 11 | 28 contacts → | ||||
Exact match “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…” Recorded in the RevenueBase company graph · Sep 5, 2026 · View company records in RevenueBase | |||||
| 12 | 25 contacts → | ||||
Exact match “Imandra is the world leader in neurosymbolic AI and cloud-scale automated reasoning.” Recorded in the RevenueBase company graph · Sep 5, 2026 · View company records in RevenueBase | |||||
| 13 | 20 contacts → | ||||
Exact match “Traversaal builds advanced AI agents designed to enhance enterprise productivity.” Recorded in the RevenueBase company graph · Sep 5, 2026 · View company records in RevenueBase | |||||
| 14 | 19 contacts → | ||||
Exact match Recorded description not available. Recorded in the RevenueBase company graph · Sep 5, 2026 · View company records in RevenueBase | |||||
| 15 | 19 contacts → | ||||
Exact match “Vy Labs is an innovative Artificial Intelligence research and development company committed to making AI accessible to everyone.” Recorded in the RevenueBase company graph · Sep 5, 2026 · View company records in RevenueBase | |||||
| 16 | 17 contacts → | ||||
Exact match “Pioneering the Future of Human-Machine Collaboration For the last 6 years, Tesseract Ventures has been at the forefront of technological innovation, crafting groundbreaking…” Recorded in the RevenueBase company graph · Sep 5, 2026 · View company records in RevenueBase | |||||
| 17 | 9 contacts → | ||||
Exact match “Enginable builds AI-powered systems for complex industries.” Recorded in the RevenueBase company graph · Sep 5, 2026 · View company records in RevenueBase | |||||
| 18 | 8 contacts → | ||||
Exact match “Located in Oak Park, Michigan, Detect-It is an AI Software and Neural Net Technology company.” Recorded in the RevenueBase company graph · Sep 5, 2026 · View company records in RevenueBase | |||||
| 19 | 7 contacts → | ||||
Exact match Recorded description not available. Recorded in the RevenueBase company graph · Sep 5, 2026 · View company records in RevenueBase | |||||
| 20 | 7 contacts → | ||||
Exact match “ErisAI is an Applied AI Research and Deployment Company building intelligent systems for real-world enterprise and government environments.” Recorded in the RevenueBase company graph · Sep 5, 2026 · View company records in RevenueBase | |||||
| 21 | 6 contacts → | ||||
Exact match “Cognistx is an Applied AI company.” Recorded in the RevenueBase company graph · Sep 5, 2026 · View company records in RevenueBase | |||||
| 22 | 5 contacts → | ||||
Exact match “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…” Recorded in the RevenueBase company graph · Sep 5, 2026 · View company records in RevenueBase | |||||
| 23 | 4 contacts → | ||||
Exact match Recorded description not available. Recorded in the RevenueBase company graph · Sep 5, 2026 · View company records in RevenueBase | |||||
| 24 | 3 contacts → | ||||
Exact match “Khoj is an applied artificial intelligence company.” Recorded in the RevenueBase company graph · Sep 5, 2026 · View company records in RevenueBase | |||||
| 25 | 2 contacts → | ||||
Exact match “Logic Based Artificial Intelligence (LBAI)” Recorded in the RevenueBase company graph · Sep 5, 2026 · View company records in RevenueBase | |||||
RevenueBase SmartSearch
Describe a niche business in your own words. RevenueBase SmartSearch compares the meaning of your description with company business descriptions compiled in the RevenueBase company graph. Exact, Similar, Related and Broad control how closely companies must fit.
This list uses Exact for “machine reasoning software companies”. Each Exact match badge shows membership in that saved search; it is not an individual similarity score or a service-quality rating. Recorded descriptions are shown where available.
Showing 25 of 130 machine reasoning software companies based in the United States
See the full list, filter by size, metro and specialty, and access 3,966 tracked professional contacts with verified work emails. Direct dials are available where recorded.
Free signup · no credit card
Machine reasoning software companies based in the United States at a glance
As of Sep 5, 2026Companies by employee count
Freshness & accuracy
How recently the business emails on this list were verified
Email last verified
How this list was built
The recorded descriptions help you assess these company matches. Check a company’s website for its current services and locations.
- 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
- Company records associated with the United States whose business descriptions match “machine reasoning software companies” by meaning at the Exact setting. Descriptions are compiled in the RevenueBase company graph from public websites, profiles and company information where available; they are not guaranteed quotations from the company's website.
- RevenueBase SmartSearch
- Describe a niche company in your own words to find businesses by meaning. Exact, Similar, Related and Broad control the breadth of RevenueBase SmartSearch. This saved list uses Exact. Each row's Exact match badge shows inclusion in that search, not an individual score or a service-quality judgment.
- Public preview
- The public preview omits records without a verified work email. Where headquarters information is recorded, preview rows are also filtered to this page’s location. Dataset totals and geographic summaries describe the full matched records before these preview filters.
- Match quality
- RevenueBase's August 25, 2026 study assessed 4,198 description/company pairs across matching settings. The publisher reports 86% good or better at Exact. This evaluates the method across queries; it does not audit this individual list. Recorded company descriptions, where available, help you judge each match yourself. Read the full methodology: how the lists are built and what the study measures.
- 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 displayed company carries at least one verified work email. RevenueBase tracks 3,966 professional contacts with verified work emails across the full matched dataset. 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.
- Record context
- Company records and descriptions can change. Check the company's website for its current services and locations.
Frequently asked
What is RevenueBase SmartSearch?
RevenueBase SmartSearch finds niche companies by the meaning of their business descriptions in the RevenueBase company graph. Exact, Similar, Related and Broad control how closely companies must fit your description. This list uses Exact for “machine reasoning software companies”; each Exact match badge shows search membership, not an individual similarity or quality score.
How many machine reasoning software companies are there based in the United States?
RevenueBase identified 130 company matches for machine reasoning software companies associated with the United States as of September 2026, using the meaning of business descriptions at Exact. This is the recorded matched set in the RevenueBase company graph.
What is the largest company on this list?
Palantir Technologies tops the displayed preview by professional contacts tracked in RevenueBase. Recorded headquarters appear in the company rows.
Which city has the most machine reasoning software companies?
San Francisco leads with 15 company records, 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 limited free results with 500 credits to start. Upgrading provides access to the 3,966 professional contacts with verified work emails tracked across these 130 companies; direct dials are available where recorded.
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
Machine reasoning software companies by geography
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.
More company lists
- All company lists
- Lists by location
- Lists A-Z
- New lists
- Machine reasoning software companies based in India
- AI companies based in the United States
- Cybersecurity companies based in the United States
- Manufacturing companies based in the United States
- Media companies based in the United States
- Oil and gas companies based in the United States
Company intelligence · public preview
Top 25 machine reasoning software companies based in the United States
Find companies in any niche.
Describe the businesses you want in your own words. RevenueBase SmartSearch matches company descriptions by meaning.
RevenueBase records 130 matching company records for machine reasoning software companies based in the United States, with 7,646 tracked contacts and 3,966 verified work emails.
This public preview shows 25 selected records ordered by tracked contacts. RevenueBase SmartSearch finds company descriptions that match by meaning at Exact. Snapshot: September 5, 2026.
RevenueBase compiles business descriptions for niche-company discovery; each row shows a recorded excerpt where available. Adapt this search to find the companies and contacts you want.
Top 25 machine reasoning software companies based in the United States
The public list shows selected company records with contact and verified-email coverage. Reported employee bands provide separate company-size context.
| # | Company | Headquarters on record | Reported employees | RevenueBase SmartSearch | Tracked contacts |
|---|---|---|---|---|---|
| 1 |  Palantir Technologiespalantir.comHQ: Miami, CO, United StatesReported employees: 1,001-5,000 | Miami, CO, United States | 1,001-5,000 | Exact match | 5,403 contacts → |
“AI-powered automation for every decision.” Recorded description excerpt · September 5, 2026Open company data in RevenueBase ↗Free signup required. | |||||
| 2 |  Snorkel AIsnorkel.aiHQ: Redwood City, CA, United StatesReported employees: 201-500 | Redwood City, CA, United States | 201-500 | Exact match | 967 contacts → |
“Snorkel AI is the frontier AI data lab, helping teams build the data and environments behind high-performing frontier and agentic AI.” Recorded description excerpt · September 5, 2026Open company data in RevenueBase ↗Free signup required. | |||||
| 3 |  Versesverses.aiHQ: Los Angeles, CA, United StatesReported employees: 51-200 | Los Angeles, CA, United States | 51-200 | Exact match | 64 contacts → |
“VERSES® is a cognitive computing company building next-generation intelligent software systems modeled after the wisdom and genius of Nature.” Recorded description excerpt · September 5, 2026Open company data in RevenueBase ↗Free signup required. | |||||
| 4 |  Striveworksstriveworks.comHQ: Austin, NC, United StatesReported employees: 51-200 | Austin, NC, United States | 51-200 | Exact match | 57 contacts → |
“In 36 months, agentic AI systems will be an operating reality across major institutions.” Recorded description excerpt · September 5, 2026Open company data in RevenueBase ↗Free signup required. | |||||
| 5 |  ADEPTadept.aiHQ: San Francisco, CA, United StatesReported employees: 51-200 | San Francisco, CA, United States | 51-200 | Exact match | 50 contacts → |
“At Adept, we are building a future where AI helps every employee focus on meaningful work.” Recorded description excerpt · September 5, 2026Open company data in RevenueBase ↗Free signup required. | |||||
| 6 |  Brain Technologies, INCbrain.aiHQ: San Mateo, CA, United StatesReported employees: 51-200 | San Mateo, CA, United States | 51-200 | Exact match | 41 contacts → |
“At Brain.ai, we build computers that think.” Recorded description excerpt · September 5, 2026Open company data in RevenueBase ↗Free signup required. | |||||
| 7 |  Axiomatic AIaxiomatic-ai.comHQ: Boston, MA, United StatesReported employees: 11-50 | Boston, MA, United States | 11-50 | Exact match | 34 contacts → |
“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…” Recorded description excerpt · September 5, 2026Open company data in RevenueBase ↗Free signup required. | |||||
| 8 |  Cycorpcyc.comHQ: Austin, TX, United StatesReported employees: 11-50 | Austin, TX, United States | 11-50 | Exact match | 34 contacts → |
“Cycorp is the world’s leading provider of Machine Reasoning AI.” Recorded description excerpt · September 5, 2026Open company data in RevenueBase ↗Free signup required. | |||||
| 9 |  Mindpalmindpal.coHQ: San Francisco, CA, United StatesReported employees: 11-50 | San Francisco, CA, United States | 11-50 | Exact match | 34 contacts → |
“We build AI that works while you don't.” Recorded description excerpt · September 5, 2026Open company data in RevenueBase ↗Free signup required. | |||||
| 10 |  Polyrificpolyrific.comHQ: Cazenovia, NY, United StatesReported employees: 51-200 | Cazenovia, NY, United States | 51-200 | Exact match | 33 contacts → |
“Most organizations struggle to turn AI into real operational value.” Recorded description excerpt · September 5, 2026Open company data in RevenueBase ↗Free signup required. | |||||
| 11 |  Jaseci Labsjasecilabs.comHQ: Ann Arbor, MI, United StatesReported employees: 11-50 | Ann Arbor, MI, United States | 11-50 | Exact match | 28 contacts → |
“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…” Recorded description excerpt · September 5, 2026Open company data in RevenueBase ↗Free signup required. | |||||
| 12 |  Imandraimandra.aiHQ: Austin, TX, United StatesReported employees: 11-50 | Austin, TX, United States | 11-50 | Exact match | 25 contacts → |
“Imandra is the world leader in neurosymbolic AI and cloud-scale automated reasoning.” Recorded description excerpt · September 5, 2026Open company data in RevenueBase ↗Free signup required. | |||||
| 13 |  traversaal.aitraversaal.aiHQ: San Francisco, CA, United StatesReported employees: 1-10 | San Francisco, CA, United States | 1-10 | Exact match | 20 contacts → |
“Traversaal builds advanced AI agents designed to enhance enterprise productivity.” Recorded description excerpt · September 5, 2026Open company data in RevenueBase ↗Free signup required. | |||||
| 14 |  Theosymtheosym.comHQ: Irvine, CA, United StatesReported employees: 11-50 | Irvine, CA, United States | 11-50 | Exact match | 19 contacts → |
No recorded description excerpt is available for this public record. | |||||
| 15 |  VY Labsvylabs.aiHQ: Cupertino, CA, United StatesReported employees: 11-50 | Cupertino, CA, United States | 11-50 | Exact match | 19 contacts → |
“Vy Labs is an innovative Artificial Intelligence research and development company committed to making AI accessible to everyone.” Recorded description excerpt · September 5, 2026Open company data in RevenueBase ↗Free signup required. | |||||
| 16 |  Tesseract Venturestesseractventures.ioHQ: Kansas City, FL, United StatesReported employees: 11-50 | Kansas City, FL, United States | 11-50 | Exact match | 17 contacts → |
“Pioneering the Future of Human-Machine Collaboration For the last 6 years, Tesseract Ventures has been at the forefront of technological innovation, crafting groundbreaking…” Recorded description excerpt · September 5, 2026Open company data in RevenueBase ↗Free signup required. | |||||
| 17 |  Enginableenginable.comHQ: New York, NY, United StatesReported employees: 1-10 | New York, NY, United States | 1-10 | Exact match | 9 contacts → |
“Enginable builds AI-powered systems for complex industries.” Recorded description excerpt · September 5, 2026Open company data in RevenueBase ↗Free signup required. | |||||
| 18 |  Detect-It AI Softwaredetect-it.aiHQ: Oak Park, MI, United StatesReported employees: 11-50 | Oak Park, MI, United States | 11-50 | Exact match | 8 contacts → |
“Located in Oak Park, Michigan, Detect-It is an AI Software and Neural Net Technology company.” Recorded description excerpt · September 5, 2026Open company data in RevenueBase ↗Free signup required. | |||||
| 19 |  Sunrise Technology INCsunriseaitech.comHQ: New York, NY, United StatesReported employees: 1-10 | New York, NY, United States | 1-10 | Exact match | 7 contacts → |
No recorded description excerpt is available for this public record. | |||||
| 20 |  Erisaierisinnovate.aiHQ: San Francisco, CA, United StatesReported employees: 1-10 | San Francisco, CA, United States | 1-10 | Exact match | 7 contacts → |
“ErisAI is an Applied AI Research and Deployment Company building intelligent systems for real-world enterprise and government environments.” Recorded description excerpt · September 5, 2026Open company data in RevenueBase ↗Free signup required. | |||||
| 21 | Cognistxcognistx.com HQ: Pittsburgh, PA, United StatesReported employees: 11-50 | Pittsburgh, PA, United States | 11-50 | Exact match | 6 contacts → |
“Cognistx is an Applied AI company.” Recorded description excerpt · September 5, 2026Open company data in RevenueBase ↗Free signup required. | |||||
| 22 |  Z Advanced Computing, Inc. ZACzadvancedcomputing.comHQ: Potomac, MD, United StatesReported employees: 1-10 | Potomac, MD, United States | 1-10 | Exact match | 5 contacts → |
“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…” Recorded description excerpt · September 5, 2026Open company data in RevenueBase ↗Free signup required. | |||||
| 23 |  Leveling UP Datalevelingupdata.comHQ: Irving, TX, United StatesReported employees: 1-10 | Irving, TX, United States | 1-10 | Exact match | 4 contacts → |
No recorded description excerpt is available for this public record. | |||||
| 24 |  Khoj YC S23khoj.devHQ: San Francisco, CA, United StatesReported employees: 1-10 | San Francisco, CA, United States | 1-10 | Exact match | 3 contacts → |
“Khoj is an applied artificial intelligence company.” Recorded description excerpt · September 5, 2026Open company data in RevenueBase ↗Free signup required. | |||||
| 25 |  Motalenmotalen.comHQ: Troy, United StatesReported employees: 1-10 | Troy, United States | 1-10 | Exact match | 2 contacts → |
“Logic Based Artificial Intelligence (LBAI)” Recorded description excerpt · September 5, 2026Open company data in RevenueBase ↗Free signup required. | |||||
Showing 25 of 130 company matches
Build a targeted audience, find relevant contacts and export available records to your workflow.
Free signup · 500 credits · limited free results
Machine reasoning software companies: dataset insights
September 5, 2026These summaries describe recorded coverage in this saved dataset. Coverage describes records in RevenueBase, rather than a census of every business in this market.
Reported company sizes
130 records in the displayed employee bands.
0 matching records are outside the displayed bands or do not have a displayed size. Bars show shares of the displayed bands.
Freshness & accuracy
How recently the business emails on this list were verified
Email last verified
How this company list was built
Describe a niche in your own words: companies installing commercial solar, or manufacturers of sustainable packaging. RevenueBase SmartSearch finds companies whose compiled business descriptions match by meaning. This list is one saved example to adapt.
Where the company descriptions come from
RevenueBase compiles company information from public sources, including company websites and public professional profiles such as LinkedIn, alongside information supplied by companies. The short recorded excerpt shown here is separate from the complete business description used for matching; individual source URLs and collection dates are not provided in this public snapshot.
RevenueBase SmartSearch matching settings
- Exact
- Closest fits to the business described.
- Similar
- Similar businesses with a wider range of fits.
- Related
- Related businesses in and around the category.
- Broad
- A broader set of businesses connected to the description.
RevenueBase SmartSearch · Exact match identifies inclusion in this search's closest semantic matching setting. It is not a per-company confidence score, a literal keyword match, or a quality endorsement.
Selection, ordering and scope
The public list shows selected company records with contact and verified-email coverage. Reported employee bands provide separate company-size context.
Coverage describes records in RevenueBase, rather than a census of every business in this market.
Recorded company descriptions support research; check company websites for current services. The selected preview is ordered by tracked contacts and is not a list of the best service providers.
Snapshot: September 5, 2026.
RevenueBase is a B2B data infrastructure company. Its September 3, 2026 published methodology describes a graph of 60 million companies and 398.9 million professional contacts; these platform figures differ from this page's totals. Published methodology ↗
Questions about this company list
What does Exact match mean for machine reasoning software companies?
The separate RevenueBase SmartSearch column identifies inclusion at the closest semantic matching preset. It is not a literal keyword match, a per-company confidence score or a quality endorsement. Changing the search form opens a new search in RevenueBase; it does not reclassify these saved rows.
How many machine reasoning software companies did RevenueBase find based in the United States?
The saved snapshot records 130 matching company records, 7,646 tracked contacts and 3,966 verified emails. The public preview displays 25 selected records.
Where do the company descriptions come from?
RevenueBase compiles company information from public sources, including company websites and public professional profiles such as LinkedIn, alongside information supplied by companies. The short recorded excerpt shown here is separate from the complete business description used for matching; individual source URLs and collection dates are not provided in this public snapshot.
How are the public companies ordered?
The selected public records are ordered by contacts tracked in RevenueBase, highest first. Contact coverage is a prospecting measure, not an assessment of the company's services or quality.
How can I get contact information?
Select a company's contact count to open its filtered contacts in RevenueBase. Free signup is required and includes 500 credits and limited free results. Verified emails, direct dials and mobile numbers depend on available coverage.
How current is this list?
Snapshot: September 5, 2026. Review each company's website for current services and locations. A recorded business description does not establish that every company offers every service named in the search.
What do headquarters and employee bands mean?
These are recorded company-level fields, rather than a map of every branch or a count of specialists. Missing headquarters or employee bands are labeled; older records may show a location separately from recorded headquarters.
Build your next target company list
Adapt this niche search and work with available contacts in RevenueBase.
Related lists
Machine reasoning software companies by geography
Cite this list
RevenueBase Data Team. Top 25 machine reasoning software companies based in the United States. Snapshot: September 5, 2026. https://revenuebase.ai/companies/machine-reasoning-software-companies/united-states.
This is a selected public preview of saved company records, rather than an independently verified census. Open the source page ↗
More company lists
- All company lists
- Lists by location
- Lists A-Z
- New lists
- Machine reasoning software companies based in India
- AI companies based in the United States
- Cybersecurity companies based in the United States
- Manufacturing companies based in the United States
- Media companies based in the United States
- Oil and gas companies based in the United States
Company intelligence · public preview
Top 25 machine reasoning software companies based in the United States
RevenueBase records 130 matching company records for machine reasoning software companies based in the United States, with 7,646 tracked contacts and 3,966 verified work emails.
This public preview shows 25 selected records ordered by tracked contacts. RevenueBase SmartSearch finds company descriptions that match by meaning at Exact. Snapshot: September 5, 2026.
RevenueBase compiles business descriptions for niche-company discovery; each row shows a recorded excerpt where available. Adapt this search to find the companies and contacts you want.
Top 25 machine reasoning software companies based in the United States
The public list shows selected company records with contact and verified-email coverage. Reported employee bands provide separate company-size context.
| # | Company | Headquarters on record | Reported employees | RevenueBase SmartSearch | Tracked contacts |
|---|---|---|---|---|---|
| 1 | Palantir Technologiespalantir.com HQ: Miami, CO, United StatesReported employees: 1,001-5,000 | Miami, CO, United States | 1,001-5,000 | Exact match | 5,403 contacts → |
“AI-powered automation for every decision.” Recorded description excerpt · September 5, 2026Open company data in RevenueBase ↗Free signup required. | |||||
| 2 | Snorkel AIsnorkel.ai HQ: Redwood City, CA, United StatesReported employees: 201-500 | Redwood City, CA, United States | 201-500 | Exact match | 967 contacts → |
“Snorkel AI is the frontier AI data lab, helping teams build the data and environments behind high-performing frontier and agentic AI.” Recorded description excerpt · September 5, 2026Open company data in RevenueBase ↗Free signup required. | |||||
| 3 | Versesverses.ai HQ: Los Angeles, CA, United StatesReported employees: 51-200 | Los Angeles, CA, United States | 51-200 | Exact match | 64 contacts → |
“VERSES® is a cognitive computing company building next-generation intelligent software systems modeled after the wisdom and genius of Nature.” Recorded description excerpt · September 5, 2026Open company data in RevenueBase ↗Free signup required. | |||||
| 4 | Striveworksstriveworks.com HQ: Austin, NC, United StatesReported employees: 51-200 | Austin, NC, United States | 51-200 | Exact match | 57 contacts → |
“In 36 months, agentic AI systems will be an operating reality across major institutions.” Recorded description excerpt · September 5, 2026Open company data in RevenueBase ↗Free signup required. | |||||
| 5 | ADEPTadept.ai HQ: San Francisco, CA, United StatesReported employees: 51-200 | San Francisco, CA, United States | 51-200 | Exact match | 50 contacts → |
“At Adept, we are building a future where AI helps every employee focus on meaningful work.” Recorded description excerpt · September 5, 2026Open company data in RevenueBase ↗Free signup required. | |||||
| 6 | Brain Technologies, INCbrain.ai HQ: San Mateo, CA, United StatesReported employees: 51-200 | San Mateo, CA, United States | 51-200 | Exact match | 41 contacts → |
“At Brain.ai, we build computers that think.” Recorded description excerpt · September 5, 2026Open company data in RevenueBase ↗Free signup required. | |||||
| 7 | Axiomatic AIaxiomatic-ai.com HQ: Boston, MA, United StatesReported employees: 11-50 | Boston, MA, United States | 11-50 | Exact match | 34 contacts → |
“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…” Recorded description excerpt · September 5, 2026Open company data in RevenueBase ↗Free signup required. | |||||
| 8 | Cycorpcyc.com HQ: Austin, TX, United StatesReported employees: 11-50 | Austin, TX, United States | 11-50 | Exact match | 34 contacts → |
“Cycorp is the world’s leading provider of Machine Reasoning AI.” Recorded description excerpt · September 5, 2026Open company data in RevenueBase ↗Free signup required. | |||||
| 9 | Mindpalmindpal.co HQ: San Francisco, CA, United StatesReported employees: 11-50 | San Francisco, CA, United States | 11-50 | Exact match | 34 contacts → |
“We build AI that works while you don't.” Recorded description excerpt · September 5, 2026Open company data in RevenueBase ↗Free signup required. | |||||
| 10 | Polyrificpolyrific.com HQ: Cazenovia, NY, United StatesReported employees: 51-200 | Cazenovia, NY, United States | 51-200 | Exact match | 33 contacts → |
“Most organizations struggle to turn AI into real operational value.” Recorded description excerpt · September 5, 2026Open company data in RevenueBase ↗Free signup required. | |||||
| 11 | Jaseci Labsjasecilabs.com HQ: Ann Arbor, MI, United StatesReported employees: 11-50 | Ann Arbor, MI, United States | 11-50 | Exact match | 28 contacts → |
“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…” Recorded description excerpt · September 5, 2026Open company data in RevenueBase ↗Free signup required. | |||||
| 12 | Imandraimandra.ai HQ: Austin, TX, United StatesReported employees: 11-50 | Austin, TX, United States | 11-50 | Exact match | 25 contacts → |
“Imandra is the world leader in neurosymbolic AI and cloud-scale automated reasoning.” Recorded description excerpt · September 5, 2026Open company data in RevenueBase ↗Free signup required. | |||||
| 13 | traversaal.aitraversaal.ai HQ: San Francisco, CA, United StatesReported employees: 1-10 | San Francisco, CA, United States | 1-10 | Exact match | 20 contacts → |
“Traversaal builds advanced AI agents designed to enhance enterprise productivity.” Recorded description excerpt · September 5, 2026Open company data in RevenueBase ↗Free signup required. | |||||
| 14 | Theosymtheosym.com HQ: Irvine, CA, United StatesReported employees: 11-50 | Irvine, CA, United States | 11-50 | Exact match | 19 contacts → |
No recorded description excerpt is available for this public record. | |||||
| 15 | VY Labsvylabs.ai HQ: Cupertino, CA, United StatesReported employees: 11-50 | Cupertino, CA, United States | 11-50 | Exact match | 19 contacts → |
“Vy Labs is an innovative Artificial Intelligence research and development company committed to making AI accessible to everyone.” Recorded description excerpt · September 5, 2026Open company data in RevenueBase ↗Free signup required. | |||||
| 16 | Tesseract Venturestesseractventures.io HQ: Kansas City, FL, United StatesReported employees: 11-50 | Kansas City, FL, United States | 11-50 | Exact match | 17 contacts → |
“Pioneering the Future of Human-Machine Collaboration For the last 6 years, Tesseract Ventures has been at the forefront of technological innovation, crafting groundbreaking…” Recorded description excerpt · September 5, 2026Open company data in RevenueBase ↗Free signup required. | |||||
| 17 | Enginableenginable.com HQ: New York, NY, United StatesReported employees: 1-10 | New York, NY, United States | 1-10 | Exact match | 9 contacts → |
“Enginable builds AI-powered systems for complex industries.” Recorded description excerpt · September 5, 2026Open company data in RevenueBase ↗Free signup required. | |||||
| 18 | Detect-It AI Softwaredetect-it.ai HQ: Oak Park, MI, United StatesReported employees: 11-50 | Oak Park, MI, United States | 11-50 | Exact match | 8 contacts → |
“Located in Oak Park, Michigan, Detect-It is an AI Software and Neural Net Technology company.” Recorded description excerpt · September 5, 2026Open company data in RevenueBase ↗Free signup required. | |||||
| 19 | Sunrise Technology INCsunriseaitech.com HQ: New York, NY, United StatesReported employees: 1-10 | New York, NY, United States | 1-10 | Exact match | 7 contacts → |
No recorded description excerpt is available for this public record. | |||||
| 20 | Erisaierisinnovate.ai HQ: San Francisco, CA, United StatesReported employees: 1-10 | San Francisco, CA, United States | 1-10 | Exact match | 7 contacts → |
“ErisAI is an Applied AI Research and Deployment Company building intelligent systems for real-world enterprise and government environments.” Recorded description excerpt · September 5, 2026Open company data in RevenueBase ↗Free signup required. | |||||
| 21 | Cognistxcognistx.com HQ: Pittsburgh, PA, United StatesReported employees: 11-50 | Pittsburgh, PA, United States | 11-50 | Exact match | 6 contacts → |
“Cognistx is an Applied AI company.” Recorded description excerpt · September 5, 2026Open company data in RevenueBase ↗Free signup required. | |||||
| 22 | Z Advanced Computing, Inc. ZACzadvancedcomputing.com HQ: Potomac, MD, United StatesReported employees: 1-10 | Potomac, MD, United States | 1-10 | Exact match | 5 contacts → |
“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…” Recorded description excerpt · September 5, 2026Open company data in RevenueBase ↗Free signup required. | |||||
| 23 | Leveling UP Datalevelingupdata.com HQ: Irving, TX, United StatesReported employees: 1-10 | Irving, TX, United States | 1-10 | Exact match | 4 contacts → |
No recorded description excerpt is available for this public record. | |||||
| 24 | Khoj YC S23khoj.dev HQ: San Francisco, CA, United StatesReported employees: 1-10 | San Francisco, CA, United States | 1-10 | Exact match | 3 contacts → |
“Khoj is an applied artificial intelligence company.” Recorded description excerpt · September 5, 2026Open company data in RevenueBase ↗Free signup required. | |||||
| 25 | Motalenmotalen.com HQ: Troy, United StatesReported employees: 1-10 | Troy, United States | 1-10 | Exact match | 2 contacts → |
“Logic Based Artificial Intelligence (LBAI)” Recorded description excerpt · September 5, 2026Open company data in RevenueBase ↗Free signup required. | |||||
Showing 25 of 130 company matches
Build a targeted audience, find relevant contacts and export available records to your workflow.
Free signup · 500 credits · limited free results
Machine reasoning software companies: dataset insights
September 5, 2026These summaries describe recorded coverage in this saved dataset. Coverage describes records in RevenueBase, rather than a census of every business in this market.
Reported company sizes
130 records in the displayed employee bands.
0 matching records are outside the displayed bands or do not have a displayed size. Bars show shares of the displayed bands.
Freshness & accuracy
How recently the business emails on this list were verified
Email last verified
How this company list was built
Describe a niche in your own words: companies installing commercial solar, or manufacturers of sustainable packaging. RevenueBase SmartSearch finds companies whose compiled business descriptions match by meaning. This list is one saved example to adapt.
Where the company descriptions come from
RevenueBase compiles company information from public sources, including company websites and public professional profiles such as LinkedIn, alongside information supplied by companies. The short recorded excerpt shown here is separate from the complete business description used for matching; individual source URLs and collection dates are not provided in this public snapshot.
RevenueBase SmartSearch matching settings
- Exact
- Closest fits to the business described.
- Similar
- Similar businesses with a wider range of fits.
- Related
- Related businesses in and around the category.
- Broad
- A broader set of businesses connected to the description.
RevenueBase SmartSearch · Exact match identifies inclusion in this search's closest semantic matching setting. It is not a per-company confidence score, a literal keyword match, or a quality endorsement.
Selection, ordering and scope
The public list shows selected company records with contact and verified-email coverage. Reported employee bands provide separate company-size context.
Coverage describes records in RevenueBase, rather than a census of every business in this market.
Recorded company descriptions support research; check company websites for current services. The selected preview is ordered by tracked contacts and is not a list of the best service providers.
Snapshot: September 5, 2026.
RevenueBase is a B2B data infrastructure company. Its September 3, 2026 published methodology describes a graph of 60 million companies and 398.9 million professional contacts; these platform figures differ from this page's totals. Published methodology ↗
Questions about this company list
What does Exact match mean for machine reasoning software companies?
The separate RevenueBase SmartSearch column identifies inclusion at the closest semantic matching preset. It is not a literal keyword match, a per-company confidence score or a quality endorsement. Changing the search form opens a new search in RevenueBase; it does not reclassify these saved rows.
How many machine reasoning software companies did RevenueBase find based in the United States?
The saved snapshot records 130 matching company records, 7,646 tracked contacts and 3,966 verified emails. The public preview displays 25 selected records.
Where do the company descriptions come from?
RevenueBase compiles company information from public sources, including company websites and public professional profiles such as LinkedIn, alongside information supplied by companies. The short recorded excerpt shown here is separate from the complete business description used for matching; individual source URLs and collection dates are not provided in this public snapshot.
How are the public companies ordered?
The selected public records are ordered by contacts tracked in RevenueBase, highest first. Contact coverage is a prospecting measure, not an assessment of the company's services or quality.
How can I get contact information?
Select a company's contact count to open its filtered contacts in RevenueBase. Free signup is required and includes 500 credits and limited free results. Verified emails, direct dials and mobile numbers depend on available coverage.
How current is this list?
Snapshot: September 5, 2026. Review each company's website for current services and locations. A recorded business description does not establish that every company offers every service named in the search.
What do headquarters and employee bands mean?
These are recorded company-level fields, rather than a map of every branch or a count of specialists. Missing headquarters or employee bands are labeled; older records may show a location separately from recorded headquarters.
Build your next target company list
Adapt this niche search and work with available contacts in RevenueBase.
Related lists
Machine reasoning software companies by geography
Cite this list
RevenueBase Data Team. Top 25 machine reasoning software companies based in the United States. Snapshot: September 5, 2026. https://revenuebase.ai/companies/machine-reasoning-software-companies/united-states.
This is a selected public preview of saved company records, rather than an independently verified census. Open the source page ↗
More company lists
- All company lists
- Lists by location
- Lists A-Z
- New lists
- Machine reasoning software companies based in India
- AI companies based in the United States
- Cybersecurity companies based in the United States
- Manufacturing companies based in the United States
- Media companies based in the United States
- Oil and gas companies based in the United States