conftrace_

rule-based diagram generation

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

controllable problem generation (1) solvable problem 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