Poster · Atlanta
ITPEval: Benchmarking Formal Translation Across Interactive Theorem Provers
- When
- Fri 11 Dec 2026, 10:00–13:00 EST
- Where
- Hall C1, Georgia World Congress Center
- Session
- Atlanta Poster Session 5
- Authors
- Jiayi Wu, Robert Joseph George, Animashree Anandkumar
- Organisations
- Brown University, California Institute of Technology