conftrace_

material inference

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

logical validity (1) constitutive model (1) symbolic prover (1) inverse simulation (1) formal reasoning (1) large language model (1) argument generation (1) neuro-symbolic reasoning (1) physics simulation (1) latent optimization (1)

Papers

PEIRCE: Unifying Material and Formal Reasoning via LLM-Driven Neuro-Symbolic Refinement ACL 2025 UniPhy: Learning a Unified Constitutive Model for Inverse Physics Simulation CVPR 2025