conftrace_

deterministic verification

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

verifiable code generation (1) lipschitz certification (1) certifiable robustness (1) neuro-symbolic reasoning (1) adversarial perturbation (1) symbolic computation (1) data augmentation (1) mathematical reasoning (1) adversarial robustness (1)

Papers

SymCode: A Neurosymbolic Approach to Mathematical Reasoning via Verifiable Code Generation EACL 2026 A Recipe for Improved Certifiable Robustness ICLR 2024