4 ms·
Palomar requires the Comparator/formalization.yaml challenge stack. It also has an LLM-based vacuity gate backed by Tao. Theoremdb is just a slop farm.
by fractorial 2mo ago
Palomar requires the Comparator/formalization.yaml challenge stack. It also has an LLM-based vacuity gate backed by Tao.
Theoremdb is just a slop farm.