| Evolutionary Algorithms Are Significantly More Robust to Noise When They Ignore It | Aug 31, 2024 | Evolutionary AlgorithmsMathematical Proofs | —Unverified | 0 |
| Examining the impact of forcing function inputs on structural identifiability | Jul 3, 2024 | Mathematical Proofs | —Unverified | 0 |
| SciEx: Benchmarking Large Language Models on Scientific Exams with Human Expert Grading and Automatic Grading | Jun 14, 2024 | BenchmarkingMathematical Proofs | CodeCode Available | 0 |
| Autograding Mathematical Induction Proofs with Natural Language Processing | Jun 11, 2024 | Mathematical InductionMathematical Proofs | —Unverified | 0 |
| How Deduction Systems Can Help You To Verify Stability Properties | Apr 16, 2024 | Mathematical Proofs | —Unverified | 0 |
| A Semantic Search Engine for Mathlib4 | Mar 20, 2024 | Mathematical Proofs | —Unverified | 0 |
| Class Information Guided Reconstruction for Automatic Modulation Open-Set Recognition | Dec 20, 2023 | Automatic Modulation RecognitionDenoising | —Unverified | 0 |
| Automated Planning Techniques for Elementary Proofs in Abstract Algebra | Dec 11, 2023 | Abstract AlgebraAutomated Theorem Proving | —Unverified | 0 |
| FastPart: Over-Parameterized Stochastic Gradient Descent for Sparse optimisation on Measures | Dec 10, 2023 | Mathematical Proofs | —Unverified | 0 |
| Large Language Models' Understanding of Math: Source Criticism and Extrapolation | Nov 12, 2023 | Automated Theorem ProvingMath | —Unverified | 0 |
