conftrace_

symbolic verifier

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

neuro-symbolic system (1) symbolic verification (1) large language model (1) neuro-symbolic planning (1) automated proof generation (1) rust code (1) planning problem (1) constraint satisfaction (1) formal verification (1) reinforcement learning (1)

Papers

Automated Proof Generation for Rust Code via Self-Evolution ICLR 2025 Breaking the Self-Evaluation Barrier: Reinforced Neuro-Symbolic Planning with Large Language Models IJCAI 2025