Armando Solar-Lezama

发表论文 155 篇 · 总被引 9956 次 · h-index 45

代表论文

• DreamCoder: bootstrapping inductive program synthesis with wake-sleep library learning (2021 · ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 被引 290)
• Is Self-Repair a Silver Bullet for Code Generation? (2023 · International Conference on Learning Representations · 被引 247)
• Fusion 360 gallery (2020 · ACM Transactions on Graphics · 被引 91)
• Top-Down Synthesis for Library Learning (2022 · Proc. ACM Program. Lang. · 被引 89)
• Verifiably safe exploration for end-to-end reinforcement learning (2020 · International Conference on Hybrid Systems: Computation and Control · 被引 67)
• Neurosymbolic Transformers for Multi-Agent Communication (2021 · Neural Information Processing Systems · 被引 29)