|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 8467 occurrences of 3600 keywords
|
|
|
Results
Found 8775 publication records. Showing 8775 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
12 | Panos K. Chrysanthis, Krithi Ramamritham |
Synthesis of Extended Transaction Models Using ACTA. |
ACM Trans. Database Syst. |
1994 |
DBLP DOI BibTeX RDF |
serializability theory, semantics, concurrency control, transaction models, correctness criteria |
12 | Roshan K. Thomas, Ravi S. Sandhu |
Supporting Object-Based High-Assurance Write-up in Multilevel Databases for the Replicated Architecture. |
ESORICS |
1994 |
DBLP DOI BibTeX RDF |
Replicated architecture, writeup, serial correctness, signaling channels, object-oriented databases, message-filtering |
12 | Divyakant Agrawal, Soumitra Sengupta |
Modular Synchronization in Distributed, Multiversion Databases: Version Control and Concurrency Control. |
IEEE Trans. Knowl. Data Eng. |
1993 |
DBLP DOI BibTeX RDF |
modular synchronisation, multiversion databases, multiversion protocols, proving the correctness, protocols, distributed databases, distributed databases, concurrency control, concurrency control, modularity, synchronisation, extensibility, configuration management, version control, two-phase locking, time-stamp, read-only transactions |
12 | Uri Abraham |
On system executions and states. |
Appl. Intell. |
1993 |
DBLP DOI BibTeX RDF |
Correctness of programs, system execution, cores of executions, global time, semantics of concurrency |
12 | Richard C. Linger |
Cleanroom Software Engineering for Zero-Defect Software. |
ICSE |
1993 |
DBLP BibTeX RDF |
box structures, software quality certification, statistical usage testing, formal specification, incremental development, correctness verification, cleanroom software engineering |
12 | Ilana David, Ran Ginosar, Michael Yoeli |
An Efficient Implementation of Boolean Functions as Self-Timed Circuits. |
IEEE Trans. Computers |
1992 |
DBLP DOI BibTeX RDF |
logic module, temporal logic, temporal logic, Boolean functions, Boolean functions, logic design, correctness, logic circuits, automatic synthesis, formal proof, self-timed circuits, functional constraints |
12 | Eiichi Horita |
A Fully Abstract Model for a Nonuniform Concurrent Language with Parameterization and Locality. |
REX Workshop |
1992 |
DBLP DOI BibTeX RDF |
local variables, local channels, concurrency, correctness, operational semantics, parameterization, metric spaces, denotational semantics, full abstraction, linear time, imperative languages, branching time, domain equations |
12 | Flemming Nielson, Hanne Riis Nielson |
Layered Predicates. |
REX Workshop |
1992 |
DBLP DOI BibTeX RDF |
partial equivalence relations, Kripke-logical relations, layered predicates, Kripke-layered predicates, substitution properties, well-structured proofs, correctness of code generation, proof principles, denotational semantics, logical relations |
12 | Robert L. Probert, Kassem Saleh |
Synthesis of Communication Protocols: Survey and Assessment. |
IEEE Trans. Computers |
1991 |
DBLP DOI BibTeX RDF |
communication protocols synthesis, synchronous mode of behavior, communicating entities, error-recovery patterns, protocols, assessment, survey, design process, interactive methods, semantic correctness |
12 | A. L. Narasimha Reddy, Prithviraj Banerjee |
Algorithms-Based Fault Detection for Signal Processing Applications. |
IEEE Trans. Computers |
1990 |
DBLP DOI BibTeX RDF |
algorithm based fault detection, FFT factorization, correctness checking, signal processing applications, special-purpose array processors, functional-level concurrent error-detection, VLSI signal processing architectures, finite-precision arithmetic, error coverage, VLSI, fault tolerant computing, integrated circuit testing, error detection, digital signal processing chips, QR factorization, roundoff errors, truncation errors |
12 | Yin-Fu Huang, Yeh-Hao Chin |
A New Methodology to Evaluate Locking Protocols. |
IEEE Trans. Knowl. Data Eng. |
1990 |
DBLP DOI BibTeX RDF |
average lock range, evaluation factor, locking-based concurrency control methods, nonstructural locking, ALR, popular locking protocols, 2PL protocol, tree protocol, simulation, protocols, distributed databases, concurrency control, correctness, trees (mathematics), queueing model |
12 | Frank S. de Boer |
A Proof System for the Language POOL. |
REX Workshop |
1990 |
DBLP DOI BibTeX RDF |
partial correctness, completeness, Object, soundness, Hoare-logic, pointers, proof-system, rendezvous, object-creation |
12 | Bard Bloom |
Constructing Two-Writer Atomic Registers. |
IEEE Trans. Computers |
1988 |
DBLP DOI BibTeX RDF |
two-writer, memory register, two-writer protocol, protocols, computer architecture, atomic registers, proof of correctness |
12 | Baruch Awerbuch |
On the Effects of Feedback in Dynamic Network Protocols (Preliminary Version) |
FOCS |
1988 |
DBLP DOI BibTeX RDF |
dynamic network protocols, proving correctness, logarithmic transformers, performance analysis, feedback, communication complexity, communication protocols, asynchronous network |
12 | Leo Marcus, Timothy Redmond |
Two Automated Methods in Implementation Proofs. |
CADE |
1988 |
DBLP DOI BibTeX RDF |
microcode verification, implementation, program verification, Program correctness |
12 | Thomas E. Hull, A. Abrham |
Properly Rounded Variable Precision Square Root. |
ACM Trans. Math. Softw. |
1985 |
DBLP DOI BibTeX RDF |
correctness proof, variable precision |
12 | Siegfried M. Rump, Harald Böhm |
Least significant bit evaluation of arithmetic expressions in single-precision. |
Computing |
1983 |
DBLP DOI BibTeX RDF |
automatic verification of correctness, roundig error, error estimation, Inclusion, high accuracy |
12 | H. T. Kung 0001, Philip L. Lehman |
Concurrent Manipulation of Binary Search Trees. |
ACM Trans. Database Syst. |
1980 |
DBLP DOI BibTeX RDF |
databases, data structures, concurrency controls, consistency, correctness, binary search trees, locking protocols, concurrent algorithm |
12 | Leslie Lamport |
How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs. |
IEEE Trans. Computers |
1979 |
DBLP DOI BibTeX RDF |
hardware correctness, parallel processing, multiprocessing, concurrent computing, Computer design |
12 | Joe W. Duran |
Heuristics for program synthesis using loop invariants. |
ACM Annual Conference (2) |
1978 |
DBLP DOI BibTeX RDF |
Automatic programming, Program synthesis, Program correctness, Loop invariants |
12 | Donald I. Good, Richard M. Cohen, Lawrence W. Hunter |
A Report On The Development Of Gypsy. |
ACM Annual Conference (1) |
1978 |
DBLP DOI BibTeX RDF |
Dynamic storage management, Gypsy, Reliable software, Scope of names, Systems programming language, GYPSY, Concurrency, Programming language, Program verification, Specification language, Correctness, Compiler design, Programming language design |
12 | Patrick Cousot |
Calculational Design of [In]Correctness Transformational Program Logics by Abstract Interpretation. |
Proc. ACM Program. Lang. |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Jan Martijn E. M. van der Werf, Andrey Rivkin, Marco Montali, Artem Polyvyanyy |
Correctness Notions for Petri Nets with Identifiers. |
Fundam. Informaticae |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Lien Michiels, Robin Verachtert, Andres Ferraro, Kim Falk, Bart Goethals |
A Framework and Toolkit for Testing the Correctness of Recommendation Algorithms. |
Trans. Recomm. Syst. |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Dilliraj Ekambaram, Vijayakumar Ponnusamy |
Real-time AI-assisted visual exercise pose correctness during rehabilitation training for musculoskeletal disorder. |
J. Real Time Image Process. |
2024 |
DBLP DOI BibTeX RDF |
|
12 | David Hitchcock |
Tarski's Theory of the Formal Correctness of Definitions. |
J. Philos. Log. |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Qi Mo, Jianeng Wang, Chengting Jiang, Zhongwen Xie, Cong Liu 0012, Fei Dai 0002 |
Correctness Analysis of Cross-Organization Emergency Response Processes Based on Petri Nets. |
IEEE Trans. Syst. Man Cybern. Syst. |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Quanjun Zhang, Chunrong Fang, Weisong Sun, Yan Liu, Tieke He, Xiaodong Hao, Zhenyu Chen 0001 |
APPT: Boosting Automated Patch Correctness Prediction via Fine-Tuning Pre-Trained Models. |
IEEE Trans. Software Eng. |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Aaron Bembenek, Toby Murray |
Symbol Correctness in Deep Neural Networks Containing Symbolic Layers. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Joong-Ho Won, Jihan Jung |
On the Correctness of the Generalized Isotonic Recursive Partitioning Algorithm. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Florian Lanzinger, Christian Martin, Frederik Reiche, Samuel Teuber, Robert Heinrich, Alexander Weigl |
Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Hartwig H. Hochmair, Levente Juhász, Takoda Kemp |
Correctness Comparison of ChatGPT-4, Bard, Claude-2, and Copilot for Spatial Tasks. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Petros Ellinas, Rahul Nellikkath, Ignasi Ventura, Jochen Stiasny, Spyros Chatzivasileiadis |
Correctness Verification of Neural Networks Approximating Differential Equations. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Zongxia Li, Ishani Mondal, Yijun Liang, Huy Nghiem, Jordan Lee Boyd-Graber |
PANDA (Pedantic ANswer-correctness Determination and Adjudication): Improving Automatic Evaluation for Question Answering and Text Generation. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Yuxuan Yao, Han Wu 0004, Zhijiang Guo, Biyan Zhou, Jiahui Gao, Sichun Luo, Hanxu Hou, Xiaojin Fu, Linqi Song |
Learning From Correctness Without Prompting Makes LLM Efficient Reasoner. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Hoang Nguyen Phuoc Bao, Manuel Clavel |
Proving correctness for SQL implementations of OCL constraints. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Manav Singhal, Tushar Aggarwal, Abhijeet Awasthi, Nagarajan Natarajan, Aditya Kanade |
NoFunEval: Funny How Code LMs Falter on Requirements Beyond Functional Correctness. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Benjamin Plaut, Khanh Nguyen, Tu Trinh |
Softmax Probabilities (Mostly) Predict Large Language Model Correctness on Multiple-Choice Q&A. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Xinyi He, Jiaru Zou, Yun Lin, Mengyu Zhou, Shi Han, Zejian Yuan, Dongmei Zhang 0001 |
CONLINE: Complex Code Generation and Refinement with Online Searching and Correctness Testing. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Miltiadis Allamanis, Sheena Panthaplackel, Pengcheng Yin |
Unsupervised Evaluation of Code LLMs with Round-Trip Correctness. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Claudio Spiess, David Gros, Kunal Suresh Pai, Michael Pradel, Md. Rafiqul Islam Rabin, Amin Alipour, Susmit Jha, Prem Devanbu, Toufique Ahmed |
Calibration and Correctness of Language Models for Code. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Roderick Chapman, Claire Dross, Stuart Matthews, Yannick Moy |
Co-Developing Programs and Their Proof of Correctness. |
Commun. ACM |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Leah Hoffmann |
Verifying Correctness. |
Commun. ACM |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Jules Maire, Damien Vergnaud |
Secure Multi-Party Linear Algebra with Perfect Correctness. |
IACR Cryptol. ePrint Arch. |
2024 |
DBLP BibTeX RDF |
|
12 | Clément Aubert |
The correctness of concurrencies in (reversible) concurrent calculi. |
J. Log. Algebraic Methods Program. |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Bartosz Wcislo |
Compositional truth with propositional tautologies and quantifier-free correctness. |
Arch. Math. Log. |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Radhika Sukapuram, Ranjan Patowary, Gautam Barua |
Correctness of Flow Migration. |
ICDCN |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Syeda Fatema Mazumder, Manuel A. Pérez-Quiñones |
The Correctness of the Mental Model of Arrays After Instruction for CS1 Students. |
SIGCSE (1) |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Pavlo Rehida, Oleg Savenko, Anatoliy Sachenko, Andriy Drozd, Petro Vizhevski |
A trust model that ensures the correctness of computing in grid computing system. |
IntelITSIS |
2024 |
DBLP BibTeX RDF |
|
12 | Raphaël Monat, Marco Milanese, Francesco Parolini, Jérôme Boillot, Abdelraouf Ouadjaout, Antoine Miné |
Mopsa-C: Improved Verification for C Programs, Simple Validation of Correctness Witnesses (Competition Contribution). |
TACAS (3) |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Simmo Saan, Julian Erhard, Michael Schwarz 0007, Stanimir Bozhilov, Karoliine Holter, Sarah Tilscher, Vesal Vojdani, Helmut Seidl |
Goblint Validator: Correctness Witness Validation by Abstract Interpretation - (Competition Contribution). |
TACAS (3) |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Suzanne Petryk, Spencer Whitehead, Joseph E. Gonzalez, Trevor Darrell, Anna Rohrbach, Marcus Rohrbach |
Simple Token-Level Confidence Improves Caption Correctness. |
WACV |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Lucas Böltz, Viorica Sofronie-Stokkermans, Hannes Frey |
On the Verification of the Correctness of a Subgraph Construction Algorithm. |
VMCAI (1) |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Simmo Saan, Michael Schwarz 0007, Julian Erhard, Helmut Seidl, Sarah Tilscher, Vesal Vojdani |
Correctness Witness Validation by Abstract Interpretation. |
VMCAI (1) |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Hao Sun, Yiru Xu, Jianzhong Liu, Yuheng Shen, Nan Guan, Yu Jiang |
Finding Correctness Bugs in eBPF Verifier with Structured and Sanitized Program. |
EuroSys |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Noam Zilberstein, Derek Dreyer, Alexandra Silva 0001 |
Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasoning. |
Proc. ACM Program. Lang. |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Ahmed Bouajjani, Constantin Enea, Enrique Román-Calvo |
Dynamic Partial Order Reduction for Checking Correctness against Transaction Isolation Levels. |
Proc. ACM Program. Lang. |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Akila Devi T. R., K. Javubar Sathick, A. Abdul Azeez Khan, L. Arun Raj |
Novel Framework for Improving the Correctness of Reference Answers to Enhance Results of ASAG Systems. |
SN Comput. Sci. |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Eric Simon, Bernd Amann, Rutian Liu, Stéphane Gançarski |
Controlling the Correctness of Aggregation Operations During Sessions of Interactive Analytic Queries. |
ACM J. Data Inf. Qual. |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Jie Xu, Hongji Xu, Shijie Li, Shuang Zhou, Mengmeng Wang, Yuhao Wang, Jiaqi Zeng, Jianjun Li, Xiaoman Li, Yiran Li, Xinya Li, Wentao Ai, Yang Wang |
A new context correctness measure CMoC and corresponding context inconsistency elimination algorithm. |
Inf. Sci. |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Heling Cao, Lei Li, Yonghe Chu, Miaolei Deng, Panpan Wang, Chenyang Zhao |
A coincidental correctness test case identification framework with fuzzy C-means clustering. |
Multim. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Cezary Cieslinski, Mateusz Lelyk, Bartosz Wcislo |
The two halves of disjunctive correctness. |
J. Math. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Maciej Kokocinski, Tadeusz Kobus, Pawel T. Wojciechowski |
On the correctness of highly available systems in the presence of failures. |
J. Parallel Distributed Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Arik Rinberg, Idit Keidar |
Intermediate Value Linearizability: A Quantitative Correctness Criterion. |
J. ACM |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Roberto Bruni, Roberto Giacobazzi, Roberta Gori, Francesco Ranzato |
A Correctness and Incorrectness Program Logic. |
J. ACM |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Lin Zhang, Zifan Wang, Fanxin Kong |
Optimal Checkpointing Strategy for Real-time Systems with Both Logical and Timing Correctness. |
ACM Trans. Embed. Comput. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Thanh Le-Cong, Duc-Minh Luong, Xuan-Bach Dinh Le, David Lo 0001, Nhat-Hoa Tran, Bui Quang Huy, Quyet-Thang Huynh |
Invalidator: Automated Patch Correctness Assessment Via Semantic and Syntactic Reasoning. |
IEEE Trans. Software Eng. |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Frank S. de Boer, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa |
Proving Correctness of Parallel Implementations of Transition System Specifications. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Yuekun Yao, Alexander Koller |
Predicting generalization performance with correctness discriminators. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Guido Zuccon, Bevan Koopman |
Dr ChatGPT, tell me what I want to hear: How prompt knowledge impacts health answer correctness. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Sara Papi, Marco Gaido, Andrea Pilzer, Matteo Negri |
Reproducibility is Nothing without Correctness: The Importance of Testing Code in NLP. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Mingyang Liu, Fu Song, Taolue Chen |
Automated Verification of Correctness for Masked Arithmetic Programs. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Quanjun Zhang, Chunrong Fang, Weisong Sun, Yan Liu, Tieke He, Xiaodong Hao, Zhenyu Chen 0001 |
Boosting Automated Patch Correctness Prediction via Pre-trained Language Model. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Romain Xu-Darme, Jenny Benois-Pineau, Romain Giot, Georges Quénot, Zakaria Chihani, Marie-Christine Rousset, Alexey Zhukov |
On the stability, correctness and plausibility of visual explanation methods based on feature importance. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Suzanne Petryk, Spencer Whitehead, Joseph E. Gonzalez, Trevor Darrell, Anna Rohrbach, Marcus Rohrbach |
Simple Token-Level Confidence Improves Caption Correctness. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Zhenlin Xu, Yi Zhu, Tiffany Deng, Abhay Mittal, Yanbei Chen, Manchen Wang, Paolo Favaro, Joseph Tighe, Davide Modolo |
Challenges of Zero-Shot Recognition with Vision-Language Models: Granularity and Correctness. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Noam Zilberstein, Derek Dreyer, Alexandra Silva 0001 |
Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasoning. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Patrick Cousot |
Calculational Design of [In]Correctness Transformational Program Logics by Abstract Interpretation. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Yongwang Zhao, David Sanán |
Rely-guarantee Reasoning about Concurrent Memory Management: Correctness, Safety and Security. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Vaibhav Adlakha, Parishad BehnamGhader, Xing Han Lu, Nicholas Meade, Siva Reddy |
Evaluating Correctness and Faithfulness of Instruction-Following Models for Question Answering. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Daniel Ritter 0001, Fredrik Nordvall Forsberg, Stefanie Rinderle-Ma |
Responsible Composition and Optimization of Integration Processes under Correctness Preserving Guarantees. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Md Sadman Sakib, Yu Sun 0004 |
From Cooking Recipes to Robot Task Trees - Improving Planning Correctness and Task Efficiency by Leveraging LLMs with a Knowledge Network. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Arno Broeders, Ruud Hermans, Sylvia Stuurman, Lex Bijlsma 0001, Harrie Passier |
Improving students' code correctness and test completeness by informal specifications. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Manel Barkallah, Jean-Marie Jacquet |
On the Introduction of Guarded Lists in Bach: Expressiveness, Correctness, and Efficiency Issues. |
ICE |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Maya Gokhale, Ganesh Gopalakrishnan, Jackson Mayo, Santosh Nagarakatte, Cindy Rubio-González, Stephen F. Siegel |
Report of the DOE/NSF Workshop on Correctness in Scientific Computing, June 2023, Orlando, FL. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Ahmed Bouajjani, Constantin Enea, Enrique Román-Calvo |
Dynamic Partial Order Reduction for Checking Correctness Against Transaction Isolation Levels. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Anurudh Peduri, Ina Schaefer, Michael Walter |
QbC: Quantum Correctness by Construction. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Wonyeol Lee 0001, Sejun Park, Alex Aiken |
On the Correctness of Automatic Differentiation for Neural Networks with Machine-Representable Parameters. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Garett Cunningham, Razvan C. Bunescu, David Juedes |
Towards Autoformalization of Mathematics and Code Correctness: Experiments with Elementary Proofs. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Archiki Prasad, Swarnadeep Saha, Xiang Zhou, Mohit Bansal |
ReCEval: Evaluating Reasoning Chains via Correctness and Informativeness. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Lucas Böltz, Viorica Sofronie-Stokkermans, Hannes Frey |
On the Verification of the Correctness of a Subgraph Construction Algorithm. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Simmo Saan, Michael Schwarz 0007, Julian Erhard, Helmut Seidl, Sarah Tilscher, Vesal Vojdani |
Correctness Witness Validation by Abstract Interpretation. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Stefan Wils, Bart Jacobs 0002 |
Certifying C program correctness with respect to CH2O with VeriFast. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Noam Zilberstein, Angelina Saliling, Alexandra Silva 0001 |
Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Thanh Le-Cong, Duc-Minh Luong, Xuan-Bach Dinh Le, David Lo 0001, Nhat-Hoa Tran, Bui Quang Huy, Quyet-Thang Huynh |
Invalidator: Automated Patch Correctness Assessment via Semantic and Syntactic Reasoning. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Shuai Ma, Ying Lei, Xinru Wang, Chengbo Zheng, Chuhan Shi, Ming Yin 0001, Xiaojuan Ma |
Who Should I Trust: AI or Myself? Leveraging Human and AI Correctness Likelihood to Promote Appropriate Trust in AI-Assisted Decision-Making. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Domenico Cotroneo, Alessio Foggia, Cristina Improta, Pietro Liguori, Roberto Natella |
Automating the Correctness Assessment of AI-generated Code for Security Contexts. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Xin Zhou, Bowen Xu, Kisub Kim, DongGyun Han, Thanh Le-Cong, Junda He, Xuan-Bach Dinh Le, David Lo 0001 |
PatchZero: Zero-Shot Automatic Patch Correctness Assessment. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Yanglin Hu, Yingkai Ouyang, Marco Tomamichel |
Privacy and correctness trade-offs for information-theoretically secure quantum homomorphic encryption. |
Quantum |
2023 |
DBLP DOI BibTeX RDF |
|
12 | J. Christian Attiogbé, Jérôme Rocheteau |
Correctness of IoT-based systems: From a DSL to a mechanised analysis. |
J. Comput. Lang. |
2023 |
DBLP DOI BibTeX RDF |
|
|
|