conftrace_

autoformalization

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

large language model (2) diagrammatic information (1) utility gain (1) neuro-symbolic framework (1) smt solver (1) euclidean geometry (1) partial differential equation (1) program synthesis (1) reasoning (1)

Papers

PDE-Controller: LLMs for Autoformalization and Reasoning of PDEs ICML 2025 Autoformalizing Euclidean Geometry ICML 2024