Co-occurring keywords · papers mentioning both
Papers
GeoProblem Factory: A Visual Interaction System for Solvable and Controllable Geometric Problem Generation by Leveraging Symbolic Deduction Engine
AAAI 2026
SymPyBench: A Dynamic Benchmark for Scientific Reasoning with Executable Python Code
EACL 2026
CogAtom: From Cognitive Atoms to Olympiad-level Mathematical Reasoning in Large Language Models
EMNLP 2025
Computational Blueprints: Generating Isomorphic Mathematics Problems with Large Language Models
EMNLP 2025
PromptCoT: Synthesizing Olympiad-level Problems for Mathematical Reasoning in Large Language Models
ACL 2025
Template-Driven LLM-Paraphrased Framework for Tabular Math Word Problem Generation
AAAI 2025
Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine
ACL 2025
Training LLMs for Optimization Modeling via Iterative Data Synthesis and Structured Validation
EMNLP 2025
World Models for Math Story Problems
ACL 2023