Author:
Barthe Gilles,Crespo Juan Manuel,Kunz Cesar,Gulwani Sumit,Marron Mark
Cited by
34 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Boost Linear Algebra Computation Performance via Efficient VNNI Utilization;Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3;2024-04-27
2. Programming-by-Demonstration for Long-Horizon Robot Tasks;Proceedings of the ACM on Programming Languages;2024-01-05
3. Toward Programming Languages for Reasoning: Humans, Symbolic Systems, and AI Agents;Proceedings of the 2023 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software;2023-10-18
4. Faster sorting algorithms discovered using deep reinforcement learning;Nature;2023-06-07
5. Fast Instruction Selection for Fast Digital Signal Processing;Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 4;2023-03-25