PublicationsPapers

We generalize the results of our paper Aggregation of evaluations without unanimity to the setting in which one predicate is used for the “inputs” and another for the output. We also use an improved notion of triviality which generalizes the original one.

This paper is heavily based on work of ChatGPT 5.6 Sol. The final result was completely written by me. The paper is accompanied by a complete Lean formalization.