| Automating a Complete Software Test Process Using LLMs: An Automotive Case Study | Feb 6, 2025 | valid | —Unverified | 0 |
| BaRDa: A Belief and Reasoning Dataset that Separates Factual Accuracy and Reasoning Ability | Dec 12, 2023 | counterfactualvalid | —Unverified | 0 |
| Barrier Certificates for Unknown Systems with Latent States and Polynomial Dynamics using Bayesian Inference | Apr 2, 2025 | Bayesian InferenceUncertainty Quantification | —Unverified | 0 |
| Barriers and Solutions to the Adoption of Clinical Tools for Computational Psychiatry | Dec 9, 2022 | valid | —Unverified | 0 |
| Towards Automatic Construction of Filipino WordNet: Word Sense Induction and Synset Induction Using Sentence Embeddings | Apr 7, 2022 | Language ModelingLanguage Modelling | —Unverified | 0 |
| Bayesian Analysis of Target Detection with Enhanced Receiver Operating Characteristic | Mar 19, 2019 | valid | —Unverified | 0 |
| Bayesian autoencoders for data-driven discovery of coordinates, governing equations and fundamental constants | Nov 19, 2022 | Uncertainty Quantificationvalid | —Unverified | 0 |
| A New Algorithmic Decision for Categorical Syllogisms via Caroll's Diagrams | Feb 8, 2018 | Logical Reasoningvalid | —Unverified | 0 |
| Bayesian data combination model with Gaussian process latent variable model for mixed observed variables under NMAR missingness | Sep 1, 2021 | modelvalid | —Unverified | 0 |
| An Effective Algorithm for Learning Single Occurrence Regular Expressions with Interleaving | Jun 5, 2019 | valid | —Unverified | 0 |
