| Leveraging Constrained Monte Carlo Tree Search to Generate Reliable Long Chain-of-Thought for Mathematical Reasoning | Feb 16, 2025 | Mathematical Reasoning | —Unverified | 0 |
| LexPam: Legal Procedure Awareness-Guided Mathematical Reasoning | Apr 3, 2025 | Mathematical ReasoningQuestion Answering | —Unverified | 0 |
| LiteSearch: Efficacious Tree Search for LLM | Jun 29, 2024 | GSM8KMathematical Reasoning | —Unverified | 0 |
| LLaMa-SciQ: An Educational Chatbot for Answering Science MCQ | Sep 25, 2024 | ChatbotGSM8K | —Unverified | 0 |
| LLM4DV: Using Large Language Models for Hardware Test Stimuli Generation | Oct 6, 2023 | BenchmarkingMathematical Reasoning | —Unverified | 0 |
| LLM for Complex Reasoning Task: An Exploratory Study in Fermi Problems | Apr 3, 2025 | Mathematical Reasoning | —Unverified | 0 |
| LLM Library Learning Fails: A LEGO-Prover Case Study | Apr 3, 2025 | Mathematical ReasoningMisconceptions | —Unverified | 0 |
| LLM Reasoning Engine: Specialized Training for Enhanced Mathematical Reasoning | Dec 28, 2024 | Mathematical Reasoning | —Unverified | 0 |
| LLMs-as-Instructors: Learning from Errors Toward Automating Model Improvement | Jun 29, 2024 | Contrastive LearningMathematical Reasoning | —Unverified | 0 |
| LLMs can be easily Confused by Instructional Distractions | Feb 5, 2025 | Bias DetectionCode Generation | —Unverified | 0 |