conftrace_

symbolic pruning

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

autoformulation (1) llama (1) pruning metric (1) optimization model (1) post-training pruning (1) llm-based evaluation (1) large language model (1) zero-shot task (1) genetic programming (1) monte carlo tree search (1)

Papers

Autoformulation of Mathematical Optimization Models Using LLMs ICML 2025 Pruner-Zero: Evolving Symbolic Pruning Metric From Scratch for Large Language Models ICML 2024