Solar-Lezama, Armando

Syntax-guided synthesis

Alur, R., Bodik, R., Juniwal, G., Martin, M. M. K., Raghothaman, M., Seshia, S. A., Singh, R., Solar-Lezama, A., Torlak, E., & Udupa, A. (2013) · 2013 Formal Methods in Computer-Aided Design

Logic, programming, and type systemsFormal Methods in Verification

Cited by 656

QuixBugs: a multi-lingual program repair benchmark set based on the quixey challenge

Lin, D., Koppel, J., Chen, A., & Solar-Lezama, A. (2017) · Proceedings Companion of the 2017 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity

Software Testing and Debugging TechniquesSoftware Engineering Research

Cited by 242

Programming by sketching for bit-streaming programs

Solar-Lezama, A., Rabbah, R., Bodík, R., & Ebcioğlu, K. (2005) · Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation

Embedded Systems Design TechniquesTeaching and Learning Programming

Cited by 195

Sketching stencils

Solar-Lezama, A., Arnold, G., Tancau, L., Bodik, R., Saraswat, V., & Seshia, S. (2007) · Proceedings of the 28th ACM SIGPLAN Conference on Programming Language Design and Implementation

Parallel Computing and Optimization TechniquesComputer Graphics and Visualization Techniques

Cited by 149

DreamCoder: growing generalizable, interpretable knowledge with wake–sleep Bayesian program learning

Ellis, K., Wong, L., Nye, M., Sablé-Meyer, M., Cary, L., Anaya Pozo, L., Hewitt, L., Solar-Lezama, A., & Tenenbaum, J. B. (2023) · Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences

Evolutionary Algorithms and ApplicationsAI-based Problem Solving and Planning

Cited by 125

DreamCoder: bootstrapping inductive program synthesis with wake-sleep library learning

Ellis, K., Wong, C., Nye, M., Sablé-Meyer, M., Morales, L., Hewitt, L., Cary, L., Solar-Lezama, A., & Tenenbaum, J. B. (2021) · Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation

Evolutionary Algorithms and ApplicationsAI-based Problem Solving and Planning

Cited by 103

Write, Execute, Assess: Program Synthesis with a REPL

Ellis, K., Nye, M., Pu, Y., Sosa, F., Tenenbaum, J., & Solar-Lezama, A. (2019) · arXiv

Evolutionary Algorithms and ApplicationsTeaching and Learning Programming

Cited by 65

LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers

Olausson, T., Gu, A., Lipkin, B., Zhang, C., Solar-Lezama, A., Tenenbaum, J., & Levy, R. (2023) · Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing

Logic, Reasoning, and KnowledgeTopic Modeling

Cited by 57

Probabilistic verification of fairness properties via concentration

Bastani, O., Zhang, X., & Solar-Lezama, A. (2019) · Proceedings of the ACM on Programming Languages

Formal Methods in VerificationEthics and Social Impacts of AI

Cited by 57

LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Code

Jain, N., Han, K., Gu, A., Li, W.-D., Yan, F., Zhang, T., Wang, S., Solar-Lezama, A., Sen, K., & Stoica, I. (2024) · arXiv

Software Engineering ResearchTopic Modeling

Cited by 42

Top-Down Synthesis for Library Learning

Bowers, M., Olausson, T. X., Wong, L., Grand, G., Tenenbaum, J. B., Ellis, K., & Solar-Lezama, A. (2023) · Proceedings of the ACM on Programming Languages

Logic, programming, and type systemsEvolutionary Algorithms and Applications

Cited by 33

Exploring the MIT Mathematics and EECS Curriculum Using Large Language Models

Zhang, S. J., Florin, S., Lee, A. N., Niknafs, E., Marginean, A., Wang, A., Tyser, K., Chin, Z., Hicke, Y., Singh, N., et al. (2023) · arXiv

Artificial Intelligence in EducationTopic Modeling

Cited by 19

Is Self-Repair a Silver Bullet for Code Generation?

Olausson, T. X., Inala, J. P., Wang, C., Gao, J., & Solar-Lezama, A. (2023) · arXiv

Software Engineering ResearchSoftware Testing and Debugging Techniques

Cited by 13

CRUXEval: A Benchmark for Code Reasoning, Understanding and Execution

Gu, A., Rozière, B., Leather, H., Solar-Lezama, A., Synnaeve, G., & Wang, S. I. (2024) · arXiv

Software Engineering ResearchTopic Modeling

Cited by 7