conftrace_

program correctness

6 papers

Explore in graph

Co-occurring keywords

code generation (746) large language model (13587) program synthesis (233) memory consistency (1) failure explanation (2) execution prediction (1) counterfeit detection (1) execution behavior (1) oracle-less evaluation (1) incoherence measure (1)

Papers

Incoherence as Oracle-less Measure of Error in LLM-Based Code Generation AAAI 2026
ViUniT: Visual Unit Tests for More Robust Visual Programming CVPR 2025
The Counterfeit Conundrum: Can Code Language Models Grasp the Nuances of Their Incorrect Generations? ACL 2024
Fault-Aware Neural Code Rankers NIPS 2022
Constraint-Driven Learning of Logic Programs AAAI 2021
AGAMOTTO: How Persistent is your Persistent Memory Application? OSDI 2020