Jan Hendrik Kirchner

1. Humanity's Last Exam
   2025/01/24 by Long Phan, Alice Gatti, Phan, Long +2240 · 9 voices · 106 citations
   #cs.LG #cs.AI #cs.CL
2. Prover-Verifier Games improve legibility of LLM outputs
   2024/07/18 by Jan H. Kirchner, Jan Hendrik Kirchner, Kirchner, Jan Hendrik +10 · 1 voice · 14 citations
   Computer Science · #Logic, programming, and type systems #Multi-Agent Systems and Negotiation #Reinforcement Learning in Robotics #cs.CL