conftrace_

geometry problem generation

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

symbolic deduction engine (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