Leandojo: Theorem proving with retrieval-augmented language models K Yang, A Swope, A Gu, R Chalamala, P Song, S Yu, S Godil, RJ Prenger, ... Advances in Neural Information Processing Systems 36, 2024 | 73 | 2024 |
CircuitVAE: Efficient and Scalable Latent Circuit Optimization J Song, A Swope, R Kirby, R Roy, S Godil, J Raiman, B Catanzaro NeurIPS 2023 Workshop on Adaptive Experimental Design and Active Learning in …, 2023 | | 2023 |