🧩 Constraint Programming - hello · Scour

Local LMO: Constrained Gradient Optimization via a Local Linear Minimization Oracle 📊Optimization

Fast and Effective Redistricting Optimization via Composite-Move Tabu Search 🔍Fractional Cascading

FORGE: Fragment-Oriented Ranking and Generation for Context-Aware Molecular Optimization 💬Prompt Engineering

Extracting Search Trees from LLM Reasoning Traces Reveals Myopic Planning 💬Prompt Engineering

A Foundation Model for Zero-Shot Logical Rule Induction 🌳Pratt Parsing

Navigating LLM Valley: From AdamW to Memory-Efficient and Matrix-Based Optimizers 🤖TVM

MolWorld: Molecule World Models for Actionable Molecular Optimization 🧬Computational Biology

Second-Order FALQON Parameter Transfer for the Max-Cut Problem on 3-Regular Graphs 🔀Topological Sorting

Back to the Beginning of Heuristic Design: Bridging Code and Knowledge with LLMs 💬Prompt Engineering

Demystifying Manifold Constraints in LLM Pre-training 🤖TVM

Matrix-Valued Optimism is Matrix-Valued Augmentation: Additive Hybrid Designs for Constrained Optimization 📊Dynamic Programming

S-LCG: Structured Linear Congruential Generator-Based Deterministic Algorithm for Search and Optimization ⚖️Y-Fast Tries

Programmatic Context Augmentation for LLM-based Symbolic Regression 🦙Ollama

Probabilistic Floating-Point Round-Off Analysis via Concentration Inequalities 🔍Miniselect

Listwise Policy Optimization: Group-based RLVR as Target-Projection on the LLM Response Simplex 💬Prompt Engineering

Rethinking RL for LLM Reasoning: It's Sparse Policy Selection, Not Capability Learning 💬Prompt Engineering

Novelty-based Tree-of-Thought Search for LLM Reasoning and Planning 💬Prompt Engineering

Efficient Cost-Based Rewrite in a Bottom-Up Optimizer 🗺️Query Planning

Parametrizing Convex Sets Using Sublinear Neural Networks 📊Optimization

Explaining and Preventing Alignment Collapse in Iterative RLHF 📝Parser Combinators

Log in to enable infinite scrolling