2 papers
cs.AI2026
Towards Advanced Mathematical Reasoning for LLMs via First-Order Logic Theorem Proving
Chuxue Cao, Mengze Li, Juntao Dai +7
Large language models (LLMs) have shown promising first-order logic (FOL) reasoning capabilities with applications in various areas. However, their effectiveness in complex mathema…
cs.CV2025
ETC: training-free diffusion models acceleration with Error-aware Trend Consistency
Jiajian Xie, Hubery Yin, Chen Li +2
Diffusion models have achieved remarkable generative quality but remain bottlenecked by costly iterative sampling. Recent training-free methods accelerate diffusion process by reus…