Cassano, Federico
- Reflexion: Language Agents with Verbal Reinforcement Learning
2023/03/20 by Noah Shinn, Federico Cassano, Shinn, Noah +9 · 7 voices · 657 citations
Computer Science · #Topic Modeling #Explainable Artificial Intelligence (XAI) #Reinforcement Learning in Robotics
- StarCoder 2 and The Stack v2: The Next Generation
2024/02/29 by Lozhkov, Anton, Li, Raymond, Allal, Loubna Ben +63 · 95 citations
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Software Engineering (cs.SE)
- ReasoningWeekly: A General Knowledge and Verbal Reasoning Challenge for Large Language Models
2025/02/03 by Zixuan Wu, Wu, Zixuan, Francesca Lucchetti +13 · 12 voices · 2 citations
#cs.AI #cs.LG
- Planning In Natural Language Improves LLM Search For Code Generation
2024/09/05 by Evan Wang, Wang, Evan, Federico Cassano +18 · 1 voice · 13 citations
Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Mathematics, Computing, and Information Processing #Natural Language Processing Techniques #cs.AI #cs.CL #cs.LG
- MultiPL-E: A Scalable and Extensible Approach to Benchmarking Neural Code Generation
2022/08/17 by Federico Cassano, Cassano, Federico, John Gouwar +23 · 16 citations
Computer Science · Materials Science · #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning in Materials Science #Programming Languages (cs.PL) #Software Engineering Research #Topic Modeling
- MMTEB: Massive Multilingual Text Embedding Benchmark
2025/02/19 by Enevoldsen, Kenneth, Chung, Isaac, Kerboua, Imene +83 · 33 citations
#Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Information Retrieval (cs.IR)
- Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs
2023/08/19 by Federico Cassano, Cassano, Federico, John Gouwar +15 · 14 citations
Computer Science · #FOS: Computer and information sciences #Machine Learning (cs.LG) #Programming Languages (cs.PL) #Software Engineering Research #Software Reliability and Analysis Research #Software Testing and Debugging Techniques
- DafnyBench: A Benchmark for Formal Software Verification
2024/06/12 by Chloe Loughridge, Loughridge, Chloe, Qinyi Sun +17 · 16 citations
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Methods in Verification #Machine Learning (cs.LG) #Programming Languages (cs.PL) #Security and Verification in Computing #Software Engineering (cs.SE) #Software Testing and Debugging Techniques
- SelfCodeAlign: Self-Alignment for Code Generation
2024/10/31 by Yuxiang Wei, Federico Cassano, Wei, Yuxiang +17 · 20 citations
Computer Science · #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Model-Driven Software Engineering Techniques #Software Engineering (cs.SE)
- Can It Edit? Evaluating the Ability of Large Language Models to Follow Code Editing Instructions
2023/12/11 by Cassano, Federico, Li, Luisa, Sethi, Akul +8 · 12 citations
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Programming Languages (cs.PL) #Software Engineering (cs.SE)
- VerMCTS: Synthesizing Multi-Step Programs using a Verifier, a Large Language Model, and Tree Search
2024/02/13 by David Brandfonbrener, Simon Henniger, Brandfonbrener, David +19 · 2 voices · 3 citations
#cs.SE #cs.AI #cs.LG #cs.LO #cs.PL
- A Large Scale Analysis of Semantic Versioning in NPM
2023/04/01 by Pinckney, Donald, Cassano, Federico, Guha, Arjun +1 · 2 citations
#FOS: Computer and information sciences #Software Engineering (cs.SE)
- Type Prediction With Program Decomposition and Fill-in-the-Type Training
2023/05/25 by Federico Cassano, Ming‐Ho Yee, Cassano, Federico +7 · 1 citation
Computer Science · #Software Engineering Research #Topic Modeling #Natural Language Processing Techniques
- npm-follower: A Complete Dataset Tracking the NPM Ecosystem
2023/08/24 by Donald Pinckney, Federico Cassano, Pinckney, Donald +5 · 1 citation
Decision Sciences · Computer Science · #Scientific Computing and Data Management #Advanced Malware Detection Techniques #Software Engineering Research