G06N 5/013
Automatic theorem proving
Official title: {Automatic theorem proving}
G06N5/013 (Automatic theorem proving) appears on 84 US grants and 115 published applications in this corpus.
Search patents in G06N- Granted patents
- 84
- Published applications
- 115
- Assignees
- 55
- Inventors
- 311
- Latest grant
- 11 Aug 2026
Filings by year
| Year | Granted patents | Published applications |
|---|---|---|
| 1994 | 1 | 0 |
| 1995 | 0 | 0 |
| 1996 | 0 | 0 |
| 1997 | 1 | 0 |
| 1998 | 0 | 0 |
| 1999 | 2 | 0 |
| 2000 | 0 | 0 |
| 2001 | 0 | 0 |
| 2002 | 0 | 0 |
| 2003 | 0 | 0 |
| 2004 | 0 | 0 |
| 2005 | 0 | 1 |
| 2006 | 0 | 0 |
| 2007 | 0 | 0 |
| 2008 | 1 | 0 |
| 2009 | 0 | 0 |
| 2010 | 0 | 0 |
| 2011 | 1 | 1 |
| 2012 | 0 | 0 |
| 2013 | 1 | 2 |
| 2014 | 0 | 2 |
| 2015 | 2 | 3 |
| 2016 | 4 | 3 |
| 2017 | 3 | 6 |
| 2018 | 3 | 12 |
| 2019 | 4 | 7 |
| 2020 | 5 | 16 |
| 2021 | 13 | 15 |
| 2022 | 12 | 20 |
| 2023 | 14 | 5 |
| 2024 | 9 | 11 |
| 2025 | 4 | 5 |
| 2026 | 4 | 6 |
By publication year. Applications have been published since 2001. 2026 runs to 8 Oct.
Recent patents
- Verifiable logical reasoning using GenAI11 Aug 2026US 12,705,250 B2Oracle International Corporation
- Generative reasoning for symbolic discovery17 Mar 2026US 12,579,463 B2ASSI International Business Machines Corporation
- Automated negotiation agent with opponent's behavior prediction3 Mar 2026US 12,567,093 B2
- Test visualisation tool20 Jan 2026US 12,530,284 B2Five AI Limited
- Verification of access to secured electronic resources14 Oct 2025US 12,443,692 B2Equifax Inc.
- Hallucination Suppression in a Persistent Cognitive Machine via Geometric Epistemic Conditioning and Symplectic Knowledge Protection13 Aug 2026US 2026/0236701 A1Atombeam Technologies Inc.
- Verifiable logical reasoning using genai6 Aug 2026US 2026/0228232 A1Oracle International Corporation
- Systems and methods for formal verification of computer platforms4 Jun 2026US 2026/0154472 A1Uberspark Inc.
- Method of explaining a solution of a declarative problem encoding21 May 2026US 2026/0141277 A1
- Artificial Intelligence to Linear System Processing16 Apr 2026US 2026/0104930 A1International Business Machines Corporation
Most cited
By later US patents
- Method and apparatus for statically analyzing a computer program for data dependencies37US 5,987,252 ADigital Equipment Corporation · 1999
- Training a quantum optimizer17US 10,176,433 B2Microsoft Technology Licensing, LLC · 2019
- Verification of access to secured electronic resources12US 11,762,975 B2Equifax Inc. · 2023
- System for determining propositional logic theorems by applying values and rules to triplets that are generated from boolean formula10US 5,276,897 A1994
- System and method for selecting data sample groups for machine learning of context of data fields for various document types and/or for test data generation for quality assurance systems9US 10,140,277 B2Intuit Inc. · 2018