2 papers
cs.SE2026
CodeSpecBench: Benchmarking LLMs for Executable Behavioral Specification Generation
Zaoyu Chen, Jianbo Dai, Boyu Zhu +6
Large language models (LLMs) can generate code from natural language, but the extent to which they capture intended program behavior remains unclear. Executable behavioral specific…
cs.CV2025
MagicGeo: Training-Free Text-Guided Geometric Diagram Generation
Junxiao Wang, Ting Zhang, Heng Yu +2
Geometric diagrams are critical in conveying mathematical and scientific concepts, yet traditional diagram generation methods are often manual and resource-intensive. While text-to…