Scheible
stjefan2
·
AI & ML interests
None yet
Recent Activity
updated
a collection
1 day ago
Optimization in some sense updated
a collection
6 days ago
Optimization in some sense updated
a collection
10 days ago
Awesome Models Organizations
None yet
DeepThink
Visual
Awesome Models
-
Test-Time Scaling with Reflective Generative Model
Paper • 2507.01951 • Published • 108 -
Gemini 2.5: Pushing the Frontier with Advanced Reasoning, Multimodality, Long Context, and Next Generation Agentic Capabilities
Paper • 2507.06261 • Published • 67 -
Every Step Evolves: Scaling Reinforcement Learning for Trillion-Scale Thinking Model
Paper • 2510.18855 • Published • 73 -
INTELLECT-3: Technical Report
Paper • 2512.16144 • Published • 20
Agents
-
NovelSeek: When Agent Becomes the Scientist -- Building Closed-Loop System from Hypothesis to Verification
Paper • 2505.16938 • Published • 121 -
AlphaApollo: Orchestrating Foundation Models and Professional Tools into a Self-Evolving System for Deep Agentic Reasoning
Paper • 2510.06261 • Published • 6 -
Less is More: Recursive Reasoning with Tiny Networks
Paper • 2510.04871 • Published • 509 -
AlphaResearch: Accelerating New Algorithm Discovery with Language Models
Paper • 2511.08522 • Published • 18
Audio
Programming
Optimization in some sense
-
CALM Before the STORM: Unlocking Native Reasoning for Optimization Modeling
Paper • 2510.04204 • Published • 21 -
Visual Diffusion Models are Geometric Solvers
Paper • 2510.21697 • Published • 20 -
Optimize Any Topology: A Foundation Model for Shape- and Resolution-Free Structural Topology Optimization
Paper • 2510.23667 • Published • 3 -
Differentiable Evolutionary Reinforcement Learning
Paper • 2512.13399 • Published • 22
Math and similar
-
Bourbaki: Self-Generated and Goal-Conditioned MDPs for Theorem Proving
Paper • 2507.02726 • Published • 14 -
Towards Solving More Challenging IMO Problems via Decoupled Reasoning and Proving
Paper • 2507.06804 • Published • 16 -
Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving
Paper • 2507.23726 • Published • 115 -
Model-Based and Sample-Efficient AI-Assisted Math Discovery in Sphere Packing
Paper • 2512.04829 • Published • 12
Articles
-
ChipNeMo: Domain-Adapted LLMs for Chip Design
Paper • 2311.00176 • Published • 9 -
Language Models can be Logical Solvers
Paper • 2311.06158 • Published • 20 -
JARVIS-1: Open-World Multi-task Agents with Memory-Augmented Multimodal Language Models
Paper • 2311.05997 • Published • 37 -
Lumos: Learning Agents with Unified Data, Modular Design, and Open-Source LLMs
Paper • 2311.05657 • Published • 30
Read later
Audio
DeepThink
Programming
Visual
Optimization in some sense
-
CALM Before the STORM: Unlocking Native Reasoning for Optimization Modeling
Paper • 2510.04204 • Published • 21 -
Visual Diffusion Models are Geometric Solvers
Paper • 2510.21697 • Published • 20 -
Optimize Any Topology: A Foundation Model for Shape- and Resolution-Free Structural Topology Optimization
Paper • 2510.23667 • Published • 3 -
Differentiable Evolutionary Reinforcement Learning
Paper • 2512.13399 • Published • 22
Awesome Models
-
Test-Time Scaling with Reflective Generative Model
Paper • 2507.01951 • Published • 108 -
Gemini 2.5: Pushing the Frontier with Advanced Reasoning, Multimodality, Long Context, and Next Generation Agentic Capabilities
Paper • 2507.06261 • Published • 67 -
Every Step Evolves: Scaling Reinforcement Learning for Trillion-Scale Thinking Model
Paper • 2510.18855 • Published • 73 -
INTELLECT-3: Technical Report
Paper • 2512.16144 • Published • 20
Math and similar
-
Bourbaki: Self-Generated and Goal-Conditioned MDPs for Theorem Proving
Paper • 2507.02726 • Published • 14 -
Towards Solving More Challenging IMO Problems via Decoupled Reasoning and Proving
Paper • 2507.06804 • Published • 16 -
Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving
Paper • 2507.23726 • Published • 115 -
Model-Based and Sample-Efficient AI-Assisted Math Discovery in Sphere Packing
Paper • 2512.04829 • Published • 12
Agents
-
NovelSeek: When Agent Becomes the Scientist -- Building Closed-Loop System from Hypothesis to Verification
Paper • 2505.16938 • Published • 121 -
AlphaApollo: Orchestrating Foundation Models and Professional Tools into a Self-Evolving System for Deep Agentic Reasoning
Paper • 2510.06261 • Published • 6 -
Less is More: Recursive Reasoning with Tiny Networks
Paper • 2510.04871 • Published • 509 -
AlphaResearch: Accelerating New Algorithm Discovery with Language Models
Paper • 2511.08522 • Published • 18
Articles
-
ChipNeMo: Domain-Adapted LLMs for Chip Design
Paper • 2311.00176 • Published • 9 -
Language Models can be Logical Solvers
Paper • 2311.06158 • Published • 20 -
JARVIS-1: Open-World Multi-task Agents with Memory-Augmented Multimodal Language Models
Paper • 2311.05997 • Published • 37 -
Lumos: Learning Agents with Unified Data, Modular Design, and Open-Source LLMs
Paper • 2311.05657 • Published • 30