John Loverich

john-glodon's activity

• All
• Models
• Datasets
• Spaces
• Buckets
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

upvoted 4 papers 5 days ago

h1: A Taste of the Bitter Lesson in Automated Theorem Proving

Paper • 2610.35962 • Published 8 days ago • 20

Hy-Nomas: Towards Free-form Interactive World Generation

Paper • 2610.36729 • Published 6 days ago • 124

Assessing the CAD Capabilities of General-Purpose AI Models: A Case Study of GPT-6 Astra

Paper • 2610.24451 • Published 16 days ago • 5

Nested Sparsity for Scalable Pretraining and Continual Learning

Paper • 2610.31818 • Published 11 days ago • 12

upvoted a paper 6 days ago

PaperFormalizer: Author-in-the-Loop Autoformalization of Research Papers in Lean

Paper • 2610.31810 • Published 11 days ago • 9

upvoted 2 papers 12 days ago

World Models with Configurable Perception

Paper • 2610.27914 • Published 13 days ago • 3

OR-License: Evaluating LLM Agents as Real-World Operations Research Practitioners

Paper • 2610.24087 • Published 17 days ago • 44

upvoted a paper 13 days ago

Kronecker Delta Rule for Long Context Linear Attention

Paper • 2610.26834 • Published 14 days ago • 38

upvoted a paper 16 days ago

3DCodeVerse: Exploring 3D Worlds as Code

Paper • 2610.22341 • Published 18 days ago • 63

upvoted a paper 17 days ago

Continuum Attention

Paper • 2610.20586 • Published 18 days ago • 7

upvoted a paper 18 days ago

CineRecon: Benchmarking Frontier Models for Agentic Cinematic Reconstruction

Paper • 2610.16577 • Published 21 days ago • 30

upvoted 2 papers 23 days ago

Retrieval-Centric Deep Learning in Growing Nonparametric Neural Networks

Paper • 2610.03858 • Published Oct 2 • 13

AgentGarten: Code Worlds for Evolving Agents

Paper • 2610.12374 • Published 25 days ago • 73

upvoted 2 papers 24 days ago

CADFather: Autonomous CAD Reconstruction through Coordinated Tool Use

Paper • 2610.09127 • Published 27 days ago • 24

StepCAD: Mesh-to-CAD Code Generation via LLM Policy and Geometry-Guided Search

Paper • 2610.03799 • Published Oct 1 • 5

upvoted a paper 26 days ago

ALoDLM: Adaptively Looped Diffusion Language Models

Paper • 2610.04198 • Published about 1 month ago • 75

upvoted 2 papers 28 days ago

PDE-JEPA: Predictive Representation Learning of Latent Dynamics Modeling for Parametric PDEs

Paper • 2609.34715 • Published Sep 28 • 33

Does Learning Protein Folding Generalize to Broader Reasoning?

Paper • 2609.38879 • Published Sep 30 • 48

upvoted 2 papers about 1 month ago

Playing to Par: Reinforcement Learning for Provably Optimal Quadrilateral Block Decompositions

Paper • 2609.32146 • Published Sep 26 • 3

CADWorld: Computer-Use Benchmark for Long-Horizon Computer-Aided Design

Paper • 2609.16251 • Published Sep 14 • 15