OFP-Repair: Repairing Floating-point Errors via Original-Precision Arithmetic
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | Tan, Youshuai, Ding, Zishuo, Chen, Jinfu, Shang, Weiyi |
|---|---|
| Format: | Preprint |
| Publié: |
2025
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
Documents similaires
Computing Floating-Point Errors by Injecting Perturbations
par: Tan, Youshuai, et autres
Publié: (2025)
par: Tan, Youshuai, et autres
Publié: (2025)
A Mathematics-Guided Approach to Floating-Point Error Detection
par: Tan, Youshuai, et autres
Publié: (2025)
par: Tan, Youshuai, et autres
Publié: (2025)
DELA: A Novel Approach for Detecting Errors Induced by Large Atomic Condition Numbers
par: Tan, Youshuai, et autres
Publié: (2024)
par: Tan, Youshuai, et autres
Publié: (2024)
Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs
par: Wu, Valentina, et autres
Publié: (2025)
par: Wu, Valentina, et autres
Publié: (2025)
DebugRepair: Enhancing LLM-Based Automated Program Repair via Self-Directed Debugging
par: Wu, Linhao, et autres
Publié: (2026)
par: Wu, Linhao, et autres
Publié: (2026)
Repair Ingredients Are All You Need: Improving Large Language Model-Based Program Repair via Repair Ingredients Search
par: Zhang, Jiayi, et autres
Publié: (2025)
par: Zhang, Jiayi, et autres
Publié: (2025)
PyTy: Repairing Static Type Errors in Python
par: Chow, Yiu Wai, et autres
Publié: (2024)
par: Chow, Yiu Wai, et autres
Publié: (2024)
From Historical Patches to Repair Plans: Outcome-Conditioned Reasoning for Repository-Level Program Repair
par: Li, Chenglin, et autres
Publié: (2026)
par: Li, Chenglin, et autres
Publié: (2026)
Search-Induced Issues in Web-Augmented LLM Code Generation: Detecting and Repairing Error-Inducing Pages
par: Wang, Guoqing, et autres
Publié: (2026)
par: Wang, Guoqing, et autres
Publié: (2026)
Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval
par: Cheng, Xiao, et autres
Publié: (2025)
par: Cheng, Xiao, et autres
Publié: (2025)
QiMeng-PRepair: Precise Code Repair via Edit-Aware Reward Optimization
par: Ke, Changxin, et autres
Publié: (2026)
par: Ke, Changxin, et autres
Publié: (2026)
RulER: Automated Rule-Based Semantic Error Localization and Repair for Code Translation
par: Jin, Shuo, et autres
Publié: (2025)
par: Jin, Shuo, et autres
Publié: (2025)
Boosting Automatic Java-to-Cangjie Translation with Multi-Stage LLM Training and Error Repair
par: Liang, Xinyue, et autres
Publié: (2026)
par: Liang, Xinyue, et autres
Publié: (2026)
LLM-Based Repair of Static Nullability Errors
par: Karimipour, Nima, et autres
Publié: (2025)
par: Karimipour, Nima, et autres
Publié: (2025)
Automatic Syntax Error Repair for Discrete Controller Synthesis using Large Language Model
par: Ishimizu, Yusei, et autres
Publié: (2025)
par: Ishimizu, Yusei, et autres
Publié: (2025)
ThinkRepair: Self-Directed Automated Program Repair
par: Yin, Xin, et autres
Publié: (2024)
par: Yin, Xin, et autres
Publié: (2024)
TSAPR: A Tree Search Framework For Automated Program Repair
par: Hu, Haichuan, et autres
Publié: (2025)
par: Hu, Haichuan, et autres
Publié: (2025)
PhantomRun: Auto Repair of Compilation Errors in Embedded Open Source Software
par: Fu, Han, et autres
Publié: (2026)
par: Fu, Han, et autres
Publié: (2026)
Less Training, More Repairing Please: Revisiting Automated Program Repair via Zero-shot Learning
par: Xia, Chunqiu Steven, et autres
Publié: (2022)
par: Xia, Chunqiu Steven, et autres
Publié: (2022)
ContrastRepair: Enhancing Conversation-Based Automated Program Repair via Contrastive Test Case Pairs
par: Kong, Jiaolong, et autres
Publié: (2024)
par: Kong, Jiaolong, et autres
Publié: (2024)
ComPass: Contrastive Learning for Automated Patch Correctness Assessment in Program Repair
par: Zhang, Quanjun, et autres
Publié: (2026)
par: Zhang, Quanjun, et autres
Publié: (2026)
Multi-Task Program Error Repair and Explanatory Diagnosis
par: Xu, Zhenyu, et autres
Publié: (2024)
par: Xu, Zhenyu, et autres
Publié: (2024)
EvoRepair: Enhancing Vulnerability Repair Agents Through Experience-Based Self-Evolution
par: Hu, Haichuan, et autres
Publié: (2026)
par: Hu, Haichuan, et autres
Publié: (2026)
Variability-Aware Detection and Repair of Compilation Errors Using Foundation Models in Configurable Systems
par: Gheyi, Rohit, et autres
Publié: (2026)
par: Gheyi, Rohit, et autres
Publié: (2026)
SiblingRepair: Sibling-Based Multi-Hunk Repair with Large Language Models
par: Liu, Xinyu, et autres
Publié: (2026)
par: Liu, Xinyu, et autres
Publié: (2026)
There are More Fish in the Sea: Automated Vulnerability Repair via Binary Templates
par: Lin, Bo, et autres
Publié: (2024)
par: Lin, Bo, et autres
Publié: (2024)
No Man is an Island: Towards Fully Automatic Programming by Code Search, Code Generation and Program Repair
par: Zhang, Quanjun, et autres
Publié: (2024)
par: Zhang, Quanjun, et autres
Publié: (2024)
Multi-LLM Orchestration for High-Quality Code Generation: Exploiting Complementary Model Strengths
par: Chen, Huashan, et autres
Publié: (2025)
par: Chen, Huashan, et autres
Publié: (2025)
ASAP-Repair: API-Specific Automated Program Repair Based on API Usage Graphs
par: Nielebock, Sebastian, et autres
Publié: (2024)
par: Nielebock, Sebastian, et autres
Publié: (2024)
Beyond Accuracy: Behavioral Dynamics of Agentic Multi-Hunk Repair
par: Nashid, Noor, et autres
Publié: (2025)
par: Nashid, Noor, et autres
Publié: (2025)
SGAgent: Suggestion-Guided LLM-Based Multi-Agent Framework for Repository-Level Software Repair
par: Zhang, Quanjun, et autres
Publié: (2026)
par: Zhang, Quanjun, et autres
Publié: (2026)
Invariant-based Program Repair
par: Al-Bataineh, Omar I.
Publié: (2023)
par: Al-Bataineh, Omar I.
Publié: (2023)
Execution-free Program Repair
par: Huang, Li, et autres
Publié: (2024)
par: Huang, Li, et autres
Publié: (2024)
Dockerfile Flakiness: Characterization and Repair
par: Shabani, Taha, et autres
Publié: (2024)
par: Shabani, Taha, et autres
Publié: (2024)
Defects4Log: Benchmarking LLMs for Logging Code Defect Detection and Reasoning
par: Wang, Xin, et autres
Publié: (2025)
par: Wang, Xin, et autres
Publié: (2025)
LLM4Perf: Large Language Models Are Effective Samplers for Multi-Objective Performance Modeling
par: Wang, Xin, et autres
Publié: (2025)
par: Wang, Xin, et autres
Publié: (2025)
A Multi-Language Perspective on the Robustness of LLM Code Generation
par: Rabbi, Fazle, et autres
Publié: (2025)
par: Rabbi, Fazle, et autres
Publié: (2025)
Rethinking Kernel Program Repair: Benchmarking and Enhancing LLMs with RGym
par: Shehada, Kareem, et autres
Publié: (2025)
par: Shehada, Kareem, et autres
Publié: (2025)
Revisiting Evolutionary Program Repair via Code Language Model
par: Wang, Yunan, et autres
Publié: (2024)
par: Wang, Yunan, et autres
Publié: (2024)
Characterizing Multi-Hunk Patches: Divergence, Proximity, and LLM Repair Challenges
par: Nashid, Noor, et autres
Publié: (2025)
par: Nashid, Noor, et autres
Publié: (2025)
Documents similaires
-
Computing Floating-Point Errors by Injecting Perturbations
par: Tan, Youshuai, et autres
Publié: (2025) -
A Mathematics-Guided Approach to Floating-Point Error Detection
par: Tan, Youshuai, et autres
Publié: (2025) -
DELA: A Novel Approach for Detecting Errors Induced by Large Atomic Condition Numbers
par: Tan, Youshuai, et autres
Publié: (2024) -
Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs
par: Wu, Valentina, et autres
Publié: (2025) -
DebugRepair: Enhancing LLM-Based Automated Program Repair via Self-Directed Debugging
par: Wu, Linhao, et autres
Publié: (2026)