Andrew T. Walter

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 6

Top Topics

Equational Theories

Natural Language Learning

Top Venues

Publications

Ankit Kumar, Andrew T. Walter, Panagiotis Manolios
Automated Grading of Automata with ACL2s. CoRR (2023)
Andrew T. Walter, Ankit Kumar, Panagiotis Manolios
Calculational Proofs in ACL2s. CoRR (2023)
Andrew T. Walter, Ankit Kumar, Panagiotis Manolios
Proving Calculational Proofs Correct. CoRR (2023)
Andrew T. Walter, David A. Greve, Panagiotis Manolios
Enumerative Data Types with Constraints. FMCAD (2022)
Andrew T. Walter, Panagiotis Manolios
ACL2s Systems Programming. ACL2 (2022)
Andrew T. Walter, Benjamin Boskin, Seth Cooper, Panagiotis Manolios
Gamification of Loop-Invariant Discovery from Code. HCOMP (2019)