| Learning Functions to Study the Benefit of Multitask Learning | Jun 9, 2020 | Mathematical ProofsSymbolic Regression | —Unverified | 0 |
| LemmaHead: RAG Assisted Proof Generation Using Large Language Models | Jan 27, 2025 | Automated Theorem ProvingMathematical Proofs | —Unverified | 0 |
| Mathematical Approach in Hybrid Beamforming for ISAC Systems | Apr 7, 2025 | Integrated sensing and communicationISAC | —Unverified | 0 |
| On the uncertainty analysis of the data-enabled physics-informed neural network for solving neutron diffusion eigenvalue problem | Mar 15, 2023 | Mathematical Proofs | —Unverified | 0 |
| Epistemic Phase Transitions in Mathematical Proofs | Mar 31, 2020 | Mathematical ProofsPhilosophy | CodeCode Available | 0 |
| SciEx: Benchmarking Large Language Models on Scientific Exams with Human Expert Grading and Automatic Grading | Jun 14, 2024 | BenchmarkingMathematical Proofs | CodeCode Available | 0 |
| Premise Selection for Mathematics by Corpus Analysis and Kernel Methods | Aug 17, 2011 | Mathematical Proofs | CodeCode Available | 0 |
| Towards Autoformalization of Mathematics and Code Correctness: Experiments with Elementary Proofs | Jan 5, 2023 | Mathematical ProofsSemantic Parsing | CodeCode Available | 0 |
| Distance-Adaptive Quaternion Knowledge Graph Embedding with Bidirectional Rotation | Dec 5, 2024 | Graph EmbeddingKnowledge Graph Completion | CodeCode Available | 0 |
| Formal Development of Safe Automated Driving using Differential Dynamic Logic | Apr 14, 2022 | Mathematical Proofs | CodeCode Available | 0 |
