DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
CoRR, April, 2025
Directional Diffusion-Style Code Editing Pre-training.
CoRR, January, 2025
DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the Thirteenth International Conference on Learning Representations, 2025
DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
CoRR, 2024
An Empirical Study of Unit Test Generation with Large Language Models.
,
,
,
,
,
,
,
,
,
,
CoRR, 2024
DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data.
CoRR, 2024
Reading Users' Minds from What They Say: An Investigation into LLM-based Empathic Mental Inference.
CoRR, 2024
DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models.
CoRR, 2024
DeepSeek-Coder: When the Large Language Model Meets Programming - The Rise of Code Intelligence.
,
,
,
,
,
,
,
,
,
,
,
,
CoRR, 2024
On the Evaluation of Large Language Models in Unit Test Generation.
,
,
,
,
,
,
,
,
,
,
Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering, 2024
Synthesis-Based Enhancement for GUI Test Case Migration.
Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024
GrammarT5: Grammar-Integrated Pretrained Encoder-Decoder Neural Model for Code.
Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024
Learning-based Widget Matching for Migrating GUI Test Cases.
Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024
The ET Program Repair Tool for Java.
Proceedings of the IEEE/ACM International Workshop on Automated Program Repair, 2024
Advancing Multi-Modal Beam Prediction with Multipath-Like Data Augmentation and Efficient Fusion Mechanism.
Proceedings of the 2024 3rd International Conference on Frontiers of Artificial Intelligence and Machine Learning, 2024
CupCleaner: A Data Cleaning Approach for Comment Updating.
CoRR, 2023
Toward Artificial Empathy for Human-Centered Design: A Framework.
CoRR, 2023
Merge Conflict Resolution: Classification or Generation?
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023
A Probabilistic Delta Debugging Approach for Abstract Syntax Trees.
Proceedings of the 34th IEEE International Symposium on Software Reliability Engineering, 2023
Tare: Type-Aware Neural Program Repair.
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023
Biologically Inspired Design Concept Generation Using Generative Pre-Trained Transformers.
CoRR, 2022
Generative Transformers for Design Concept Generation.
CoRR, 2022
Generative Pre-Trained Transformers for Biologically Inspired Design.
CoRR, 2022
Generative Design Ideation: A Natural Language Generation Approach.
CoRR, 2022
Learning to Construct Better Mutation Faults.
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022
Grape: Grammar-Preserving Rule Embedding.
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022
Lyra: A Benchmark for Turducken-Style Code Generation.
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022
FIRA: Fine-Grained Graph-Based Code Change Representation for Automated Commit Message Generation.
Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022
Generalized Equivariance and Preferential Labeling for GNN Node Classification.
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022
Generative Pre-Trained Transformer for Design Concept Generation: An Exploration.
CoRR, 2021
Syntax Guided Neural Program Repair.
CoRR, 2021
Dynamic Labeling for Unlabeled Graph Neural Networks.
CoRR, 2021
A syntax-guided edit decoder for neural program repair.
Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021
Boosting coverage-based fault localization via graph-based representation learning.
Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021
OCoR: An Overlapping-Aware Code Retriever.
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020
NLocalSAT: Boosting Local Search with Solution Prediction.
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020
TreeGen: A Tree-Based Transformer Architecture for Code Generation.
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020
A Grammar-Based Structural CNN Decoder for Code Generation.
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019
MDP and Machine Learning-Based Cost-Optimization of Dynamic Resource Allocation for Network Function Virtualization.
Proceedings of the 2015 IEEE International Conference on Services Computing, 2015