RocqStar: Leveraging Similarity-driven Retrieval and Agentic Systems for Rocq generation

28 May 2025

Papers citing "RocqStar: Leveraging Similarity-driven Retrieval and Agentic Systems for Rocq generation"

4 / 4 papers shown

Title
MapCoder: Multi-Agent Code Generation for Competitive Problem Solving Md. Ashraful Islam Mohammed Eunus Ali Md. Rizwan Parvez SyDa 50 58 0 18 May 2024
Learning Structure-Aware Representations of Dependent Types Konstantinos Kogkalidis Orestis Melkonian Jean-Philippe Bernardy NAI 39 3 0 03 Feb 2024
Rethinking InfoNCE: How Many Negative Samples Do You Need? Chuhan Wu Fangzhao Wu Yongfeng Huang 36 45 0 27 May 2021
CodeBERT: A Pre-Trained Model for Programming and Natural Languages Zhangyin Feng Daya Guo Duyu Tang Nan Duan Xiaocheng Feng ... Linjun Shou Bing Qin Ting Liu Daxin Jiang Ming Zhou 98 2,570 0 19 Feb 2020