Cover Image

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

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Jiang, Zhuoxuan, Zhang, Tianyang, Peng, Peiyan, Chen, Jing, Xun, Yinong, Zhang, Haotian, Li, Lichi, Li, Yong, Zhang, Shaohua
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

MathMistake Checker: A Comprehensive Demonstration for Step-by-Step Math Problem Mistake Finding by Prompt-Guided LLMs
by: Zhang, Tianyang, et al.
Published: (2025)

Weak Closed-loop Solvability of Linear Quadratic Stochastic Optimal Control Problems with Partial Information
by: Li, Xun, et al.
Published: (2024)

LSA: Latent Style Augmentation Towards Stain-Agnostic Cervical Cancer Screening
by: Cai, Jiangdong, et al.
Published: (2025)

Leveraging LLMs for Hypothetical Deduction in Logical Inference: A Neuro-Symbolic Approach
by: Li, Qingchuan, et al.
Published: (2024)

Controlling Output Rankings in Generative Engines for LLM-based Search
by: Jin, Haibo, et al.
Published: (2026)

Customized Generative Adversarial Imitation Learning for Driving Behavior Modeling in Traffic Simulation
by: Zhongyuan Zhu, et al.
Published: (2025)

Construction and Research of a Novel Evolutionary Model of Crowdsourcing Collaborative Innovation Under Digitalization Trends
by: Lichi Zhang, et al.
Published: (2025)

DVM: Towards Controllable LLM Agents in Social Deduction Games
by: Zhang, Zheng, et al.
Published: (2025)

EduIllustrate: Towards Scalable Automated Generation Of Multimodal Educational Content
by: Bi, Shuzhen, et al.
Published: (2026)

Weak Closed-loop Solvability for Discrete-time Linear-Quadratic Optimal Control
by: Sun, Yue, et al.
Published: (2025)

RAG4ITOps: A Supervised Fine-Tunable and Comprehensive RAG Framework for IT Operations and Maintenance
by: Zhang, Tianyang, et al.
Published: (2024)

Weak Closed-loop Solvability for Discrete-time Stochastic Linear-Quadratic Optimal Control
by: Sun, Yue, et al.
Published: (2025)

Fully Coupled Nonlinear FBS$Δ$Es: Solvability and LQ Control Insights
by: Niu, Zhipeng, et al.
Published: (2024)

Symbolic dynamics for certain non-invertible $C^{1+β}$ maps
by: Xun, Jing, et al.
Published: (2026)

Toward Honest Language Models for Deductive Reasoning
by: Liu, Jiarui, et al.
Published: (2025)

Single Domain Generalization for Crowd Counting
by: Peng, Zhuoxuan, et al.
Published: (2024)

Learning the Boundary of Solvability: Aligning LLMs to Detect Unsolvable Problems
by: Peng, Dengyun, et al.
Published: (2025)

Pathology Image Restoration via Mixture of Prompts
by: Cai, Jiangdong, et al.
Published: (2025)

XMusic: Towards a Generalized and Controllable Symbolic Music Generation Framework
by: Tian, Sida, et al.
Published: (2025)

Data Analysis and Performance Evaluation of Simulation Deduction Based on LLMs
by: Zhang, Shansi, et al.
Published: (2025)

Structure-Guided MR-to-CT Synthesis with Spatial and Semantic Alignments for Attenuation Correction of Whole-Body PET/MR Imaging
by: Zheng, Jiaxu, et al.
Published: (2024)

PPGL-Swarm: Integrated Multimodal Risk Stratification and Hereditary Syndrome Detection in Pheochromocytoma and Paraganglioma
by: Liu, Zelin, et al.
Published: (2026)

Solvable Descent and the Grunwald Problem for Solvable Groups
by: Demeio, Julian L.
Published: (2026)

Exactly Solvable Quantum Model with Spin-Dependent Coulomb Interaction
by: Zhou, Jiang-Lin, et al.
Published: (2025)

AutoGPS: Automated Geometry Problem Solving via Multimodal Formalization and Deductive Reasoning
by: Ping, Bowen, et al.
Published: (2025)

Improving LLMs' Generalized Reasoning Abilities by Graph Problems
by: Zhang, Qifan, et al.
Published: (2025)

Reconfigurable Intelligent Surface Equipped UAV in Emergency Wireless Communications: A New Fading-Shadowing Model and Performance Analysis
by: Chen, Yinong, et al.
Published: (2024)

Geometry-Aided Channel Deduction: A Robust Channel Acquisition Framework Utilizing Coarse Scenario Prompt
by: Ruan, Hongning, et al.
Published: (2026)

kRAIG: A Natural Language-Driven Agent for Automated DataOps Pipeline Generation
by: Siva, Rohan, et al.
Published: (2026)

Leveraging Multilingual Training for Authorship Representation: Enhancing Generalization across Languages and Domains
by: Kim, Junghwan, et al.
Published: (2025)

GeoFunFlow-3D: A Physics-Guided Generative Flow Matching Framework for High-Fidelity 3D Aerodynamic Inference over Complex Geometries
by: Jiang, Ruiling, et al.
Published: (2026)

WildSVG: Towards Reliable SVG Generation Under Real-Word Conditions
by: Terral, Marco, et al.
Published: (2026)

Understanding the Language Model to Solve the Symbolic Multi-Step Reasoning Problem from the Perspective of Buffer Mechanism
by: Wang, Zhiwei, et al.
Published: (2024)

LLMs can Find Mathematical Reasoning Mistakes by Pedagogical Chain-of-Thought
by: Jiang, Zhuoxuan, et al.
Published: (2024)

Generative AI and Information Asymmetry: Impacts on Adverse Selection and Moral Hazard
by: Zhang, Yukun, et al.
Published: (2025)

The Economics of Information Pollution in the Age of AI: General Equilibrium, Welfare, and Policy Design
by: Zhang, Yukun, et al.
Published: (2025)

Solving Some Geometry Problems of the Náboj 2023 Contest with Automated Deduction in GeoGebra Discovery
by: Hota, Amela, et al.
Published: (2024)

AI-Enabled Rent-Seeking: How Generative AI Alters Market Transparency and Efficiency
by: Zhang, Yukun, et al.
Published: (2025)

Generative AI as a Non-Convex Supply Shock: Market Bifurcation and Welfare Analysis
by: Zhang, Yukun, et al.
Published: (2026)

GAPS: Geometry-Aware Problem Solver
by: Zhang, Jiaxin, et al.
Published: (2024)