Neuro-Symbolic Techniques for LLM-based Code Generation and Auto-Formalization of Proofs

License: CC-3.0
Submitted by Regan Williams on