Showing 1–15 of 15 results
/ Date/ Name
Mar 24, 2025Formalization of Algorithms for Optimization with Block StructuresMar 18, 2024Formalization of Complexity Analysis of the First-order Algorithms for Convex OptimizationApr 8, 2025Accelerated Natural Gradient Method for Parametric Manifold OptimizationMar 24, 2025Formalization of Optimality Conditions for Smooth Constrained Optimization ProblemsFeb 10, 2026Human-AI Synergy Supports Collective Creative SearchFeb 1, 2026Construction-Verification: A Benchmark for Applied Mathematics in Lean 4Dec 10, 2025Advancing Mathematical Research via Human-AI Interactive Theorem ProvingDec 2, 2021Embedding Decomposition for Artifacts Removal in EEG SignalsOct 22, 2024Satori: Towards Proactive AR Assistant with Belief-Desire-Intention User ModelingNov 13, 2025SITA: A Framework for Structure-to-Instance Theorem AutoformalizationApr 26, 2026OptProver: Bridging Olympiad and Optimization through Continual Training in Formal Theorem ProvingFeb 1, 2026SetPO: Set-Level Policy Optimization for Diversity-Preserving LLM ReasoningDec 11, 2025Translating Informal Proofs into Formal Proofs Using a Chain of StatesJun 11, 2021Enhancing Speaking Styles in Conversational Text-to-Speech Synthesis with Graph-based Multi-modal Context ModelingFeb 11, 2026Why Human Guidance Matters in Collaborative Vibe Coding