| A Certified Proof Checker for Deep Neural Network Verification in Imandra | May 17, 2024 | Automated Theorem ProvingLEMMA | —Unverified | 0 | 0 |
| A Characterization of All Passivizing Input-Output Transformations of a Passive-Short System | Nov 9, 2019 | AllLEMMA | —Unverified | 0 | 0 |
| A Comparative Predicting Stock Prices using Heston and Geometric Brownian Motion Models | Feb 15, 2023 | LEMMAStock Market Prediction | —Unverified | 0 | 0 |
| A consistency lemma in statistical phylogenetics | Jan 26, 2015 | LEMMA | —Unverified | 0 | 0 |
| Actions Speak What You Want: Provably Sample-Efficient Reinforcement Learning of the Quantal Stackelberg Equilibrium from Strategic Feedbacks | Jul 26, 2023 | Decision MakingLEMMA | —Unverified | 0 | 0 |
| Adaptive Backstepping and Non-singular Sliding Mode Control for Quadrotor UAVs with Unknown Time-varying Uncertainties | Jul 9, 2024 | LEMMAPosition | —Unverified | 0 | 0 |
| Adaptive Backtracking Line Search | Aug 23, 2024 | LEMMA | —Unverified | 0 | 0 |
| Adaptive Event-triggered Control with Sampled Transmitted Output and Controller Dynamics | Jul 16, 2024 | LEMMA | —Unverified | 0 | 0 |
| Adaptive fuzzy control of electrohydraulic servosystems | May 31, 2022 | LEMMA | —Unverified | 0 | 0 |
| Adaptive Robust Data-driven Building Control via Bi-level Reformulation: an Experimental Result | Jun 10, 2021 | LEMMA | —Unverified | 0 | 0 |
| Adding Pronunciation Information to Wordnets | May 1, 2020 | LEMMATAG | —Unverified | 0 | 0 |
| Admissibility in Strength-based Argumentation: Complexity and Algorithms (Extended Version with Proofs) | Jul 5, 2022 | LEMMA | —Unverified | 0 | 0 |
| Advancing Full-Text Search Lemmatization Techniques with Paradigm Retrieval from OpenCorpora | May 18, 2023 | LEMMALemmatization | —Unverified | 0 | 0 |
| Adversarial Source Identification Game with Corrupted Training | Mar 27, 2017 | LEMMA | —Unverified | 0 | 0 |
| A Family of Neyman-Pearson-Based Detectors for Noise-Type Radars | Apr 16, 2022 | LEMMAVocal Bursts Type Prediction | —Unverified | 0 | 0 |
| A Fast Spectral Algorithm for Mean Estimation with Sub-Gaussian Rates | Aug 13, 2019 | Computational EfficiencyLEMMA | —Unverified | 0 | 0 |
| A Finite-State Morphological Analyser for Sindhi | May 1, 2016 | Information RetrievalLEMMA | —Unverified | 0 | 0 |
| A Fisher-Rao gradient flow for entropy-regularised Markov decision processes in Polish spaces | Oct 4, 2023 | LEMMA | —Unverified | 0 | 0 |
| A Framework for Bidirectional Decoding: Case Study in Morphological Inflection | May 21, 2023 | DecoderLEMMA | —Unverified | 0 | 0 |
| A Frequency-Domain Version of Willems' Fundamental Lemma | Nov 26, 2023 | LEMMA | —Unverified | 0 | 0 |
| A Generalized Version of Chung's Lemma and its Applications | Jun 9, 2024 | LEMMAStochastic Optimization | —Unverified | 0 | 0 |
| Agent-Based Proof Design via Lemma Flow Diagram | Feb 3, 2020 | LEMMA | —Unverified | 0 | 0 |
| Agnostic Online Learning and Excellent Sets | Aug 12, 2021 | LEMMA | —Unverified | 0 | 0 |
| A Homological Theory of Functions | Jan 9, 2017 | LEMMA | —Unverified | 0 | 0 |
| A Johnson-Lindenstrauss Framework for Randomly Initialized CNNs | Sep 29, 2021 | LEMMA | —Unverified | 0 | 0 |
