Reflexion: language agents with verbal reinforcement learning N Shinn, F Cassano, B Labash, A Gopinath, K Narasimhan, S Yao Thirty-seventh Conference on Neural Information Processing Systems, 2023 | 1257* | 2023 |
MultiPL-E: a scalable and polyglot approach to benchmarking neural code generation F Cassano, J Gouwar, D Nguyen, S Nguyen, L Phipps-Costin, D Pinckney, ... IEEE Transactions on Software Engineering 49 (7), 3675-3691, 2023 | 188* | 2023 |
Starcoder 2 and the stack v2: The next generation A Lozhkov, R Li, LB Allal, F Cassano, J Lamy-Poirier, N Tazi, A Tang, ... arXiv preprint arXiv:2402.19173, 2024 | 141 | 2024 |
Knowledge transfer from high-resource to low-resource programming languages for code llms F Cassano, J Gouwar, F Lucchetti, C Schlesinger, A Freeman, ... Proceedings of the ACM on Programming Languages 8 (OOPSLA2), 677-708, 2024 | 19 | 2024 |
Can it edit? evaluating the ability of large language models to follow code editing instructions F Cassano, L Li, A Sethi, N Shinn, A Brennan-Jones, J Ginesin, E Berman, ... arXiv preprint arXiv:2312.12450, 2023 | 13 | 2023 |
A large scale analysis of semantic versioning in npm D Pinckney, F Cassano, A Guha, J Bell 2023 IEEE/ACM 20th International Conference on Mining Software Repositories …, 2023 | 12 | 2023 |
Flexible and optimal dependency management via max-smt D Pinckney, F Cassano, A Guha, J Bell, M Culpo, T Gamblin 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE …, 2023 | 10 | 2023 |
VerMCTS: Synthesizing Multi-Step Programs using a Verifier, a Large Language Model, and Tree Search D Brandfonbrener, S Henniger, S Raja, T Prasad, CR Loughridge, ... The 4th Workshop on Mathematical Reasoning and AI at NeurIPS'24, 2024 | 9* | 2024 |
Planning in natural language improves llm search for code generation E Wang, F Cassano, C Wu, Y Bai, W Song, V Nath, Z Han, S Hendryx, ... arXiv preprint arXiv:2409.03733, 2024 | 8 | 2024 |
DafnyBench: A Benchmark for Formal Software Verification C Loughridge, Q Sun, S Ahrenbach, F Cassano, C Sun, Y Sheng, ... arXiv preprint arXiv:2406.08467, 2024 | 4 | 2024 |
Type Prediction With Program Decomposition and Fill-in-the-Type Training F Cassano, MH Yee, N Shinn, A Guha, S Holtzen arXiv preprint arXiv:2305.17145, 2023 | 4 | 2023 |
Selfcodealign: Self-alignment for code generation Y Wei, F Cassano, J Liu, Y Ding, N Jain, Z Mueller, H de Vries, ... arXiv preprint arXiv:2410.24198, 2024 | 2 | 2024 |
npm-follower: A Complete Dataset Tracking the NPM Ecosystem D Pinckney, F Cassano, A Guha, J Bell Proceedings of the 31st ACM Joint European Software Engineering Conference …, 2023 | 1 | 2023 |
SafeLLVM: LLVM Without The ROP Gadgets! F Cassano, C Bershatsky, J Ginesin, S Bashenko arXiv preprint arXiv:2305.06092, 2023 | 1 | 2023 |
Artifact For A Large Scale Analysis of Semantic Versioning in NPM D Pinckney, F Cassano, A Guha, J Bell Zenodo, 2023 | 1 | 2023 |