Tobias Gessler is a member of technical staff at Axiom Math. His work spans reinforcement learning and AI research; he contributed to the Lean formalization of bounded gaps between primes and has published research on human-AI coordination.
Tobias Gessler is a member of technical staff at Axiom Math. His work spans reinforcement learning and AI research; he contributed to the Lean formalization of bounded gaps between primes and has published research on human-AI coordination.
Career
Member of Technical Staff at Axiom Math until Present