conftrace_

solvable problem generation

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

controllable problem generation (1) rule-based diagram generation (1) educational content (1) geometry problem generation (1) symbolic deduction engine (1) knowledge point (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