heuristic rules

3 papers

• Compress Large Language Models via Collaboration Between Learning and Matrix Approximation
• MPS-Prover: Advancing Stepwise Theorem Proving by Multi-Perspective Search and Data Curation
• RDD: Retrieval-Based Demonstration Decomposer for Planner Alignment in Long-Horizon Tasks