Nomos
Reasoning harness for math problem-solving and proofs
Description
LLM proofs for competition math often have gaps and nobody checks them. Nomos from Nous Research is a reasoning harness for math problem-solving and natural-language proof writing that solves repeatedly, has a judge score each attempt and keeps the best.
Drop problems as Markdown files into a directory to run in bulk, with customizable solver and judge prompts.
Multiple attempts:Many solutions.
Judging:Best one kept.
Batch:Whole directories.
Custom:Your prompts.
Drop problems as Markdown files into a directory to run in bulk, with customizable solver and judge prompts.
Features
Multiple attempts:Many solutions.
Judging:Best one kept.
Batch:Whole directories.
Custom:Your prompts.
