Scheible
stjefan2
·
AI & ML interests
None yet
Recent Activity
updated
a collection
about 7 hours ago
Awesome Models
updated
a collection
1 day ago
Awesome Models
updated
a collection
3 days ago
Math and similar
Organizations
None yet
Optimization in some sense
-
CALM Before the STORM: Unlocking Native Reasoning for Optimization Modeling
Paper • 2510.04204 • Published • 20 -
Visual Diffusion Models are Geometric Solvers
Paper • 2510.21697 • Published • 19 -
Optimize Any Topology: A Foundation Model for Shape- and Resolution-Free Structural Topology Optimization
Paper • 2510.23667 • Published • 2 -
Differentiable Evolutionary Reinforcement Learning
Paper • 2512.13399 • Published • 18
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 • 114 -
Model-Based and Sample-Efficient AI-Assisted Math Discovery in Sphere Packing
Paper • 2512.04829 • Published • 11
Articles
-
ChipNeMo: Domain-Adapted LLMs for Chip Design
Paper • 2311.00176 • Published • 9 -
Language Models can be Logical Solvers
Paper • 2311.06158 • Published • 22 -
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 • 31
Visual
Awesome Models
-
Test-Time Scaling with Reflective Generative Model
Paper • 2507.01951 • Published • 107 -
Gemini 2.5: Pushing the Frontier with Advanced Reasoning, Multimodality, Long Context, and Next Generation Agentic Capabilities
Paper • 2507.06261 • Published • 64 -
Every Step Evolves: Scaling Reinforcement Learning for Trillion-Scale Thinking Model
Paper • 2510.18855 • Published • 71 -
INTELLECT-3: Technical Report
Paper • 2512.16144 • Published • 12
Agents
-
NovelSeek: When Agent Becomes the Scientist -- Building Closed-Loop System from Hypothesis to Verification
Paper • 2505.16938 • Published • 120 -
AlphaApollo: Orchestrating Foundation Models and Professional Tools into a Self-Evolving System for Deep Agentic Reasoning
Paper • 2510.06261 • Published • 5 -
Less is More: Recursive Reasoning with Tiny Networks
Paper • 2510.04871 • Published • 500 -
AlphaResearch: Accelerating New Algorithm Discovery with Language Models
Paper • 2511.08522 • Published • 17
Programming
Visual
Optimization in some sense
-
CALM Before the STORM: Unlocking Native Reasoning for Optimization Modeling
Paper • 2510.04204 • Published • 20 -
Visual Diffusion Models are Geometric Solvers
Paper • 2510.21697 • Published • 19 -
Optimize Any Topology: A Foundation Model for Shape- and Resolution-Free Structural Topology Optimization
Paper • 2510.23667 • Published • 2 -
Differentiable Evolutionary Reinforcement Learning
Paper • 2512.13399 • Published • 18
Awesome Models
-
Test-Time Scaling with Reflective Generative Model
Paper • 2507.01951 • Published • 107 -
Gemini 2.5: Pushing the Frontier with Advanced Reasoning, Multimodality, Long Context, and Next Generation Agentic Capabilities
Paper • 2507.06261 • Published • 64 -
Every Step Evolves: Scaling Reinforcement Learning for Trillion-Scale Thinking Model
Paper • 2510.18855 • Published • 71 -
INTELLECT-3: Technical Report
Paper • 2512.16144 • Published • 12
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 • 114 -
Model-Based and Sample-Efficient AI-Assisted Math Discovery in Sphere Packing
Paper • 2512.04829 • Published • 11
Agents
-
NovelSeek: When Agent Becomes the Scientist -- Building Closed-Loop System from Hypothesis to Verification
Paper • 2505.16938 • Published • 120 -
AlphaApollo: Orchestrating Foundation Models and Professional Tools into a Self-Evolving System for Deep Agentic Reasoning
Paper • 2510.06261 • Published • 5 -
Less is More: Recursive Reasoning with Tiny Networks
Paper • 2510.04871 • Published • 500 -
AlphaResearch: Accelerating New Algorithm Discovery with Language Models
Paper • 2511.08522 • Published • 17
Articles
-
ChipNeMo: Domain-Adapted LLMs for Chip Design
Paper • 2311.00176 • Published • 9 -
Language Models can be Logical Solvers
Paper • 2311.06158 • Published • 22 -
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 • 31