Four questions
Is it an AlgoGen?
Answer for any script, skill, harness or system. Each answer narrows it to one of the four characters on the home page. The test uses this library's definition; corrections are welcome.
Question 1 of 4
Does a generative model write or choose any part of the answer?
Question 2 of 4
Does anything other than that model check what it produced?
Question 3 of 4
Is the checker computed in code (a test, solver, compiler, proof kernel or simulator) and not another model?
Question 4 of 4
Does the checker's verdict drive a search or repair loop that the code runs: pruning, retrying with the failure trace, keeping the best candidates?
Looking for real software that passes? See the Tools shelf, or browse the library of research systems.