Results 1 to 10 of about 2,784,953 (338)
Identifying Patch Correctness in Test-Based Program Repair [PDF]
International Conference on Software Engineering, 2018 Test-based automatic program repair has attracted a lot of attention in recent years. However, the test suites in practice are often too weak to guarantee correctness and existing approaches often generate a large number of incorrect patches. To reduce
Huang, Gang +4 more
core +2 more sources
Verified Correctness and Security of mbedTLS HMAC-DRBG [PDF]
Conference on Computer and Communications Security, 2017 We have formalized the functional specification of HMAC-DRBG (NIST 800-90A), and we have proved its cryptographic security--that its output is pseudorandom--using a hybrid game-based proof.
Almeida José Bacelar +8 more
core +2 more sources
Program Derivation by Correctness Enhacements [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 Relative correctness is the property of a program to be more-correct than another program with respect to a given specification. Among the many properties of relative correctness, that which we found most intriguing is the property that program P ...
Nafi Diallo +3 more
doaj +4 more sources
Program Repair by Stepwise Correctness Enhancement [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 Relative correctness is the property of a program to be more-correct than another with respect to a given specification. Whereas the traditional definition of (absolute) correctness divides candidate program into two classes (correct, and incorrect ...
Nafi Diallo, Wided Ghardallou, Ali Mili
doaj +4 more sources
Evaluating Correctness and Faithfulness of Instruction-Following Models for Question Answering [PDF]
Transactions of the Association for Computational Linguistics, 2023 Instruction-following models are attractive alternatives to fine-tuned approaches for question answering (QA). By simply prepending relevant documents and an instruction to their input, these models can be adapted to various information domains and tasks
Vaibhav Adlakha +4 more
semanticscholar +1 more source
ReCEval: Evaluating Reasoning Chains via Correctness and Informativeness [PDF]
Conference on Empirical Methods in Natural Language Processing, 2023 Multi-step reasoning ability is fundamental to many natural language tasks, yet it is unclear what constitutes a good reasoning chain and how to evaluate them.
Archiki Prasad +3 more
semanticscholar +1 more source
Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasoning [PDF]
Proc. ACM Program. Lang., 2023 Program logics for bug-finding (such as the recently introduced Incorrectness Logic) have framed correctness and incorrectness as dual concepts requiring different logical foundations.
Noam Zilberstein +2 more
semanticscholar +1 more source
Improving the Factual Correctness of Radiology Report Generation with Semantic Rewards [PDF]
Conference on Empirical Methods in Natural Language Processing, 2022 Neural image-to-text radiology report generation systems offer the potential to improve radiology reporting by reducing the repetitive process of report drafting and identifying possible medical errors.
Jean-Benoit Delbrouck +5 more
semanticscholar +1 more source
Maximal Regularity Estimates and the Solvability of Nonlinear Differential Equations
Mathematics, 2022 We study a type of third-order linear differential equations with variable and unbounded coefficients, which are defined in an infinite interval. We also consider a non-linear generalization with coefficients that depends on an unknown function.
Myrzagali Ospanov, Kordan Ospanov
doaj +1 more source
Correct and Crisp Edge Detection Approach Based on Dense Network
IEEE Access, 2023 Edge detection is a basic problem in computer vision and image processing. The main purpose of edge detection is to identify points with obvious brightness changes in digital images.
Xiaohua Li +4 more
doaj +1 more source