Worker

Home / Glossary / Worker

The Worker is the component of the Inference Harness that does all the low-level work such as creating problems and links, bubbling up proofs, etc. It takes its orders from a Tactician.

7000 North Mopac Expressway, Suite #200
Austin, TX 78731, USA