| Large Language Models as Analogical Reasoners | Oct 3, 2023 | Code GenerationGSM8K | —Unverified | 0 |
| Large Language Models Might Not Care What You Are Saying: Prompt Format Beats Descriptions | Aug 16, 2024 | DescriptiveHallucination | —Unverified | 0 |
| A Neural Network Implementation for Free Energy Principle | Jun 11, 2023 | Math | —Unverified | 0 |
| dMath: Distributed Linear Algebra for DL | Nov 19, 2016 | GPUManagement | —Unverified | 0 |
| dMath: A Scalable Linear Algebra and Math Library for Heterogeneous GP-GPU Architectures | Apr 5, 2016 | GPUManagement | —Unverified | 0 |
| Language Models with Conformal Factuality Guarantees | Feb 15, 2024 | Conformal PredictionLanguage Modeling | —Unverified | 0 |
| Divide-and-Conquer Meets Consensus: Unleashing the Power of Functions in Code Generation | May 30, 2024 | Code GenerationHumanEval | —Unverified | 0 |
| Better Process Supervision with Bi-directional Rewarding Signals | Mar 6, 2025 | Language ModelingLanguage Modelling | —Unverified | 0 |
| DiversiGATE: A Comprehensive Framework for Reliable Large Language Models | Jun 22, 2023 | Arithmetic ReasoningGSM8K | —Unverified | 0 |
| Benchmarking Reasoning Robustness in Large Language Models | Mar 6, 2025 | BenchmarkingMath | —Unverified | 0 |
| Distributed Skellam Mechanism: a Novel Approach to Federated Learning with Differential Privacy | Sep 29, 2021 | Federated LearningMath | —Unverified | 0 |
| Advancing Process Verification for Large Language Models via Tree-Based Preference Learning | Jun 29, 2024 | Binary ClassificationGSM8K | —Unverified | 0 |
| DISK: Domain-constrained Instance Sketch for Math Word Problem Generation | Apr 10, 2022 | Math | —Unverified | 0 |
| DISC: DISC: Dynamic Decomposition Improves LLM Inference Scaling | Feb 23, 2025 | Computational EfficiencyMath | —Unverified | 0 |
| Benchmarking and Improving Generator-Validator Consistency of Language Models | Oct 3, 2023 | BenchmarkingInstruction Following | —Unverified | 0 |
| Direct Reasoning Optimization: LLMs Can Reward And Refine Their Own Reasoning for Open-Ended Tasks | Jun 16, 2025 | FormMath | —Unverified | 0 |
| Dipper: Diversity in Prompts for Producing Large Language Model Ensembles in Reasoning tasks | Dec 12, 2024 | DiversityGPU | —Unverified | 0 |
| An Efficient Merge Search Matheuristic for Maximising the Net Present Value of Project Schedules | Oct 20, 2022 | MathScheduling | —Unverified | 0 |
| DINGO: Constrained Inference for Diffusion LLMs | May 29, 2025 | Math | —Unverified | 0 |
| Dimension Reduction via Colour Refinement | Jul 22, 2013 | Dimensionality ReductionIsomorphism Testing | —Unverified | 0 |
| BeamLoRA: Beam-Constraint Low-Rank Adaptation | Feb 19, 2025 | Code GenerationMath | —Unverified | 0 |
| Dimensionality reduction: theoretical perspective on practical measures | Dec 1, 2019 | BIG-bench Machine LearningDimensionality Reduction | —Unverified | 0 |
| Digenes: genetic algorithms to discover conjectures about directed and undirected graphs | Apr 30, 2013 | Math | —Unverified | 0 |
| Basic concepts, definitions, and methods in D number theory | Mar 21, 2020 | Math | —Unverified | 0 |
| Odd period cycles and ergodic properties in price dynamics for an exchange economy | Sep 17, 2023 | Math | —Unverified | 0 |