Yes, I wrote an article about this: Truth Resolution Agent: A Multi-Source Judicial Framework for Sports Disputes (Senna 1989 Case Study) using llm as a judge and prolog neurosymbolic as a judge
https://fabceolin.github.io/the_edge_agent/articles/truth-re...