conftrace_

symbolic deduction engine

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

geometry problem generation (1) knowledge point (1) educational content (1) controllable problem generation (1) solvable problem generation (1) rule-based diagram generation (1) problem generation (1) diagram generation (1) formal language (1) controllable generation (1)

Papers

Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine ACL 2025