Cassano, Federico

Reflexion: Language Agents with Verbal Reinforcement Learning

Shinn, N., Cassano, F., Berman, E., Gopinath, A., Narasimhan, K., & Yao, S. (2023) · arXiv

Reinforcement Learning in RoboticsSpeech and dialogue systems

Cited by 1,087

MultiPL-E: A Scalable and Polyglot Approach to Benchmarking Neural Code Generation

Cassano, F., Gouwar, J., Nguyen, D., Nguyen, S., Phipps-Costin, L., Pinckney, D., Yee, M.-H., Zi, Y., Anderson, C. J., Feldman, M. Q., et al. (2023) · IEEE Transactions on Software Engineering

Software Engineering ResearchTopic Modeling

Cited by 394

StarCoder 2 and The Stack v2: The Next Generation

Lozhkov, A., Li, R., Allal, L. B., Cassano, F., Lamy-Poirier, J., Tazi, N., Tang, A., Pykhtar, D., Liu, J., Wei, Y., et al. (2024) · arXiv

Software Engineering ResearchTopic Modeling

Cited by 74

MultiPL-E: A Scalable and Extensible Approach to Benchmarking Neural Code Generation

Cassano, F., Gouwar, J., Nguyen, D., Nguyen, S., Phipps-Costin, L., Pinckney, D., Yee, M.-H., Zi, Y., Anderson, C. J., Feldman, M. Q., et al. (2022) · arXiv

Software Engineering ResearchTopic Modeling

Cited by 17

DafnyBench: A Benchmark for Formal Software Verification

Loughridge, C., Sun, Q., Ahrenbach, S., Cassano, F., Sun, C., Sheng, Y., Mudide, A., Misu, M. R. H., Amin, N., & Tegmark, M. (2024) · arXiv

Logic, programming, and type systemsFormal Methods in Verification

Cited by 6

Composer 2 Technical Report

Research, C., :, Chan, A., Shalaby, A., Wettig, A., Sanger, A., Zhai, A., Ajay, A., Nair, A., Snell, C., et al. (2026) · arXiv

Software Engineering ResearchSoftware Engineering Techniques and Practices

Cited by 1