Poster · Atlanta
Theory-Scale Auto-Formalization of Logics for Computer Science
- When
- Thu 10 Dec 2026, 10:00–13:00 EST
- Where
- Hall C1, Georgia World Congress Center
- Session
- Atlanta Poster Session 3
- Authors
- Yuming Feng, Frederick Pu, One An, Osbert Bastani, Li Zhang, Jiani Huang, Xujie Si, Ziyang Li
- Organisations
- Johns Hopkins University, University of Toronto, University of Pennsylvania, Drexel University