automated theorem proving competition
C64284
concept
An automated theorem proving competition is an organized event where different automated reasoning systems are evaluated and ranked based on their ability to automatically prove or refute a collection of formal logical problems under standardized conditions.
All labels observed (1)
| Label | Occurrences |
|---|---|
| automated theorem proving competition canonical | 1 |
Description generation (CDg)
The one-sentence description above was generated by prompting gpt-5.1 with the class name and this instruction.
Instruction
generate a one-sentence description for a given conceptual class. # Response Format Return only the sentence: "Description: [one-sentence description of the conceptional class]"
Input
Class: automated theorem proving competition
Generated description
An automated theorem proving competition is an organized event where different automated reasoning systems are evaluated and ranked based on their ability to automatically prove or refute a collection of formal logical problems under standardized conditions.
Instances (1)
| Instance | Via concept surface |
|---|---|
| CADE ATP System Competition | — |