Showing 1–13 of 13 results
/ Date/ Name
Jul 28, 2019Spatiotemporal Information Processing with a Reservoir Decision-making NetworkMay 5, 2024ATG: Benchmarking Automated Theorem Generation for Generative Language ModelsApr 15, 2025Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement LearningMay 6, 2025CombiBench: Benchmarking LLM Capability for Combinatorial MathematicsFeb 2, 2026Kimi K2.5: Visual Agentic IntelligenceMar 16, 2023DSDP: A Blind Docking Strategy Accelerated by GPUsMay 2, 2023Invertible Coarse Graining with Physics-Informed Generative Artificial IntelligenceFeb 14, 2024MUSTARD: Mastering Uniform Synthesis of Theorem and Proof DataMar 11, 2025ProtTeX: Structure-In-Context Reasoning and Editing of Proteins with Large Language ModelsJul 28, 2025Kimi K2: Open Agentic IntelligenceJun 20, 2024FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem ProvingMay 1, 2025Large Language Models as AI Agents for Digital Atoms and Molecules: Catalyzing a New Era in Computational BiophysicsAug 20, 2025LeanGeo: Formalizing Competitional Geometry problems in Lean