conftrace_

program correctness

6 papers

Explore in graph

Co-occurring keywords · papers mentioning both

code generation (3) large language model (2) program synthesis (2) persistancy bug (1) inductive logic programming (1) neural ranking (1) constraint learning (1) unit testing (1) model understanding (1) logical constraint (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 NeurIPS 2022 Constraint-Driven Learning of Logic Programs AAAI 2021 AGAMOTTO: How Persistent is your Persistent Memory Application? OSDI 2020