| Prover Agent: An Agent-based Framework for Formal Mathematical Proofs | Jun 24, 2025 | AI AgentAutomated Theorem Proving | —Unverified | 0 |
| StepProof: Step-by-step verification of natural language mathematical proofs | Jun 12, 2025 | Mathematical ProofsSentence | CodeCode Available | 0 |
| The Alignment Trap: Complexity Barriers | Jun 12, 2025 | Mathematical Proofs | —Unverified | 0 |
| LeanTutor: A Formally-Verified AI Tutor for Mathematical Proofs | Jun 10, 2025 | Large Language ModelMath | —Unverified | 0 |
| Beyond Chemical QA: Evaluating LLM's Chemical Reasoning with Modular Chemical Operations | May 27, 2025 | Chemical Reaction PredictionDrug Design | —Unverified | 0 |
| HybridProver: Augmenting Theorem Proving with LLM-Driven Proof Synthesis and Refinement | May 21, 2025 | Automated Theorem ProvingMathematical Proofs | —Unverified | 0 |
| Identification of Probabilities of Causation: A Complete Characterization | May 21, 2025 | Decision MakingMathematical Proofs | —Unverified | 0 |
| Provably safe and human-like car-following behaviors: Part 2. A parsimonious multi-phase model with projected braking | May 15, 2025 | Mathematical ProofsTrajectory Planning | —Unverified | 0 |
| Neurodivergent Influenceability as a Contingent Solution to the AI Alignment Problem | May 5, 2025 | Experimental DesignMathematical Proofs | —Unverified | 0 |
| A Theoretical Analysis of Compositional Generalization in Neural Networks: A Necessary and Sufficient Condition | May 5, 2025 | Mathematical Proofs | CodeCode Available | 0 |
