Follow
Federico Cassano
Federico Cassano
Northeastern University
Verified email at northeastern.edu - Homepage
Title
Cited by
Cited by
Year
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
1412024
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
192024
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
132023
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
122023
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
102023
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
82024
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
42024
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
42023
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
22024
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
12023
SafeLLVM: LLVM Without The ROP Gadgets!
F Cassano, C Bershatsky, J Ginesin, S Bashenko
arXiv preprint arXiv:2305.06092, 2023
12023
Artifact For A Large Scale Analysis of Semantic Versioning in NPM
D Pinckney, F Cassano, A Guha, J Bell
Zenodo, 2023
12023
The system can't perform the operation now. Try again later.
Articles 1–15