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.

7718 Wood Hollow Drive, Suite 250
Austin, TX 78731, USA