AI.info

Philipp Mondorf

Explore Philipp Mondorf on AI.info.

• Last Translation Benchmark
• AIMO Interpretability Challenge
• LogicSkills: A Structured Benchmark for Formal Reasoning in Large Language Models