Deduplicating and Ranking Solution Programs for Suggesting Reference Solutions
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | Shirafuji, Atsushi, Watanobe, Yutaka |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2023
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Ähnliche Einträge
Refactoring Programs Using Large Language Models with Few-Shot Examples
von: Shirafuji, Atsushi, et al.
Veröffentlicht: (2023)
von: Shirafuji, Atsushi, et al.
Veröffentlicht: (2023)
Rule-Based Error Classification for Analyzing Differences in Frequent Errors
von: Shirafuji, Atsushi, et al.
Veröffentlicht: (2023)
von: Shirafuji, Atsushi, et al.
Veröffentlicht: (2023)
BugLens: Leveraging Bisection for Lightweight Compiler Bug Deduplication
von: Zhou, Xintong, et al.
Veröffentlicht: (2025)
von: Zhou, Xintong, et al.
Veröffentlicht: (2025)
Ranking LLM-Generated Loop Invariants for Program Verification
von: Chakraborty, Saikat, et al.
Veröffentlicht: (2023)
von: Chakraborty, Saikat, et al.
Veröffentlicht: (2023)
Mix-of-Language-Experts Architecture for Multilingual Programming
von: Zong, Yifan, et al.
Veröffentlicht: (2025)
von: Zong, Yifan, et al.
Veröffentlicht: (2025)
How Programming Concepts and Neurons Are Shared in Code Language Models
von: Kargaran, Amir Hossein, et al.
Veröffentlicht: (2025)
von: Kargaran, Amir Hossein, et al.
Veröffentlicht: (2025)
Evaluating Program Semantics Reasoning with Type Inference in System F
von: He, Yifeng, et al.
Veröffentlicht: (2025)
von: He, Yifeng, et al.
Veröffentlicht: (2025)
LLMs Lean on Priors, Not Programming Language Semantics
von: Thimmaiah, Aditya, et al.
Veröffentlicht: (2025)
von: Thimmaiah, Aditya, et al.
Veröffentlicht: (2025)
Top Leaderboard Ranking = Top Coding Proficiency, Always? EvoEval: Evolving Coding Benchmarks via LLM
von: Xia, Chunqiu Steven, et al.
Veröffentlicht: (2024)
von: Xia, Chunqiu Steven, et al.
Veröffentlicht: (2024)
AutoCode: LLMs as Problem Setters for Competitive Programming
von: Zhou, Shang, et al.
Veröffentlicht: (2025)
von: Zhou, Shang, et al.
Veröffentlicht: (2025)
Benchmarking LLM Code Generation for Audio Programming with Visual Dataflow Languages
von: Zhang, William, et al.
Veröffentlicht: (2024)
von: Zhang, William, et al.
Veröffentlicht: (2024)
PPM: Automated Generation of Diverse Programming Problems for Benchmarking Code Generation Models
von: Chen, Simin, et al.
Veröffentlicht: (2024)
von: Chen, Simin, et al.
Veröffentlicht: (2024)
Generating Equivalent Representations of Code By A Self-Reflection Approach
von: Li, Jia, et al.
Veröffentlicht: (2024)
von: Li, Jia, et al.
Veröffentlicht: (2024)
Hidden in Plain Sight: Where Developers Confess Self-Admitted Technical Debt
von: Sridharan, Murali, et al.
Veröffentlicht: (2025)
von: Sridharan, Murali, et al.
Veröffentlicht: (2025)
PerfCodeBench: Benchmarking LLMs for System-Level High-Performance Code Optimization
von: Jing, Huihao, et al.
Veröffentlicht: (2026)
von: Jing, Huihao, et al.
Veröffentlicht: (2026)
Semantic Source Code Segmentation using Small and Large Language Models
von: Dahou, Abdelhalim, et al.
Veröffentlicht: (2025)
von: Dahou, Abdelhalim, et al.
Veröffentlicht: (2025)
Functional Consistency of LLM Code Embeddings: A Self-Evolving Data Synthesis Framework for Benchmarking
von: Li, Zhuohao, et al.
Veröffentlicht: (2025)
von: Li, Zhuohao, et al.
Veröffentlicht: (2025)
Building A Proof-Oriented Programmer That Is 64% Better Than GPT-4o Under Data Scarcity
von: Zhang, Dylan, et al.
Veröffentlicht: (2025)
von: Zhang, Dylan, et al.
Veröffentlicht: (2025)
Revisiting Code Similarity Evaluation with Abstract Syntax Tree Edit Distance
von: Song, Yewei, et al.
Veröffentlicht: (2024)
von: Song, Yewei, et al.
Veröffentlicht: (2024)
HumanEval-XL: A Multilingual Code Generation Benchmark for Cross-lingual Natural Language Generalization
von: Peng, Qiwei, et al.
Veröffentlicht: (2024)
von: Peng, Qiwei, et al.
Veröffentlicht: (2024)
SWE-QA: Can Language Models Answer Repository-level Code Questions?
von: Peng, Weihan, et al.
Veröffentlicht: (2025)
von: Peng, Weihan, et al.
Veröffentlicht: (2025)
$Classi|Q\rangle$ Towards a Translation Framework To Bridge The Classical-Quantum Programming Gap
von: Esposito, Matteo, et al.
Veröffentlicht: (2024)
von: Esposito, Matteo, et al.
Veröffentlicht: (2024)
LangGPT: Rethinking Structured Reusable Prompt Design Framework for LLMs from the Programming Language
von: Wang, Ming, et al.
Veröffentlicht: (2024)
von: Wang, Ming, et al.
Veröffentlicht: (2024)
Program Structure Aware Precondition Generation
von: Dinella, Elizabeth, et al.
Veröffentlicht: (2023)
von: Dinella, Elizabeth, et al.
Veröffentlicht: (2023)
C*: Unifying Programming and Verification in C
von: Cao, Yiyuan, et al.
Veröffentlicht: (2025)
von: Cao, Yiyuan, et al.
Veröffentlicht: (2025)
Concept-Based Generic Programming in C++
von: Stroustrup, Bjarne
Veröffentlicht: (2025)
von: Stroustrup, Bjarne
Veröffentlicht: (2025)
An Incremental Algorithm for Algebraic Program Analysis
von: Zhou, Chenyu, et al.
Veröffentlicht: (2024)
von: Zhou, Chenyu, et al.
Veröffentlicht: (2024)
LLM-Guided Compositional Program Synthesis
von: Khan, Ruhma, et al.
Veröffentlicht: (2025)
von: Khan, Ruhma, et al.
Veröffentlicht: (2025)
Challenges of Multilingual Program Specification and Analysis
von: Furia, Carlo A., et al.
Veröffentlicht: (2024)
von: Furia, Carlo A., et al.
Veröffentlicht: (2024)
Conceptual Mutation Testing for Student Programming Misconceptions
von: Prasad, Siddhartha, et al.
Veröffentlicht: (2023)
von: Prasad, Siddhartha, et al.
Veröffentlicht: (2023)
Towards Analyzing N-language Polyglot Programs
von: Prakash, Jyoti, et al.
Veröffentlicht: (2026)
von: Prakash, Jyoti, et al.
Veröffentlicht: (2026)
On Repairing Quantum Programs Using ChatGPT
von: Guo, Xiaoyu, et al.
Veröffentlicht: (2024)
von: Guo, Xiaoyu, et al.
Veröffentlicht: (2024)
Inferring Non-Failure Conditions for Declarative Programs
von: Hanus, Michael
Veröffentlicht: (2024)
von: Hanus, Michael
Veröffentlicht: (2024)
LPR: Large Language Models-Aided Program Reduction
von: Zhang, Mengxiao, et al.
Veröffentlicht: (2023)
von: Zhang, Mengxiao, et al.
Veröffentlicht: (2023)
NESA: Relational Neuro-Symbolic Static Program Analysis
von: Wang, Chengpeng, et al.
Veröffentlicht: (2024)
von: Wang, Chengpeng, et al.
Veröffentlicht: (2024)
Enabling Memory Safety of C Programs using LLMs
von: Mohammed, Nausheen, et al.
Veröffentlicht: (2024)
von: Mohammed, Nausheen, et al.
Veröffentlicht: (2024)
Validating Traces of Distributed Programs Against TLA+ Specifications
von: Cirstea, Horatiu, et al.
Veröffentlicht: (2024)
von: Cirstea, Horatiu, et al.
Veröffentlicht: (2024)
DRReduce: Enhancing Syntax-Guided Program Reduction with Dependency Reconstruction
von: Feng, Qiong, et al.
Veröffentlicht: (2026)
von: Feng, Qiong, et al.
Veröffentlicht: (2026)
SuperCoder: Assembly Program Superoptimization with Large Language Models
von: Wei, Anjiang, et al.
Veröffentlicht: (2025)
von: Wei, Anjiang, et al.
Veröffentlicht: (2025)
Complete the Cycle: Reachability Types with Expressive Cyclic References (Extended Version)
von: Deng, Haotian, et al.
Veröffentlicht: (2025)
von: Deng, Haotian, et al.
Veröffentlicht: (2025)
Ähnliche Einträge
-
Refactoring Programs Using Large Language Models with Few-Shot Examples
von: Shirafuji, Atsushi, et al.
Veröffentlicht: (2023) -
Rule-Based Error Classification for Analyzing Differences in Frequent Errors
von: Shirafuji, Atsushi, et al.
Veröffentlicht: (2023) -
BugLens: Leveraging Bisection for Lightweight Compiler Bug Deduplication
von: Zhou, Xintong, et al.
Veröffentlicht: (2025) -
Ranking LLM-Generated Loop Invariants for Program Verification
von: Chakraborty, Saikat, et al.
Veröffentlicht: (2023) -
Mix-of-Language-Experts Architecture for Multilingual Programming
von: Zong, Yifan, et al.
Veröffentlicht: (2025)