conftrace_

formal representation

5 papers

Explore in graph

Co-occurring keywords · papers mentioning both

semantic parsing (2) probability word problem (1) reasoning depth (1) payroll management (1) parallel corpus mining (1) technical documentation (1) code template (1) translational correspondence (1) documentation mining (1) geometry problem (1)

Papers

When Does Auxiliary Modality Matter in Solving Geometric Problems? A Comprehensive Study of Textual, Formal, and Visual Modalities EACL 2026 Conic10K: A Challenging Math Problem Understanding and Reasoning Dataset EMNLP 2023 Automated Reasoning and Learning for Automated Payroll Management AAAI 2021 Mapping probability word problems to executable representations EMNLP 2021 Learning Semantic Correspondences in Technical Documentation ACL 2017