AI.info

Brian Rabern

Explore Brian Rabern on AI.info.

• LogicSkills: A Structured Benchmark for Formal Reasoning in Large Language Models